# Flächenformel von Pappus

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 $ABC$ der euklidischen Ebene $\mathbb {E} ^{2}$. Als Grundseite des Dreiecks sei die dem Eckpunkt $A$ gegenüberliegenden Dreiecksseite ${\overline {BC}}$ gewählt.
Über den beiden anderen Dreiecksseiten ${\overline {AB}}$ und ${\overline {AC}}$, jeweils gegenüber den Eckpunkten $C$ bzw. $B$, seien zwei beliebige Parallelogramme $ABDE$ und $ACFG$ gelegen und dabei sei $H={DE}\cap {FG}$ der Schnittpunkt der beiden Geraden $DE$ und $FG$
Über der Grundseite ${\overline {BC}}$ liege das Parallelogramm $BCML$, und dafür sei vorausgesetzt:
    (1) Die Seiten ${\overline {BL}}$ und ${\overline {CM}}$ seien parallel zur Geraden $AH$
    (2) Die Seiten ${\overline {AH}}$, ${\overline {BL}}$ und ${\overline {CM}}$ seien von gleicher Länge:
       $|{\overline {AH}}|=|{\overline {BL}}|=|{\overline {CM}}|$.
Dann gilt:
    Der Flächeninhalt des Parallelogramms $BCML$ ist gleich der Summe der Flächeninhalte der beiden Parallelogramme $ABDE$ und $ACFG$.
    In Formeln:
    $F_{BCML}=F_{ABDE}+F_{ACFG}$

## Zum Beweisgang

Der Beweisgang lässt sich so darstellen:
Ausgangspunkt ist die Tatsache, dass durch die Gerade $AH$ eine Aufteilung der euklidischen Ebene $\mathbb {E} ^{2}$ in zwei abgeschlossene Halbebenen gegeben ist.
Die Schnittmengen dieser beiden Halbebenen mit dem Parallelogramm $BCML$ bilden wiederum zwei Parallelogramme ${H^{*}}{A^{*}}LB$ und ${H^{*}}{A^{*}}MC$, welche $BCML$ aufteilen, wobei ${H^{*}}$ der Schnittpunkt der Geraden $AH$ mit der Seite ${\overline {BC}}$ ist und ${A^{*}}$ der Schnittpunkt der Geraden $AH$ mit der Seite ${\overline {LM}}$.
Mittels Scherung und Parallelverschiebung – in der jeweiligen Halbebene! – sieht man nun, dass ${H^{*}}{A^{*}}LB$ flächengleich ist mit $ABDE$ und ebenso ${H^{*}}{A^{*}}MC$ flächengleich mit $ACFG$.
Dies lässt sich in drei Teilschritten (s. u.) nachvollziehen, wobei die Behandlung der beiden Parallelogramme $ABDE$ und $ACFG$ vollkommen gleichartig ist.
Auf diesem Wege erhält man dann die gewünschte Identität:
    $F_{BCML}=F_{{H^{*}}{A^{*}}LB}+F_{{H^{*}}{A^{*}}MC}=F_{ABDE}+F_{ACFG}$.

### Darstellung der Teilschritte

Anhand des Parallelogramms $ABDE$ lassen sich die Teilschritte wie folgt beschreiben:

#### Teilschritt 1

Innerhalb des von den Geraden $AB$ und $DE$ berandeten – also dazwischen liegenden! – abgeschlossenen Streifens ${\mathcal {S}}_{AB-DE}$ wird das Parallelogramm $ABDE$ in ein flächengleiches Parallelogramm geschert, und zwar derart, dass die Punkte der Seite ${\overline {AB}}$ festbleiben, während der Punkt $D$ in den Punkt $I$, der Punkt $E$ in den Punkt $H$, die Seite ${\overline {BD}}$ in die Seite ${\overline {BI}}$ und die Seite ${\overline {AE}}$ in die Seite ${\overline {AH}}$ übergehen.

#### Teilschritt 2

Längs der Geraden $AH$ $(={A^{*}H^{*}})$ und dabei stets innerhalb des von den Geraden $BI$ $(=BL)$ sowie $AH$ berandeten abgeschlossenen Streifens ${\mathcal {S}}_{BI-AH}$ wird das in Teilschritt 1 entstandene Parallelogramm so verschoben, dass ein neues Zwischenparallelogramm entsteht, wobei $I$ in $B$ und $B$ in $L$ übergehen.

#### Teilschritt 3

Innerhalb ${\mathcal {S}}_{BI-AH}$ wird das in Teilschritt 2 entstandene Zwischenparallelogramm in das Parallelogramm ${H^{*}}{A^{*}}LB$ geschert, und zwar derart, dass alle Punkte der Seite ${\overline {BL}}$ festbleiben.

## Zusammenhang mit dem Satz des Pythagoras

Der Satz des Pythagoras ergibt sich, wenn man annimmt, dass erstens das Dreieck $ABC$ rechtwinklig ist mit rechtem Winkel bei $A$, mit Katheten ${\overline {AB}}$ bzw. ${\overline {AC}}$ sowie Hypotenuse ${\overline {BC}}$ und dass zweitens die Parallelogramme $ABDE$ und $ACFG$ Quadrate sind.
Wie sich dann zeigt, sind die Dreiecke $AGH$ und $AHE$ beide rechtwinklig sowie zum Ausgangsdreieck $ABC$ kongruent und die Gerade $AH$ fällt mit der Höhengeraden durch $A$ auf ${\overline {BC}}$ zusammen. Das Parallelogramm $BCML$ ist daher ein Rechteck und wegen $|{\overline {CM}}|=|{\overline {AH}}|=|{\overline {BC}}|$ sogar ein Quadrat. Die Flächenformel fällt folglich in diesem Falle mit der pythagoreischen Formel
    $|{\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.