Vous êtes sur la page 1sur 4

292 Connes 9/01/02 8:29 Page 36 cla Maquettistes:cla(Celine Lapert):292:connes total:

YMTRIE
ALAIN CONNES

Le concept de symtrie va bien au-del des simples symtries gomtriques.


De lorganisation harmonieuse des phases finales des coupes de football la
rsolution des quations, en passant par le jeu de licosadre et le thorme de
Morley, vous dcouvrirez les multiples facettes de ce concept.

et article se propose dinitier le lecteur, par quelques exemples illustratifs, la notion de symtrie en
mathmatiques.
Pour mettre en vidence lubiquit
de ce concept, au sens du mathmaticien, nous commencerons par voquer le lien entre la symtrie qui
gouverne lorganisation de la phase
finale des coupes de football et la technique de rsolution des quations du
quatrime degr.

Le passage aux quations de degr


suprieur sera loccasion dvoquer le
jeu de licosadre et les icosions, dfinis par le mathmaticien irlandais
William Hamilton au XIXe sicle.
Nous terminerons par une rflexion
sur un thorme de gomtrie, dmontr par Frank Morley vers 1899, o la
symtrie dun triangle quilatre surgit comme par miracle dun triangle
arbitraire en prenant lintersection des
trisectrices conscutives (les deux

droites qui partagent un angle en trois


parties gales). Jen ai donn, en 1998,
une formulation et une dmonstration
algbriques que nous verrons ici.

Les phases finales


des coupes de football
Commenons par lorganisation des
coupes de football, par exemple de la
dernire coupe dEurope. Durant la
phase finale, les quipes se retrouvent

par poules de quatre au sein desquelles


elles doivent se dpartager. La France,
par exemple, se trouvait dans un groupe
de quatre quipes, Danemark, France,
Pays-Bas et Rpublique Tchque (abrvies en D, F, H et C). Pour dpartager
ces quatre quipes de manire quitable, il faut que chacune delles rencontre chacune des trois autres, de sorte
que trois journes sont ncessaires.
Quand deux quipes se rencontrent,
D et F par exemple, les deux autres, H
et C, saffrontent le mme jour et il
suffit donc de trois journes pour obtenir toutes les configurations de rencontres possibles.
Dans lexemple de la coupe dEurope, les matchs des trois journes
taient, pour la premire journe, les
rencontres FD et CH, pour la deuxime
journe, FC et DH, pour la dernire
FH et DC. On peroit intuitivement
quune telle organisation est harmonieuse car aucune des quatre quipes
nest privilgie. Ainsi lon vrifie que
si lon permute arbitrairement certaines
quipes, par exemple si lon change D
et H, il en rsulte une simple permutation des premire et troisime journes.
Nous pouvons visualiser la symtrie qui est luvre en plaant les
lettres D, F, C, H reprsentant les
quipes en quatre points du plan. un
match entre deux quipes correspond

DEUXIME JOURNE

PREMIRE JOURNE

Les trois journes 1,2,3 restent


globalement inchanges par les
permutations de F, D, C, H. Ainsi :

F D C H

1 2 3

F D CH

1 2 3

TROISIME JOURNE

PREMIRE
JOURNE

l'change de F et D, change
les journes 2 et 3,

F D C H

TROISIME
JOURNE

DEUXIME
JOURNE

La rsolution par radicaux des


quations polynomiales ncessite
l'laboration de fonctions annexes des
racines, prsentant des proprits de
symtries quand on permute les racines
de ces quations.
CINES
RA

NEXES
AN

a b c d

a b c d

1 2 3

1 2 3
F D C H
l'change de D et C, change
les journes 1 et 2,

D
F D C H

1 2 3

F D C H

1 2 3

l'change de F et D et de C et H,
ne change rien aux trois journes.

36

La rsolution par radicaux


des quations du 4 degr
Ce fait surprenant est la base de la
mthode gnrale permettant de
rsoudre par radicaux les quations
du quatrime degr. Cette rsolution
consiste exprimer les zros a, b, c et d
du polynme x4 + nx3 + px2 + qx + r =
(x a)(x b)(x c)(x d), cest--dire les
valeurs de x qui annulent le polynme,
en fonction des coefficients n, p, q, r et
de lextraction de racines.
Pour comprendre cette affirmation,
il faut revenir un peu en arrire dans
lHistoire et examiner les rsolutions des
quations de degr infrieur quatre.
Si la technique de rsolution des
quations du second degr remonte
la plus haute antiquit (Babyloniens,
gyptiens), elle na pu tre tendue
au troisime degr que bien plus tard,
et ne sera publie par Girolamo (Jrme)
Cardano quen 1545 dans les chapitres
11 23 de son livre Ars magna sive de
regulis algebraicis. Bien que cela nait
t reconnu quau XVIIIe sicle, la clef
de la rsolution par radicaux de lquation du troisime degr, x3+nx2+px+q= 0,
de racines a, b, c, est lexistence dune
fonction polynomiale f(a, b, c) de a, b, c,
qui ne prend que deux dterminations
diffrentes sous laction des six permutations de a, b, c.

