解:
这个好像不是证明题啊,这里给出推导!
根据已知,f(x,y)=C,其中C为任意常数,
因为其二阶偏导存在且连续,因此对上式连续求关于x的导数,则:
fx+fy·(dy/dx)=0
fxx+fxy·(dy/dx)+fyx·(dy/dx)+fyy·(dy/dx)²+fy(d²y/dx²)=0
对于
隐函数求偏导,显然:
dy/dx = - {∂[f(x,y)-C]/∂x}/{∂[f(x,y)-C]/∂y} = -fx/fy
因此:
fxx+fxy·(-fx/fy)+fyx·(-fx/fy)+fyy·(-fx/fy)²+fy(d²y/dx²)=0
fxxfy-fxyfx-fyxfx+(fyyfx²/fy)+fy²(d²y/dx²)=0
fxxfy-2fxyfx+(fyyfx²/fy)+fy²(d²y/dx²)=0
fxxfy²-2fxyfxfy+fyyfx²+fy³(d²y/dx²)=0
∵f(x,y)=C 是直线,
∴f(x,y)=C中关于x,y的最高次数为1,即该函数是关于x和y的
一次函数,显然:
d²y/dx²恒等于0
∴fxxfy²-2fxyfxfy+fyyfx²=0
上述求导就是
充分条件,以下证明
必要条件:
根据题设,f(x,y)存在连续二阶偏导,因此:
fxx+fxy·(-fx/fy)+fyx·(-fx/fy)+fyy·(-fx/fy)²+fy(d²y/dx²)=0
fxxfy-fxyfx-fyxfx+(fyyfx²/fy)+fy²(d²y/dx²)=0
又因为:
fxxfy²-2fxyfxfy+fyyfx²=0
因此:
fy²(d²y/dx²)=0
根据题意:
fy≠0
只能是:
d²y/dx²=0,即:
dy/dx=a,a为常数
y=ax+b
∴f(x,y)=C 为直线!
证毕!
综上:
f(x,y)=C为直线的
充要条件为:
fxxfy²-2fxyfxfy+fyyfx²=0成立!