Considere-se o seguinte triângulo de vértices
(ângulos internos
) e lados
.
A fórmula de Herão da área
de um triângulo é:

em que
é o semiperímetro do triângulo:

Dedução:

Seja
a altura do triângulo
traçada sobre o lado
. O ponto
, projecção do vértice
sobre o lado
, divide-o em dois segmentos
e
tais que
. O teorema de Pitágoras aplicado ao triângulo
traduz-se em

e aplicado ao triângulo
em

Ora
pelo que

Substituindo
e
em
vem:

donde

Eliminando
em
, tem-se sucessivamente
![h^{2}=a^{2}-\left[ \dfrac{1}{2c}\left( c^{2}+a^{2}-b^{2}\right) \right] ^{2} h^{2}=a^{2}-\left[ \dfrac{1}{2c}\left( c^{2}+a^{2}-b^{2}\right) \right] ^{2}](http://s0.wp.com/latex.php?latex=h%5E%7B2%7D%3Da%5E%7B2%7D-%5Cleft%5B+%5Cdfrac%7B1%7D%7B2c%7D%5Cleft%28+c%5E%7B2%7D%2Ba%5E%7B2%7D-b%5E%7B2%7D%5Cright%29+%5Cright%5D+%5E%7B2%7D&bg=ffffff&fg=000000&s=0)


Chamando ao semi-perímetro do triângulo
, vem




e


A altura é então igual a:

e a área
do triângulo
:

* * *

Neste meu livro de Trigonometria do liceu — CALADO, J., Compêndio de Trigonometria, Ensino Liceal, 3.º ciclo, Empresa Literária Fluminense Lda., Lisboa, 1967 – deduzia-se esta relação, ao estudar a resolução de triângulos obliquângulos, quando são dados os três lados. Eis uma cópia das páginas relevantes:



Qiaochu Yuan mostra que é possível prová-la, sem usar métodos trigonométricos ou geométricos, no seu post Heron’s formula.
Exemplos de aplicação:
1. Determine a área do triângulo pitagórico de lados 3, 4 e 5.
Podemos ver que este triângulo é rectângulo. A área pode ser dada por

Dado que
, vem, usando a fórmula de Herão

2. Calcule a área do triângulo isósceles de lados 6, 5 e 5.
Como a altura é 4, a área é igual a

ou pela fórmula (
)
.
3. Ache a área do triângulo obliquângulo
cujos lados
são, respectivamente, iguais a
.
Agora temos


.
Note que neste caso os comprimentos dos lados do triângulo formam uma progressão aritmética de razão 2.
É logo no primeiro problema (Problema 1.1) do capítulo 1 - Estratégias de resolução de problemas, do livro de Terence Tao Como Resolver Problemas Matemáticos, que o autor considera o caso geral inverso: os comprimentos dos lados formam uma progressão aritmética, e pede-se para determinar os seus lados e ângulos, conhecida a área do triângulo e a razão da progressão.
31.05.10: acrescentada dedução geométrica.