В планарной геометрии луна (от лат. luna 'луна') — это вогнуто-выпуклая область, ограниченная двумя дугами окружности . [ 1 ] Она имеет одну граничную часть, для которой соединительный отрезок любых двух соседних точек выходит за пределы области, и другую граничную часть, для которой соединительный отрезок любых двух соседних точек полностью лежит внутри области. Выпукло-выпуклая область называется линзой . [ 2]
Формально, лунка — это относительное дополнение одного диска в другом (где они пересекаются, но ни один из них не является подмножеством другого). Альтернативно, если и являются дисками, то — лунка.
В V веке до нашей эры Гиппократ Хиосский показал, что луночка Гиппократа и две другие луночки могут быть точно возведены в квадрат (преобразованы в квадрат, имеющий ту же площадь) с помощью линейки и циркуля . В 1766 году финский математик Даниэль Вейнквист, цитируя Даниэля Бернулли , перечислил все пять геометрических квадрируемых луночек, добавив к тем, которые были известны Гиппократу. В 1771 году Леонард Эйлер дал общий подход и получил определенное уравнение к задаче. В 1933 и 1947 годах было доказано Николаем Чеботаревым и его учеником Анатолием Дородновым, что эти пять являются единственными квадрируемыми луночками. [3] [1]
Площадь луночки, образованной окружностями радиусов a и b ( b>a ) с расстоянием c между их центрами, равна [3]
где - обратная функция секущей функции , а где
площадь треугольника со сторонами a, b и c .
{{cite book}}
: CS1 maint: другие ( ссылка )