Suppose $z_1$, $z_2$ and $z_3$ are distinct points in $\hat{\mathbb {C}}$ . Show that $z$ is on the circle passing through $z_1$, $z_2$ and $z_3$ if and only if [$z$, $z_1$, $z_2$, $z_3$] is real or ∞.
Asked
Active
Viewed 582 times
2
-
A First Course in Complex Analysis by Matthias Beck, Gerald Marchesi, Dennis Pixton, and Lucas Sabalka ? – BCLC Jul 28 '18 at 12:52
1 Answers
2
Sketch:
- Möbius transformations preserve the cross-ratio, $$ [z,z_1,z_2,z_3]=[T(z),T(z_1),T(z_2),T(z_3)]. $$
- There is a Möbius transformation sending $z_1 \mapsto 0$, $z_2 \mapsto 1$, $z_3 \mapsto \infty$.
- Since Möbius transformations are bijective and map circles to circles, $w$ is on the real line (${}\cup \{\infty\}$) if and only if $z$ is on the circle through $z_1,z_2,z_3$.
- $[w,0,1,\infty]=w$ (or $1/w$ or $1-w$ or some composition thereof, depending on the definition). Hence the cross-ratio is real iff $w$ is real or $\infty$, which proves what you want.
Chappers
- 67,606
-
Chappers, Why is w real if z is on the circle through z1,z2,z3?, $w=T(z)$? It seems you proved cross ratio is real iff z is on the circle. But what about real or ∞ iff z is on the circle ? – BCLC Jul 28 '18 at 13:36
-
1@BCLC There's a reason it says "sketch". Möbius transformations are bijective on $\hat{\mathbb{C}}$, so $w$ could only be $\infty$ if it's one of the three points we already know are on the circle. – Chappers Jul 28 '18 at 18:56
-
-