Джованни Форни и задача о бильярде в многоугольниках
Задача о замкнутой бильярдной траектории десятилетиями решалась только по частным случаям. Теперь доказан общий случай.
Фото: MarkBuckawicki / Wikimedia Commons, CC0 · источник
Громких результатов в математике хватает и без ИИ: Джованни Форни решил задачу, которая не поддавалась десятилетиями.
Звучит она так: в любом ли многоугольнике существует хотя бы одна замкнутая бильярдная траектория?
То есть можно ли выбрать точку и направление так, что шарик, двигаясь по прямым отрезкам и отражаясь от стен по закону «угол падения = угол отражения», через некоторое время вернётся в ту же точку с тем же направлением — и дальше будет в точности повторять свой путь?
Для остроугольного треугольника ответ знают со времён Фаньяно (1775): соединяем основания высот — и получаем замкнутый бильярдный путь.
А вот с тупоугольными треугольниками всё намного сложнее. Доказывать умели только по кусочкам:
- Шварц — для тупого угла до 100°;
- затем планку подняли до 112,3°;
- также были продвижения для других частных случаев.
Но общий случай — обычные тупоугольные треугольники и произвольные многоугольники — оставался открытым. Задача даже попала в список Катока «Пять самых сложных проблем динамики».
И вот наконец Форни доказал существование замкнутой траектории сразу для всех многоугольников.
