# Satz des Thales

Der Satz des Thales ist ein Satz der Geometrie und ein Spezialfall des Kreiswinkelsatzes. Vereinfacht lautet er: Alle von einem Halbkreis umschriebenen Dreiecke sind rechtwinklig.
Der erste Beweis wird dem antiken griechischen Mathematiker und Philosophen Thales von Milet zugeschrieben. Die Aussage des Satzes war bereits vorher in Ägypten und Babylonien bekannt.

## Formulierung des Satzes und seiner Umkehrung

Exakte Formulierung: Konstruiert man ein Dreieck aus den beiden Endpunkten des Durchmessers eines Halbkreises (Thaleskreis) und einem weiteren Punkt dieses Halbkreises, so erhält man immer ein rechtwinkliges Dreieck.
Oder: Liegt der Punkt $C$ eines Dreiecks $ABC$ auf einem Halbkreis über der Strecke ${\overline {AB}}$, dann hat das Dreieck bei $C$ immer einen rechten Winkel.
Auch die Umkehrung des Satzes ist korrekt: Der Mittelpunkt des Umkreises eines rechtwinkligen Dreiecks liegt immer in der Mitte der Hypotenuse, also der längsten Seite des Dreiecks, die dem rechten Winkel gegenüberliegt.
Oder: Hat das Dreieck $ABC$ bei $C$ einen rechten Winkel, so liegt $C$ auf einem Kreis mit der Hypotenuse ${\overline {AB}}$ als Durchmesser.

## Beweise

Euklid leitet den Satz des Thales im dritten Band seiner Elemente mit Hilfe folgender Sätze, die ebenfalls Thales zugeschrieben werden und im ersten Band enthalten sind, her:

### Beweis mit gleichschenkligen Dreiecken

* In jedem gleichschenkligen Dreieck sind die Winkel an der Basis gleich.
* Die Innenwinkelsumme im Dreieck ist 180°.
ABC sei ein Dreieck innerhalb eines Kreises mit ${\overline {AB}}$ als Kreisdurchmesser und dem Radius $r$. Dann ist der Mittelpunkt M der Strecke ${\overline {AB}}$ auch der Kreismittelpunkt. Die Streckenlängen ${\overline {AM}}$, ${\overline {BM}}$ und ${\overline {CM}}$ sind also gleich dem Radius $r$.
Die Strecke ${\overline {CM}}$ teilt das Dreieck $ABC$ in zwei Dreiecke $AMC$ und $BCM$ auf, die gleichschenklig sind. Die Basiswinkel dieser Dreiecke, also die Winkel an der Grundseite ${\overline {AC}}$ bzw. ${\overline {BC}}$, sind daher jeweils gleich ($\alpha$ beziehungsweise $\beta$ in der Abbildung).
Die Winkelsumme im Dreieck $ABC$ beträgt 180°:
    $\alpha +\beta +\alpha +\beta =180^{\circ }$
    $2\cdot (\alpha +\beta )=180^{\circ }$
Dividiert man diese Gleichung auf beiden Seiten durch 2, so ergibt sich
    $\alpha +\beta \,=\,90^{\circ }$.
Damit ist gezeigt, dass der Winkel $\alpha +\beta$ mit Scheitel $C$ ein rechter Winkel ist.
Die Umkehrung des Satzes von Thales lässt sich auf die Aussage zurückführen, dass die Diagonalen eines Rechtecks gleich lang sind und sich gegenseitig halbieren.

### Beweis mit Vervollständigung zum Rechteck

Wird der Punkt $C$ am Durchmesser ${\overline {AB}}$ und anschließend an der Mittelsenkrechten von ${\overline {AB}}$ gespiegelt, dann liegt der Bildpunkt $D$ wegen Symmetrie auf dem unteren Halbkreis über der Seite ${\overline {AB}}$. Das ist eine Punktspiegelung am Kreismittelpunkt $M$. Daher sind die Seiten und ${\overline {AC}}$ und ${\overline {BD}}$ sowie ${\overline {AD}}$ und ${\overline {BC}}$ parallel und das Viereck $ACBD$ ist ein Parallelogramm. Weil die Diagonalen ${\overline {AB}}$ und ${\overline {CD}}$ Durchmesser des Kreises und daher gleich lang sind, ist das Parallelogramm ein Rechteck und der Winkel bei $C$ ein rechter Winkel.

