Kreisspiegelung

Die Spiegelung am Kreis oder Kreisspiegelung ist eine Abbildung der ebenen Geometrie, die das Innere und das Äußere eines gegebenen Kreises miteinander vertauscht.

Die Abbildung ist winkeltreu und zählt zu den speziellen konformen Transformationen.

Eine Kreisspiegelung ist der ebene Fall einer (geometrischen) Inversion. Eine Inversion im Raum ist die Spiegelung an einer Kugel, kurz Kugelspiegelung, mit ähnlichen Eigenschaften wie die der Kreisspiegelung.

Zur Definition der Spiegelung an einem Kreis

Definition

Für die Kreisspiegelung an einem Kreis mit Mittelpunkt $M$ und Radius $R$ ist der Bildpunkt Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle P'} eines Punktes $P$ dadurch festgelegt, dass Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle P'} auf einer Strecke $|{\overline {MP}}|$ bzw. auf einer Halbgeraden Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle [MP} liegen und die Bedingung

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |{\overline {MP'}}|={\frac {R^{2}}{|{\overline {MP}}|}}}

erfüllen muss. Dabei darf der ursprüngliche Punkt $P$ nicht mit dem Mittelpunkt $M$ übereinstimmen. Gelegentlich umgeht man dieses Problem, indem man einen neuen Punkt zur Ebene hinzufügt und diesen als Bildpunkt von $M$ definiert. Der Bildpunkt dieses neuen Punktes ist der Mittelpunkt des Inversionskreises. Häufig ist nur der Mittelpunkt Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle M,} nicht jedoch der Radius $R$ wichtig, sodass man einen Kreis mit beliebigem Radius (z. B. 1) zeichnen kann.

Analytische Beschreibung

Ist in einem kartesischen Koordinatensystem $M$ der Ursprung, so lässt sich die Spiegelung an dem Kreis Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle x^{2}+y^{2}=R^{2}} durch

• Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (x,y)\rightarrow {\frac {R^{2}\cdot (x,y)}{x^{2}+y^{2}}}}

beschreiben.

In ebenen Polarkoordinaten $r,\varphi$ besitzt eine Kreisspiegelung eine besonders einfache Darstellung:

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (r,\varphi )\rightarrow \left({\frac {R^{2}}{r}},\varphi \right)} .

Die Spiegelung am Einheitskreis ist dann

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (r,\varphi )\rightarrow \left({\frac {1}{r}},\varphi \right)}

und rechtfertigt die Bezeichnung Inversion.

In der Funktionentheorie behandelt man die Inversionen und die von ihnen erzeugten Kreisverwandtschaften am besten in der komplexen („Gaußschen“) Zahlenebene. Eine Inversion am Einheitskreis wird dabei durch die Abbildung Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle z\mapsto {\frac {1}{\overline {z}}}} beschrieben. Darin bezeichnet $z$ eine komplexe Zahl und Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle {\overline {z}}} die zugehörige konjugiert komplexe Zahl.

Konstruktion

Mit Zirkel und Lineal

Bild 1: Konstruktion des am Inversionskreis (rot) gespiegelten Bildpunktes Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle P'} mit Zirkel und Lineal: zur Verbindungslinie vom Kreismittelpunkt zum Urbildpunkt $P$ wird im Punkt $P$ die Senkrechte gebildet; die beiden Tangenten an den beiden Schnittpunkten mit dem Kreis treffen sich im Bildpunkt Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle P'.}

• Liegt $P$ auf dem gegebenen Kreis, so ist $P'$ gleich $P$.

• Falls der Punkt $P$ im Kreisinneren liegt (Bild 1), zeichnet man die zur Halbgeraden Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle [MP} senkrechte Kreissehne durch $P$ und die beiden Kreistangenten in den Endpunkten dieser Sehne. $P'$ ergibt sich dann als Schnittpunkt dieser Tangenten.

• Liegt der Punkt $P$ dagegen außerhalb des Kreises, so beginnt man mit den beiden Kreistangenten durch $P$ mithilfe des Thaleskreises. Anschließend bringt man die Verbindungsstrecke der beiden Berührpunkte mit der Halbgeraden Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle [MP} zum Schnitt. Der Schnittpunkt ist der gesuchte Bildpunkt $P'$.

Der Beweis, dass man so den Bildpunkt erhält, folgt direkt aus dem Kathetensatz.

Mit Zirkel allein

