Carré : huit symétries pour faire naître un groupe algébrique

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Aujourd'hui, on va démarrer par une situation qui semble en apparence complètement absurde.

Intervenant 20:08

Ouais, ou en tout cas totalement contre-intuitive, c'est clair.

Intervenant 10:11

Exactement. Alors en gros, imaginons un objet posé sur une table, on le fixe intensément, on cligne des yeux une fraction de seconde et en rouvrant les yeux, l'objet a l'air d'être exactement millimètre pour millimètre dans la même position.

Intervenant 20:24

Visuellement, rien n'a changé quoi.

Intervenant 10:26

Voilà, rien du tout. L'instinct nous dicte qu'il ne s'est absolument rien passé. Mais la grande question d'aujourd'hui, c'est que signifie réellement ne rien changer en géométrie ? C'est notre grande mission pour cette exploration.

Intervenant 20:37

C'est un sacré programme.

Intervenant 10:39

N'est-ce pas ? On a rassemblé une pile fascinante d'articles, de notes de recherche, de démonstrations tirées de nos dossiers pour comprendre comment cette simple illusion d'immobilité nous plonge directement dans l'un des concepts les plus puissants des mathématiques, les groupes.

Intervenant 20:53

Et c'est vraiment le point de départ idéal. Parce qu'en géométrie, affirmer qu'un objet reste inchangé, ce n'est pas juste une simple appréciation visuelle subjective.

Intervenant 11:02

C'est-à-dire ?

Intervenant 21:03

C'est plus strict que

Intervenant 11:04

ça. C'est une question de rigueur absolue. C'est ce qu'on appelle la conservation des distances. En fait, pour qu'un objet paraisse strictement identique à lui-même après avoir été manipulé, la transformation qu'on lui applique doit impérativement conserver la distance exacte entre chacun de ses points.

Intervenant 21:19

D'accord, donc aucune déformation n'est tolérée. Zéro. C'est la définition même de ce qu'on appelle une isométrie. L'objet ne se plie pas, il ne s'étire pas, il est parfaitement rigide.

Intervenant 11:31

Ok, je vois le genre.

Intervenant 21:33

Et c'est là que nos sources du jour révèlent quelque chose de profond. L'étude de cette immobilité apparente, elle cache en réalité une mécanique interne extrêmement précise.

Intervenant 11:42

Donc en gros, on cherche à étudier le mouvement caché derrière l'immobilité. C'est presque philosophique présenté comme ça.

Intervenant 21:48

Ouais, un peu, mais très concret géométriquement.

Intervenant 11:51

Mais du coup, si on veut vraiment voir cette mécanique à l'œuvre, j'imagine qu'on ne peut pas juste prendre n'importe quel objet qui traîne sur notre table, non ? Si on prend, je ne sais pas moi, une forme totalement aléatoire, disons un triangle quelconque, asymétrique, avec trois côtés de longueur toutes différentes, est-ce qu'on peut en tirer quelque chose d'intéressant ?

Intervenant 22:07

Absolument rien en fait.

Intervenant 12:08

Rien du tout ? Vraiment ?

Intervenant 22:10

Non, rien. Si on prend un tel triangle scalène et qu'on cherche les fameuses isométries qui le laissent dans la même position exacte, on va très vite tourner en rond. La seule et unique façon de laisser cet objet asymétrique inchangé, c'est tout simplement de ne pas y toucher.

Intervenant 12:27

Ah oui, de le laisser reposer sur la table, quoi.

Intervenant 22:30

Exactement. Et en mathématiques, on appelle cette action, ou plutôt cette absence d'action, l'identité. C'est la transformation neutre par excellence.

Intervenant 12:39

D'accord. Mais faire une liste mathématique qui contient uniquement l'identité, ça ne va pas nous mener bien loin.

Intervenant 22:46

C'est carrément stérile. Il n'y a aucune structure sous-jacente à explorer.

Intervenant 12:51

C'est logique en fait. C'est un peu comme... Attends, laisse-moi trouver une image. C'est comme une clé d'appartement, taillée sur mesure, avec des crans super spécifiques et asymétriques. Elle ne rentre dans la serrure que dans une seule orientation bien précise.

Intervenant 23:05

Ouais, c'est une super analogie.

Intervenant 13:07

Si on la retourne, si on la tourne d'un quart de tour, ça bloque, ça ne correspond plus à l'empreinte. Donc pour que la situation devienne intéressante, il nous faut un objet qui a des propriétés particulières. C'est

