Пифагорова мозаика

Пифагорова мозаика (замощение двумя квадратами) — замощение евклидовой плоскости квадратами двух различных размеров, в которой каждый квадрат касается четырёх квадратов другого размера своими четырьмя сторонами. Исходя из этой мозаики, можно доказать (наглядно) теорему Пифагора^[2], за что мозаика и получила название пифагоровой^[1]. Мозаика часто используется в качестве узора для кафельного пола. В этом контексте мозаика известна также как узор классов^[3].

Пифагорова мозаика является единственной мозаикой с двумя квадратами различного размера, в которой никакие два квадрата не имеют общей стороны, и в то же время любые два квадрата одного размера могут быть отображены друг в друга симметрией мозаики^[4].

Топологически пифагорова мозаика имеет ту же самую структуру, что и усечённая квадратная мозаика из квадратов и правильных восьмиугольников^[5]. Меньшие по размеру квадраты в пифагоровой мозаике смежны четырём большим плиткам, как и квадраты в усечённой квадратной мозаике, в то время как большие квадраты пифагоровой мозаики смежны восьми соседям, поочерёдно большим и малым, точно так же, как восьмиугольники в усечённой квадратной мозаике. Однако эти две мозаики имеют различные симметрии — усечённая квадратная мозаика имеет диэдральную симметрию относительно центра каждой плитки, в то время как пифагорова мозаика имеет меньший циклический набор симметрий вокруг соответствующих точек, образуя симметрию p4^[6]. Мозаика хиральна, что означает невозможность получить её из зеркального образа только параллельными переносами и вращениями.

Однородная мозаика — мозаика, в которой каждая плитка является правильным многоугольником и в которой существует симметрия, отображающая любую вершину в любую другую вершину. Обычно от однородной мозаики требуется дополнительно, чтобы плитки соприкасались ребро-к-ребру, но если это ограничение отбросить, то есть восемь дополнительных однородных мозаик — четыре образуются из бесконечных лент квадратов или правильных треугольников, три образуются правильными треугольниками и правильными шестиугольниками и восьмая — пифагорова мозаика^[7].

Мозаика названа пифагоровой, поскольку она использовалась для доказательства теоремы Пифагора арабскими математиками девятого века Ан-Найризи и Сабитом ибн Курра, а в XIX столетии — британским математиком-любителем Генри Перигалем^{[англ.][1][8][9]}. Если стороны двух квадратов, образующих мозаику, обозначить буквами ${\displaystyle a}$ и ${\displaystyle b}$, то ближайшим расстоянием между соответствующими точками одинаковых квадратов будет ${\displaystyle c}$, где ${\displaystyle c}$ является длиной гипотенузы прямоугольного треугольника, катеты которого равны ${\displaystyle a}$ и ${\displaystyle b}$. Например, на рисунке слева два квадрата пифагоровой мозаики имеют длины 5 и 12 единиц, а длина стороны наложенной квадратной мозаики (красные линии) равна 13, что соответствует пифагоровой тройке (5,12,13).

Путём накладывания квадратной решётки со стороной ${\displaystyle c}$ на пифагорову мозаику можно получить разрезание^[англ.] на пять частей двух неравных квадратов со сторонами ${\displaystyle a}$ и ${\displaystyle b}$, из которых можно составить квадрат со стороной ${\displaystyle c}$, это показывает, что два меньших квадрата в сумме имеют ту же площадь, что и большой квадрат. Таким же образом наложение двух пифагоровых мозаик может быть использовано для получения разрезания на шесть частей двух неравных квадратов, из которых можно сложить два других неравных квадрата^[8][10].

Хотя пифагорова мозаика сама по себе периодическая (она имеет квадратную решётку параллельных переносов), её сечения могут быть использованы для образования одномерных непериодичных последовательностей^[11].

В «блочном построении» апериодических последовательностей строится пифагорова мозаика с двумя квадратами, отношение длин сторон которых иррационально (равно ${\displaystyle x}$). В этом случае выбирается прямая, параллельная сторонам квадратов, и образуется последовательность двоичных значений в зависимости от квадрата, который прямая пересекает — 0 соответствует пересечению большего квадрата, а 1 соответствует пересечению меньшего квадрата. В этой последовательности отношение вхождений нулей и единиц находится в отношении ${\displaystyle x\colon 1}$. Эта пропорция не может быть получена периодичной последовательностью нулей и единиц, поскольку ${\displaystyle x}$ иррационально^[11].

Если в качестве ${\displaystyle x}$ выбрать золотое сечение, последовательность нулей и единиц, образованная таким образом, имеет ту же рекурсивную структуру, что и фибоначчиево слово^[англ.] — её можно разбить на подстроки вида «01» и «0» (то есть без двух последовательных единиц) и если эти две подстроки последовательно заменять на более короткие строки «0» и «1», получим другую строку с такой же структурой^[11].

Согласно гипотезе Келлера, любая мозаика плоскости одинаковыми квадратами должна содержать два квадрата, которые соприкасаются ребро-к-ребру^[12]. Никакие два квадрата в пифагоровой мозаике не соприкасаются ребро-к-ребру^[4], но этот факт не нарушает гипотезы Келлера, поскольку не все квадраты одинаковы.

