Formule van Heron

Met de formule van Heron kan de oppervlakte ${\displaystyle O}$ van een driehoek berekend worden, uit de lengtes ${\displaystyle a}$, ${\displaystyle b}$ en ${\displaystyle c}$ van de zijden van de driehoek:

${\displaystyle O={\sqrt {s\left(s-a\right)\left(s-b\right)\left(s-c\right)}}\,}$

waarin de semiperimeter (s), de halve omtrek is:

${\displaystyle s={\frac {a+b+c}{2}}}$.

Een andere vorm, met s ingevuld, is:

${\displaystyle O={\frac {1}{4}}{\sqrt {(a+b+c)(a+b-c)(-a+b+c)(a-b+c)}}\,}$

De formule staat ook bekend als de ${\displaystyle s}$-formule. De formule van Brahmagupta is een speciaal geval van de formule van Heron. De formule van Brahmagupta geeft de oppervlakte van een koordenvierhoek en een driehoek kan worden gezien als een koordenvierhoek, waarvan twee hoekpunten samenvallen.

Geschiedenis[bewerken | brontekst bewerken]

De formule wordt toegeschreven aan Heron van Alexandrië en een bewijs kan dan ook gevonden worden in zijn boek uit ongeveer het jaar 60 na Chr., Metrica. Er wordt gesuggereerd dat ook Archimedes, die meer dan 200 jaar eerder leefde, de formule al kende.

Een aan de formule van Heron equivalente formule:

${\displaystyle O={\frac {1}{2}}{\sqrt {a^{2}c^{2}-\left({\frac {a^{2}+c^{2}-b^{2}}{2}}\right)^{2}}}}$

werd door de Chinezen onafhankelijk van de Grieken ontdekt. Dit Chinese equivalent werd in A.D. 1247 gepubliceerd door de wiskundige Qin Jiushao in zijn Shushu Jiuzhang (數書九章, 'Wiskundige verhandeling in negen secties').

Bewijs[bewerken | brontekst bewerken]

De formule kan met behulp van de cosinusregel afgeleid worden uit een andere formule voor de oppervlakte:

${\displaystyle \mathrm {oppervlakte} ={\frac {1}{2}}ab\sin \gamma \,}$.

Volgens de cosinusregel is:

${\displaystyle c^{2}=a^{2}+b^{2}-2ab\cos \gamma \,}$,

zodat:

${\displaystyle \cos \gamma ={\frac {a^{2}+b^{2}-c^{2}}{2ab}}\,}$.

De oppervlakte van een driehoek wordt dus:

${\displaystyle \mathrm {oppervlakte} \,}$	${\displaystyle ={\frac {1}{2}}ab\sin \gamma \,}$
	${\displaystyle ={\frac {1}{2}}ab{\sqrt {1-\cos ^{2}\gamma }}\,}$
	${\displaystyle ={\frac {1}{2}}ab{\sqrt {(1-\cos \gamma )(1+\cos \gamma )}}\,}$
	${\displaystyle ={\frac {1}{2}}ab{\sqrt {\left(1-{\frac {c^{2}-a^{2}-b^{2}}{2ab}}\right)\left(1+{\frac {c^{2}-a^{2}-b^{2}}{2ab}}\right)}}}$
	${\displaystyle ={\frac {1}{4}}{\sqrt {(a+b+c)(a+b-c)(-a+b+c)(a-b+c)}}\,}$

De gevraagde formule volgt na de substitutie:

${\displaystyle a=2s-b-c\,}$