Satzgruppe des Pythagoras
Die Satzgruppe des Pythagoras umfasst drei Sätze der Mathematik, die sich mit Berechnungen in rechtwinkligen Dreiecken befassen:
- Satz des Pythagoras (Euklid: Elemente, Buch I, § 47 und Buch VI, § 31)
- Kathetensatz des Euklid (Euklid: Elemente, Buch I, § 47)
- Höhensatz des Euklid (Euklid: Elemente, Buch VI – § 8, Buch II – § 14 (implizit))
Die einzelnen Sätze
Satz des Pythagoras
{{#if: Satz des Pythagoras|{{#ifexist:Satz des Pythagoras|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
In einem rechtwinkligen Dreieck ist die Fläche des Quadrats über der Hypotenuse gleich der Summe der Flächen der Quadrate über den beiden Katheten.
- Seien <math>a,b,c</math> die Seiten des rechtwinkligen Dreiecks, wobei <math>c</math> die Hypotenuse sei. Das Quadrat über <math>c</math> ist flächengleich zur Summe der Quadrate über <math>a</math> und <math>b</math>.
Als Formel:
- <math>a^2+b^2=c^2</math>
Kathetensatz des Euklid
Die Verlängerung des über der Hypotenuse des rechtwinkligen Dreiecks errichteten Lots (Höhe des Dreiecks) teilt das Quadrat unter der Hypotenuse in zwei Rechtecke. Der Kathetensatz besagt, dass je eines der Rechtecke gleich große Fläche wie je eines der Quadrate über den beiden Katheten hat.
- Seien <math>a,b,c</math> die Seiten des rechtwinkligen Dreiecks, wobei <math>c</math> die Hypotenuse sei. Der Lotfußpunkt teilt die Hypotenuse in die Strecken <math>p</math> und <math>q</math>. Es gilt:
- Das Quadrat über <math>a</math> ist flächeninhaltsgleich zum Rechteck mit den Seiten <math>p</math> und <math>c</math>, und das Quadrat über <math>b</math> ist flächeninhaltsgleich zum Rechteck mit den Seiten <math>q</math> und <math>c</math>.
Als Formeln:
- <math>a^2=p \cdot c</math>
- <math>b^2=q \cdot c</math>
Höhensatz des Euklid
{{#if: Höhensatz|{{#ifexist:Höhensatz|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Der Höhensatz besagt, dass in einem rechtwinkligen Dreieck das Quadrat über der Höhe flächengleich dem Rechteck aus den Hypotenusenabschnitten ist. Oder:
- Seien <math>a,b,c</math> die Seiten des rechtwinkligen Dreiecks und <math>p</math> und <math>q</math> diejenigen Teile der Hypotenuse <math>c</math>, die durch deren Teilung am Lotfußpunkt der Höhe <math>h</math> entstehen. Dann ist
- <math>h^2=p \cdot q</math>.
Die Umkehrung gilt ebenso:
- Gilt der Höhensatz in einem Dreieck, so ist dieses Dreieck rechtwinklig.
Beweise
Für den Satz des Pythagoras existieren sehr viele verschiedene Beweise, siehe Artikel Satz des Pythagoras. Aus diesem kann man den Höhensatz und den Kathetensatz durch algebraische Berechnung beweisen, aber auch umgekehrt folgt aus jedem dieser beiden Sätze der Satz des Pythagoras! Die drei Sätze sind daher äquivalent: Ist einer der drei Sätze bewiesen, gelten ebenso die anderen zwei Sätze der Satzgruppe.
Algebraische Beweise
Beweis des Höhensatzes
Der Beweis des Höhensatzes kann mit dem Satz des Pythagoras <math>a^2+b^2=c^2</math> und der Binomischen Formel <math>(p+q)^2=p^2+2pq+q^2</math> geführt werden.
Im Diagramm erkennt man drei rechtwinklige Dreiecke, eines mit den Seiten <math>a,b,c</math>, dann noch jeweils eines mit <math>h,p,a</math> und <math>h,q,b</math>. Für jedes dieser Dreiecke gilt der Satz des Pythagoras:
- <math>a^2+b^2=c^2</math>
- <math>h^2+p^2=a^2</math>
- <math>h^2+q^2=b^2</math>
Außerdem gilt <math>p+q=c</math>. Das Quadrat ist also:
- <math>(p+q)^2=c^2</math>.
Nach der ersten binomischen Formel ist dies
- <math>p^2+2pq+q^2=c^2</math>.
Setzt man dies für <math>c^2</math> in die erste Formel ein und für <math>a^2</math> und <math>b^2</math> den jeweiligen linken Teil der zweiten und dritten Formel, so erhält man:
- <math>h^2+p^2 + h^2+q^2=p^2+2pq+q^2</math>
und damit <math>2h^2=2pq</math>. Nach Division durch zwei folgt der zu beweisende Höhensatz:
- <math>h^2=pq</math>.
Beweis des Kathetensatzes
Dieser Beweis verläuft analog zum Beweis des Höhensatzes mithilfe obiger vier Formeln: Es ist
- <math>a^2 = c^2-b^2=p^2+2pq+q^2-(q^2+h^2)=p^2+2pq+q^2-q^2-a^2+p^2=2p^2+2pq-a^2</math>
und damit
- <math>2a^2 = 2p(p + q) = 2pc</math>
- <math>a^2 = pc</math>
analog gilt dann
- <math>b^2 = qc</math>.
Beweis des Kathetensatzes mit Hilfe des Höhensatzes
Bezogen auf die Grafik beim Beweis des Höhensatzes:
- <math>a^2 = p^2 + h^2</math>
- <math>a^2 = p^2 + pq</math>
- <math>a^2 = p (p + q)</math>
- <math>a^2 = p c</math>
- <math>b^2 = q^2 + h^2</math>
- <math>b^2 = q^2 + p q</math>
- <math>b^2 = q (q + p)</math>
- <math>b^2 = q c</math>
Geometrische Beweise
Für den Höhensatz und den Kathetensatz existieren auch geometrische Beweise:
Ergänzungsbeweis des Höhensatzes
Dreiecke mit h,p und h,q sowie h² und pq
Ergänzungsbeweis zum Höhensatz
Zwei rechtwinklige Dreiecke sind kongruent, falls die Katheten gleich sind (der eingeschlossene Winkel ist ja auch gleich).
Teilt man ein rechtwinkliges Dreieck an der Höhe <math>h</math> in zwei rechtwinklige Dreiecke mit den Seiten <math>p</math> und <math>h</math> bzw. <math>q</math> und <math>h</math> (gelbes und rotes Dreieck im Diagramm), so kann man diese an ein Quadrat mit der Seitenlänge <math>h</math> (im Diagramm unten links) und an ein Rechteck mit den Seiten <math>p</math> und <math>q</math> anlegen (im Diagramm unten rechts).
(Man kann dies tun, weil das gelbe und das rote Dreieck die gleichen Winkel haben. Dies ist der Fall, weil jeweils ein Kathetenwinkel identisch mit dem von Ausgangsdreieck ist - und damit auch der Andere.)
In beiden Fällen entsteht ein rechtwinkliges Dreieck mit den Katheten <math>p+h</math> und <math>q+h</math>. Das rechte und linke Dreieck sind also kongruent. Das erste besteht aber aus dem gelben und roten Dreieck und dem Quadrat <math>h^2</math>, das zweite aus den beiden Dreiecken und dem Rechteck <math>pq</math>. Die Fläche des Quadrats muss daher gleich der Fläche des Rechtecks sein, also <math>h^2=pq</math>.
Scherungsbeweis
Schert man ein Rechteck zu einem Parallelogramm, so bleibt die Fläche erhalten. Damit lässt sich der Höhensatz auch beweisen. Die Animation veranschaulicht den Beweis:
Animation mit dreifacher Scherung des Quadrates h²
Veranschaulichung des Beweisgangs zum Höhensatz mittels Scherung
Mit Hilfe der Kongruenzsätze für Dreiecke muss man noch beweisen, dass die neue Höhe <math>q</math> tatsächlich dem Hypotenusenabschnitt entspricht. Darauf wird hier verzichtet.
Scherungsbeweis des Kathetensatzes
Der Scherungsbeweis des Satzes des Pythagoras beweist zugleich den Kathetensatz.
Animation mit zweifacher Scherung der Kathetenquadrate
Veranschaulichung des Beweisgangs zum Kathetensatz mittels Scherung
Beweis der kompletten Satzgruppe über ähnliche Dreiecke
Die Seitenverhältnisse der ähnlichen Dreiecke liefern sofort die beiden Kathetensätze und den Höhensatz. Der Satz des Pythagoras ergibt sich dann direkt aus der Addition der beiden Kathetensätze.
Beweis der kompletten Satzgruppe als Spezialfall des Sehnen- bzw. des Tangenten-Sekanten-Satzes
Wie im Artikel Höhensatz ausgeführt, lässt sich der Höhensatz auch als Spezialfall des Sehnensatzes auffassen.
Ebenso lässt sich der Kathetensatz als Spezialfall des Sekanten-Tangenten-Satzes auffassen, indem man einen Kreis mit einer Kathete als Durchmesser betrachtet. Sei <math>M_b</math> der Mittelpunkt der Kathete <math>b</math>. Für den Kreis <math> k </math> um <math>M_b</math> mit Radius <math>AM_b = DM_b = CM_b</math> ist <math>(BC)</math> eine (senkrecht auf dem Berührradius <math>CM_b</math> stehende) Tangente, <math>(AB)</math> eine Sekante in der Voraussetzung des Sekanten-Tangenten-Satzes. Mit letzterem ist:
- <math>BC^2 = BA \cdot BD \; \Leftrightarrow \; a^2 = cp</math>.
Entsprechend lässt sich <math>b^2 = cq</math> ausgehend von der Mittelsenkrechten von <math>DB</math> beweisen.
Der Satz des Pythagoras folgt (wie im hier vorangehenden Abschnitt) aus der Addition der beiden Kathetensätze.
Alternativ lässt sich auch der Satz des Pythagoras (direkt) als Spezialfall des Sekanten-Tangenten-Satzes auffassen, indem man einen Kreis mit einer Kathete als Radius betrachtet<ref>Norbert: Treitz: Pythagoras aus Sekanten-Tangentensatz. Spektrum der Wissenschaft (spektrum.de), 11. April 2017</ref>. In nebenstehendem Dreieck teilt der Kreis <math> k' </math> um <math>B</math> mit Radius <math>a </math> die Strecke <math>AB </math> im Punkt <math>T_1 </math> von innen, im Punkt <math>T_2 </math> von außen. Für <math> k' </math> ist <math>(AC)</math> eine (senkrecht auf dem Berührradius <math>CB</math> stehende) Tangente, <math>(AB) </math> eine Sekante in der Voraussetzung des Sekanten-Tangenten-Satzes. Also ist mit der dritten binomischen Formel:
- <math> AC^2 = AT_1 \cdot AT_2 \; \Leftrightarrow \; b^2 = (c -a) \cdot (c +a) = c^2 -a^2\; \Leftrightarrow \; a^2 +b^2 = c^2 </math>.
Literatur
- A. M. Fraedrich: Die Satzgruppe des Pythagoras. BI Wissenschaftsverlag, Mannheim, 1995.
- Max Koecher, Aloys Krieg: Ebene Geometrie. 3., neu bearbeitete und erweiterte Auflage. Springer, Berlin u. a. 2007, ISBN 978-3-540-49327-3.
- Hans Schupp: Elementargeometrie (Uni-Taschenbücher 669 Mathematik). Schöningh, Paderborn 1977, ISBN 3-506-99189-2, S. 114–118.
- Hartmut Wellstein, Peter Kirsche: Elementargeometrie. Eine aufgabenorientierte Einführung. Vieweg + Teubner, Wiesbaden 2009, ISBN 978-3-8348-0856-1, S. 70–78 ({{#if: cFzWcl9xiGcC
| {{#if: {{#if: ||1}} {{#if: cFzWcl9xiGcC ||1}}
| <0|&pg={{#if:|RA{{{Band}}}-}}PA70|&pg=70}}{{#if:|&q=}}#v=onepage|{{#if:|&pg=|}}{{#if:|&q=}}}}{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}|{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}}} {{#if:Auszug (Google)|{{#invoke:WLink|getEscapedTitle|Auszug (Google)}}|eingeschränkte Vorschau}}{{#if:ja|| in der Google-Buchsuche}}{{#ifeq:|US|-USA}}{{#if: cFzWcl9xiGcC |{{#invoke: Vorlage:GoogleBook|fine |id=cFzWcl9xiGcC |errN=Parameter „BuchID“ hat falsche Länge |errC=Parameter „BuchID“ enthält ungültige Zeichen |errH=# in der „BuchID“ |errP=Parameterzuweisungen in der „BuchID“ |class=editoronly |cat={{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch}}
}}
| Es darf nur genau einer der beiden Parameter „Suchbegriff“ oder „BuchID“ ausgefüllt werden. Bitte beachte die in der Vorlage:Google Buch befindliche Dokumentation und prüfe die verwendeten Parameter.{{#ifeq: 0 | 0 | }}}}
| Es muss mindestens einer der beiden Parameter „Suchbegriff“ oder „BuchID“ ausgefüllt werden. Bitte beachte die in der Vorlage:Google Buch befindliche Dokumentation und prüfe die verwendeten Parameter.{{#ifeq: 0 | 0 | }}}}{{#invoke:TemplatePar|check
|all=
|opt= Suchbegriff= BuchID= Seite= Band= SeitenID= Hervorhebung= Linktext= Land= KeinText=
|cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}}
|template= Vorlage:Google Buch
|format=
}}{{#if:Auszug (Google)|{{#if:{{#invoke:WLink|isBracketedLink|Auszug (Google)}}|}}}}).
- Euklid: Elemente. Buch I – § 47, Buch II – § 14, Buch VI – § 8, Buch VI – § 31 (Online-Kopie).
- Lorenz Halbeisen, Norbert Hungerbühler, Juan Läuchli: Mit harmonischen Verhältnissen zu Kegelschnitten: Perlen der klassischen Geometrie. Springer 2016, ISBN 9783662530344, S. 5–9, 27–31, insbesondere S. 30 Fußnote
Weblinks
- Christian Nöth: Beweistechniken an der Satzgruppe des Pythagoras. Webseite der Mathematikdidaktik der Uni Würzburg (archiviert).
- Beweissammlung für den Satz des Pythagoras auf cut-the-knot (englisch)
- {{#if: | {{{author}}} | Eric W. Weisstein }}: Pythagorean theorem. In: MathWorld (englisch). {{#if: | {{#ifeq: {{#property:P2812}} | {{{id}}} | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }} (enthält auch verschiedene Beweise)
- Klassischer Beweis mit Geogebra
- Satzgruppe des Pythagoras - interaktive Illustration
Einzelnachweise
<references />