Augapfel-Satz
# Augapfel-Satz

Der Augapfelsatz (englisch: Eyeball Theorem) beinhaltet die Längengleichheit von Sehnen in zwei sich nicht schneidenden Kreisen.
Der Name rührt daher, dass die beiden Kreise als Augäpfel mit gleich großen Bildern gedeutet werden. Entdeckt wurde der Satz 1960 von dem peruanischen Mathematiker Antonio Gutierrez. Allerdings war die Aussage inklusive eines Beweises aber ohne einen Namen bereits 1938 in einem Artikel von G. W. Evans in der Zeitschrift The Mathematics Teacher publiziert worden. Evans bemerkte zudem, dass die Aussage als Problem formuliert aus einer früheren Examensprüfung stamme.

## Mathematische Aussage

Unter den Voraussetzungen, dass
* zwei sich nicht schneidende Kreise die Mittelpunkte $P$ und $Q$ haben,
* die beiden Tangenten durch $P$ an den Kreis mit dem Mittelpunkt $Q$ den Kreis um $P$ in den Punkten $A$ und $B$ schneiden und
* die beiden Tangenten durch $Q$ an den Kreis mit dem Mittelpunkt $P$ den Kreis um $Q$ in den Punkten $C$ und $D$ schneiden,
sind die Sehnen $[AB]$ und $[CD]$ längengleich.
Beweis:
    Da die Gesamtfigur achsensymmetrisch zur Geraden durch $P$ und $Q$ ist, genügt mit $x={\frac {\overline {AB}}{2}}$ und $y={\frac {\overline {CD}}{2}}$ der Nachweis von $x=y$.
    Das große grün gefärbte Dreieck ist im geometrischen Sinne ähnlich zu dem kleinen mit dunklerem Grün gefärbten Dreieck, weil beide Dreiecke in zwei Innenwinkeln übereinstimmen, nämlich in dem gemeinsamen Winkel $\angle QPA$ und jeweils einem rechten Winkel.
    Deshalb gilt mit den Bezeichnungen aus nebenstehender Zeichnung die Verhältnisgleichung ${\frac {x}{r}}={\frac {s}{d}}$ und damit $x={\frac {rs}{d}}$.
    Das große blau gefärbte Dreieck ist im geometrischen Sinne ähnlich zu dem kleinen mit dunklerem Blau gefärbten Dreieck, weil beide Dreiecke in zwei Innenwinkeln übereinstimmen, nämlich in dem gemeinsamen Winkel $\angle AQP$ und jeweils einem rechten Winkel.
    Deshalb gilt die Verhältnisgleichung ${\frac {y}{s}}={\frac {r}{d}}$ und damit $y={\frac {rs}{d}}$.
    Folglich gilt $x=y$.