Satz des Heron

Der Satz des Heron ist ein Lehrsatz der Elementargeometrie, welcher nach dem antiken Mathematiker Heron von Alexandria benannt ist. Der Satz beschreibt eine mathematische Formel, mit deren Hilfe der Flächeninhalt eines Dreiecks aus den drei Seitenlängen berechenbar ist. Man nennt die Formel auch heronsche Formel bzw. heronische Formel oder auch die Formel von Heron. Heron hat diesen Satz in seinem Werk "Metrika" (Mitte des 1. Jahrhunderts) beschrieben und darin auch einen Beweis dafür geliefert.

Der Satz und die Formel waren spätestens im 13. Jahrhundert auch schon den chinesischen Mathematikern bekannt. Sie kommt - in einer gleichwertigen Darstellung (siehe unten zu V3) - in der Mathematischen Abhandlung in neun Kapiteln des Qin Jiushao vor.

Formulierung des Satzes

Der Flächeninhalt $A$ eines Dreiecks der euklidischen Ebene mit den Seitenlängen $a$ , $b$ , $c$ und halbem Umfang

s = \frac{a + b + c}{2}

ist

A = \sqrt{s \cdot (s - a) \cdot (s - b) \cdot (s - c)}

Andere Darstellungen

Diese Formel lässt sich auch so ausdrücken:

A = \frac{1}{4} \cdot \sqrt{(a + b + c) \cdot (- a + b + c) \cdot (a - b + c) \cdot (a + b - c)}

(V1)

Ausmultipliziert erhält man:

A = \frac{1}{4} \cdot \sqrt{2 \cdot a^{2} \cdot b^{2} + 2 \cdot b^{2} \cdot c^{2} + 2 \cdot c^{2} \cdot a^{2} - a^{4} - b^{4} - c^{4}}

(V2)

Als weitere Darstellung der heronischen Formel ist auch die folgende gängig:

A = \frac{1}{4} \cdot \sqrt{4 \cdot a^{2} \cdot b^{2} - (a^{2} + b^{2} - c^{2})^{2}}

(V3),

welche man aus der Version (V1) durch Umgruppieren und Anwendung der binomischen Formeln mit den folgenden Gleichungen gewinnt:

\begin{matrix} 16 \cdot A^{2} & = (((a + b) + c) \cdot ((a + b) - c)) \cdot ((c + (a - b)) \cdot (c - (a - b))) \\ = ((a + b)^{2} - c^{2}) \cdot (c^{2} - (a - b)^{2}) \\ = (a^{2} + 2 \cdot a \cdot b + b^{2} - c^{2}) \cdot (c^{2} - a^{2} + 2 \cdot a \cdot b - b^{2}) \\ = (2 \cdot a \cdot b + (a^{2} + b^{2} - c^{2})) \cdot (2 \cdot a \cdot b - (a^{2} + b^{2} - c^{2})) \\ = 4 \cdot a^{2} \cdot b^{2} - (a^{2} + b^{2} - c^{2})^{2} \end{matrix}

Aus der Version (V3) lässt sich schließlich eine Darstellung mit einer Determinante ableiten:

A = \frac{1}{4} \cdot \sqrt{- det (\begin{matrix} 0 & 1 & 1 & 1 \\ 1 & 0 & a^{2} & b^{2} \\ 1 & a^{2} & 0 & c^{2} \\ 1 & b^{2} & c^{2} & 0 \end{matrix})}

(V4)

Dies ist ein Spezialfall der Cayley-Menger-Determinante, mit der man das Volumen eines Simplexes, der Verallgemeinerung von Dreiecken auf beliebige Dimensionen, zum Beispiel ein Tetraeder in drei Dimensionen, berechnen kann.

(V4) erhält man aus (V3) unter Anwendung des Entwicklungssatzes von Laplace und elementarer Matrizenumformungen wie folgt:

