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
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.