### Beweis mit kartesischen Koordinaten

Der Kreismittelpunkt sei der Koordinatenursprung. Sind der Radius $r$ und die Punkte $A=(-r,0)$, $B=(r,0)$ und $C=(x,y)$ mit kartesischen Koordinaten gegeben, dann gilt nach dem Satz des Pythagoras $x^{2}+y^{2}=r^{2}$. Wegen $(r+x)^{2}+y^{2}={\overline {AC}}^{2}$ und $(r-x)^{2}+y^{2}={\overline {BC}}^{2}$ gilt im Dreieck $ABC$ die Gleichung
    ${\overline {AC}}^{2}+{\overline {BC}}^{2}=((r+x)^{2}+y^{2})+((r-x)^{2}+y^{2})=2r^{2}+2(x^{2}+y^{2})=4r^{2}={\overline {AB}}^{2}$.
Aus der Umkehrung des Satzes des Pythagoras folgt, dass das Dreieck $ABC$ im Punkt $C$ rechtwinklig ist.
Mit dem Satz des Pythagoras kann auch gezeigt werden, dass das Skalarprodukt der Vektoren ${\vec {AC}}$ und ${\vec {CB}}$ gleich Null ist:
Es ist ${\vec {AC}}={\binom {x_{C}}{y_{C}}}\ominus {\binom {-r}{0}}={\binom {r+x_{C}}{y_{C}}}$ und ${\vec {CB}}={\binom {r}{0}}\ominus {\binom {x_{C}}{y_{C}}}={\binom {r-x_{C}}{-y_{C}}}$.
    ${\vec {AC}}\odot {\vec {CB}}=(r+x_{C})\cdot (r-x_{C})-{y_{C}}^{2}=r^{2}-{x_{C}}^{2}-{y_{C}}^{2}\ {\stackrel {\text{Satz des Pythagoras}}{=}}\ 0={\overline {AC}}\cdot {\overline {CB}}\cdot \cos(\measuredangle ACB)$,
woraus folgt, dass der Kosinus des Winkels im Punkt $C$ gleich Null ist und somit das Dreieck $ABC$ einen rechten Winkel in $C$ hat.

### Trigonometrischer Beweis

Sind der Winkel $\beta$, der Radius $r$ und die Punkte $A=(-r,0)$, $B=(r,0)$ mit kartesischen Koordinaten gegeben, dann hat der Punkt $C$ die Koordinaten $C=(r\cdot \cos(\beta ),r\cdot \sin(\beta ))$. Die Seite ${\overline {AC}}$ hat die Steigung
    ${\frac {r\cdot \sin(\beta )-0}{r\cdot \cos(\beta )-(-r)}}={\frac {\sin(\beta )}{\cos(\beta )+1}}$
und die Seite ${\overline {BC}}$ hat die Steigung
    ${\frac {r\cdot \sin(\beta )-0}{r\cdot \cos(\beta )-r}}={\frac {\sin(\beta )}{\cos(\beta )-1}}$.
Wegen $\sin ^{2}(\beta )+\cos ^{2}(\beta )=1$ ist das Produkt der Steigungen gleich
    ${\frac {\sin(\beta )}{\cos(\beta )+1}}\cdot {\frac {\sin(\beta )}{\cos(\beta )-1}}={\frac {\sin ^{2}(\beta )}{\cos ^{2}(\beta )-1}}={\frac {\sin ^{2}(\beta )}{-\sin ^{2}(\beta )}}=-1$.
Daraus folgt, dass die Seiten ${\overline {AC}}$ und ${\overline {BC}}$ zueinander orthogonal sind und einen rechten Winkel bilden.
Einen weiteren Beweis findet man hier: Wikibooks: Beweisarchiv.

