Not a full proof (a few topological details missing), but convincing arguments...
Very good! You are very good, Laurent.
I had this problem to do on an assignment last week, and I knew that it followed from the following more general theorem. This one was also on the assignment and it was by far the hardest problem I've ever had on an assignment so far. I got together with two Ph.D students and 3 hours of discussion got us nowhere. I ended up solving it on my own!
So here it is!
Show that in the formula of the Schwarz-Christoffel transformation, the points on the real line which are to be mapped to the vertices of the polygon can be replaced by points on the unit circle, and the resulting function maps the unit disc to a polygon. In other words, if are points on the unit circle, and are the corresponding interior angles of the polygon, then
maps the unit disc to a polygon having the prescribed angles.
The case above obviously follows right away from this one. Would you know how to show it?
In fact I think the other way around will be more natural... The function maps the upper half-plane to and we have to check that is a usual Schwarz-Christoffel mapping with the correct angles. We have . Note that (elementary geometry) hence if we reduce to the same denominator in the parentheses, the denominator simplifies with the first factor, and we are left with . Write , hence for some complex constant , . Since maps the unit circle to the real axis, we have a "usual" Schwarz-Christoffel mapping. This concludes. (Side note: so that : there is an additional translation (+ an affinitiy due to K). )
Nice! Thank you Laurent. Perhaps if I had followed through with the calculations I would have gotten it in this way. Here is an outline of the solution I found :
Consider where are points on the circle and . First, we want to show that the arcs of the circle corresponding to are mapped to line segments by . This is equivalent to showing that the tangent vectors to the circle along that arc are mapped to tangent vectors on the boundary of the image domain which do not change direction are stays within the interval . Let be a vector tangent to the unit circle at the point . Then is a vector tangent to the curve at the point ; moreover . So we want to show is constant when . To do this we write
and we see that for some constant . Moreover and so is constant.
To see that suddenly changes when goes over the point , notice that the factor changes sign, causing a change of in , and we are left with the same situation as with the original Schwarz-Christoffel mapping.