高二数学推理证明题已知1-tana/2+tana=1,求证3sin2a=-4cos2a(a是阿尔法)