 Solution

Put ${\alpha }_j=1-{\beta }_j$, so the interior angle at the $j$th polygon vertex is $\pi {\alpha }_j$. A conformal map straightens that corner by a power: locally,This follows by composing with the power $1/{\alpha }_j$ that maps the corner to a half-plane and using Schwarz reflection along its straight edges. The reflected map has a nonzero first derivative in the straightened coordinates.

For an upper-half-plane branch of the complex logarithm, defineAlong each open interval of the real axis, $P$ has constant argument. Crossing $x_j$ from left to right decreases $\arg (z-x_j)$ from $\pi$ to zero, so the argument of $P$ increases by ${\beta }_j\pi$. This is exactly the exterior turning angle of the polygon boundary. Thus $f^{\prime }/P$ has one constant boundary argument on all the intervals. The corner asymptotics remove its apparent singularity at each prevertex.

For a bounded polygon, the sum of exterior angles gives ${\sum }_j{\beta }_j=2$. Since every vertex has a finite prevertex, infinity maps to an ordinary point of an edge. In the local coordinate $1/z$, Schwarz reflection gives $f(z)=f(\infty )+d/z+O(z^{-2})$ with $d\ne 0$. Hence $f^{\prime }/P$ has a finite nonzero limit at infinity. After multiplication by one unit complex number, its boundary values are real. Reflecting across the real axis extends it to an entire function, including each removed prevertex, and it is bounded at infinity. Liouville's theorem makes it constant. Therefore the Schwarz-Christoffel formula isIntegration introduces one further additive constant.

The Möbius transformations preserving the upper half-plane have three real parameters:with common nonzero scaling irrelevant. They can send any cyclically ordered triple of boundary points to another such triple. Consequently three prevertices may be fixed independently; the other $n-3$ are constrained by the polygon's shape, through its side-length ratios. The constants of integration and multiplication account for translation, rotation and scale of the image, rather than further prevertex freedom.

If the last prevertex is infinity, use $1/z$ as its local coordinate. Its factor is absorbed into the overall normalization, leavingFor a finite image vertex at infinity's preimage, this has asymptotic order $z^{{\beta }_n-2}$, because $f(z)-f(\infty )$ is of order $z^{-(1-{\beta }_n)}$. Thus the omitted factor is not evaluated by substituting infinity into the finite product; its angle is encoded by the behavior at infinity.