在三角形ABC内,证明 tan(A/2)+tan(B/2)-cot(C/2)= -tan(A/2)tan(B/2)cot