左边= (1+sina)(1+1/cosa)/(1+cosa)(1+1/sina)
上下乘sinacosa
=sina(1+sina)(cosa+1)/[cosa(1+cosa)(sina+1)
=sina/cosa
=tana=右边
命题得证