Heron formülü, kenar uzunlukları bilinen bir üçgenin alanını hesaplamaya yarayan geometri formülüdür. Yunan matematikçi Heron tarafından bulunmuştur.
Kenar uzunlukları
a,
b ve
c olan bir üçgen.

s, üçgenin yarıçevresini göstermektedir:

Heron formülü şu şekillerde de yazılabilir:




Kosinüs teoremini yazarsak,
-
C açısının sinüsünü bulalım
-
Üçgenin a kenarının yüksekliği b·sin(C) olur.
-
İspatın iki adımında, iki kare farkı kullanılmıştır.