Гиппократовы луночки

---

Гиппокра́товы лу́ночки — серповидные фигуры, указанные Гиппократом Хиосским, ограниченные дугами двух окружностей. Их особенность состоит в том, что эти фигуры можно квадрировать, то есть с помощью циркуля и линейки можно построить равновеликие им прямоугольники. Гиппократ надеялся на этом пути решить проблему «квадратуры круга», однако существенного прогресса не добился.

Простейший пример показан на рисунке. Луночка ограничена двумя дугами — полуокружностью с диаметром на гипотенузе ${\displaystyle AB}$ равнобедренного прямоугольного треугольника ${\displaystyle \triangle ABC}$и дугой окружности с центром в ${\displaystyle C}$. При этом площадь заштрихованной луночки равна площади ${\displaystyle \triangle ABC}$.

Действительно, площадь полукруга ${\displaystyle P}$ с диаметром ${\displaystyle AB}$, равна площади сектора ${\displaystyle S}$ на дуге ${\displaystyle AB}$ с центром ${\displaystyle C}$. Следовательно, площадь луночки ${\displaystyle P\backslash S}$ равна площади треугольника ${\displaystyle \triangle ABC=S\backslash P}$.

Гиппократ получил три квадрируемые луночки. Даниил Бернулли в «Математических упражнениях» (1724) указал условие (см. нижеприведенные отношения углов), которому должны удовлетворять алгебраически квадрируемые луночки, и привёл уравнение, дающее четвёртую квадрируемую луночку^[1]. Немного позднее финский математик Валлениус (1766) и независимо от него Леонард Эйлер (1771) тоже обнаружили ту же четвёртую и в дополнение к ней ещё одну, пятую луночку^[2]. В 1840 году Томас Клаузен независимо обнаружил и исследовал те же два негиппократовых типа квадрируемых луночек.

Позднее, в 1930-е годы, Н. Г. Чеботарёв и А. В. Дороднов доказали, что если угловые меры внешней и внутренней дуг луночек соизмеримы, то других типов квадрируемых луночек, кроме указанных пяти, не существует^[3]. Если обозначить угловые меры внешней и внутренней дуг луночек символами ${\displaystyle \alpha ,\beta }$, то пяти типам квадрируемых луночек соответствуют следующие отношения ${\displaystyle \alpha :\beta }$.

---