Bild 2: Der Urbildpunkt $P$ wird nur mit Hilfe eines Zirkels am Inversionskreis (rot) gespiegelt, es ergibt sich der Bildpunkt Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle P'.}

Liegt der Punkt $P$ außerhalb des Inversionskreises (Bild 2), so zeichnet man um $P$ einen Kreis durch den Mittelpunkt des Inversionskreises. Dieser schneidet den Inversionskreis in zwei Punkten. Zeichne auch um diese Punkte Kreise durch den Mittelpunkt. Diese beiden Kreise schneiden sich nun im Bildpunkt $P'$.

Liegt $P$ auf dem Inversionskreis, so ist keine Konstruktion notwendig, es gilt $P'=P.$

Liegt $P$ innerhalb des Inversionskreises, kann z. B. mithilfe einer Einteilung der möglichen Lagen des Punktes $P$ in drei Bereiche (Bild 3–5), eine deutliche Vereinfachung des Konstruktionsaufwandes für zwei Bereiche erreicht werden. Hierfür stellt man sich, quasi gedanklich, eine Kreisfläche (hellgrau) vor, deren Radius gleich ist dem halben Radius des Inversionskreises. Für die eigentliche Konstruktion ist die Kreisfläche (hellgrau) nicht erforderlich. Die drei Bereiche der möglichen Lage des Punktes $P$, meist gegeben als Abstand zum Mittelpunkt $M$ des Inverskreises, und die dafür möglichen Konstruktionsmethoden sind:

1. Der Abstand des Punktes $P$ zu $M$ (Bild 3) ist größer als der halbe Radius des Inversionskreises, d. h. Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |{\overline {MP}}|>{\frac {1}{2}}R.}

Die Beschreibung für die Konstruktion kann aus der obigen Konstruktion für Liegt der Punkt $P$ außerhalb des Inversionskreises (Bild 2) entnommen werden.

Bild 4: Der Abstand des Punktes $P$ zu $M$ ist gleich dem halben Radius des Inversionskreises (rot),  Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |{\overline {MP}}|={\frac {1}{2}}R.}

Bild 3: Der Abstand des Punktes $P$ zu $M$ ist größer als der halbe Radius des Inversionskreises (rot), Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |{\overline {MP}}|>{\frac {1}{2}}R.}

2. Der Abstand des Punktes $P$ zu $M$ (Bild 4) ist gleich dem halben Radius des Inversionskreises, d. h. Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |{\overline {MP}}|={\frac {1}{2}}R.}

Zuerst wird um den Punkt $P$ ein Kreis mit Radius $|{\overline {MP}}|$ gezogen und anschließend, mittels dreimaligem Abtragen dieses Radius ab dem Punkt $M$, sein Durchmesser Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |{\overline {MC}}|} bestimmt. Als Nächstes wird der letzte Kreis mit dem Radius Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |{\overline {MC}}|} um den Punkt $C$ gezogen. Abschließend bedarf es noch eines zweimaligen Abtragens dieses Radius, ab den soeben erzeugten Schnittpunkt Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle D,} um den Bildpunkt $P'$ zu erhalten.

3. Der Abstand des Punktes $P$ zu $M$ (Bild 5) ist kleiner als die Hälfte, aber größer als ein Achtel des Radius des Inversionskreises, d. h. Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle {\frac {1}{8}}R<|{\overline {MP}}|<{\frac {1}{2}}R.}

Bild 5: Der Abstand des Punktes $P$ zu $M$ ist kleiner als die Hälfte, aber größer als ein Achtel des Radius des Inversionskreises (rot), Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle {\frac {1}{8}}R<|{\overline {MP}}|<{\frac {1}{2}}R.}

Im nebenstehenden Bild 5, veranschaulicht die kleine Kreisfläche (rosa) ein Achtel des Radius des Inversionskreises. Für die eigentliche Konstruktion ist die Kreisfläche (rosa) nicht erforderlich. Dies gilt ebenso für die eingezeichneten gepunkteten Linien; sie sollen lediglich einen Vergleich mit der Konstruktion Mit Zirkel und Lineal verdeutlichen.

