Die Flächenformel von Pappus, auch Satz des Pappus genannt, ist ein Lehrsatz der euklidischen Dreiecksgeometrie, der auf den spätantiken Mathematiker Pappus Alexandrinus zurückgeht und welcher von diesem im ersten Kapitel von Buch IV der Mathematischen Sammlungen etwa im Jahr 320 vorgestellt wurde. Die Formel behandelt eine wesentliche Verallgemeinerung des Satzes des Pythagoras und gilt für beliebige Dreiecke, wobei Parallelogramme anstelle der pythagoreischen Quadrate treten.

Formulierung

Gegeben sei ein beliebiges Dreieck ${\displaystyle ABC}$ der euklidischen Ebene ${\displaystyle \mathbb {E} ^{2}}$. Als Grundseite des Dreiecks sei die dem Eckpunkt ${\displaystyle A}$ gegenüberliegenden Dreiecksseite ${\displaystyle {\overline {BC}}}$ gewählt.

Über den beiden anderen Dreiecksseiten ${\displaystyle {\overline {AB}}}$ und ${\displaystyle {\overline {AC}}}$, jeweils gegenüber den Eckpunkten ${\displaystyle C}$ bzw. ${\displaystyle B}$, seien zwei beliebige Parallelogramme ${\displaystyle ABDE}$ und ${\displaystyle ACFG}$ gelegen und dabei sei ${\displaystyle H={DE}\cap {FG}}$ der Schnittpunkt der beiden Geraden ${\displaystyle DE}$ und ${\displaystyle FG}$

Über der Grundseite ${\displaystyle {\overline {BC}}}$ liege das Parallelogramm ${\displaystyle BCML}$, und dafür sei vorausgesetzt:

(1) Die Seiten ${\displaystyle {\overline {BL}}}$ und ${\displaystyle {\overline {CM}}}$ seien parallel zur Geraden ${\displaystyle AH}$

(2) Die Seiten ${\displaystyle {\overline {AH}}}$, ${\displaystyle {\overline {BL}}}$ und ${\displaystyle {\overline {CM}}}$ seien von gleicher Länge:

${\displaystyle |{\overline {AH}}|=|{\overline {BL}}|=|{\overline {CM}}|}$.

Dann gilt:

Der Flächeninhalt des Parallelogramms ${\displaystyle BCML}$ ist gleich der Summe der Flächeninhalte der beiden Parallelogramme ${\displaystyle ABDE}$ und ${\displaystyle ACFG}$.

In Formeln:

${\displaystyle F_{BCML}=F_{ABDE}+F_{ACFG}}$

Zum Beweisgang

Der Beweisgang lässt sich so darstellen:

Ausgangspunkt ist die Tatsache, dass durch die Gerade ${\displaystyle AH}$ eine Aufteilung der euklidischen Ebene ${\displaystyle \mathbb {E} ^{2}}$ in zwei abgeschlossene Halbebenen gegeben ist.

Die Schnittmengen dieser beiden Halbebenen mit dem Parallelogramm ${\displaystyle BCML}$ bilden wiederum zwei Parallelogramme ${\displaystyle {H^{*}}{A^{*}}LB}$ und ${\displaystyle {H^{*}}{A^{*}}MC}$, welche ${\displaystyle BCML}$ aufteilen, wobei ${\displaystyle {H^{*}}}$ der Schnittpunkt der Geraden ${\displaystyle AH}$ mit der Seite ${\displaystyle {\overline {BC}}}$ ist und ${\displaystyle {A^{*}}}$ der Schnittpunkt der Geraden ${\displaystyle AH}$ mit der Seite ${\displaystyle {\overline {LM}}}$.

Mittels Scherung und Parallelverschiebung – in der jeweiligen Halbebene! – sieht man nun, dass ${\displaystyle {H^{*}}{A^{*}}LB}$ flächengleich ist mit ${\displaystyle ABDE}$ und ebenso ${\displaystyle {H^{*}}{A^{*}}MC}$ flächengleich mit ${\displaystyle ACFG}$.

Dies lässt sich in drei Teilschritten (s. u.) nachvollziehen, wobei die Behandlung der beiden Parallelogramme ${\displaystyle ABDE}$ und ${\displaystyle ACFG}$ vollkommen gleichartig ist.

Auf diesem Wege erhält man dann die gewünschte Identität:

${\displaystyle F_{BCML}=F_{{H^{*}}{A^{*}}LB}+F_{{H^{*}}{A^{*}}MC}=F_{ABDE}+F_{ACFG}}$.

Zusammenhang mit dem Satz des Pythagoras

Der Satz des Pythagoras ergibt sich, wenn man annimmt, dass erstens das Dreieck ${\displaystyle ABC}$ rechtwinklig ist mit rechtem Winkel bei ${\displaystyle A}$, mit Katheten ${\displaystyle {\overline {AB}}}$ bzw. ${\displaystyle {\overline {AC}}}$ sowie Hypotenuse ${\displaystyle {\overline {BC}}}$ und dass zweitens die Parallelogramme ${\displaystyle ABDE}$ und ${\displaystyle ACFG}$ Quadrate sind.

Wie sich dann zeigt, sind die Dreiecke ${\displaystyle AGH}$ und ${\displaystyle AHE}$ beide rechtwinklig sowie zum Ausgangsdreieck ${\displaystyle ABC}$ kongruent und die Gerade ${\displaystyle AH}$ fällt mit der Höhengeraden durch ${\displaystyle A}$ auf ${\displaystyle {\overline {BC}}}$ zusammen. Das Parallelogramm ${\displaystyle BCML}$ ist daher ein Rechteck und wegen ${\displaystyle |{\overline {CM}}|=|{\overline {AH}}|=|{\overline {BC}}|}$ sogar ein Quadrat. Die Flächenformel fällt folglich in diesem Falle mit der pythagoreischen Formel

