方法二:(参数方程)
提示:a^2+b^2=a^2+b^2+0,接着利用三角函数有界性放缩,因式分解即可。
证明:设A(acost,bsint),B(acosu,bsinu)
则OA^2+OB^2=a^2((cost)^2+(cosu)^2)+b^2((sint)^2+(sinu)^2)
由题意得:a^2costcosu+b^2sintsinu=0
故OA^2+OB^2<=a^2+b^2等价于
a^2((cost)^2+(cosu)^2)+b^2((sint)^2+(sinu)^2)<=a^2+b^2+a^2costcosu+b^2sintsinu
等价于sigma a^2(1+costcosu-(cost)^2-(cosu)^2)>=0
注意到(cost)^2<=cost,(cosu)^2<=cosu
故sigma a^2(1+costcosu-(cost)^2-(cosu)^2)>=sigma a^2(1+costcosu-cost-cosu)
=sigma a^2(1-cost)(1-cosu)>=0
证毕!
解答者:孟高远
2015.01.26