\begin{matrix} 4 \cdot a^{2} \cdot b^{2} - (a^{2} + b^{2} - c^{2})^{2} & = 4 \cdot a^{2} \cdot b^{2} - (c^{2} - a^{2} - b^{2})^{2} \\ = det (\begin{matrix} - 2 \cdot a^{2} & c^{2} - a^{2} - b^{2} \\ c^{2} - a^{2} - b^{2} & - 2 \cdot b^{2} \end{matrix}) \\ = det (\begin{matrix} 1 & a^{2} & b^{2} \\ 0 & - 2 \cdot a^{2} & c^{2} - a^{2} - b^{2} \\ 0 & c^{2} - a^{2} - b^{2} & - 2 \cdot b^{2} \end{matrix}) \\ = det (\begin{matrix} 1 & a^{2} & b^{2} \\ 1 & - a^{2} & c^{2} - a^{2} \\ 1 & c^{2} - b^{2} & - b^{2} \end{matrix}) \\ = - det (\begin{matrix} 0 & 1 & 0 & 0 \\ 1 & 0 & a^{2} & b^{2} \\ 1 & a^{2} & - a^{2} & c^{2} - a^{2} \\ 1 & b^{2} & c^{2} - b^{2} & - b^{2} \end{matrix}) \\ = - det (\begin{matrix} 0 & 1 & 1 & 1 \\ 1 & 0 & a^{2} & b^{2} \\ 1 & a^{2} & 0 & c^{2} \\ 1 & b^{2} & c^{2} & 0 \end{matrix}) \end{matrix}

Zahlenbeispiel

Ein Dreieck mit den Seitenlängen $a = 4$ , $b = 13$ und $c = 15$ hat den halben Umfang

s = \frac{a + b + c}{2} = \frac{4 + 13 + 15}{2} = 16

.

Eingesetzt in die Formel erhält man den Flächeninhalt

A = \sqrt{s \cdot (s - a) \cdot (s - b) \cdot (s - c)}

= \sqrt{16 \cdot (16 - 4) \cdot (16 - 13) \cdot (16 - 15)}

= \sqrt{16 \cdot 12 \cdot 3 \cdot 1}

= \sqrt{576} = 24

.

Eine andere Darstellung der Formel ergibt

A = \frac{1}{4} \cdot \sqrt{(a + b + c) \cdot (- a + b + c) \cdot (a - b + c) \cdot (a + b - c)}

= \frac{1}{4} \cdot \sqrt{(4 + 13 + 15) \cdot (- 4 + 13 + 15) \cdot (4 - 13 + 15) \cdot (4 + 13 - 15)}

= \frac{1}{4} \cdot \sqrt{32 \cdot 24 \cdot 6 \cdot 2} = \frac{1}{4} \cdot \sqrt{9216} = \frac{1}{4} \cdot 96 = 24

.

In diesem Beispiel sind die Seitenlängen und der Flächeninhalt ganze Zahlen. Deshalb ist ein Dreieck mit den Seitenlängen 4, 13 und 15 ein heronisches Dreieck.

Zusammenhang mit Sehnenvierecken

Die Formel kann als Grenzfall aus der Formel für den Flächeninhalt eines Sehnenvierecks gewonnen werden, wenn zwei der Eckpunkte ineinander übergehen, so dass eine der Seiten des Sehnenvierecks die Länge Null annimmt. Für den Flächeninhalt eines Sehnenvierecks gilt nämlich nach der Formel von Brahmagupta

A = \sqrt{(s - a) \cdot (s - b) \cdot (s - c) \cdot (s - d)}

,

wobei hier der halbe Umfang

s = \frac{a + b + c + d}{2}

ist.

Beweis

Beweis mit dem Satz des Pythagoras

Nach dem Satz des Pythagoras gilt $b^{2} = h^{2} + d^{2}$ und $a^{2} = h^{2} + (c - d)^{2}$ (siehe Abbildung). Subtraktion ergibt $a^{2} - b^{2} = c^{2} - 2 \cdot c \cdot d$ , also

d = \frac{- a^{2} + b^{2} + c^{2}}{2 \cdot c}

Für die Höhe $h$ des Dreiecks gilt $h^{2} = b^{2} - d^{2}$ . Einsetzen der letzten Gleichung liefert

\begin{matrix} h^{2} & = b^{2} - {(\frac{- a^{2} + b^{2} + c^{2}}{2 \cdot c})}^{2} \\ = {(\frac{2 \cdot b \cdot c}{2 \cdot c})}^{2} - {(\frac{- a^{2} + b^{2} + c^{2}}{2 \cdot c})}^{2} \\ = \frac{(2 \cdot b \cdot c + (- a^{2} + b^{2} + c^{2})) \cdot (2 \cdot b \cdot c - (- a^{2} + b^{2} + c^{2}))}{4 \cdot c^{2}} \\ = \frac{((b + c)^{2} - a^{2}) \cdot (a^{2} - (b - c)^{2})}{4 \cdot c^{2}} \\ = \frac{((b + c) + a) \cdot ((b + c) - a) \cdot (a + (b - c)) \cdot (a - (b - c))}{4 \cdot c^{2}} \\ = \frac{2 \cdot s \cdot 2 \cdot (s - a) \cdot 2 \cdot (s - c) \cdot 2 \cdot (s - b)}{4 \cdot c^{2}} \\ = \frac{4 \cdot s \cdot (s - a) \cdot (s - b) \cdot (s - c)}{c^{2}} \end{matrix}

