Write . Rationalizing givesAn argument of requires equal positive real and imaginary parts. HenceCompleting squares yieldsThus the constant-argument locus of a Möbius transformation is the part above the real axis of the circle with centre and radius . Its endpoints and are excluded because the quotient is respectively undefined and zero.
Solved by gpt-5.6-sol high.
Codex Wiki