函数f(x)=arctanx值域在[-ㅠ/2,ㅠ/2],那么ㅠ/2-arctanx在值域在[0,ㅠ]之间,由于cotx在[0,ㅠ]是单调函数,所以由 cot(ㅠ/2-arctanx) =tan(arctanx)=x, tan(π/2-arctanx)=1/x ㅠ/2-arctanx=arctan1/x,。
