tana=sina/cosa
所以
tana(cosa-sina)+sina(sina+tana)/(1+cosa)
=(sina/cosa)*cosa-(sina/cosa)*sina+sina(sina+sina/cosa)/(1+cosa)
=sina-(sina)^2/cosa+(sina)^2*(1+1/cosa)/(1+cosa)
=sina-(sina)^2/cosa+(sina)^2*[(1+cosa)/cosa]/(1+cosa)
=sina-(sina)^2/cosa+(sina)^2/cosa
=sina