三角函数求证 已知3/(sin20°)^2-1/(cos20°)^2=32cos40°