UMA DEMONSTRAO DA FRMULA DE HERON Prof.

Calixto
adaptao de artigo de Carlos A. Gomes Revista do Professor de Matemtica do 2 quadrimestre de 2005, baseado em trabalho de Roger B. Nelsen em 09/2001.

A conhecida frmula de Heron, a saber, S = p(p a )(p b)(p c) em que a, b e c so lados de um tringulo e p o seu semipermetro, pode ser provada de diversas maneiras. Dentre elas, eis, ainda que artificiosa, uma das mais belas: Tal demonstrao baseia-se nos seguintes resultados: 1. As trs bissetrizes internas de um tringulo encontram-se em um mesmo ponto, que centro da circunferncia inscrita nesse tringulo (resultado de simples comprovao)
2. AB = AC, BA = BC e CA = CB (da congruncia de tringulos). Desse

resultado segue que o semipermetro p do tringulo ABC satisfaz as relaes: p = x + y + z = x + a = y + b = z + c (verifique!)

3. Se r o raio da circunferncia inscrita num tringulo de semipermetro p, a rea desse tringulo S = p.r (use argumento de reas para provar este fato) 4. Se , e so medidas de ngulos e + + = 90, ento: tg . tg + tg . tg + tg . tg = 1 Justificativa: Como + = 90 ento tg ( + ) = tg (90 ) = cotg = 1/tg e da:

1 tg tg , que implica na igualdade desejada. tg 1 tg.tg

Com as informaes acima e incorporadas figura abaixo,

v-se que: p = x + y + z = x + a = y + b = z + c e tg = r/x , tg = r/y e tg = r/z. Finalmente, de tg . tg + tg . tg + tg . tg = 1 obtm-se:

r 2 ( x y z) r 2p S2 r r r r r r 1 ou ainda . . . 1 ou x.y.z x.y.z p.x.y.z x y y z z x

S2 = p.x.y.z = p(p a)(p b)(p c) e portanto,

S = p(p a )(p b)(p c)