miniatura|198px|Um triângulo com lados a, b e c
Na geometria, a fórmula de Heron (ou fórmula de Hero) fornece a área de um triângulo em termos dos comprimentos dos seus três lados , e . Definindo como o semiperímetro do triângulo, dado por , a área é calculada por:
A fórmula recebe o nome do engenheiro do século I, Heron de Alexandria (ou Hero), que a demonstrou em sua obra Metrica, embora provavelmente fosse conhecida séculos antes.
Exemplo Considere o triângulo com lados , e . O semiperímetro é:
Assim, , e . A área é dada por:
Neste exemplo, os lados e a área são inteiros, caracterizando um triângulo heroniano. No entanto, a fórmula de Heron funciona igualmente para lados que são reais, desde que obedeçam à desigualdade triangular estrita, definindo um triângulo no plano euclidiano com área positiva.
Expressões Alternativas A fórmula de Heron pode ser expressa diretamente em termos dos lados, sem usar o semiperímetro, de várias formas:
Após expansão, a expressão sob a raiz é um polinômio quadrático dos quadrados dos lados , e .
A mesma relação pode ser expressa usando o determinante de Cayley-Menger:
História A fórmula é atribuída a Heron de Alexandria (fl. 60 d.C.), que a demonstrou em Metrica. O historiador matemático Thomas Heath sugeriu que Arquimedes a conhecia dois séculos antes. Como Metrica é uma coletânea do conhecimento matemático da antiguidade, a fórmula pode ser ainda mais antiga.
Uma fórmula equivalente foi descoberta pelo matemático chinês Qin Jiushao, publicada em Tratado Matemático em Nove Seções (1247):
Provas Existem várias maneiras de demonstrar a fórmula de Heron, como usando trigonometria, o incentro e uma excircunferência, o teorema de De Gua (para triângulos agudos) ou como caso especial da fórmula de Brahmagupta (quadrilátero cíclico degenerado).
Prova trigonométrica com a lei dos cossenos Uma prova moderna, usando álgebra, segue: Sejam , , os lados e , , os ângulos opostos. Pela lei dos cossenos:
Segue que:
A altura sobre a base é , e a área é:
Prova algébrica com o teorema de Pitágoras miniatura|270px|Triângulo com altura dividindo a base em Por teorema de Pitágoras, e . Subtraindo, obtém-se , donde:
A altura é . Substituindo e usando a identidade da diferença de quadrados:
A área é:
Estabilidade Numérica A fórmula de Heron, como apresentada, é numericamente instável para triângulos com ângulos muito pequenos em aritmética de ponto flutuante. Uma alternativa estável, ordenando , é:
Generalizações A fórmula de Heron é um caso especial da fórmula de Brahmagupta para quadrilátero cíclico, obtida ao zerar um lado. Para um quadrilátero cíclico de lados , , , e semiperímetro :
Ambas são casos especiais da fórmula de Bretschneider para quadriláteros gerais.
Ver também Fórmula da área de um paralelogramo Fórmula de Brahmagupta
Ligações Externas Apresentação da Fórmula de Herão com diversas demonstrações, por clubes de matemática da OBMEP
Prova do Teorema de Pitágoras com a Fórmula de Heron no cut-the-knot (em inglês)
Categoria:Teoremas sobre triângulos Categoria:Área