## Anwendungen
### Konstruktion einer Kreistangente

Eine wichtige Anwendung des Satzes von Thales ist u. a. die Konstruktion der beiden Tangenten an einen Kreis $k$ durch einen außerhalb dieses Kreises gelegenen Punkt $P$.
Gegeben sei der Radius $r$ vom Kreis $k$ mit seinem Mittelpunkt $O$ sowie der Abstand des Punktes $P$ von $O$. Vom Punkt $T$ wissen wir nur, dass er auf der Kreislinie, irgendwo im ersten Viertel vom Kreis $k$, liegen muss. Würde man nur diese Bedingung berücksichtigen, könnte man unendlich viele Dreiecke $OPT$ einzeichnen.
Da die obere durch $P$ verlaufende Tangente $t$ den Kreis $k$ genau im Punkt $T$ berührt, muss das Dreieck $OPT$ einen rechten Winkel am Punkt $T$ haben (Grundeigenschaft der Kreistangente), oder anders formuliert: Die Strecke ${\overline {OT}}$ muss senkrecht auf der Tangente $t$ stehen.
Um ein Dreieck $OPT$ zu finden, das auch rechtwinklig ist, ermitteln wir von der Strecke ${\overline {OP}}$ den Mittelpunkt $H$ mithilfe der Mittelsenkrechten, zeichnen einen Kreis mit dem Radius ${\overline {HO}}$ um den Mittelpunkt $H$ und machen uns das Prinzip des Thaleskreises zunutze: Alle Dreiecke mit der Grundseite ${\overline {OP}}$, deren dritter Eckpunkt auf dem Thaleskreis liegt, sind rechtwinklig. Dies gilt natürlich auch für das Dreieck $OPT$.
Der Berührpunkt $T$ kann deshalb nur der Schnittpunkt des Kreises $k$ mit dem hellgrauen Kreis sein. Durch Verbinden von $P$ mit $T$ erhält man nun die gesuchte Tangente $t$ (in der Zeichnung rot).
Es existiert eine zweite, symmetrische Lösung in der unteren Hälfte des Kreises. Die Tangente $t'$ (ebenfalls rot gezeichnet) berührt den Kreis ebenfalls, und zwar im Punkt $T'$.

#### Riemengetriebe

Für die zwei folgenden Anwendungen beginnt man mit der Konstruktion der beiden Kreistangenten an den Hilfskreis $k_{3}$ (grün) – analog zur obigen Beschreibung – mithilfe des Mittelpunktes $M_{2}$ der kleineren Riemenscheibe.

### Konstruktion reeller Quadratwurzeln

Mithilfe des Satzes des Thales lassen sich die folgenden Quadratwurzeln konstruieren:
* ${\sqrt {q}}$ aus $q>0$ und ${\sqrt {c}}$ aus $c>1$ (siehe Zahl größer als 1).
* ${\sqrt {p\cdot q}}$ aus $c=1,\;{\sqrt {q}}$ aus $q<1$ und ${\sqrt {p}}$ aus $p<1$ (siehe Zahl kleiner als 1).

#### Zahl größer als 1

