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