2. SYMTRIES ET RSOLUTION PAR RADICAUX DES QUATIONS DE DEGR 3 et 4

1. LES SYMTRIES DE LA PHASE FINALE DE LA COUPE DE FOOTBALL

la droite joignant ces deux points et


chacune des trois journes correspond
naturellement au point dintersection
de deux droites, reprsentant les deux
confrontations de la journe. Ainsi aux
rencontres FD et CH, on associe lintersection des droites FD et CH et ainsi
de suite pour les deux autres couples,
de sorte que la deuxime journe est
lintersection des droites FC et DH
et la troisime lintersection des
droites FH et DC.
La figure ainsi construite, forme
de quatre points et six droites, se nomme
un quadrilatre complet. Elle est parfaitement symtrique (au sens abstrait,
mme si des symtries gomtriques
au sens commun symtries par rapport un point ou une droite ny apparaissent pas), puisque chacun des quatre
points F, D, C et H joue exactement le
mme rle que les autres, et quil en
va de mme des trois points de rencontre symbolisant les journes.
Aprs avoir visualis ce quadrilatre complet, nous pouvons aussi formuler algbriquement la symtrie en
question. Ainsi, la fonction qui aux
quatre nombres a, b, c et d associe
= ab + cd ne prend que trois dterminations diffrentes quand on permute a, b, c et d : les deux autres
dterminations tant = ac + bd et
= ad + bc.

POUR LA SCIENCE - N 292 FVRIER 2001

L'ensemble de ces fonctions annexes


est
globalement
inchang
par
permutations des racines de l'quation.
Dans les quations de degrs 3 et 4 ces
fonctions annexes permettent de
ramener la rsolution de l'quation
initiale une quation "rduite" de
degr infrieur.

POUR LA SCIENCE - N 292 FVRIER 2001

1) quation du troisime degr :


x3 + 3px + 2q = (x a)(x b)(x c) = 0.
quation rduite : x2+ 2qx p3 = (x )(x ).
Trois Deux fonctions annexes :
racines :
= [(a + bj + cj2) /3]3
a, b, c.
= [(a + bj2 + cj) /3]3
avec j = (1+i3)/2,
j2 = (1 i3)/2,
i tant une racine carre
de 1, d'o
j3 = 1 et j2+ j +1=0.

Solutions
Symtrie
3
La symtrie ralise
Soient u =
3
par n'importe quelle
et v =
permutation entre a, b tels que uv = p.
et c, laisse
On a alors :
globalement invariant
a=u+v
l'ensemble des
b = j2u + j v
fonctions annexes
c = ju + j2v.
{,}.

2) quation du quatrime degr :


x4 + px2 + qx + r = (x a)(x b)(x c) (x d) = 0
quation rduite :
x3 px2 4rx + (4pr q2) = (x )(x )(x ) = 0
Quatres Trois fonctions
Symtrie
Solutions
annexes:
racines :
La symtrie ralise par 1) Connaissant =ab+cd et r=(ab)(cd),
= ab + cd
n'importe quelle
on en dduit les produits ab et cd.
a, b, c, d
= ac + bd permutation entre a, b, c 2) Si ab=cd, le systme (a+b)+(c+d)= 0
= ad + bc et d laisse globalement
et cd(a+b) + ab(c+d) = q,
donne a+b et c+d.
invariant l'ensemble des
trois fonctions annexes 3) Connaissant ab et a+b on en dduit
a et b. De mme pour c et d.
{, , }.

37

292 Connes 9/01/02 8:29 Page 38 cla Maquettistes:cla(Celine Lapert):292:connes total:

4. TUDE DES GROUPES A4 ET A5


A) LE GROUPE A4

v=

a b c d e

v=

On vrifie que la
permutation uv
est d'ordre 5.
a b c d e

a b c d e

a b c d e
uv =

a b c d e

(uv)5 =

a b c d e

POUR LA SCIENCE - N 292 FVRIER 2001

6. 5

2
2

10

u=

11 3

v=

Il tait normal de dsirer aller plus


loin : Descartes a certainement essay et
avec lui bien des chercheurs. Ltape suivante est videmment celle du cinquime degr. Elle a toujours oppos
des obstacles infranchissables, et nous
savons depuis Abel et Galois (qui obtiennent leurs rsultats aux alentours de
1830), pourquoi cette qute tait vaine.
Dans tous les cas prcdents, nous
avions pu associer une famille de n
nombres a, b, c, d (avec n infrieur
ou gal 4) une famille de n 1
nombres , , sexprimant comme
des polynmes en a, b, c, d et dont
lensemble tait globalement invariant
par chacune des permutations de ces
lettres. Plus prcisment, notons Sn le
groupe des bijections de lensemble
{a, b, c, d} dans lui-mme ; ce qui est
possible pour n strictement infrieur
5 cest de dfinir une application de
Sn sur Sn1, respectant la composition
des permutations.
On sait depuis le dbut du XIXe sicle
que lexistence dune telle application
du groupe Sn sur Sn1, ou mme une telle
application (non constante) du groupe
An des permutations paires (produits
de deux, quatre, six transpositions) dans
un groupe Sm avec m infrieur n, est
impossible pour n plus grand que 4.
Cela dmontre que la mthode de
Lagrange ne peut tre tendue n gal
5 ni aux valeurs suprieures, mais
est naturellement insuffisant pour

