Піфагорова мозаїка

Піфагорова мозаїка (замощення двома квадратами) — замощення евклідової площини квадратами двох різних розмірів, у якому кожен квадрат дотикається до чотирьох квадратів іншого розміру своїми чотирма сторонами. Виходячи з цієї мозаїки, можна наочно довести теорему Піфагора[2], за що мозаїка й отримала назву піфагорової[1]. Мозаїка часто використовується як візерунок для кахельної підлоги. В цьому контексті мозаїка відома також як візерунок класів[3].

Піфагорова мозаїка
Вуличні музиканти в дверях багатого будинку, Якоб Охтервелт, 1665. Як зауважив Нельсен [1], підлога на цій картині є піфагоровою мозаїкою

Топологія і симетрія

Піфагорова мозаїка є єдиною мозаїкою з двома квадратами різного розміру, в якій жодні два квадрати не мають спільної сторони, і разом з тим будь-які два квадрати одного розміру можна відобразити один в одного симетрією мозаїки[4].

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

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

Теорема Піфагора і розрізання
Площа складеного за Перігалем з п'яти частин нижнього квадрата дорівнює сумі площ лівого і правого квадратів
Розрізування на п'ять частин, що використовується в доведенні Ан-Найрізі і Сабіта ібн Курри (ліворуч) і Генрі Перігаля (праворуч)

Мозаїка названа піфагоровою, оскільки її використовували для доведення теореми Піфагора арабські математики дев'ятого століття Ан-Найрізі і Сабіт ібн Курра, а в XIX столітті — британський математик-аматор Генрі Перігаль[1][8][9]. Якщо сторони двох квадратів, що утворюють мозаїку, позначити літерами і , то найменшою відстанню між відповідними точками однакових квадратів буде  — довжина гіпотенузи прямокутного трикутника, катети якого дорівнюють і . Наприклад, на малюнку зліва два квадрати піфагорової мозаїки мають довжини 5 і 12 одиниць, а довжина сторони накладеної квадратної мозаїки (червоні лінії) дорівнює 13, що відповідає піфагоровій трійці (5,12,13).

Шляхом накладання квадратної ґратки зі стороною на піфагорову мозаїку можна отримати розрізання двох нерівних квадратів зі сторонами та на п'ять частин, з яких можна скласти квадрат зі стороною , це показує, що два менших квадрати в сумі мають таку саму площу, як і великий квадрат. Так само, накладення двох піфагорових мозаїк можна використати для розрізання двох нерівних квадратів на шість частин, з яких можна скласти два інших нерівних квадрати[8][10].

Аперіодичні перерізи
Аперіодична послідовність, утворена з мозаїки, утвореної двома квадратами, довжини сторін яких утворюють золоту пропорцію

Хоча піфагорова мозаїка періодична (вона має квадратну ґратку паралельних переносів), її перетини можна використати для утворення одновимірних неперіодичних послідовностей[11].

У «блоковій побудові» аперіодичних послідовностей будується піфагорова мозаїка з двома квадратами, відношення довжин сторін яких ірраціональне (дорівнює ). У цьому випадку вибирають пряму, паралельну сторонам квадратів, і утворюється послідовність двійкових значень залежно від квадрата, який пряма перетинає: 0 відповідає перетину більшого квадрата, а 1 — перетину меншого квадрата. У цій послідовності кількості входжень нулів і одиниць відносяться як . Цю пропорцію неможливо отримати періодичною послідовністю нулів і одиниць, оскільки ірраціональне[11].

Якщо вибрати рівним золотому перетину, послідовність нулів і одиниць, утворена таким способом, має таку ж рекурсивну структуру, як слово Фібоначчі — її можна розбити на підрядки виду «01» і «0» (тобто без двох послідовних одиниць) і якщо ці два підрядки послідовно замінювати коротшими рядками «0» і «1», отримаємо інший рядок з такою самою структурою[11].

Пов'язані результати

За гіпотезою Келлера, будь-яка мозаїка з однакових квадратів на площині повинна містити два квадрати, які дотикаються ребро до ребра[12]. Ніякі два квадрати піфагорової мозаїки не дотикаються ребро до ребра[4], але цей факт не порушує гіпотези Келлера, оскільки не всі квадрати однакові.

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

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

Примітки
  1. Nelsen, 2003, с. 5–8.
  2. Wells, 1991, с. 260–261.
  3. Hopscotch: It's more than a kid's game. — Tile Inc., 2008. — 1 серпня..
  4. Martini, Makai, Soltan, 1998, с. 481–495.
  5. Grünbaum, Shephard, 1987, с. 171.
  6. Grünbaum, Shephard, 1987, с. 42.
  7. Grünbaum, Shephard, 1987, с. 73–74.
  8. Aguiló, Fiol, Fiol, 2000, с. 341–352.
  9. Grünbaum, Shephard, 1987, с. 94.
  10. Frederickson, 1997, с. 30–31.
  11. Steurer, Deloudi, 2009, с. 91–92.
  12. Достовірність цієї гіпотези для двовимірних мозаїк була відома вже Келлеру, але згодом було доведено, що для розмірностей вісім і вище гіпотеза хибна. Див. огляди результатів, пов'язаних з гіпотезою, в (Zong, 2005).
  13. Bölcskei, 2001, с. 317–326.
  14. Досон (Dawson, 1984) навів малюнок тривимірної мозаїки, яку приписує Роджерсу, але цитував статтю 1960 року Річарда Ґая.
  15. Burns, 1994, с. 193–196.
  16. Rigby, 1995, с. 560–561.
  17. Danzer, Grünbaum, Shephard, 1982, с. 568–570+583–585, Figure 3.

Література
  • 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 (17 лютого). — С. 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 (17 лютого). — С. 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 (17 лютого). — С. 181–211. — (New Series). — 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 (17 лютого). — С. 317–326.
  • R. J. M. Dawson. On filling space with different integer cubes // Journal of Combinatorial Theory. Series A. — 1984. — Т. 36, вип. 2 (17 лютого). — С. 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 (17 лютого). — С. 181–211. — (New Series). — DOI:10.1090/S0273-0979-05-01050-5.
  • Roger B. Nelsen. Paintings, plane tilings, and proofs // Math Horizons. — 2003. — Вип. November (17 лютого). — С. 5–8.
    • Передруковано в Deanna Haunsperger, Stephen Kennedy. The Edge of the Universe: Celebrating Ten Years of Math Horizons. — Mathematical Association of America, 2007. — С. 295–298. — (Spectrum Series) — 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 (17 лютого). — С. 193–196.
  • John Rigby. 79.51 Tiling the plane with similar polygons of two sizes // Mathematical Gazette. — 1995. — Т. 79, вип. 486 (17 лютого). — С. 560–561.
  • 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 (17 лютого). — DOI:10.2307/2320829.
  • Aguiló F., Fiol M. A., Fiol M. L. Periodic tilings as a dissection method // American Mathematical Monthly. — 2000. — Т. 107, вип. 4 (17 лютого). — DOI:10.2307/2589179.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.