>744
軸を回せば…
 x^2 + y^2 = {(2x-y)^2 + (2y+x)^2}/5 ≧ {(2x-y)^2}/5,
 等号成立は 2y+x=0 のとき。