Demostración de la fórmula de Herón:

El área de un triángulo de lados a, b y c, y semiperímetro s es:

Heat, T. (1.921/1.981) A history of Greek Mathematics. Dover Publications; Inc. New York.

 

Sea el triángulo ABC y sus lados de longitudes a,b,c.

Ver figura 1 en CabriJava.

Inscribamos el círculo DEF y sea O el centro, con

OD, OE y OF perpendiculares a BC, CA, y AB.

Tenemos: BC* OD= 2 D BOC, CA* OE= 2 D COA, AB* OF= 2 D AOB

Y, sumando, es: p* OD= 2 D ABC, por ser OD=OE=OF y siendo p el perímetro.

Ver figura 2 en CabriJava.

Tomemos sobre CB el punto H tal que BH = AF.

Entonces, siendo AE=AF, BF =BD y CE=CD, tenemos que: CH = 1/2 p = s.

 

 

Siendo, pues, CH * OD = D ABC., y por ello, es : (D ABC)2 = CH2 * OD2

Tomemos OL de manera que forme ángulo recto con OC y que BL forme

ángulo recto con a BC . OL cortará a BC en K .Unamos C con L.

Ver figura 3 en CabriJava.

Tenemos que dado que COL y CBL son rectos, el cuadrilátero COBL está inscrito

en una circunferencia.

Por ello,

Pero

Luego los ángulos COB y AOF juntos son iguales a los AOC y BOF, siendo la suma de

los 4 ángulos 4R.

Por tanto, de [1] y [2], se tiene que

Luego los triángulos rectángulos AOF y CLB son semejantes.

Considerando que BKL y KDO también son semejantes,

 

tenemos que :

 

De aquí, se tiene que:

 

, dado que el triángulo COK es rectángulo.

 

Así pues, (D ABC)= CH 2 OD 2 = CH* HB* BD* DC = s(s-a)(s-b)(s-c).