Satz des Thales mit Vektorrechnung beweisen
===========================================

.. image:: ../../media/00/0f/winkel_im_halbkreis.png
	:alt: Zwei rechtwinklige Dreiecke im Halbkreis
	:align: right

Der Satz des Thales besagt, dass jedes Dreieck, das einen Punkt auf der
Halbkreisbahn (siehe Bild) hat an diesem Punkt einen rechten Winkel hat. Um
dies zu beweisen kann man sich der Geometrie bedienen. Ich werde hier aber
einen anderen Weg wählen: Vektoren.

.. image:: ../../media/00/0f/rechtwinkliges_dreieck.png
	:alt: Rechtwinkliges Dreieck ABC
	:align: right

Zunächst bezeichnen wir die Ecken mit A, B und C. Der Mittelpunkt der
Hypotenuse, also der Seite, die dem rechten Winkel gegenüberliegt, bekommt den
Buchstaben M.

Hätten alle Dreiecke ABC einen rechten Winkel bei Punkt C, so müsste gelten
:eqn:`\\vec{AC} \\cdot \\vec{BC} = 0`, denn das Produkt zweier Vektoren ergibt
Null, wenn sie orthogonal zueinander verlaufen. Nun wollen wir das ganze aber
allgemeingültig lösen, sodass wir keine Werte einsetzen und überprüfen können.
Darum müssen Gleichungen gefunden werden, mit denen man :eqn:`\\vec{AC}` und
:eqn:`\\vec{BC}` ersetzen kann.

Die Länge des Vektors :eqn:`\\vec{MC}` ist gleich dem Radius des Halbkreises,
also dem halben Durchmesser:
:eqn:`|\\vec{MC}| = \\frac{1}{2} | \\vec{AB} |`.
Mithilfe von Addition von Vektoren können wir ebenfalls die Vektoren
:eqn:`\\vec{AC}` und :eqn:`\\vec{BC}` umschreiben in
:eqn:`\\vec{AC} = \\vec{AM} + \\vec{MC} = \\frac{1}{2} \\vec{AB} + \\vec{MC}`
und
:eqn:`\\vec{BC} = \\vec{BM} + \\vec{MC} = - \\frac{1}{2} \\vec{AB} +
\\vec{MC}`.
Diese beiden Gleichungen können wir nun einsetzen:
:eqn:`\\vec{AC} \\cdot \\vec{BC} = \\left ( \\frac{1}{2} \\vec{AB} + \\vec{MC}
\\right ) \\cdot \\left (- \\frac{1}{2} \\vec{AB} + \\vec{MC} \\right ) = 0`.
Dann das ganze ausmultiplizieren:
:eqn:`- \\frac{1}{4} (\\vec{AB})^2 + \\frac{1}{2} \\vec{AB} \\cdot \\vec{MC} -
\\frac{1}{2} \\vec{AB} \\cdot \\vec{MC} + (\\vec{MC} )^2 = 0`.
Und wie man sieht hebt sich ein großer Teil dieser Gleichung von selber auf.
Es bleibt also:
:eqn:`- \\frac{1}{4} (\\vec{AB} )^2 + (\\vec{MC} )^2 = 0`.

Nun kann man folgende vom Skalarprodukt abgeleitete Regel verwenden: Das
Quadrat eines Vektors ist sein Betrag zum Quadrat, denn der Winkel in dem der
Vektor zu sich selber steht beträgt 0°. Damit ist :eqn:`( \\vec{AB} )^2 = |
\\vec{AB} |^2` und :eqn:`(\\vec{MC} )^2 = |\\vec{MC} |^2`, wobei wir
:eqn:`\\vec{MC}` eben schon definiert hatten.

So gilt: :eqn:`- \\frac{1}{4} |\\vec{AB} |^2 + \\frac{1}{4} | \\vec{AB} |^2 =
0`. Diese Aussage ist wahr, denn die linke Seite ist auch Null, womit der Satz
des Thales bewiesen wäre.