Школьная программа предусматривает вычисление площадей фактически двух видов выпуклых четырёхугольников: параллелограмма и трапеции. Для четырёхугольника, фактически не являющегося параллелограммом или трапецией, формула нахождения его площади не выводится. В то же время применение такой формулы для решения ряда задач было бы удобным. Имеется в виду формула вычисления площади произвольного выпуклого четырёхугольника, которую можно назвать аналогом формулы Герона, учитывая их некоторое внешнее свойство.
Докажем следующую теорему: площадь произвольного выпуклого четырёхугольника может быть определена по формуле:
,
где
, a, b, c, d – длины сторон, р – полупериметр, δ и β – противолежащие углы четырёхугольника.
Доказательство. Пусть в четырёхугольнике ABCD АВ = а, ВС = b,
CD = c, DA = d; Ð ABC = β, Ð ADC = δ (рис. 1.23)

Рис. 1.23
Из
в силу теоремы косинусов

Из
:
.
Приравнивая правые части этих выражений, получим:
,
или
. (1.5)
Найдём площадь четырёхугольника ABCD как сумму площадей треугольников ABC и ADC:
,
откуда
(1.6)
В равенствах (1.5) и (1.6) обе части возведём в квадрат, а затем почленно сложим:

Выполним равносильные преобразования, получим
,
что и требовалось доказать.
Теорема имеет ряд следствий.
Следствие 1. Площадь произвольного четырёхугольника, вписанного в окружность, вычисляется по формуле (как было сказано выше) Брахмагупты:
.
Доказательство сразу следует из теоремы, рассмотренной выше, с учётом того, что сумма противолежащих углов вписанного в окружность четырёхугольника равна 1800, т. е.
,
.
Поэтому
.
Следствие 2. Площадь произвольного четырёхугольника, описанного около окружности, вычисляется по формуле:
.
Доказательство. Так как у описанного четырёхугольника суммы противолежащих сторон равны, т. е.
,
то
,
,
,
.
Имеем:

Следствие 3. Площадь четырёхугольника, вписанного в окружность и описанного около окружности, может быть вычислена по формуле:
.
Доказательство. Так как
и в силу следствия 1
,
то 