Zuerst wird um den Punkt $P$ ein Kreis mit Radius $|{\overline {MP}}|$ gezogen und anschließend, durch ein dreimaliges Abtragen dieses Radius, sein Durchmesser Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |{\overline {MC}}|} bestimmt. Es folgt ein Kreisbogen um $C$ mit Radius $|{\overline {MC}}|,$ auf dem, analog zuvor, der Durchmesser Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |{\overline {MF}}|} erzeugt wird. Nun wird ein Kreisbogen um $F$ mit Radius Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |{\overline {MF}}|} gezogen, der den Inversionskreis in $G$ und $H$ schneidet. Je ein Kreisbogen um $G$ und $H$ mit den Radien Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |{\overline {MG}}|} bzw. Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |{\overline {MH}}|} schließen sich an und schneiden sich in Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle I.} Um $I$ wird ein Kreisbogen mit Radius Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle |{\overline {MI}}|} gezogen auf dem, analog zuvor, der Durchmesser Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |\overline{ML}|} erzeugt wird. Als Nächstes wird der letzte Kreis mit dem Radius Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{ML}} um den Punkt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L} gezogen. Abschließend bedarf es noch eines dreimaligen Abtragens dieses Radius, ab dem Punkt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} um den Bildpunkt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P'} zu erhalten.

• Universelle Methode für Liegt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} innerhalb des Inversionskreises:

Zunächst halbiert man den Radius des Inversionskreises so oft, bis man einen neuen Kreis erhält, der den Punkt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} nicht mehr enthält. (Dies ist mit Zirkel allein möglich.) Anschließend konstruiert man wie oben (Bild 2) den Bildpunkt von Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} , wobei die Inversion am neuen Kreis durchgeführt wird. Zuletzt verdoppelt man den Abstand des Bildpunktes doppelt so oft wie man den Radius halbiert hat. (Auch dies ist mit Zirkel allein möglich.) Dieser Punkt ist der gesuchte Bildpunkt.

Auf Grund der Komplexität dieses Verfahrens wird man die Konstruktion wohl kaum durchführen, sie bietet aber eine Möglichkeit den Satz von Mohr-Mascheroni zu beweisen, der besagt, dass man mit Zirkel allein alle Konstruktionen durchführen kann, die mit Zirkel und Lineal möglich sind.

Mit anderen Hilfsmitteln

Es gibt mechanische Geräte, die speziell für die Inversion am Kreis konstruiert wurden, zum Beispiel den Inversor von Peaucellier.

Eigenschaften

• Die Abbildung vertauscht Inneres und Äußeres des Inversionskreises, die Punkte auf dem Rand sind Fixpunkte.

• Wendet man die Inversion zweimal an, so erhält man wieder die Ausgangssituation, die Inversion ist also eine Involution.

• Die Inversion ist eine konforme Abbildung, d. h., sie ist winkeltreu. Insbesondere werden Objekte, die einander berühren, auch wieder auf solche abgebildet.

• Die Inversion kehrt wie die Geradenspiegelung die Orientierung um.

• Geraden, die durch den Mittelpunkt des Inversionskreises verlaufen, werden auf sich selbst abgebildet.

• Geraden, die nicht durch den Mittelpunkt verlaufen, werden auf Kreise abgebildet, die durch den Mittelpunkt gehen.

• Kreise, die durch den Mittelpunkt verlaufen, werden auf Geraden abgebildet, die nicht durch den Mittelpunkt gehen.

• Kreise, die nicht durch den Mittelpunkt des Inversionskreises verlaufen, werden wieder auf solche Kreise abgebildet. Allerdings wird der Mittelpunkt des ursprünglichen Kreises durch die Inversion nicht auf den Mittelpunkt des Bildkreises abgebildet.

• Insbesondere werden Kreise, die den Inversionskreis rechtwinklig schneiden, auf sich selbst abgebildet.

Da die Inversion also nicht geradentreu ist, ist sie im Gegensatz zur Punkt-, Achsen- oder Ebenenspiegelung keine Kongruenzabbildung.

Siehe auch

• Kreisspiegelung - Artikel in der deutschen Wikipedia

Literatur

• H. S. M. Coxeter, S. L. Greitzer: Zeitlose Geometrie, Klett Stuttgart 1983
• Roger A. Johnson: Advanced Euclidean Geometry. Dover 2007, ISBN 978-0-486-46237-0, S. 121–127 (Erstveröffentlichung 1929 bei der Houghton Mifflin Company (Boston) unter dem Titel Modern Geometry), S. 43–57

Weblinks

• Vladimir S. Matveev: Inversion am Kreis (Kreisspiegelung). Teil eines Skripts zur Linearen Algebra der Uni Jena (PDF; 828 kB).
• Inversion auf cut-the-knot (engl.)
• Eric W. Weisstein: Inversion. In: MathWorld (englisch).