cot(—x)=—cot x 如何证明