设h(x,y)=f(x,y)-g(x,y).
则h(x,y)在D上有连续偏导数,且在∂D上恒等于0.
由h(x,y)连续,D是有界闭区域,h(x,y)可在D上取得最大最小值.
若最大最小值都是在∂D上取得,即有h(x,y)的最大最小值都是0.
h(x,y)恒等于0,f(x,y)=g(x,y)对任意(x,y)∈D成立.
于是▽f(x,y)=▽g(x,y)也对任意(x,y)∈D成立,自然也对(x,y)∈D^0成立.
若最大最小值不都在∂D上取得,设h(x,y)在(x0,y0)∈D^0处取得最大值或最小值.
则有▽f(x0,y0)-▽g(x0,y0)=▽h(x0,y0)=0.
即存在(x0,y0)∈D^0,使▽f(x0,y0)=▽g(x0,y0).