右边=(cosa+cos²a-sina-sin²a)/(1+sina)(1+cosa)
=(cosa-sin)(cosa+sina+1)/(1+sina+cosa+sinacosa)
要成立即证2/(cosa+sina+1)=(cosa+sina+1)/(1+sina+cosa+sinacosa)
(cosa+sina+1)²
=1+sin²+cos²+2sina+2cosa+2sinacosa
=1+1+2sina+2cosa+2sinacosa
=2(1+sina+cosa+sinacosa)
所以2/(cosa+sina+1)=(cosa+sina+1)/(1+sina+cosa+sinacosa)成立
所以原等式成立