右边
=(sin²a+cos²a-2sinacosa)/(cosa+sina)(cosa-sina)
=(cosa-sina)²/(cosa+sina)(cosa-sina)
=(cosa-sina)/(cosa+sina)
山下除以cosa
由sina/cosa=tana
所以=(1-tana)/(1+tana)=右边
命题得证
右边
=(sin²a+cos²a-2sinacosa)/(cosa+sina)(cosa-sina)
=(cosa-sina)²/(cosa+sina)(cosa-sina)
=(cosa-sina)/(cosa+sina)
山下除以cosa
由sina/cosa=tana
所以=(1-tana)/(1+tana)=右边
命题得证