证明:tan²x+1/tan²x=2(3+cos4x)/(1-cos4x)