Heronův vzorec
Heronův vzorec je vzorec pro výpočet obsahu obecného trojúhelníku (v euklidovské rovině), pomocí délek jeho stran.
Obsah |
[editovat] Vzorec
Jsou-li
délky stran trojúhelníka, platí pro jeho obsah
kde
je poloviční obvod trojúhelníka.
[editovat] Důkaz

Označme x vzdálenost vrcholu C od paty kolmice z vrcholu A na stranu a (výšky). Pro ostroúhlý trojúhelník na obrázku platí:


Odečteme-li od druhé rovnice první, dostaneme:

Z tohoto vztahu vyjádříme x:

Toto platí i v pravoúhlém trojúhelníku, v tupoúhlém s opačným znaménkem, což nevadí. Jestliže za x dosadíme do první rovnice, získáme výšku v:





Dosadíme-li tuto výšku do vzorce pro obsah trojúhelníku

dostaneme

Dále pomocí rozkladů upravíme výraz pod odmocninou:

![S= \frac {\sqrt{\left[\left(a + c \right)^2 - b^2\right]\left[b^2 - \left(a - c \right)^2\right]}}{4}](http://upload.wikimedia.org/math/4/8/0/48039a8802211a2e425d7abdb63328e4.png)

Dosadíme poloviční obvod s,

a dostáváme výsledný vzorec:



[editovat] Historie
Vzorec byl formulován Hérónem z Alexandrie a důkaz byl publikován v jeho knize Métrika, napsané v roce 60 př. n. l.[1]
[editovat] Poznámky
Kratší důkaz je možný pomocí kosinové věty.
Heronův vzorec je limitním případem Brahmaguptova vzorce pro obsah tětivového čtyřúhelníku.
Obsah trojúhelníku je symetrická kvadraticky homogenní funkce jeho stran.