${\displaystyle |{\overline {BC}}|^{2}=|{\overline {AB}}|^{2}+|{\overline {AC}}|^{2}}$

zusammen. Weiterhin zeigt sich, dass mit dem obigen Beweisgang zugleich auch ein Beweis des euklidischen Kathetensatzes gegeben ist.

Abgrenzung

Der hiesige Lehrsatz ist nicht identisch mit dem Großen Satz von Pappus, welcher allerdings ebenfalls auf Pappus Alexandrinus zurückgeht.

Literatur

• Claudi Alsina, Roger B. Nelsen: Charming Proofs: A Journey Into Elegant Mathematics. Mathematical Association of America, 2010, ISBN 978-0-88385-348-1, S. 77–78 (Auszug (Google))
  • Claudi Alsina, Roger B. Nelsen: Bezaubernde Beweise: Eine Reise durch die Eleganz der Mathematik. Springer Spektrum, Berlin / Heidelberg 2013, ISBN 978-3-642-34792-4. 
• Anna Maria Fraedrich: Die Satzgruppe des Pythagoras (= Lehrbücher und Monographien zur Didaktik der Mathematik. Band 29). B.I.-Wissenschaftsverlag, Mannheim / Leipzig / Wien / Zürich 1994, ISBN 3-411-17321-1. 
• Theophil Lambacher, Wilhelm Schweizer (Hrsg.): Lambacher-Schweizer. Mathematisches Unterrichtswerk für höhere Schulen. Geometrie. Ausgabe E, 13. Auflage. Teil 2. Ernst Klett Verlag, Stuttgart 1965. 
• Howard Eves: Pappus’s Extension of the Pythagorean Theorem. In: The Mathematics Teacher, Vol. 51, No. 7 (November 1958), S. 544–546, JSTOR:27955752

Weblinks

• Werke von und über Pappus, Alexandrinus in der Deutschen Digitalen Bibliothek
• Hans-Jürgen Elschenbroich: Webpublikation. (PDF) MNU

Einzelnachweise und Anmerkungen

1. ↑ Pappus <Alexandrinus>, Hultsch, Friedrich: MDZ-Reader | Band | Pappi Alexandrini collectionis quae supersunt / Pappus | Pappi Alexandrini collectionis quae supersunt / Pappus. S. 204–206, abgerufen am 19. März 2021. 
2. 1 2 Claudi Alsina, Roger B. Nelsen: Bezaubernde Beweise: Eine Reise durch die Eleganz der Mathematik. Springer Spektrum, Berlin / Heidelberg 2013, ISBN 978-3-642-34792-4, S. 91–92. 
3. 1 2 Theophil Lambacher, Wilhelm Schweizer (Hrsg.): Lambacher-Schweizer. Mathematisches Unterrichtswerk für höhere Schulen. Geometrie. Ausgabe E, 13. Auflage. Teil 2. Ernst Klett Verlag, Stuttgart 1965, S. 102. 
4. 1 2 3 Anna Maria Fraedrich: Die Satzgruppe des Pythagoras (= Lehrbücher und Monographien zur Didaktik der Mathematik. Band 29). B.I.-Wissenschaftsverlag, Mannheim / Leipzig / Wien / Zürich 1994, ISBN 3-411-17321-1, S. 88–89. 
5. ↑ Die Formulierung Über … bedeutet, dass das jeweilige Parallelogramm mit dem Dreieck nur eine Seite gemeinsam hat, also – ;in diesem Sinne! ;– außerhalb des Dreiecks liegt.
6. ↑ Die Reihenfolge der Punkte ist für die Darstellung der Geraden und Strecken unwesentlich. Es ist also für zwei Punkte ${\displaystyle X,Y}$ stets ${\displaystyle XY=YX}$ und ${\displaystyle {\overline {XY}}={\overline {YX}}}$.
7. ↑ Eine Strecke ist parallel zu einer gegebenen Geraden genau dann, wenn die Gerade, auf der die Strecke liegt, und die gegebene Gerade parallel sind.
8. ↑ Die Darstellung folgt im Wesentlichen der von Alsina und Nelsen (S. 92). Alsina und Nelsen geben an, ihre Darstellung sei wiederum von dem amerikanischen Mathematiker Howard Whitley Eves übernommen. Der Beweisansatz ähnelt dem des Scherungsbeweises des Pythagoreischen Lehrsatzes. Die im Lambacher-Schweizer auf S. 102 zu findende Skizze legt nahe, dass dieser Ansatz zum Beweis der Flächenformel schon früher bekannt war.
9. ↑ ${\displaystyle \mathbb {E} ^{2}\setminus AH}$ ist also in die beiden zugehörigen offenen Halbebenen zerlegt.
10. ↑ Geht man von einer festgelegten Links-Rechts-Orientierung der euklidischen Ebene ${\displaystyle \mathbb {E} ^{2}}$ aus und bezeichnet man für zwei verschiedene parallele Geraden ${\displaystyle g,h\subset \mathbb {E} ^{2}}$ die abgeschlossenen Halbebenen auf der linken Seite mit ${\displaystyle {H_{g}}^{-}}$ bzw. ${\displaystyle {H_{h}}^{-}}$, die auf der rechten Seite mit ${\displaystyle {H_{g}}^{+}}$ bzw. ${\displaystyle {H_{h}}^{+}}$ und nimmt man weiter o. B. d. A. ${\displaystyle g\subset {H_{h}}^{-}}$ an, so hat der dazwischen liegende Streifen die Darstellung ${\displaystyle {\mathcal {S}}_{g-h}={H_{g}}^{+}\cap {H_{h}}^{-}}$.