左右两边展开移项等价于证明(把右边的a^2+b^2移到左边合并同类项)
a^2 cos^2 x/sin^2 x+ b^2 sin^2 x/cos^2 x>=2ab
上式用A^2+B^2>=2AB即可得到