Французский математик Михаэль Рао из Лионского университета закончил решение задачи о замощении плоскости выпуклыми многоугольниками. Препринт работы можно посмотреть на странице ученого.
Многоугольник называется выпуклым, если все его углы меньше 180 градусов или, что то же самое, вместе с любой парой точек такой многоугольник содержит и отрезок, их соединяющий. Задача о замощении (еще ее называют задачей о паркете) формулируется так: пусть плоскость разбита на многоугольники так, что любые два многоугольника либо не имеют общих точек, либо имеют только граничные общие точки. Если все многоугольники такого разбиения одинаковы (то есть один в другой можно перевести композицией сдвига, поворота или осевой симметрии), то говорят, что многоугольник замощает плоскость. Задача звучит так: описать все выпуклые многоугольники, замощающие плоскость.
Используя некоторые комбинаторные рассуждения, можно доказать, что у такого многоугольника может быть только 3, 4, 5 или 6 сторон. Легко проверяется, что плоскость можно замостить любым трех- и четырехугольником. Об этом подробнее можно прочитать в нашем материале «Пять углов».
Чтобы описать все шестиугольники, обозначим их углы как A, B, C, D, E, F, а стороны как a, b, c, d, e, f. При этом считаем, что сторона a примыкает к углу A справа и все стороны и углы названы по часовой стрелке. В 60-е годы было доказано, что все шестиугольники, которыми можно замостить плоскость, принадлежат как минимум одному из трех классов (классы тут пересекаются, скажем, правильный шестиугольник принадлежит всем трем) :
Самый сложный случай — случай пятиугольного паркета. В 1918 году математик Карл Райнхардт описал пять классов таких паркетов, простейшим из которых был класс пятиугольников с условием, что найдется сторона, сумма примыкающих к которой углов равна 180 градусам. В 1968 году Роберт Кершнер нашел еще три таких класса, а в 1975 году Ричард Джеймс нашел еще один. Про открытие Джеймса написал журнал Scientific American, статью в нем увидела американская домохозяйка и математик-любитель Мардж Райс, которая вручную за 10 лет нашла еще 5 семейств.
Последнее продвижение в задаче о замощении произошло в августе 2015 года. Тогда математики из филиала Вашингтонского университета в Ботелле с помощью компьютерной программы нашли 15-й класс пятиугольных паркетов. В своей новой работе Михаэль Рао свел задачу классификации пятиугольных паркетов к перебору 371 вариантов. Варианты он перебрал на компьютере и показал, что ничего, кроме 15-ти уже известных классов замощений, не существует. Тем самым он окончательно закрыл задачу о замощении.