>>58
f(x,y)=(r^2/2)(cosθ)^2((fxx)^2+2(fxy)tanθ+(fyy)^2(tanθ)^2)で
t=tanθとおくと f(x,y)=(r^2/2)(1/(1+t^2))((fxx)^2+2(fxy)t+(fyy)^2t^2)
となってg(t)=(fxx)^2+2(fxy)t+(fyy)^2t^2とすれば
z=g(t)はtについての2次関数となるがその判別式が正であれば
g(t)=0は異なる2実数解をt1,t2持つ。
したがって、z=f(x,y)=g(t)はtについて2次関数でx軸と2点で交わるから
t=t1,t2付近でtを変化させると正と負の両方の値をとることがわかる。
f(0,0)=0だったので、極値をとるには(0,0)付近で一定符号でないといけないが
(x,y)=(rcosθ、rsinθ)としたので、(x,y)は(0,0)にいくらでも近い点
がとれて正と負の両方の値をとるのでこれは成り立たない。