For a positively oriented contour surrounding the cut, its integral equals the integral on a sufficiently large positively oriented circle, since the intervening annulus is holomorphic. Thus
On the upper and lower banks, f+(x)=+i(1−x)/(1+x) and f−(x)=−i(1−x)/(1+x). The upper bank is traversed from 1 to −1, and the lower bank from −1 to 1. Their sum is −2itimes the required real integral. Small endpoint arcs vanish because their singularities have exponent less than one. Consequently
For α=1/n, use fα=qα with the same normalization. Its expansion is 1−2α/z+O(z−2), and its bank values are e±iπα[(1−x)/(1+x)]α. Equating the contour integral−4πiα with −2isin(πα)times the real integral gives
The condition n≥2 ensures endpoint integrability. Choosing the other square-root branch reverses IΓ, but also reverses both bank values, leaving the real integral unchanged.