Формула Брахмагупты¶

Формула Брахмагупты — это формула в евклидовой геометрии, позволяющая вычислить площадь вписанного в окружность четырёхугольника (циклического четырёхугольника) по длинам его сторон. Является обобщением формулы Герона для площади треугольника на случай четырёхугольника, у которого сумма противоположных углов равна 180°.

¶История

Формула названа в честь индийского математика и астронома Брахмагупты (ок. 598 — ок. 670), который впервые привёл её в своём трактате «Брахма-спхута-сиддханта» («Усовершенствованное учение Брахмы», 628 год). В этом труде Брахмагупта систематизировал знания по арифметике, алгебре и геометрии, а также заложил основы для дальнейшего развития индийской математики.

В отличие от современной записи, Брахмагупта формулировал правило словесно, без использования алгебраических символов. Он утверждал, что площадь четырёхугольника, вписанного в окружность, равна корню квадратному из произведения разностей полупериметра и каждой из сторон. Впоследствии, в эпоху Возрождения, европейские математики (в частности, Франсуа Виет) переоткрыли и записали формулу в алгебраическом виде.

¶Формулировка

Для циклического четырёхугольника со сторонами \(a\), \(b\), \(c\), \(d\) и полупериметром \(p = \frac{a+b+c+d}{2}\) площадь \(S\) вычисляется по формуле:

\[ S = \sqrt{(p-a)(p-b)(p-c)(p-d)} \]

¶Условия применимости

Формула Брахмагупты справедлива только для четырёхугольников, которые можно вписать в окружность. Для произвольного (нециклического) четырёхугольника эта формула даёт завышенное значение площади. Необходимым и достаточным условием вписанности четырёхугольника является равенство суммы противоположных углов 180°.

¶Доказательство

Существует несколько способов доказательства формулы Брахмагупты. Наиболее распространённое основано на разбиении четырёхугольника на два треугольника диагональю и применении теоремы косинусов и формулы Герона.

¶Основные шаги доказательства

1. Пусть дан циклический четырёхугольник \(ABCD\) со сторонами \(AB = a\), \(BC = b\), \(CD = c\), \(DA = d\).
2. Проведём диагональ \(AC\). Она делит четырёхугольник на два треугольника: \(\triangle ABC\) и \(\triangle ADC\).
3. Обозначим угол \(ABC\) через \(\theta\). Тогда, в силу вписанности, угол \(ADC\) равен \(180° - \theta\).
4. По теореме косинусов для треугольника \(ABC\):

\[ AC^2 = a^2 + b^2 - 2ab\cos\theta \] Для треугольника \(ADC\): \[ AC^2 = c^2 + d^2 - 2cd\cos(180°-\theta) = c^2 + d^2 + 2cd\cos\theta \]

1. Приравнивая два выражения для \(AC^2\), получаем:

\[ a^2 + b^2 - 2ab\cos\theta = c^2 + d^2 + 2cd\cos\theta \] Откуда: \[ \cos\theta = \frac{a^2 + b^2 - c^2 - d^2}{2(ab+cd)} \]

1. Площадь четырёхугольника равна сумме площадей треугольников:

\[ S = \frac{1}{2}ab\sin\theta + \frac{1}{2}cd\sin(180°-\theta) = \frac{1}{2}(ab+cd)\sin\theta \]

1. Используя основное тригонометрическое тождество \(\sin^2\theta = 1 - \cos^2\theta\), после алгебраических преобразований получаем:

\[ S = \sqrt{(p-a)(p-b)(p-c)(p-d)} \]

¶Связь с формулой Герона

Формула Брахмагупты является прямым обобщением формулы Герона. Если одну из сторон четырёхугольника устремить к нулю (например, \(d \to 0\)), то четырёхугольник вырождается в треугольник, а формула Брахмагупты переходит в формулу Герона:

\[ S_{\triangle} = \sqrt{p(p-a)(p-b)(p-c)} \]

где \(p\) — полупериметр треугольника.

¶Частные случаи

¶Прямоугольник

Для прямоугольника со сторонами \(a\) и \(b\) (все углы прямые, следовательно, он является циклическим) полупериметр \(p = a+b\), и формула даёт:

\[ S = \sqrt{(a+b-a)(a+b-b)(a+b-a)(a+b-b)} = \sqrt{b \cdot a \cdot b \cdot a} = ab \]

что совпадает с известной формулой площади прямоугольника.

¶Квадрат

Для квадрата со стороной \(a\) полупериметр \(p = 2a\), и площадь:

\[ S = \sqrt{(2a-a)(2a-a)(2a-a)(2a-a)} = \sqrt{a^4} = a^2 \]

¶Равнобедренная трапеция

Равнобедренная трапеция, вписанная в окружность, также удовлетворяет условию циклического четырёхугольника. Для неё формула Брахмагупты применима без дополнительных условий.

¶Обобщения

¶Формула Бретшнайдера

Для произвольного (не обязательно циклического) четырёхугольника существует формула Бретшнайдера, которая включает дополнительный член, учитывающий сумму противоположных углов:

\[ S = \sqrt{(p-a)(p-b)(p-c)(p-d) - abcd \cdot \cos^2\left(\frac{\alpha+\gamma}{2}\right)} \]

где \(\alpha\) и \(\gamma\) — два противоположных угла четырёхугольника. Если \(\alpha+\gamma = 180°\), то косинус равен нулю, и формула сводится к формуле Брахмагупты.

¶Формула для вписанных многоугольников

Для циклического \(n\)-угольника не существует единой простой формулы, аналогичной формуле Брахмагупты, выражающей площадь только через длины сторон. Исключение составляют треугольник (формула Герона) и четырёхугольник. Для пятиугольников и более сложных фигур необходима дополнительная информация (например, углы или диагонали).

¶Применение

Формула Брахмагупты используется:

• В геодезии и картографии для вычисления площадей земельных участков, имеющих форму четырёхугольника, если известны длины всех сторон и участок можно считать вписанным в окружность (или приближённо циклическим).
• В задачах олимпиадной и школьной геометрии для нахождения площади четырёхугольника без построения высот и диагоналей.
• В компьютерной графике и геометрическом моделировании при расчёте площадей полигонов, аппроксимирующих криволинейные поверхности.
• В истории математики как пример развития индийской геометрической мысли, оказавшей влияние на европейскую науку.

¶Интересные факты

• Формула Брахмагупты является частным случаем более общей формулы для площади циклического четырёхугольника, выраженной через его стороны и полупериметр.
• В «Брахма-спхута-сиддханте» Брахмагупта также привёл правило для вычисления площади произвольного четырёхугольника, которое, однако, было неверным для нециклических фигур. Это показывает, что индийские математики не всегда строго различали условия вписанности.
• Существует аналог формулы Брахмагупты для объёма тетраэдра, вписанного в сферу, — формула Тартальи, но она значительно сложнее.

¶Источники

• Брахмагупта. «Брахма-спхута-сиддханта» (628 г.).
• Коксетер Г. С. М., Грейтцер С. Л. «Новые встречи с геометрией». — М.: Наука, 1978.
• Прасолов В. В. «Задачи по планиметрии». — М.: МЦНМО, 2006.
• Weisstein, Eric W. «Brahmagupta's Formula» — MathWorld.