>>653-658

{∂f(x,y)/∂x}/√(xx+yy)= Y(1+2YY-4Y^4),

ここに、Y = y/√(xx+yy),|Y|≦1,

1 - Y(1+2YY-4Y^4) =(1+Y){(1-Y)^2 +YY(1-2Y)^2}≧ 0,
1 + Y(1+2YY-4Y^4)=(1-Y){(1+Y)^2 +YY(1+2Y)^2}≧ 0,

(極座標を使わなくても)

>>671

そりゃ、大日如来さまはオイラよりずっと凄いけど。