证sin^2a x tana+cos^2a x cota+2sinacosa=1/sinacosa