求证:tan^2x+cot^2x=2(3+cos4x)/(1-cos4x)