Шляпа Смита

(по мотивам статьи на "Элементах")

Представьте, что вы маньяк-перфекционист, и решили замостить весь мир плиткой. Хорошо, пусть не весь мир, хотя бы бесконечную плоскость. Из экономии вся плитка должна быть одной и той же формы. И чтобы узор не рябил в глазах, он не должен повторяться. Возможно ли это? До недавнего времени математики считали, что ни хрена не выйдет.

Некто Дэвид Смит обнаружил гениальное решение. Разрежем равносторонний треугольник на три одинаковые части. Возьмём восемь таких частей и склеим странным способом:



Народ окрестил это чудо "шляпой". Наклепаем их много и уложим плотненько:



Чтобы не было скучно, добавим к шляпам ещё и рубашек:



Форму шляпы можно менять в некоторых пределах:



Математики пока ещё изучают доказательство апериодичности (https://arxiv.org/abs/2303.10798), но вроде говорят, на первый взгляд там всё правильно.