Soll die Quadratwurzel einer reellen Zahl, die größer als 1 ist, gefunden werden, ohne vorherige Aufteilung der Zahl in $p$- und $q$-Anteile, eignet sich dafür die Methode, die das nebenstehende Bild zeigt. Im Prinzip sind damit auch Quadratwurzeln von Zahlen, die kleiner als 1 sind, vorstellbar.
Es beginnt mit dem Einzeichnen der Strecke ${\overline {BD}}$ mit Länge $p=1$ auf einer hier nicht näher bezeichneten Geraden. Ist die gegebene Zahl $q$ eine ganze Zahl, wird das Produkt $q\cdot {\overline {BD}}$ ab dem Punkt $D$ auf die Gerade abgetragen; d. h. ist z. B. die Zahl $q=8$, wird die Strecke ${\overline {BD}}$ achtmal abgetragen. Der dadurch entstehende Schnittpunkt $A$ bringt die Hypotenuse $c=p+q$ des entstehenden Dreiecks $ABC$.
Ist $q$ eine reelle Zahl, besteht u. a. auch die Möglichkeit, $q$ mithilfe des dritten Strahlensatzes zu konstruieren.
Es folgen die Senkrechte auf $c$ im Punkt $D$ und die Halbierung der Seite $c$ in $M$. Abschließend wird der Thaleskreis um $M$ gezogen.
* Nach dem Höhensatz des Euklid gilt $h^{2}=p\cdot q$, daraus folgt $h^{2}=1\cdot q$,
    somit ist die Höhe des rechtwinkligen Dreiecks $ABC$ gleich der Quadratwurzel aus $q$.
* Nach dem Kathetensatz des Euklid gilt $a^{2}=p\cdot c,$ daraus folgt $a^{2}=1\cdot c,$
    somit ist die Seitenlänge $a$ des rechtwinkligen Dreiecks $ABC$ gleich der Quadratwurzel aus $c$.

#### Zahl kleiner als 1

Ist die Quadratwurzel einer Zahl, die kleiner als $1$ ist, gesucht, eignet sich dafür die Methode, die das nebenstehende Bild zeigt.
Es beginnt ab dem Punkt $A$ (Wert $0$) mit einer Halbgeraden. Darauf wird die Strecke ${\overline {AB}}$ mit Länge $1$ und die Strecke ${\overline {AE}}$ mit Länge $0{,}1$ bestimmt. Dabei ergibt sich die Hypotenuse $c$ des entstehenden Dreiecks $ABC.$ Hat die gegebene Dezimalzahl $q$ nur eine Nachkommastelle, wird das Produkt $q\cdot {\overline {AE}}$ ab dem Punkt $A$ abgetragen; d. h. ist z. B. $q=0{,}8$ wird die Strecke ${\overline {AE}}$ achtmal abgetragen. Der dadurch entstehende Schnittpunkt $D$ bringt $c=p+q.$
Wenn die gegebene Dezimalzahl $q$ mehr als eine Nachkommastelle hat, z. B. $q=0{,}86$, besteht u. a. die Möglichkeit, wie bereits oben im Abschnitt Zahl größer als 1 darauf hingewiesen, $q$ mithilfe des dritten Strahlensatzes zu konstruieren.
Es folgen die Senkrechte auf die Strecke ${\overline {AB}}$ im Punkt $D$ und die Halbierung der Seite $c$ in $M.$ Abschließend wird der Thaleskreis (Radius $=0{,}5$) um $M$ gezogen.
* Nach dem Höhensatz des Euklid gilt $h^{2}=p\cdot q,$
    somit ist die Höhe $h$ des rechtwinkligen Dreiecks $ABC$ gleich der Quadratwurzel aus $p\cdot q$.
    Wegen $h={\sqrt {p\cdot q}}$ gilt auch:
    Im rechtwinkligen Dreieck $ABC$ ist die Länge $h$ das geometrische Mittel der Längen $p$ und $q$.
* Nach dem Satz des Pythagoras gilt für die Seitenlänge $b$:
       $b^{2}=q^{2}+p\cdot q$, darin ist $p=1-q$, damit ergibt sich
       $b^{2}=q^{2}+q\cdot \left(1-q\right)$
       $b^{2}=q^{2}+q-q^{2}\Rightarrow$
       $b={\sqrt {q}},$
    somit ist die Seitenlänge $b$ des rechtwinkligen Dreiecks $ABC$ gleich der Quadratwurzel aus $q$.
    Für die Seitenlänge $a:$
    Mit den entsprechenden Werten für die Seitenlänge $a$ ergibt sich
       $a={\sqrt {p}},$
    somit ist die Seitenlänge $a$ des rechtwinkligen Dreiecks $ABC$ gleich der Quadratwurzel aus $p.$