Apollonios-Gleichung

Vorlage:Hinweisbaustein Die Apollonios-Gleichung<ref name="JH_01">J. Heine: Topologie und Funktionalanalysis. 2002, S. 25</ref> ist ein mathematischer Lehrsatz, welcher sowohl dem mathematischen Teilgebiet der Geometrie als auch dem der Funktionalanalysis zugehört. Sie wird dem antiken griechischen Mathematiker Apollonios von Perge zugerechnet und behandelt eine grundlegende metrische Beziehung zwischen Seiten und Seitenhalbierenden von Dreiecken. Die Gleichung ist eng verwandt mit der pythagoreischen Gleichung. In der Elementargeometrie spricht man im Zusammenhang mit dieser Gleichung auch vom Satz von der Seitenhalbierenden<ref name="IA-TF_01">Ilka Agricola, Thomas Friedrich: Elementargeometrie. 2015, S. 77</ref> oder vom Satz von Apollonios<ref name="CA-RBN_01">Claudi Alsina, Roger B. Nelsen: Perlen der Mathematik. 2015, S. 63</ref>. Hier ergibt sich aus der Apollonios-Gleichung in direkter Folgerung ein bekannter Satz von Leonhard Euler.

Formulierung[Bearbeiten]

Die Apollonios-Gleichung lässt sich formulieren wie folgt:<ref name="JH_01" />

Für drei Punkte <math>x,y,z</math> eines Innenproduktraums <math>V</math>, welcher mit der aus dem inneren Produkt dieses Raums herrührenden Norm <math>{\| \cdot \|} </math> versehen ist, gilt stets:

(AG-1) <math> \tfrac{1}{2} \| x-y \|^2 + 2\, \| z- \tfrac{1}{2} (x+y) \|^2 = \| z-x \|^2 + \| z-y \|^2 </math>.

Erläuterungen, Anmerkungen und Folgerungen[Bearbeiten]

Die Apollonios-Gleichung ist eine direkte Folgerung aus der Parallelogrammgleichung,<ref name="JH_02">J.Heine, op. cit., S. 551</ref> welche sich ihrerseits unmittelbar – nämlich für <math>z=0</math> – aus der Apollonios-Gleichung ergibt.
Ist hierbei <math>V</math> die euklidische Ebene, versehen mit der euklidischen Norm, und liegt ein Dreieck <math>ABC</math> vor, für welches – wie üblich – die Seitenlängen mit <math>a,b,c</math> und die Länge der zum Punkte <math>C</math> gehörigen Seitenhalbierenden mit <math>s_c</math> benannt werden, so schreibt sich (AG-1) in der Form

(AG-2a) <math> \tfrac{1}{2} c^2 + 2{s_c}^2 = a^2 + b^2 </math> ,

womit sich<ref>Durch Auflösen der Gleichung (AG-2a) nach <math>s_c</math>.</ref> die bekannte (gleichwertige!) Formel

(AG-2b) <math>s_c = \frac{\sqrt{2(a^2+b^2)-c^2}}{2} </math>

ergibt.<ref name="INB-KAS_01">Bronstein/Semendjajew 1972, S. 141</ref>

Bildet man die entsprechenden Formeln für die beiden anderen Dreiecksseiten und deren Seitenhalbierenden, so gewinnt man – nach Äquivalenzumformungen – die drei Gleichungen

(AG-3a) <math>{s_a}^2 - {s_b}^2 = \frac{3}{4} (b^2-a^2) </math>

(AG-3b) <math>{s_b}^2 - {s_c}^2 = \frac{3}{4} (c^2-b^2) </math>

(AG-3c) <math>{s_c}^2 - {s_a}^2 = \frac{3}{4} (a^2-c^2) </math>

Es folgt daraus unmittelbar:

(AG-F1) <math>{s_a}^2 + {s_b}^2 + {s_c}^2 = \frac{3}{4} (a^2 + b^2 + c^2) </math><ref name="CA-RBN_01" />

(AG-F2) <math>s_a \geq s_b \geq s_c \text{ wenn } a \leq b \leq c </math><ref name="CA-RBN_01" />

(AG-F3) Ist <math>ABC</math> speziell ein rechtwinkliges Dreieck der euklidischen Ebene und <math>c</math> die Länge der Hypotenuse, so gilt nach dem Satz des Thales <math>s_c = \tfrac{1}{2}c</math> und damit die pythagoreische Gleichung.

Siehe auch[Bearbeiten]

Literatur[Bearbeiten]

Ilka Agricola, Thomas Friedrich: Elementargeometrie. Fachwissen für Studium und Mathematikunterricht (= Studium). 4., überarbeitete Auflage. Springer Spektrum, Wiesbaden 2015, ISBN 978-3-658-06730-4, doi:10.1007/978-3-658-06731-1.
Claudi Alsina – Roger B. Nelsen: Perlen der Mathematik. 20 geometrische Figuren als Ausgangspunkte für mathematische Erkundungsreisen. Springer Spektrum, Berlin – Heidelberg 2015, ISBN 978-3-662-45461-9.
I. N. Bronstein, K. A. Semendjajew: Taschenbuch der Mathematik. 12. Auflage. Verlag Harri Deutsch, Frankfurt am Main 1972.
Jürgen Heine: Topologie und Funktionalanalysis. Grundlagen der Abstrakten Analysis mit Anwendungen. 2., verbesserte Auflage. Oldenbourg Verlag, München 2011, ISBN 978-3-486-70530-0.

Fußnoten und Einzelnachweise[Bearbeiten]