Lassen vier Punkte auf der erweiterten Ebene sein. Ihr Kreuzverhältnis per Definition ist das Bild von unter der Möbius-Transformation das sendet Zu bzw.
Laut L. Ahlfors on Complex Analysis, 3rd edition, page 79, genügt es zu zeigen, dass „das Bild der reellen Achse unter jeder [Möbius-Transformation] ist entweder ein Kreis oder eine gerade Linie." Er sagt, das sei seitdem offensichtlich ist genau dann real, wenn es sich auf dem Bild der realen Linie unter der Transformation befindet was auch eine Möbius-Transformation ist.
Er sagt in seinem Buch, dass „in der Tat, ist auf dem Bild der reellen Achse unter der Transformation reell und nirgendwo sonst." Wie folgt der Satz?
Jede Möbius-Transformation ist ein Automorphismus der erweiterten Ebene. So dann und nur dann, wenn . Da Möbius-Transformationen Kreise (in der erweiterten Ebene) auf Kreise abbilden, heißt das liegt auf einem durchlaufenden Kreis . Aber durch beliebige drei Punkte in der erweiterten Ebene geht nur ein Kreis, also
EthanAlvaree