Pavage de Pythagore
Un pavage de Pythagore ou pavage à deux carrés est un pavage du plan euclidien par des carrés de deux tailles différentes, dans lequel chaque carré d'une taille est entouré de quatre carrés de l'autre taille.
On peut y retrouver plusieurs preuves du théorème de Pythagore par constructions de puzzlesModèle:Sfn expliquant ainsi l'origine de son nomModèle:Sfn. Il est couramment utilisé comme modèle pour carreler des sols et des murs. On parle alors de « pose en pipe », en référence à la forme de pipe que dessinent les joints entre les carreaux[1].
Ce pavage possède une symétrie de rotation d'ordre 4 autour du centre de chacun des carrés. Lorsque le rapport des longueurs des côtés des deux carrés est un nombre irrationnel comme le nombre d'or, ses sections par des droites parallèles aux côtés forment des suites apériodiques avec une structure récursive similaire au mot de Fibonacci. Des généralisations de ce pavage à la dimension trois ont également été étudiées.
Topologie et symétrie
Le pavage de Pythagore est le seul pavage avec deux carrés de deux tailles différentes qui soit à la fois unilatéral (deux carrés de même taille ne partagent jamais le même côté) et équitransitif (deux carrés de même taille peuvent être images l'un dans l'autre par une symétrie du pavage)Modèle:Sfn.
Topologiquement, le pavage de Pythagore a la même structure que le pavage carré tronqué constitué de carrés et d'octogones réguliersModèle:Sfn. Chaque petit carré du pavage de Pythagore est adjacent à quatre carrés plus grands, tout comme les carrés du pavage carré tronqué sont adjacents à quatre octogones, tandis que chaque plus grand carré du pavage de Pythagore est adjacent à huit voisins qui alternent entre grands et petits carreaux, tout comme les octogones du pavage carré tronqué. Cependant, les deux pavages ont des ensembles de symétries différents, car le pavage carré tronqué est invariant par réflexion, ce qui n'est pas le cas du pavage de Pythagore. Mathématiquement cela peut s'expliquer en disant que le pavage carré tronqué est invariant par l'ensemble des isométries d'un carré (isométries centrées sur les centres des carrés et des octogones) soit le groupe diédral tandis que le pavage de Pythagore a un groupe de papier peint moins riche généré par seulement les rotations d'angle Modèle:Sfn. C'est un motif chiral, c'est-à-dire qu’il n'est pas superposable à son image dans un miroir en utilisant seulement des rotations et des translations.
Un Modèle:Lien est un pavage constitué de polygones réguliers dans lequel deux sommets quelconques sont images l'un de l'autre par une symétrie du pavage. Habituellement, un pavage uniforme doit en outre avoir ses pavés qui se rencontrent bord à bord, mais si cette exigence est assouplie, il y a huit pavages uniformes supplémentaires. Quatre sont formés de bandes infinies de carrés ou de triangles équilatéraux, et trois sont formés de triangles équilatéraux et d'hexagones réguliers. Le dernier est le pavage de PythagoreModèle:Sfn.
Théorème de Pythagore et découpages
Ce pavage est appelé pavage de Pythagore car il peut illustrer les démonstrations du théorème de Pythagore par les mathématiciens de l'âge d'or islamique du Modèle:S- Al-Nayrizi et Thābit ibn Qurra, et par le mathématicien amateur britannique du Modèle:S- Henry PerigalModèle:SfnModèle:, Modèle:SfnModèle:, Modèle:SfnModèle:, Modèle:Sfn. Si les côtés des deux carrés formant le pavage ont pour longueurs Modèle:Mvar et Modèle:Mvar, alors la distance la plus proche entre deux points correspondants sur des carrés isométriques est Modèle:Mvar, où Modèle:Mvar est la longueur de l'hypoténuse d'un triangle rectangle de côtés Modèle:Mvar et Modèle:MvarModèle:Sfn. Par exemple, dans l'illustration de gauche, les deux carrés du pavage ont pour dimensions 5 et 12, et le carré du pavage régulier superposé a pour dimension 13, illustrant le triplet pythagoricien (5,12,13).
En superposant un grille carrée de dimension Modèle:Mvar sur le pavage, on génère, dans chaque carré de la grille, un puzzle à 5 pièces, permettant ensuite de reconstituer, par simple translation, deux carrés de dimensions Modèle:Mvar et Modèle:Mvar., démontrant par là que la somme des aires des deux petits carrés est égale à l'aire du grand carré (Modèle:Formule).
De même, la superposition de deux pavages de Pythagore associés à la même grille carrée, peut être utilisée pour produire un découpage en six pièces de deux carrés inégaux en deux carrés inégaux différentsModèle:Sfn. Modèle:Clr
Coupes transversales apériodiques
Bien que le pavage de Pythagore soit lui-même périodique (il est invariant par translation), ses sections transversales peuvent être utilisées pour générer des suites apériodiquesModèle:Sfn.
Dans la « construction de Klotz » pour les suites apériodiques (Klotz est un mot allemand pour bloc), on forme un pavage de Pythagore avec deux carrés dont les tailles sont choisies pour que le rapport entre les longueurs des deux côtés soit un nombre irrationnel Modèle:Mvar. Ensuite, on choisit une ligne parallèle aux côtés des carrés, et forme une suite de valeurs binaires à partir des tailles des carrés traversés par la ligne: un 0 correspond à un croisement avec un grand carré et un 1 correspond à un croisement avec un petit carré. Dans cette suite, la proportion relative de 0 et de 1 sera dans le rapport Modèle:Formule. Cette proportion ne peut pas être atteinte par une suite périodique de 0 et de 1, car elle est irrationnelle, donc la suite est apériodiqueModèle:Sfn.
Si, pour Modèle:Mvar, on choisit le nombre d'or, Modèle:Peu clair
Résultats connexes
Selon la conjecture de Keller, tout pavage du plan par des carrés congruents doit inclure deux carrés qui se rencontrent bord à bord[2]. Aucun des carrés du carrelage de Pythagore ne se rencontre bord à bordModèle:Sfn mais ce fait ne viole pas la conjecture de Keller parce que les carreaux ont des tailles différentes, donc ils ne sont pas tous congruents les uns aux autres.
Le pavage de Pythagore peut être généralisé à un pavage tridimensionnel de l'espace euclidien par des cubes de deux tailles différentes, qui est également unilatéral et équitransitif. Attila Bölcskei appelle ce pavage tridimensionnel le Rogers filling. Il conjecture que, dans toute dimension supérieure à trois, il existe à nouveau une manière unilatérale et équitransitive unique de pavage de l'espace par hypercubes de deux tailles différentes[3].
.jpg)
Burns et Rigby ont trouvé plusieurs Modèle:Lien, incluant le flocon de Koch, qui peuvent être utilisés pour carreler le plan uniquement en utilisant des copies du pavé primitif dans deux ou plusieurs tailles différentes[4]Modèle:, [5]. Un article antérieur de Danzer, Grünbaum et Shephard fournit un autre exemple, un pentagone convexe qui dalle le plan uniquement lorsqu'il est combiné en deux tailles[6]. Bien que le pavage de Pythagore utilise deux tailles de carrés différentes, le carré n'a pas la propriété de ces pavés primitifs pavant uniquement par similitude, car il est également possible de carreler le plan en utilisant uniquement des carrés d'une seule taille.
Application
Une première application structurelle du carrelage de Pythagore apparaît dans les travaux de Léonard de Vinci, qui l'a considéré parmi plusieurs autres modèles potentiels pour l'élaboration de ses planchers[7]. Ce carrelage est également utilisé de manière décorative, en carrelage ou autres modèles, comme on peut le voir, par exemple, dans la peinture Musiciens des rues devant la porte (1665) de Jacob OchterveltModèle:Sfn. On suggère parfois que c'est en voyant un carrelage similaire dans le palais de Polycrate de Samos que Pythagore aurait pu avoir l'idée originale de son théorèmeModèle:Sfn.
Références
Modèle:Traduction/Référence Modèle:Références
Bibliographie
- Modèle:Article
- Modèle:Ouvrage
- Modèle:Article
- Modèle:Ouvrage
- Modèle:Ouvrage
- Modèle:Article
- Modèle:Chapitre
- Modèle:Chapitre
- ↑ Modèle:Lien web
- ↑ La vérité de sa conjecture pour les pavages bidimensionnels était déjà connue de Keller, mais elle s'est révélée fausse depuis pour les dimensions huit et plus. Pour en savoir plus sur les résultats récents concernant cette conjecture ; voir Modèle:Article.
- ↑ Modèle:Article. Voir aussi Modèle:Harvsp, qui comprend une illustration du carrelage tridimensionnel, crédité à "Rogers" mais cité dans un article de 1960 de Richard Guy : Modèle:Article.
- ↑ Modèle:Article.
- ↑ Modèle:Article.
- ↑ Figure 3 de Modèle:Article
- ↑ Modèle:Article.