6. 5

u=

Abel et Galois

1
1

3. ORDRE D'UNE PERMUTATION

L'ordre d'une permutation est le


plus petit entier n tel que si l'on
applique n fois la permutation on
obtient la permutation identique.
Ainsi la permutation u est d'ordre 2
et la permutation v est d'ordre 3 :
a b c d e
a b c d e

10

1) Le groupe A4 est le groupe des permutations paires sur


les quatre lettres (a,b,c,d). Ce groupe est engendr par les
permutations s = a b c d , qui transforme a en b, b en
b a d c
a, c en d et d en c, et t = a b c d , qui transforme a en
a c d b
a, b en c, c en d et d en b. Celles-ci vrifient les rgles :
s2 =1, t3 =1, (st)3 =1.
2) Il existe une reprsentation gomtrique du groupe A4 :
Ce groupe est le groupe des rotations conservant le
ttradre rgulier a,b,c,d .
a

11 3

reste plus qu exploiter les galits


(a+b)+(c+d)=0 et ab(c+d)+cd(a + b) = q
pour en dduire a + b et c + d, donc enfin
a, b, c et d).
Cest Joseph Louis Lagrange en
1770 et 1771 (publication en 1772, et dans
une moindre mesure, Alexandre Vandermonde dans un mmoire publi en
1774, mais galement rdig vers 1770,
ainsi qu Edward Waring dans ses
Meditationes algebric de 1770 et Francesco Malfatti) que lon doit la mise en
lumire du rle fondamental des permutations sur les racines a, b, c et
sur les quantits auxiliaires ,
dailleurs aujourdhui justement appeles rsolvantes de Lagrange.
Ces rsolvantes ne sont pas uniques
(ainsi aurait-on galement pu poser
= (a + b c d)2 dans le cas du quatrime degr, ce qui correspond la
solution de Descartes), mais elles fournissent la clef de toutes les rsolutions
gnrales par radicaux.

6.

38

encore, lon peut partir dun polynme dbarrass du coefficient de x3,


annul par la mme technique que prcdemment, soit x 4 + px 2 + qx + r =
(x a)(x b)(x c) (x d). Lensemble
des trois nombres = ab + cd, = ac + bd,
= ad + bc est invariant par chacune
des 24 permutations agissant sur a, b, c
et d. Ce sont donc les racines dune quation du troisime degr dont les coefficients sexpriment facilement en
fonction de p, q et r. Le calcul montre
que le polynme (x ) (x ) (x )
est gal x3 px2 4rx + (4pr q2). Il
peut donc tre dcompos comme on
la vu plus haut pour en dduire ,
et ; en fait, il suffit mme de calculer
lune seulement de ces racines, disons ,
pour en dduire a, b, c et d (nous connaissons alors en effet la somme et le
produit r des deux nombres ab et cd,
donc ces deux nombres eux-mmes par
une quation du second degr, et il ne

6.

La mthode de Cardano revient


poser = [(1/3)(a + bj + cj2)]3, le nombre j
tant la premire racine cubique de
lunit, soit (1 + i3)/2, o i est une
racine carre de 1. La permutation
circulaire transformant, la fois a en b,
b en c et c en a, laisse manifestement la
fonction inchange et la seule autre
dtermination de la fonction sous laction des six permutations de a, b, c, est
obtenue en transposant b et c par
exemple, soit = [(1/3)(a + cj + bj2)]3.
Comme lensemble de ces deux
nombres et est invariant par toutes
les permutations de a, b, c, le polynme du second degr dont et sont
racines est facile calculer en fonction
des coefficients de lquation initiale
x3 + nx2 + px + q = 0 : cest x2 + 2qx p3 =
(x + q + s)(x + q s), o s est lune des
racines carres de p3 + q2 et o, pour simplifier les formules, lon a rcrit lquation initiale sous la forme quivalente
x3 + 3px + 2q = 0 dbarrasse du terme
du deuxime degr en effectuant une
translation convenable des racines et o
lon a introduit les coefficients 2 et 3.
Un calcul simple montre alors que
chacune des racines a, b et c, de lquation initiale sexprime comme somme
de lune des trois racines cubiques de
et de lune des trois racines cubiques
de , ces deux choix tant lis par le
fait que leur produit doit tre imprativement gal p (il ny a donc que
trois couples de choix de ces racines
prendre en compte, ce qui est rassurant,
la place des neuf possibilits que lon
aurait pu envisager a priori).
Cest loccasion de ces formules
que lutilisation des nombres complexes
sest impose. En effet, mme dans le
cas o les trois racines sont relles, il se
peut que p3 + q2 soit ngatif et que et
soient alors ncessairement des
nombres complexes.
Si la rsolution des quations du troisime degr que nous venons dexposer a t trs longue tre mise au point
(sans doute pour au moins lun de ses
cas particuliers par Scipione del Ferro
entre 1500 et 1515), celle du quatrime
degr a t plus preste la suivre puisquelle figure galement dans lArs
magna (chapitre 39) o Cardano lattribue son secrtaire Ludovico Ferrari
qui laurait trouve entre 1540 et 1545
(Ren Descartes en publiera une autre
en 1637). Et cest cette rsolution qui
nous ramne la premire symtrie que
nous avons rencontre, celle de lorganisation des finales, du quadrilatre
complet, et de la fonction ab + cd. Ici

C) PRSENTATION DE A5

