Apply the Cauchy integral theorem to on the slit plane, which is star-shaped about . For fixed , first let . The upper bank is traversed from to one and the lower bank from one to , so their limiting sum is
The outer arc tends to the positively oriented unit-circle integral, interpreting the logarithm by its one-sided boundary values at the cut. On the inner arc, and is bounded near zero. Its integral is therefore and tends to zero. The sum of all four contour pieces is zero. Letting gives
The integral around the full circle is a piecewise integral of the branch's boundary values; is not a single holomorphic function across the cut-crossing point. This is the centred logarithmic keyhole identity.
Figure 1.
The logarithmic jump on a keyhole contour recovers a real-segment integral
. The upper and lower banks have opposite traversal directions and logarithmic boundary values differing by . The small circle is traversed clockwise. The slit width is illustrative; its limit is taken before the inner radius tends to zero. Details.
For real , put . The quadratic form equals , proving its nonnegativity. Apply the centred logarithmic keyhole identity bound to the entire function . Since , orthogonality of the finite Fourier sum gives . Multiplication by the contour estimate's factor proves the upper bound. The matrix is the principal submatrix of a Hilbert matrix obtained by deleting its first row and column.