Пифагорову мозаику можно обобщить на трёхмерное евклидово пространство как замощение кубами двух различных размеров, которые соприкасаются аналогичным образом. Аттила Бёльчкей называет такие трёхмерные замощения мозаиками Роджерса. Он высказал предположение, что в любой размерности, большей трёх, существует единственный способ замощения пространства гиперкубамии двух различных размеров со свойствами, аналогичными описанным выше (никакие два гиперкуба не имеют общей стороны и любые два гиперкуба одного размера могут быть отображены друг в друга симметрией мозаики)^[13][14].

Бёрнс и Ригби нашли некоторые протоплитки^[англ.], включая снежинку Коха, которые могут быть использованы для замощения плоскости двумя или более копиями различных размеров^[15][16]. Более ранняя статья Данцера, Грюнбаума и Шепарда приводит другой пример, выпуклый пятиугольник, который замощает плоскость только в комбинации двух размеров^[17]. Хотя пифагорова мозаика использует два различных размера квадратов, квадраты не обладают теми же свойствами, что и указанные протоплитки, которыми можно замостить плоскость только при двух (и более) плиток различного размера, поскольку плоскость можно замостить квадратами одного размера.

• Walter Steurer, Sofia Deloudi. Crystallography of Quasicrystals: Concepts, Methods and Structures. — Springer, 2009. — Т. 126. — С. 91–92. — (Springer Series in Materials Science). — ISBN 978-3-642-01898-5. — doi:10.1007/978-3-642-01899-2.
• David Wells. The Penguin Dictionary of Curious and Interesting Geometry. — New York: Penguin Books, 1991. — С. 260–261. — ISBN 0-14-011813-6.
• Horst Martini, Endre Makai, Valeriu Soltan. Unilateral tilings of the plane with squares of three sizes // Beiträge zur Algebra und Geometrie. — 1998. — Т. 39, вып. 2. — С. 481–495..
• Branko Grünbaum, G. C. Shephard. Tilings and Patterns. — W. H. Freeman, 1987. — С. 171.
• Francesc Aguiló, Miquel Angel Fiol, Maria Lluïsa Fiol. Periodic tilings as a dissection method // American Mathematical Monthly. — 2000. — Т. 107, вып. 4. — С. 341–352. — doi:10.2307/2589179.
• Greg N. Frederickson. Dissections: Plane & Fancy. — Cambridge University Press, 1997. — С. 30–31.
• Chuanming Zong. What is known about unit cubes // Bulletin of the American Mathematical Society. — 2005. — Т. 42, вып. 2. — С. 181–211. — doi:10.1090/S0273-0979-05-01050-5.
• Attila Bölcskei. Filling space with cubes of two sizes // Publicationes Mathematicae Debrecen. — 2001. — Т. 59, вып. 3-4. — С. 317–326.
• R. J. M. Dawson. On filling space with different integer cubes // Journal of Combinatorial Theory. Series A. — 1984. — Т. 36, вып. 2. — С. 221–229. — doi:10.1016/0097-3165(84)90007-4.
• Chuanming Zong. What is known about unit cubes // Bulletin of the American Mathematical Society. — 2005. — Т. 42, вып. 2. — С. 181–211. — doi:10.1090/S0273-0979-05-01050-5.
• Roger B. Nelsen. Paintings, plane tilings, and proofs // Math Horizons. — 2003. — Вып. November. — С. 5–8.
  • Перепечатано в Deanna Haunsperger, Stephen Kennedy. The Edge of the Universe: Celebrating Ten Years of Math Horizons. — Mathematical Association of America, 2007. — С. 295–298. — ISBN 978-0-88385-555-3.
  • См. также Claudi Alsina, Roger B. Nelsen. Charming proofs: a journey into elegant mathematics. — Mathematical Association of America, 2010. — Т. 42. — С. 168–169. — (Dolciani mathematical expositions). — ISBN 978-0-88385-348-1.
• Aidan Burns. 78.13 Fractal tilings // Mathematical Gazette. — 1994. — Т. 78, вып. 482. — С. 193–196. — JSTOR 3618577.
• John Rigby. 79.51 Tiling the plane with similar polygons of two sizes // Mathematical Gazette. — 1995. — Т. 79, вып. 486. — С. 560–561. — JSTOR 3618091.
• Danzer L., Grünbaum В., Shephard G. C. Unsolved Problems: Can All Tiles of a Tiling Have Five-Fold Symmetry? // The American Mathematical Monthly. — 1982. — Т. 89, вып. 8. — doi:10.2307/2320829.
• Aguiló F., Fiol M. A., Fiol M. L. Periodic tilings as a dissection method // American Mathematical Monthly. — 2000. — Т. 107, вып. 4. — doi:10.2307/2589179.

Для улучшения этой статьи желательно: Проверить качество перевода с иностранного языка. Исправить статью согласно стилистическим правилам Википедии. После исправления проблемы исключите её из списка. Удалите шаблон, если устранены все недостатки.