(tana)^2=(sina/cosa)^2
(tana)^2(cosa)^2=(sina)^2
(tana)^2[1-(sina)^2]=1-(cosa)^2,
(tana)^2(1+sina)(1-sina)=(1-cosa)(1+cosa)
两边同除以(1+sina)(1+cosa)tana,
∴ tana(1-sina)/(1+cosa)=(1-cosa)/[tana(1+sina)],
等式得证.