[(sina+cosa)^2-(sina-cosa)^2]/tana-sinacosa=4/tan^2a 求证