Ziehen der Quadratwurzel auf beiden Seiten ergibt

h = \frac{2}{c} \cdot \sqrt{s \cdot (s - a) \cdot (s - b) \cdot (s - c)}

Daraus folgt für den Flächeninhalt des Dreiecks

\begin{matrix} A & = \frac{c \cdot h}{2} \\ = \frac{c}{2} \cdot \frac{2}{c} \cdot \sqrt{s \cdot (s - a) \cdot (s - b) \cdot (s - c)} \\ = \sqrt{s \cdot (s - a) \cdot (s - b) \cdot (s - c)} \end{matrix}

Beweis mit dem Kosinussatz

Nach dem Kosinussatz gilt

\cos γ = \frac{a^{2} + b^{2} - c^{2}}{2 \cdot a \cdot b}

Eingesetzt in den trigonometrischen Pythagoras folgt daraus

\sin γ = \sqrt{1 - \cos^{2} γ} = \sqrt{{(\frac{2 \cdot a \cdot b}{2 \cdot a \cdot b})}^{2} - {(\frac{a^{2} + b^{2} - c^{2}}{2 \cdot a \cdot b})}^{2}} = \frac{1}{2 \cdot a \cdot b} \cdot \sqrt{(2 \cdot a \cdot b)^{2} - (a^{2} + b^{2} - c^{2})^{2}}

Die Höhe des Dreiecks auf der Seite $a$ hat die Länge $b \cdot \sin γ$ . Einsetzen der letzten Gleichung liefert

\begin{matrix} A & = \frac{a \cdot b \cdot \sin γ}{2} \\ = \frac{1}{4} \cdot \sqrt{(2 \cdot a \cdot b)^{2} - (a^{2} + b^{2} - c^{2})^{2}} \\ = \frac{1}{4} \cdot \sqrt{(2 \cdot a \cdot b + (a^{2} + b^{2} - c^{2})) \cdot (2 \cdot a \cdot b - (a^{2} + b^{2} - c^{2}))} \\ = \frac{1}{4} \cdot \sqrt{((a + b)^{2} - c^{2}) \cdot (c^{2} - (a - b)^{2})} \\ = \frac{1}{4} \cdot \sqrt{((a + b) + c) \cdot ((a + b) - c) \cdot (c + (a - b)) \cdot (c - (a - b))} \\ = \frac{1}{4} \cdot \sqrt{(a + b + c) \cdot (- a + b + c) \cdot (a - b + c) \cdot (a + b - c)} \\ = \sqrt{s \cdot (s - a) \cdot (s - b) \cdot (s - c)} \end{matrix}

Beweis mit dem Kotangenssatz

Der Inkreisradius des Dreiecks sei $r$ . Mit Hilfe des Kotangenssatz erhält man für den Flächeninhalt

\begin{matrix} A & = r \cdot ((s - a) + (s - b) + (s - c)) \\ = r^{2} \cdot (\frac{s - a}{r} + \frac{s - b}{r} + \frac{s - c}{r}) \\ = r^{2} \cdot (\cot \frac{α}{2} + \cot \frac{β}{2} + \cot \frac{γ}{2}) \end{matrix}

Mit der Gleichung $\cot \frac{α}{2} + \cot \frac{β}{2} + \cot \frac{γ}{2} = \cot \frac{α}{2} \cdot \cot \frac{β}{2} \cdot \cot \frac{γ}{2}$ für Dreiecke (siehe Formelsammlung Trigonometrie) folgt daraus

\begin{matrix} A & = r^{2} \cdot (\cot \frac{α}{2} \cdot \cot \frac{β}{2} \cdot \cot \frac{γ}{2}) \\ = r^{2} \cdot (\frac{s - a}{r} \cdot \frac{s - b}{r} \cdot \frac{s - c}{r}) \\ = \frac{(s - a) \cdot (s - b) \cdot (s - c)}{r} \end{matrix}

Außerdem gilt $A = \frac{r \cdot (a + b + c)}{2} = r \cdot s$ (siehe Abbildung). Aus der Multiplikation dieser Gleichungen ergibt sich

A^{2} = s \cdot (s - a) \cdot (s - b) \cdot (s - c)

und daraus der Satz des Heron.

Beweis mithilfe ähnlicher Dreiecke

