求证(tana)2-(sina)2=(tana)2乘(sina)2