For , the beta-integral evaluation gives
Differentiation under the integral sign near is justified by domination at zero and infinity. Therefore
Writing gives
Since
the logarithmic moments of the Cauchy kernel yield
The same expansion gives , agreeing with the supplied identity.