U uvodu knjige Metrike Heron je zabilježio da se geometrija rodila iz potrebe za mjerenjem i podjelom zemlje (odakle i potiče njen naziv), poslije čega je proširenje na tri dimenzije postalo neophodno da bi se mjerila čvrsta tijela.
Trougao kome su stranice i površina cijeli brojevi zove se **Heronov trougao**. 
Formula za izračunavanje površine raznostraničnog trougla kojem su poznate dužine sve tri stranice je

{\displaystyle P={\sqrt {s(s-a)(s-b)(s-c)}}} za {\displaystyle s={\frac {2a+b+c}{2}}} poluobim trougla
Heronova formula se može zapisati i na jedan od sljedečih načina:

{\displaystyle P={\ {\sqrt {(a+b+c)(a+b-c)(b+c-a)(c+a-b)\,}}\ \over 4}}
{\displaystyle P={\ {\sqrt {2(a^{2}b^{2}+a^{2}c^{2}+b^{2}c^{2})-(a^{4}+b^{4}+c^{4})\,}}\ \over 4}}
{\displaystyle P={\ {\sqrt {(a^{2}+b^{2}+c^{2})^{2}-2(a^{4}+b^{4}+c^{4})\,}}\ \over 4}.}

Historija
---------

Formula se pripisuje Heronu iz Aleksandrije. Dokaz se može naći u njegovoj knjizi Metrika, koja je napisana 60. godine. 
Postoji mišljenje da je formulu znao i Arhimed. Moguće je da ju je Heron samo zabilježio u knjigu Metrika.

Formula koja je ekvivalentna Heronovoj je

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

Površina raznostraničnog trougla
--------------------------------

U Metrici (knjiga I) Heron razmatra problem izračunavanja površine trougla stranica poznatih dužina i nudi dva metoda za rješavanje problema

I metoda
Ova metoda bazirana je na 12. i 13. stavu II knjige Elemenata

stav 12
U svakom tupouglom trouglu kvadrat na strani naspram tupog ugla je veći od zbira kvadrata na stranama koje obrazuju tup ugao za dvostruki pravougaonik obuhvaćen jednom stranom tupog ugla (onom na čije produženje pada spuštena normala) i rastojanjem te normale od tjemena tupog ugla.

stav 13
U svakom oštrouglom trouglu kvadrat na strani naspram oštrog ugla je manji od zbira kvadrata na stranama koje obrazuju oštar ugao za dvostruki pravougaonik obuhvaćen jednom stranom oštrog ugla (onom na koju je spuštena normala) i rastojanjem te normale od tjemena oštrog ugla.

Neka su a, b i c stranice trougla ABC naspramne tjemenima A, B i C. Za bilo koji ugao (uzmimo onaj kod tjemena C) važi 
Ugao kod C je ako važi

{\displaystyle c^{2}<a^{2}+b^{2}} ostar
{\displaystyle c^{2}=a^{2}+b^{2}} pravi
{\displaystyle c^{2}>a^{2}+b^{2}} tupi
Metoda se zasniva na određivanju, prvo segmenata na koje je bilo koja stranica podijeljena normalom iz naspramnog tjemena, a zatim dužinom normale.
U slučaju trougla sa oštrim uglom kod C (tupim uglom kod C) važi:

{\displaystyle c^{2}=a^{2}+b^{2}+2a\*CD}
{\displaystyle c^{2}=a^{2}+b^{2}-2a\*CD}
{\displaystyle CD={\frac {(a^{2}+b^{2})-c^{2}}{2a}}}
{\displaystyle CD=-{\frac {(a^{2}+b^{2})-c^{2}}{2a}}}
{\displaystyle AD^{2}=b^{2}-CD^{2}} koja je potrebna za računamke površine {\displaystyle {\frac {a\*AD}{2}}}
II metoda
Neka je ABC dati trougao i neka je data svaka od stranica AB, BC, CA. U trougao upišimo krug sa centrom O i dodirne tačke sa stranicama AB, BC i CA obilježimo redom sa F, D i E. Konstruišimo duži AO, BO, CO, DO, EO i FO spajanjem odgovarajućih tačaka.

{\displaystyle BC\*OD=2P\_{\bigtriangleup BOC}}
{\displaystyle CA\*OE=2P\_{\bigtriangleup COA}}
{\displaystyle AB\*OF=2P\_{\bigtriangleup AOB}}
Sabiranjem ovih nejednakosti dobijamo

{\displaystyle p\*OD=2P} p je poluobim trougla
{\displaystyle BH=AF}
Kako je

{\displaystyle AE=AF}, {\displaystyle BF=BD} i {\displaystyle CE=CD}, to je
{\displaystyle CH=p/2=s}.
{\displaystyle CH\*OD=P}
{\displaystyle CH^{2}\*OD^{2}=P^{2}}
{\displaystyle BC:BL=AF:FO==BH:OD}
{\displaystyle BC:BH=BL:OD}
Trouglovi ODK i LBK su slični. Tj.
{\displaystyle BL:OD=BK:KD}
tj. {\displaystyle BC:BH=BK:KD}
dobijamo:
{\displaystyle CH:HB=BD:DK}
Slijedi da {\displaystyle CH^{2}:(CH\*HB)=(BD\*DC):(CD\*DK)=(BD\*DC):OD^{2}}
Pošto je: {\displaystyle P^{2}=CH^{2}\*OD^{2}} i {\displaystyle CH^{2}\*OD^{2}=CH\*HB\*BD\*DC} , površina trougla je zadata formulom:
{\displaystyle P^{2}=s(s-a)(s-b)(s-c)}

Dokaz Pitagorine teoreme
------------------------

U pravouglom trouglu sa hipotenuzom c, važi {\displaystyle P=ab/2}
Modifikujmo desnu stranu jednakosti koristeći sljedeće

{\displaystyle p-a=(-a+b+c)\*2}
{\displaystyle p-b=(a-b+c)\*2}
{\displaystyle p-c=(a+b-c)\*2}
{\displaystyle a+b+c)(-a+b+c)(a-b+c)(a+b-c)=2a^{2}b^{2}+2a^{2}c^{2}+2b^{2}c^{2}-(a^{4}+b^{4}+c^{4})}
Primjenom elementarne algebre dobija se jednakost
U pravouglom trouglu, ovaj izraz je ekvivalentan sljedećim
{\displaystyle 16P^{2}=4a^{2}b^{2}}
{\displaystyle 2a^{2}b^{2}+2a^{2}c^{2}+2b^{2}c^{2}-(a^{4}+b^{4}+c^{4})=4a^{2}b^{2}}
{\displaystyle a^{4}+2a^{2}b^{2}+b^{4}-2a^{2}c^{2}-2b^{2}c^{2}+c^{4}=0}
{\displaystyle (a^{2}+b^{2})^{2}-2c^{2}(a^{2}+b^{2})+c^{4}=0}
{\displaystyle ((a^{2}+b^{2})-c^{2})^{2}=0}
Ovim je dokazana Pitagorina teorema