函数f(x)=arctanx值域在[-ㅠ/2,ㅠ/2],那么ㅠ/2-arctanx在值域在[0,ㅠ]之间,由于cotx在[0,ㅠ]是单调函数,所以由cot(ㅠ/2-arctanx)=cotx可知
ㅠ/2-arctanx=arccotx,由此得证