证明：
不失一般性,不妨认为点P在第二象限.
用参数方程
P(acosa,bsina) 显然π/2a^2-(acosa+a)^2=a^2*[1-(1+cosa)^2]=a^2*[1-(1+2cosa+cos^2 a)]=a^2(-2cosa-cos^2 a)至于你的解法，得到的结果当然是对的，但弱于要证明的结果，所以等于这道题你没有证明出来。原因是隐含条件a>b没有用到。