三角学 示例

检验恒等式 tan(4x)=(2tan(2x))/(2-sec(2x)^2)
我解不出这道题目。