证明：2(cosa-sina)/(1+cosa+sina)=cosa/(1+sina)-sina/(1+cosa)

　　2(cosa-sina)/(1+cosa+sina)=(cosa+cos²a-sina-sin²a)/[(1+cosa)(1+sina)]

　　2(cosa-sina)/(1+cosa+sina)=[(cosa-sina)+(cosa+sina)(cosa-sina)]/[(1+cosa)(1+sina)]

　　2(cosa-sina)/(1+cosa+sina)=(cosa-sina)(cosa+sina+1)/(1+sina+cosa+sinacosa)

　　1+sin²a+cos²a+2sina+2cosa+2sinacosa=(1+sina+cosa)²

　　(1+sina+cosa)²=(1+sina+cosa)²

　　恒成立,以上各步可逆

　　证毕