如何证明cot(1/2A)-tan(1/2A)=2cot(A)