8
$\begingroup$

If the complex numbers $0$, $z_1$, $z_2$ and $z_3$ are concyclic, prove that $\frac{1}{z_1}$,$\frac{1}{z_2}$,$\frac{1}{z_3}$ are collinear.

I really can't seem to get anywhere on this problem, but all I've deduced is that there might be some relationship between circle geometry properties and the arguments of the complex numbers.

  • 1
    The question was also asked (and answered) here: http://mathoverflow.net/questions/58405/2011-03-14

2 Answers 2

3

The transformation $z\to\frac{1}{\bar{z}}$ is an inversion across the unit circle—the conjugation keeps the image at the same argument as the preimage. Inversion across the unit circle maps lines and circles to lines and circles, with only lines and circles that pass through $0$ (the center of the unit circle) mapping to lines.

$z\to\frac{1}{z}$ can be thought of as the inversion across the unit circle composed with a reflection over the real axis (complex conjugation $z\to\bar{z}$).

2

The "mature" way to think of this is as a function on the Riemann sphere - this the standard complex plane with a point $\infty$ added, also called the "extended complex plane". The function $1/z$ is a special case of what is called a linear fractional transformation - these are all functions of the form $\frac{az+b}{cz+d}$, where the coefficients are in $\mathbb{C}$. One property of linear fractional transformations is that they send "generalized circles" to "generalized circles", where a generalized circle is a either a normal circle or a line (a line is a called a generalized circle because you can view it as a circle through the point at infinity).

In this case, we see our circle through 0 will be sent through a "circle through infinity" because we define $1/0$ to be $\infty$ here. So your four points will be sent to a line, and in particular, $1/z_1$, $1/z_2$, and $1/z_3$ will be collinear.

Linear fractional transformations and their properties are a standard topic in complex analysis, and you don't even need to know any analysis to prove the property I just mentioned. Any standard text on complex analysis should have the proof. I suggest you find a copy of Gamelin's book, if you are interested.

  • 2
    +1 for the connection to comple$x$ analysis. A small note: Fractional linear trans$f$ormations are also called [Möbius trans$f$ormations](http://en.wikipedia.org/wiki/M%C3%B6bius_transformation).2011-12-25