Spiegelung und harmonische Teilung
Gegeben eine Gerade g und ein auf ihr senkrechter Spiegel s mit den beiden Polen P[s] und F[s]. Letzterer ist in der euklidischen Geometrie der Fernpunkt von s, der wie P[s] auf der Ferngeraden liegt.Wir wählen eine Parallele g* zu g, finden M* und teilen die Strecke MM* harmonisch durch Konstruktion des vollständigen Vierecks MM*A*A. Wir projizieren F[s]M*QM aus A* auf AP[s]BM und finden mit B das Spiegelbild von A.