在 x^2+2 y^2=4 上最大化 x y