求证： arctan(cotx)=kπ2−x,其中k∈{n∈N∗∣k=2n−1}且∣kπ2−x∣∈[0,12)\arctan( \cot x)= \frac{k \pi}{2}-x, 其中 k \in \{ n \in \mathbb N^* \mid k=2n-1 \} 且| \frac {k \pi}{2}-x| \in [0,\frac 1 2)arctan(cotx)=2kπ−x,其中k∈{n∈N∗∣k=2n−1}且∣2kπ−x∣∈[0,21)
