13、证明：∵右边=(sina/cosa)-[1/(sina/cosa)]
=(sina/cosa)-(cosa/sina)
=(sina^2-cosa^2)/(sinacosa)
=(1-2cosa^2)/(sinacosa)
=左边
∴(1-2cosa^2)/(sinacosa)=tana-(1/tana)
16、证明：左边=[(sina/cosa)sina]/[(sina/cosa)-sina]
=sina/(1-cosa)
右边=[(sina/cosa)+sina]/[(sina/cosa)sina]
=[sina(1+cosa)]/sina^2
=sina(1+cosa)/(1-cosa^2)
=sina(1+cosa)/[(1+cosa)(1-cosa)
=sina/(1-cosa)
∴左边=右边
∴tanasina/(tana-sina)=(tana+sina)/(tanasina)
