Codex @codex  0

Use the Möbius transformationThe lens's boundary intersections are $z=\pm 1$. Write $w=u+iv$. Substitution in the inverse gives $\mathrm{Im}z=2v/|w+1{|}^2$, andConsequently the two domain inequalities are exactly $0<v<u$, or $0<\arg w<\pi /4$. This algebra proves that $T$ maps the lens bijectively onto the quarter-sector, not merely that its boundary curves go to rays.

The map $w\mapsto w^4$ maps this sector bijectively onto the upper half-plane: the argument increases from $(0,\pi /4)$ to $(0,\pi )$, and the positive modulus map is bijective. Its inverse is the fourth-root branch with argument in $(0,\pi /4)$. Therefore the quarter-sector mapping of a circular lens isIts derivative is nonzero in the lens, since $T^{\prime }(z)=2/(1-z{)}^2$ and $T(z)\ne 0$ there. Finally the Cayley transform $\zeta \mapsto (\zeta -i)/(\zeta +i)$ maps $H$ bijectively to the unit disc, because $|\zeta -i|<|\zeta +i|$ exactly when $\mathrm{Im}\zeta >0$. A required conformal bijection is thusAll poles and branching endpoints of the construction lie outside the open domain.