(1-sina+cosa)²
=(1-sina)²+2(1-sina)cosa+cos²a
=1+sin²a-2sina+2cosa-2sinacosa+cos²a
=2-2sina+2cosa-2sinacosa
=2(1-sina+cosa-sinacosa)
=2[(1-sina)+cosa(1-sina)]
=2(1-sina)(1+cosa)
得证