Le lecteur patient vrifiera que les rgles de simplification


u2 =1, v3 =1, (uv)5 =1 suffisent avec la loi de groupe pour
montrer qu'il existe seulement soixante mots diffrents
b
d
constitus des lettres u et v. On commencera, en posant
s = u, t = k2uk (o k = uv), par montrer que s et t vrifient
c
la prsentation de A4, c'est--dire les rgles de
s est reprsente par la symtrie par rapport la mdiatrice simplification s2 =1, t3 =1, (st)3 =1. On montrera ensuite
que tout mot avec les lettres u et v s'crit grce aux rgles
commune ab et cd.
t est reprsente par la rotation d'angle 2/3 autour de l'axe de simplification ci-dessus sous la forme km h, m tant
gal 0,1,2,3,4 et h tant un mot crit avec les lettres s et t.
du ttradre passant par a.
st = a b c d est la rotation d'angle 2/3 autour de l'axe Comme il existe exactement 12 lments h, on trouve que
b d c a
le groupe A5 est bien prsent par les relations ci-dessus.
du ttradre passant par c.
Le lecteur patient vrifiera que les rgles de simplification D) A5, GROUPE DE MATRICES
s2 =1, t3 =1, (st)3 =1 constituent une prsentation de ce 1) Notons F5 = Z/5Z le corps des entiers relatifs modulo 5.
groupe, c'est--dire suffisent pour montrer qu'en les Dans ce corps, 4 + 2 =1, 3 + 2 =0, 4 x 2 = 3, 3 x 2 =1, etc.
combinant avec la loi de groupe, il existe seulement douze 2) Reprsentons u et v comme les transformations
suivantes de l'espace projectif P1(F5). Cet espace projectif
"mots" diffrents constitus des lettres s et t.
contient, outre les cinq lments de F5, un point " l'infini"
not 1/0. Posons u(z)= 1/z pour z lment de P1(F5).
B) LE GROUPE A5
2
2
1) Le groupe A5 est le groupe des permutations paires sur Nous avons clairement u (z)=z, c'est--dire u =1. Posons
les cinq lettres (a,b,c,d,e). Ce groupe est engendr par les maintenant v(z) = 1/(z+1) : nous pouvons vrifier que
v3=1. Nous vrifions la prsentation de A5 puisque k=uv
permutations u = a b c d e , qui transforme a en b, b
b a d c e
est donn par k(z) = z +1, et km(z) = z+m, de sorte que
en a, c en d , d en c, et e en e, et v = a b c d e , qui k5=1 car, dans F , 5 est gal 0.
5
e b a d c
3) Donnons une reprsentation matricielle des lments u
transforme a en e, b en b, c en a d en d et e en c. Celles-ci
et v. tant donn des lments a,b,c,d de F5, avec ad bc
vrifient les rgles : u2 =1, v3 =1, (uv)5 =1 (bien sr u et v
=1, on associe la matrice a b , la transformation f de
ne commutent pas).
c d
P (F ), donne par:
2) Ce groupe a 60 lments et est isomorphe au groupe 1 5
f(z)
a b z
des rotations du dodcadre rgulier.
.
=
c d 1
1
Ainsi u est l'une des 15 symtries relatives la mdiatrice Le groupe de transformation ainsi obtenu est not
commune deux artes elles-mmes symtriques par PSL(2,F ), pour groupe spcial linaire projectifi de F .
5
5
rapport au centre.
Ainsi u, v, k, et t, y sont reprsents par les matrices:
De mme, v est l'une des 20 rotations d'angle 2/3 autour
d'une droite joignant deux sommets symtriques par u = 0 1 v = 0 1 km = 1 m puis t = 2 3
rapport au centre du dodcadre.
1 0
1 1
0 1
1 1

[ [ [ [[ [

[ [ [

POUR LA SCIENCE - N 292 FVRIER 2001

[ [

39

292 Connes 9/01/02 8:29 Page 40 cla Maquettistes:cla(Celine Lapert):292:connes total:

1) que toute fonction des racines, invariante


par les substitutions de ce groupe soit rationnellement connue ;
2) rciproquement, que toute fonction des
racines, dtermine rationnellement, soit
invariante par ces substitutions.
Puis Galois tudie comment ce
groupe dambigut se trouve modifi par ladjonction de quantits auxiliaires considres ds lors comme
rationnelles. Rsoudre une quation
par radicaux revient alors rsoudre
son groupe de Galois.
Limpossibilit de rduire lquation
du cinquime degr des quations
de degr infrieur provient alors de la
simplicit du groupe A5 des soixante
permutations paires (produits dun
nombre pair de transpositions) des cinq
racines a, b, c, d, e dune telle quation.
On dit quun groupe abstrait est
simple si lon ne peut lenvoyer (par
une application non constante) dans un
groupe plus petit tout en prservant la
loi de groupe. Le groupe A5 est le plus
petit groupe simple non commutatif
et il apparat trs souvent en mathmatiques. Ce groupe se prsente trs
conomiquement : il est engendr par
deux lments u et v vrifiant les relations u2 = 1, v3 = 1 et (uv)5 = 1, ce qui
nous donne loccasion den venir aux
icosions dHamilton.

Les icosions dHamilton

5. Le texte de Lagrange sur lquation du 3me degr (1772).

dmontrer quune rsolution dune


quation gnrale de degr suprieur
4 nest pas possible par radicaux il
se pourrait que dautres mthodes, plus
gnrales, russissent l o Lagrange
aurait chou. Aujourdhui, nous
savons, toujours daprs Abel et Galois,
que cette gnralisation mme est
impossible. Ce problme fondamental
et complexe intressera de nombreux
mathmaticiens des plus clbres, parmi
lesquels Leonhard Euler qui y reviendra plusieurs reprises et surtout Karl
Friedrich Gauss (1801) et Louis-Augustin Cauchy (1813).
Arrtons-nous au cas du degr
cinq, pour lequel Descartes par
exemple, persuad quil nexistait pas
de formule analogue celle de Cardano, avait propos en 1637, dans La
Gomtrie, une mthode graphique
de rsolution grce lintersection
de cercles et de cubiques quil avait
40

6. Le jeu de licosion et le chemin hamiltonien selon Sainte-Lagu.

inventes pour loccasion. Entre 1799


et 1813 (date de ldition de ses Riflessioni intorno alla solutione delle equazioni
algebraiche generali), Paolo Ruffini a
publi diverses tentatives de dmonstrations, de plus en plus affines, visant
tablir limpossibilit de rsoudre
lquation gnrale du cinquime
degr par radicaux. toute fonction
rationnelle des racines, il a eu lide
juste dassocier le groupe des permutations de ces racines qui laissent cette
fonction invariante, mais il a cru tort
que les radicaux intervenant dans la
rsolution de lquation, comme les
racines cubiques pour le degr trois,
taient ncessairement des fonctions
rationnelles des racines.
Il faudra attendre 1824 pour que
Niels Abel justifie lintuition de Ruffini dans son Mmoire sur les quations
algbriques. Abel, aprs avoir cru trouver au contraire une mthode de rso-

lution gnrale, prouve limpossibilit de rsoudre lquation gnrale


du cinquime degr par radicaux,
en 1826 dans le Mmoire sur une classe
particulire dquations rsolubles algbriquement, o il amorce une thorie
gnrale qui ne spanouira que dans
les crits de Galois, vers 1830. Les travaux de Galois inaugurent une re
nouvelle des mathmatiques, o les
calculs font place la rflexion sur
leur potentialit et les concepts, tels
celui de groupe abstrait ou dextension algbrique occupent le devant
de la scne.
Lide lumineuse de Galois consiste
dabord associer une quation arbitraire un groupe de permutations quil
dfinit en ces termes :
Soit une quation donne dont a, b, c m
sont les racines. Il y aura toujours un groupe
de permutations des lettres a, b, c m qui
jouira de la proprit suivante :
POUR LA SCIENCE - N 292 FVRIER 2001

Aprs avoir dcouvert les quaternions,


William Hamilton a tent de construire
en 1857 une nouvelle algbre, forme
de nombres gnraliss quil appelait les icosions. Deux dentre eux, nots
u et v, que Hamilton dnommait
racines non commutatives de lunit,
devaient vrifier u 2 = 1, v 3 = 1 et
(uv)5 = 1. Un calcul enfantin montre
que si uv = vu, on a v = 1v = u5v5v =
u5v6 = (u2)2u(v3)2 = u, puis u = v = vu2
= v3 = 1. Ainsi lon ne peut reprsenter u et v dans aucun des groupes Sn,
avec n infrieur ou gal 4. Pour reprsenter u et v dans le groupe A5 des permutations paires des cinq lettres
(a,b,c,d,e), il suffit de poser u = (b,a,d,c,e),
permutation qui laisse fixe e et change
a et b, c et d, et v = (e,b,a,d,c) la permutation qui laisse fixe b et d, et qui
change a en e = v(a), c en a = v(c) et e
en c = v(e). Le produit uv est alors la
permutation cyclique (e, a, b, c, d) qui
est bien dordre cinq. Lon peut ainsi
reprsenter u et v de 120 manires
diffrentes (mais deux deux isomorphes) dans le groupe A5.
POUR LA SCIENCE - N 292 FVRIER 2001

7. REVTEMENT UNIVERSEL ET GOMTRIE NON EUCLIDIENNE

vuv
vuv2

uv2

a
J

v2

J'

uv
vuv
vuv2

uv2

A MODLE DE KLEIN

v2

b
J'

uv

Longueur du segment
[a,b] = Log ac x bd
ad x bc

B MODLE DE POINCAR

Pour comprendre gomtriquement le groupe engendr par deux lments


u et v et prsent par les relations u2=1, v3=1, (uv)5=1, lon commence par
considrer simplement les deux premires relations (u2=1, v3=1). Le groupe
ainsi obtenu est le groupe PSL(2,Z) que lon comprend en visualisant son
action sur un arbre infini T dont trois artes partent de chaque sommet. La
troisime relation ((uv)5=1) se comprend alors en identifiant larbre T avec
le revtement universel du graphe de la figure 6 (ce revtement universel,
au sens de Poincar, est obtenu en considrant tous les chemins qui
suivent les artes du dodcadre rgulier). Larbre infini T est reprsent
selon deux modles de la gomtrie non-euclidienne, le modle de Klein (A)
et le modle de Poincar (B). Dans les deux modles l'ensemble des points
de la gomtrie plane est l'intrieur d'un disque. Dans le modle de Klein le
segment reliant deux points n'est autre que le segment de la gomtrie
euclidienne ; seule change la longueur de ce segment. Dans ce modle, la
longueur d'un segment ab est donne par le logarithme du birapport (ab, cd)
de ab, avec les points d'intersections c et d de la droite ab avec le cercle C.
Ainsi : [a,b] = log ac x bd . Les artes de l'arbre T sont des segments de
ad x bc
droite de longueurs gales.
Dans le modle de Poincar, les droites sont les arcs de cercles orthogonaux
au cercle C, et la notion d'angle y est la mme que dans la gomtrie
euclidienne. Les distances sont donnes par 2 Log(ab, cd) o le birapport
(ab, cd) est calcul sur le cercle passant par (a,b,c,d) et o le facteur 2 est
visible en comparant (A) et (B).
Le groupe PSL(2, Z) est reprsent par des isomtries de la gomtrie non
euclidienne. Ce groupe a pour prsentation les relations u2=1 et v3=1.
L'lment u est donn par la symtrie par rapport l'origine O, et l'lment v,
par la rotation non euclidienne de centre J et d'angle 2/3. En appliquant,
l'arte JJ', les oprations reprsentes par les mots (tels que uvvuuuvuv...)
dont les lettres sont les lments u et v, on obtient exactement l'arbre T du
revtement universel du graphe du jeu de l'icosion d'Hamilton. En particulier,
chacun des chemins hamiltoniens est un point de ce revtement universel.
On obtient le dodcadre en identifiant les artes de l'arbre T qui sont
congrues modulo 5. Cette congruence signifie que l'on passe de l'une
l'autre de ces artes par une isomtrie non euclidienne donne par un
lment [ ca db ] du groupe PSL(2, Z) vrifiant a = 1 (modulo 5), b = 0 (modulo 5),
c = 0 (modulo 5), d = 1 (modulo 5). Ainsi la prsentation du groupe A5 qui
impose la relation supplmentaire (uv)5 = 1 revient quotienter PSL(2, Z) par
le sous-groupe normal G engendr par (uv)5. Le quotient de T par G n'est
autre que le graphe form par les artes du dodcadre. Le groupe quotient
PSL(2, Z)/G est le groupe PSL(2, F5) de la figure 4.

41

292 Connes 9/01/02 8:29 Page 42 cla Maquettistes:cla(Celine Lapert):292:connes total:

Le groupe A 5 est isomorphe au


groupe des rotations qui conservent un
icosadre ou, ce qui revient au mme,
un dodcadre (ces deux corps sont
les plus intressants des cinq solides
platoniciens, qui avec le ttradre rgulier, le cube et loctadre form par
les six centres des faces dun cube sont
les seuls polydres convexes rguliers
existant dans notre espace habituel).
Pour obtenir lisomorphisme cherch, il suffit dassocier u lune des 15
rotations dordre deux (une symtrie
dont laxe est lune des 15 mdiatrices
communes deux artes parallles) et
v lune des 20 rotations dordre trois
(dont laxe relie lun des dix couples
de deux sommets diamtralement
opposs du dodcadre ou des centres
de deux faces parallles de licosadre)
de telle sorte que le produit uv soit lune
des 24 rotations dordre cinq (dont laxe
relie lun des six couples de centres de
deux faces parallles du dodcadre ou
de deux sommets diamtralement
opposs de licosadre) ; les 60 rotations
conservant ce solide peuvent toutes sexprimer simplement comme produits
des gnrateurs u et v.
Bien que les deux icosions u, v engendrent le groupe A5 et vrifient les relations u2 = 1, v3 = 1 et (uv)5 = 1, il nest
pas immdiat que ces relations constituent une prsentation de ce groupe,
cest--dire que toute autre relation entre
8.LE JEU DE L'ICOSION
14

15
12

13

20

11

10
3

5
19

18

16

8
7
17

Sainte-Lagu dans son livre Avec


des nombres et des lignes,, a fait
revivre le jeu de licosion invent par
le mathmaticien irlandais Hamilton
(1805-1865). Le jeu consiste
complter le circuit passant par tous
les sommets dun icosadre une fois
et une seule ; on donne au dpart,
les cinq premiers sommets. En voici
un exemple : (1, 2, 3, 4, 5, 6, 19, 18,
14, 15, 16, 17, 7, 8, 9, 10, 11, 12,
13, 20).

42

u et v sen dduise. Il y a deux faons


de sen convaincre, algbrique ou gomtrique (voir les figures 4 et 7).
Cest propos du graphe des artes
du dodcadre, qui a les mmes symtries que celui de licosadre, quHamilton mit au point le jeu de
licosadre quil appelait aussi jeu des
racines non commutatives de lunit.
Ce jeu constitue le premier exemple
de ce que lon appelle maintenant la
recherche dun circuit hamiltonien,
concept trs important dans la thorie
moderne des graphes (voir la figure 6).
Il sagit dun dfi concernant les 20 sommets dun dodcadre, quil sagit de
parcourir en suivant les artes du polydre de faon passer par chaque sommet une fois et une seule, les sommets
de dpart et darrive tant eux-mmes
lis par une arte qui permet de fermer le circuit. On pourra lire ce sujet
le remarquable essai de 1937 dAndr
Sainte-Lagu Avec des nombres et des
lignes, rdit par Vuibert en 1994.

Le triangle de Morley
Il ny a pas dange de la gomtrie
en rivalit avec le diable de lalgbre,
mais une connivence fructueuse entre
les aires visuelles du cerveau, qui dclent dun coup dil lharmonie dune
configuration, et celles du langage qui
la distille en critures algbriques.
Nous terminerons cette initiation au
concept de symtrie par un bel exemple
de cette connivence en voquant le thorme de Morley. Il constitue galement un domaine o les symtries,
concrtes dorigine gomtrique, et abstraites et algbriques quand on le
regarde sous un nouvel angle, se conjuguent de faon forte et laissent une relle
impression de beaut.
Le mathmaticien britannique Frank
Morley fut lun des premiers enseignants des universits amricaines.
Cest au tournant du sicle prcdent
qu loccasion de recherches sur les
familles de cardiodes tangentes aux
trois cts dun triangle donn, il dgagea la proprit suivante : les trois
couples de trisectrices intrieures de ses
trois angles (cest--dire des droites qui
dcoupent ces angles en trois angles
gaux, la manire des bissectrices bien
connues) se coupent en six points dont
trois forment un triangle quilatral.
La dmonstration originale, assez
difficile, est base sur dingnieux calculs base de gomtrie analytique
superbement matrise. Il existe de nom-

breuses preuves de ce rsultat, ainsi que


des gnralisations portant jusqu 18,
voire 27 (et mme davantage) triangles
quilatraux que lon peut dgager
partir des 108 points dintersections des
18 trisectrices obtenues partir des trisectrices intrieures par des rotations
dangle /3. Parmi ces preuves, il en
existe par le calcul trigonomtrique,
mais aussi par la gomtrie pure, comme
celle qua donne Raoul Bricard en 1922.
Il en existe une de toute autre nature,
qui lclaire sous un angle intressant
puisquelle permet dtendre ce rsultat a priori fortement Euclidien la gomtrie de la droite affine sur un corps
k arbitraire. Le rsultat dalgbre pure
qui contient (et tend) la proprit des
trisectrices est dune telle gnralit que
sa dmonstration devient une simple
vrification (un nonc trs gnral
est souvent plus simple dmontrer
quun cas particulier, car le nombre dhypothses que lon doit utiliser est dautant plus rduit). Il snonce ainsi :
Si G est le groupe affine dun corps
commutatif k (cest--dire des applications g de k dans k qui peuvent scrire
sous la forme g(x) = ax + b, o a, not
a(g), est non nul), alors pour tout triplet (f, g, h) dlments de G tels que
j = a(fgh) soit diffrent de 1 et que fg, gh
et hf ne soient pas des translations, il y
a quivalence entre les deux assertions suivantes :
a) f3g3h3 = 1 (transformation identique)
b) j3 = 1 et + j + j2 = 0 o est lunique
point fixe de fg, celui de gh et celui
de hf.
Reste montrer comment cette
proprit algbrique trs abstraite permet de mieux comprendre (et de prouver par la mme occasion) le thorme
de Morley. Nous prendrons pour k
le corps des nombres complexes, pour
lequel le groupe affine est celui des
similitudes directes, et dont un sousgroupe est celui des rotations (il faut
et il suffit que a soit de module 1 pour
que g soit une rotation). Nous prendrons pour f, g, h les trois rotations
autour des trois sommets du triangle
et dont les angles sont les deux tiers
des angles au sommet. Ainsi f est la
rotation de centre A dangle 2a/3, g
celle de centre B et dangle 2b/3 et h
celle de centre C et dangle 2c/3. Le
produit des cubes f3g3h3 est gal 1,
car f3 par exemple est le produit de
deux symtries par rapport aux cts
de langle en A, de sorte que ces symtries se simplifient deux deux dans
le produit f3g3h3.
POUR LA SCIENCE - N 292 FVRIER 2001

9. LE THORME DE MORLEY

ces rotations. La rotation g transforme le point en ',


symtrique de par rapport AB. La rotation f
retransforme ' en : ainsi le point est le point fixe du
produit des rotations fg. Similairement, est le point fixe
du produit des rotations gh, et est le point fixe du produit
des rotations hf.

C
c c c

a
a
a

b
b
b

C
B

x"

tr
m
Sy

Le thorme de Morley nonce que les trois points de


concours , , des trisectrices dun triangle quelconque
ABC, tels qu'indiqus sur la figure, forment un triangle
quilatral (en rouge).

f3

Symtrie AB

b
b

f, g, h sont les trois rotations autour des trois sommets


du triangle et dont les angles sont les deux tiers des
angles au sommet.
Ainsi f est la rotation de centre A dangle 2a, g est la
rotation de centre B dangle 2b, et h est la rotation de
centre C dangle 2c. Nous allons tudier les proprits de

Lquivalence ci-dessus montre


donc que + j + j2 = 0, o , ,
sont les points fixes de fg, gh et hf et
o le nombre j = a(fgh) est la premire
racine cubique de lunit, que nous
avons dj rencontre dans le cours de
cet article. La relation + j + j2 = 0
est une caractrisation bien connue des
triangles quilatraux. (Elle peut encore
scrire sous la forme ( )/( ) =
j2, ce qui montre que lon passe du
vecteur au vecteur par une rotation dangle /3).
Une vieille recette, connue des personnes ayant reu une forte imprgnation de gomtrie classique,
montre que le point dfini par f(g())
= nest autre que lintersection de
la trisectrice issue de A et de la trisectrice issue de B les plus proches du
ct AB. Le lecteur pourra sen persuader en vrifiant que la rotation g
de centre B et dangle 2b transforme
ce point dintersection en son symtrique par rapport au ct AB, et que
la rotation f de centre A et dangle 2a
le remet exactement sa place. Il en
va de mme pour les points et .
Nous avons donc dmontr que le triangle (, , ) est quilatral. Nous
voyons mme en prime que, dans
cet ordre, il est dcrit dans le sens posi POUR LA SCIENCE - N 292 FVRIER 2001

v
x

'

AC

x'

a
a

ie

Considrons maintenant le produit des rotations f3g3h3.


La rotation f3 de centre A et d'angle 6a est le produit s(AC)
s(AB) de la symtrie s(AB) par rapport au ct AB, et de
la symtrie s(AC) par rapport au ct AC. De mme g3 est
le produit s(AB) s(BC) et h3 le produit s(BC) s(AC). On a
alors f3g3h3 = s(AC) s(AB) s(AB) s(BC) s(BC) s(AC).
Comme le carr d'une symtrie par rapport une droite
est l'identit, f 3g 3h 3 est gal 1, ce qui dmontre grce
au rsultat algbrique que le triangle , , est quilatral.

tif (oppos celui des aiguilles dune


montre). Cette preuve sapplique tout
autant aux autres triangles quilatraux de Morley : les 18 trisectrices
obtenues partir des trisectrices intrieures par des rotations dangle /3
permettent de modifier f, g et h sans
changer le produit de leurs cubes et
donnent de nouvelles solutions de
lquation a) et autant de triangles
quilatraux!
La dualit entre algbre et gomtrie, vidente dans les exemples ci-dessus, permet de repousser plus loin les
limites de nos concepts gomtriques,
dj librs du carcan Euclidien par
lavnement des gomtries non euclidiennes (voir la figure 7).
La dcouverte de la mcanique
quantique et de la non-commutativit des coordonnes sur lespace des
phases dun systme atomique a engenAlain Connes, Mdaille Fields et Prix Crafoord, est professeur au Collge de France
et lInstitut des Hautes tudes Scientifiques. Il tient remercier Andr Warusfel de son aide trs prcieuse pour la
rdaction de la confrence organise par
Jean-Pierre Bourguignon en septembre
2000 au centre Georges Pompidou. La

dr dans les 20 dernires annes une


volution largement aussi radicale des
concepts gomtriques, librant la
notion despace de la commutativit
des coordonnes.
En gomtrie non commutative la
notion de symtrie devient plus subtile, les groupes voqus dans cet article
tant remplacs par des algbres inventes par le mathmaticien HeinzHopf,
illustrant la belle dfinition dHermann
Weyl extraite de son livre Symtrie et
mathmatique moderne :
La symtrie nest en aucune faon
restreinte aux objets qui occupent un
certain espace. Symtrique veut dire
quelque chose comme bien proportionn, bien quilibr, et la symtrie
indique alors cette sorte dharmonie
entre les diverses parties grce quoi
elles sintgrent dans un tout : la beaut
est lie cette symtrie-l.
Revue de Mathmatiques de lEnseignement
Suprieur publiera, dans lun de ses numros de lanne universitaire 2001-2002, un
expos dAndr Warusfel sur les configurations de Morley et quelques preuves
des symtries sous-tendant ces objets spectaculaires, dont celles de Morley et de lauteur de cet article.

43