Für das Dreieck $△ A B C$ werden der Inkreis mit Mittelpunkt $I$ und der Ankreis gegenüber $A$ mit Mittelpunkt $I_{a}$ betrachtet. Die beiden rechtwinkligen Dreiecke $△ A D I$ und $△ A E I_{a}$ sind ähnlich. Unter Berücksichtigung der Identität: $s = (s - a) + (s - b) + (s - c)$ folgt:

\frac{s - a}{ρ} = \frac{s}{ρ_{a}} bzw. (I) \frac{s - a}{s} = \frac{ρ}{ρ_{a}}

Die beiden rechtwinkligen Dreiecke $△ I D B$ und $△ B E I_{a}$ sind ebenfalls ähnlich, und entsprechend ergibt sich:

\frac{s - b}{ρ} = \frac{ρ_{a}}{s - c} bzw. (II) (s - b) (s - c) = ρ \cdot ρ_{a}

Multiplizieren der beiden Gleichungen (I) und (II) liefert:

\frac{(s - a) (s - b) (s - c)}{s} = ρ^{2}

Nochmaliges Multiplizieren mit $s^{2}$ ergibt:

s (s - a) (s - b) (s - c) = s^{2} \cdot ρ^{2} = (s \cdot ρ)^{2} = A^{2}

und daraus folgt der Satz des Heron.

Literatur

Hermann Athen, Jörn Bruhn (Hrsg.): Lexikon der Schulmathematik und angrenzender Gebiete. Band 2, F–K. Aulis Verlag Deubner, Köln 1977, ISBN 3-7614-0242-2.
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.
György Hajós: Einführung in die Geometrie. B. G. Teubner Verlag, Leipzig (ungarisch: Bevezetés A Geometriába. Übersetzt von G. Eisenreich [Leipzig, auch Redaktion]).
Max Koecher, Aloys Krieg: Ebene Geometrie. 3., neu bearbeitete und erweiterte Auflage. Springer Verlag, Berlin (u. a.) 2007, ISBN 978-3-540-49327-3.
Theophil Lambacher, Wilhelm Schweizer (Hrsg.): Lambacher-Schweizer. Mathematisches Unterrichtswerk für höhere Schulen. Geometrie. Ausgabe E. Teil 2. 13. Auflage. Ernst Klett Verlag, Stuttgart 1965.

Weblinks

Wikibooks: Beweisarchiv: Geometrie: Planimetrie: Dreieck: Satz des Heron – Lern- und Lehrmaterialien

Eric W. Weisstein: Satz des Heron. In: MathWorld (englisch).
Elementarer Beweis
Beweis mit Hilfe des Kosinussatzes (deutsch) (PDF; 88 kB)
Walter Fendt: Die heronische Formel für die Dreiecksfläche (PDF; 82 kB) – Beweis und Folgerungen

Einzelnachweise

↑ Ausführlicher Beweis siehe auch Wikibooks-Beweisarchiv.
↑ Zu beachten ist hierbei, dass sich die Rollen der Seitenlängen $a, b, c$ beliebig vertauschen lassen.
↑ György Hajós: Einführung in die Geometrie. B. G. Teubner Verlag, Leipzig, S. 380–381 (ungarisch: Bevezetés A Geometriába. Übersetzt von G. Eisenreich [Leipzig, auch Redaktion]).
↑ Max Koecher, Aloys Krieg: Ebene Geometrie. 3., neu bearbeitete und erweiterte Auflage. Springer Verlag, Berlin (u. a.) 2007, ISBN 978-3-540-49327-3, S. 111.
↑ Auch hier lassen sich die Rollen der Seitenlängen $a, b, c$ vertauschen, was zu einer gleichwertigen, aber entsprechend abgewandelten Darstellung führt.

[1] Ausführlicher Beweis siehe auch Wikibooks-Beweisarchiv.

[2] Zu beachten ist hierbei, dass sich die Rollen der Seitenlängen $a, b, c$ beliebig vertauschen lassen.

[3] György Hajós: Einführung in die Geometrie. B. G. Teubner Verlag, Leipzig, S. 380–381 (ungarisch: Bevezetés A Geometriába. Übersetzt von G. Eisenreich [Leipzig, auch Redaktion]).

[4] Max Koecher, Aloys Krieg: Ebene Geometrie. 3., neu bearbeitete und erweiterte Auflage. Springer Verlag, Berlin (u. a.) 2007, ISBN 978-3-540-49327-3, S. 111.

[5] Auch hier lassen sich die Rollen der Seitenlängen $a, b, c$ vertauschen, was zu einer gleichwertigen, aber entsprechend abgewandelten Darstellung führt.