求证:(tan的平方x)+(1/tan的平方x)=2*(3+cos4x)/(1-cos4x)