Intervenant 23:18

ça. Il nous faut impérativement un objet qui possède des symétries. C'est la condition sine qua non.

Intervenant 13:23

Ok, des symétries.

Intervenant 23:25

Mais attention, repérer qu'un objet possède des symétries, c'est que la toute première étape. Pour que ça devienne un véritable outil mathématique, il faut structurer tout ça.

Intervenant 13:33

Structurer, c'est-à-dire ?

Intervenant 23:34

Il faut observer comment ces différentes symétries interagissent les unes avec les autres quand on les enchaîne. Et c'est précisément ici qu'intervient un concept vraiment charnière dans nos documents, la loi de composition.

Intervenant 13:44

Oh là, arrêtons-nous un instant sur ce terme de loi de composition. Parce que ça, ça peut très vite sonner comme un gros jargon abstrait pour faire fuir les curieux.

Intervenant 23:55

C'est vrai, le nom fait un peu peur.

Intervenant 13:57

Si on essaye de visualiser ça hyper concrètement, sans écrire une seule équation, qu'est-ce que ça veut dire, au quotidien, de composer des mouvements ?

Intervenant 24:05

En réalité, c'est une idée ultra familière. Composer, ça signifie tout simplement appliquer une action, puis en appliquer une autre juste après.

Intervenant 14:13

Juste les enchaîner, quoi.

Intervenant 24:14

Voilà. Imaginons une liste fermée de mouvements autorisés pour un objet donné. La loi de composition, c'est une règle qui dit la chose suivante. Si on choisit un mouvement dans cette liste, Et qu'immédiatement après on exécute un deuxième mouvement de cette même liste, le résultat final global doit obligatoirement correspondre à un mouvement qui existait déjà, tout seul dans la liste de départ.

Intervenant 14:38

Ah d'accord, je vois très bien l'idée. C'est comme un mixeur mathématique, en gros.

Intervenant 24:43

Un mixeur, ouais.

Intervenant 14:44

Ouais. On prend deux mouvements, on les jette dedans, on appuie sur le bouton et ce qui en ressort n'est pas une bouillie chaotique ou une position tordue qu'on n'avait jamais vue. Il en ressort un mouvement parfaitement net qui était déjà au menu de base. Rien ne déborde, le système est parfaitement étanche.

Intervenant 25:02

C'est exactement ça. Le système est clos sur lui-même. C'est cette fermeture qui garantit tout l'ordre du truc.

Intervenant 15:08

Très bien. Alors mettons ce fameux mixeur à l'épreuve dans le bac à sable de la 2D. Prenons la figure la plus classique et rassurante du monde. Un carré.

Intervenant 25:17

Un bon vieux carré.

Intervenant 15:18

Un simple carré avec ses quatre sommets. Si je devais deviner, là, à froid, je dirais qu'il a quatre symétries, puisqu'il a quatre côtés et qu'on peut le faire tourner. Est-ce que le compte est bon ?

Intervenant 25:29

Eh bien, c'est une intuition super naturelle, mais elle est incomplète.

Intervenant 15:33

Ah bon ? J'en ai raté ?

Intervenant 25:35

Ouais, le carré cache en réalité huit isométries qui le laissent globalement inchangé. C'est un ensemble très très précis. Faisons l'inventeur ensemble, si tu veux.

Intervenant 15:44

Vas-y, je compte.

Intervenant 25:45

D'abord, il ne faut jamais l'oublier, on a l'identité. On ne fait rien.

Intervenant 15:50

Ok, ça fait un.

Intervenant 25:51

Ensuite, les rotations, en imaginant qu'on fait tourner le carré autour de son point central. On a la rotation d'un quart de tour.

Intervenant 15:59

Deux.

Intervenant 25:59

Puis la rotation d'un demi-tour.

Intervenant 16:01

Trois.

Intervenant 26:01

Et enfin, la rotation de trois quarts de tour.

Intervenant 16:04

Et de quatre. Donc là, on a notre identité et trois rotations. Ça nous amène bien à quatre. D'ailleurs, je remarque un truc. La rotation de trois quarts de tour dans un sens, c'est littéralement la même chose qu'une rotation d'un quart de tour dans l'autre sens, non ?

Intervenant 26:17

Tout à fait. C'est ce qu'on appelle l'élément inverse.