Введение

Проблема в геометрии

В геометрии задача деления круга на области с помощью вписанного многоугольника с n сторонами таким образом, чтобы максимизировать число областей, образованных сторонами и диагоналями, иногда называемая круговой проблемой Мозера, имеет решение, основанное на методе индукции. Наибольшее возможное число областей, 1=rG = , дает последовательность 1, 2, 4, 8, 16, 31, 57, 99, 163, 256. Хотя первые пять членов соответствуют геометрической прогрессии 1=2n − 1, начиная с n = 6, она отклоняется от этой прогрессии, что демонстрирует опасность обобщения на основе лишь нескольких наблюдений.

Лемма

Если на окружности есть n точек и добавляется еще одна точка, можно провести n линий от новой точки к ранее существующим точкам. Возможны два случая. В первом случае (a) новая линия проходит через точку, в которой пересекаются две или более старых линий (между ранее существовавшими точками). Во втором случае (b) новая линия пересекает каждую из старых линий в различной точке. Важно знать следующий факт. Лемма. Новую точку A можно выбрать так, чтобы для каждой из новых линий выполнялся случай b. Доказательство. Для случая a три точки должны лежать на одной прямой: новая точка A, старая точка O, к которой проведена линия, и точка I, в которой пересекаются две старые линии. Существует n старых точек O, и, следовательно, конечное число точек I, в которых пересекаются две старые линии. Для каждой пары O и I прямая OI пересекает окружность в одной точке, отличной от O. Поскольку окружность содержит бесконечно много точек, на ней существует точка A, не лежащая ни на одной из прямых OI. Тогда для этой точки A и всех старых точек O случай b будет выполняться. Эта лемма означает, что если существует k линий, пересекающих AO, то каждая из них пересекает AO в различной точке, и линия AO создает k + 1 новых областей.

Применение в математическом бильярде внутри круга

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