Оскільки справедливі рівності , , , , отримуємо, що
Таким чином, .
Доведення (геометричне)
Ілюстрація до доведення формули Герона за допомогою зовнівписаного кола
Нехай дано трикутник , та — вписане та зовнівписане (яке дотикається до сторони ) коло відповідно, — центр вписаного кола (інцентр, точка перетину бісектрис), — центр зовнівписаного кола (точка перетину внутрішньої та двох зовнішніх бісектрис).
Нехай — точка дотику вписаного кола до сторони , а — точка дотику зовнівписаного кола до продовження сторони . Тоді — радіус вписаного кола , — радіус зовнівписаного кола , і нехай — півпериметр трикутника ..
Звідси маємо, що трикутники та подібні (як прямокутні трикутники зі спільним гострим кутом ). Тому , тобто . Звідси .
Знайдемо кут . Оскільки — прямокутний, то . За побудовою — бісектриса кута (як зовнішній кут), а тому . Звідси .
Але також , оскільки — бісектриса кута . Отримали, що трикутники та подібні (як прямокутні за рівними гострими кутами). Тому , тобто . Звідси .
З рівностей одержимо, що . Замінивши по вище доведеній формулі , одержимо остаточно , або, що те саме, .
Варіації й узагальнення
Формулу Герона можна записати за допомогою визначника у вигляді[1]:
Перший визначник останньої формули є окремим випадком визначника Келі — Менгера[en] для обчислення гіпероб'ємусимплекса.
Низка формул для площі трикутника подібні за структурою до формули Герона, але виражається через інші параметри трикутника. Наприклад, через довжини медіан , и і їх півсуму [2]:
;
через довжини висот , и і півсуму їх обернених величин [3]:
;
через кут трикутника , і , півсуму їх синусів і діаметр описаного кола [4]:
Формула Герона — Тартальї
Для тетраедрів існує формула Герона — Тартальї, узагальнена також на випадок інших багатогранників (згинаний многогранник): якщо в тетраедра довжини ребер рівні , то для його об'єму істинний вираз:
.
Формулу Герона — Тартальї можна виписати для тетраедра в явному вигляді: якщо , , , , , — довжини ребер тетраедра (перші три з них утворюють трикутник; і, наприклад, ребро протлежне ребру і так далі), то справедливі формули[5][6]:
Формула Брамагупти є узагальненням формули Герона для площі трикутника. А саме, площа S вписаного у коло чотирикутника зі сторонами a, b, c, d і півпериметр p дорівнює
У цьому випадку трикутник виявляється граничним випадком уписаного чотирикутника при прямуванні довжини однієї зі сторін до нуля. Та ж формула Брахмагупти через визначник[7]: