113 4 3 PDF

Vous avez dit circulaire
Georges Lion
Agrg de mathmatiques, docteur d'tat, professeur honoraire de l'universit du Pacifique,
Nouma (Nouvelle Caldonie).
La dnomination de groupe circulaire pour dsigner le groupe des homographies en o
coefficients complexes demeure parfois mystrieusement ignore. Pour remdier cela, il m'a
paru intressant, non seulement de rappeler l'origine de cette dnomination, mais aussi de la
justifier par une dmonstration autonome, ne devant rien l'application d'un thorme tranger
au sujet et qui pourrait en cacher la vritable nature gomtrique.

Notations
Partie 1
Ncessit de la condition
Partie 2
Bijections laissant fixe et stable
Partie 3
Suffisance de la condition
Remarque diverses
Bibliographie

Notations
dsigne l'ensemble obtenu en adjoignant au plan complexe un point l'infini, not . Par
droite, on entend runion d'une droite du plan et de . Le mot cercle garde sa signification
habituelle.
La lettre dsigne l'ensemble des droites et des cercles de .
La lettre dsigne le groupe des homographies

o est non nul et qui se prolongent en bijections de grce aux formules :

selon que est nul ou non.
dsigne le complexe conjugu de . L'ensemble des bijections
Page 1sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=240&Type=enonce&Num=0&Mode=...

dment prolonges de manire analogue est not . On laisse au lecteur le soin de vrifier que
est un groupe dont est un sous-groupe d'indice 2.
On va dmontrer :

Thorme Pour qu'une bijection de appartienne , il faut et il suffit qu'elle laisse stable
l'ensemble .

Autrement dit, les homographies sont les seules bijections de qui transforment tout cercle ou
droite en un cercle ou une droite.
Hormis ce qui vient d'tre dit sur les groupes et les remarques diverses, la comprhension du
prsent texte ne ncessite aucune connaissance absente des programmes du baccalaurat.

Partie 1
Ncessit de la condition
Elle est immdiate pour toute homographie dans l'expression de la quelle le coefficient est nul
puisqu'il s'agit alors d'une similitude. Sinon, on remarque

et de mme pour une homographie en . Dans la compose, seule la deuxime application pose
question en vue de la stabilit de .
Soit , d'o

On a les quivalences :

qui est l'quation d'un cercle ou d'une droite passant par .

Partie 2
Bijections laissant fixe et stable
Soit l'ensemble de ces applications, . Pour toute droite , contient , c'est
donc une droite ; de mme, pour tout cercle , est un cercle. Supposons que soit
tangente en un point ; alors est tangente en le point car on a :

De mme, deux droites parallles ont pour images par deux droites parallles.

Lemme 1 Soit , et deux points fixes pour . Alors laisse invariante la droite
, la mdiatrice de , le milieu de et le cercle de diamtre .

En effet, soit appartenant , mdiatrice de , et distinct du milieu de ce segment ;
soit le cercle circonscrit . Si est tangente en , alors est tangente en
qui passe par et . Sachant parallle , est parallle
qui est ; donc appartient . D'o est une droite contenue dans , c'est
donc (fig. 1).


Figure 1
D'autre part, .
Soit enfin le cercle de diamtre , la tangente en . Alors est parallle
et passe par donc , ce qui implique (fig. 2).

Figure 2


Lemme 2 Soit , fixant les points d'affixes et (resp. et ). Alors fixe tout
rel dyadique (resp. Tout imaginaire pur dyadique).

En effet, soit le cercle de diamtre ; et les tangentes en et ;
prserve ou change et . Si est le cercle de diamtre , est tangente , et
et distinct de , donc . D'o et (lemme 1), (fig.3).
De proche en proche on dmontre la fixit par de tout point d'affixe dans , puis de la mme
manire, celle de tout entier ngatif et enfin, par le lemme 1, celle de tout rel dyadique. Le cas
des imaginaires se traite de manire analogue.

Lemme 3 Soit , fixant et . Alors ou est l'application identique de .

Figure 3

En effet, par le lemme 1, on sait que ; lorsque , on pose ; sinon on
pose . Alors fixe , , , , donc tout rel ou imaginaire pur dyadique.
Soit rel,


et les parallles l'axe imaginaire menes par les points d'affixes et Sachant ces
points et invariants par , et le sont aussi ; par menons deux cercles et
tangents et (fig. 4). Les cercles et sont tangents et et passent par
(rel), donc on a :

Par la proprit d'Archimde, ces deux dyadiques peuvent tre choisis arbitrairement proches,
donc , et de mme sur l'axe imaginaire.
Soit enfin ; (resp. ) la parallle l'axe rel (resp. imaginaire) mene par le point
d'affixe ; sachant et fixes par , on a :

donc


Figure 4

Partie 3
Suffisance de la condition
Soit une bijection de prservant ; si , on pose ; sinon, soit
et l'on pose :

Soit maintenant :
il existe et tels que ,
Si , l'application appartient et fixe et . Donc (lemme 3) on a :

et finalement .

Remarque diverses
1) On peut dmontrer que est le groupe conforme de , c'est--dire l'ensemble des -
diffomorphismes qui prservent les angles des courbes (voir [1]) ; il s'agit-l de questions
d'analyse.
2) Au prix d'une adaptation facile, la dmonstration mene en 3 ci-dessus permettrait d'tablir
que le groupe opre, de manire simplement transitive, sur l'ensemble des triplets
d'lments distincts de . Cela suffit pour tablir que ne peut tre un groupe
d'isomtries car, en ce cas, deux triangles quelconques seraient toujours isomtriques ! Il
en est de mme du groupe conforme du plan, la contradiction tant ici constitue par
l'galit de toutes les distances. En revanche, le groupe conforme du demi-plan de
Poincar n'est pas transitif sur l'ensemble des couples de points et l'on sait qu'il existe bien
une distance compatible avec ce groupe. Il s'agit l de cas particuliers d'un thorme d
J . Ferrand : soit une varit riemannienne non conformment quivalente ou
, alors le groupe conforme de est un groupe d'isomtries (voir [4]).
3) Par une inversion de l'espace trois dimensions, on peut dfinir une bijection conforme de
la sphre sur ; on en dduit un isomorphisme du groupe des restrictions des
rotations de l'espace sur un sous-groupe de non distingu car est simple.
4) On pourrait envisager de dmontrer directement la simple transitivit de sur
l'ensemble des triplets de points ; on est alors conduit chercher les solutions d'un systme
homogne de trois quations quatre inconnues . Mais les calculs sont
compliqus et il faut vrifier que n'est pas nul. En fait, il vaut mieux se rapprocher
du point de vue projectif : trois droites vectorielles , 2 2 distinctes, tant
donnes dans le plan et trois autres de mme, il existe , unique
un facteur prs, tel que pour . Dans ce contexte, s'identifie
, espace projectif complexe de dimension 1, et au groupe , quotient
par du groupe des bijections -linaires de , de dterminant .
5) Un autre point de vue fait apparatre une nouvel invariant de : il s'agit du birapport

On tablit la simple transitivit souhaite en remarquant que la relation

dfinit bien une homographie rpondant la question.
6) Le groupe opre transitivement sur ; en effet :

- une homothtie (translation si les cercles sont de mme rayon) permet de transformer un
cercle quelconque en un autre ;

- une rotation (translation si les droites sont parallles) permet de transformer une droite en
une autre ;

- l'application transforme la droite d'quation en le cercle de diamtre
(voir 1) ci-dessus).

L'ensemble des rflexions et des inversions de puissance est transitif sur (fig. 5).
7) Un lment de est dfini par la donne de trois paramtres complexes, c'est--dire six
paramtres rels. Il en est de mme de tout dplacement affine de l'espace trois
dimensions. Mais les deux groupes ne sont pas isomorphes : le second est form des
translations, rotations et vissages et quels que soient et dans ce groupe, il existe un
conjugu de commutant avec . Dans , au contraire, tout conjugu de peut
s'crire :

et aucune de ces applications ne commute avec .
8) Le thorme dmontr ci-dessus peut l'tre aussi par application du thorme fondamental
de la gomtrie affine (voir [3], p. 330 ou [2], 4.1, exercice 7). La dmonstration de ce
dernier rsultat invoque le fait que tout automorphisme de est identit et cela tient ce
que tout rel positif est un carr. C'est exactement cette dernire proprit qui assure
l'existence des cercles et dans la dmonstration du lemme 3 ci-dessus.


Figure 5

Bibliographie
1 Cartan H.Fonctions analytiques d'une ou plusieurs variables complexes.Hermann (1960).
2 Dieudonn J .Algbre linaire et gomtrie lmentaire.Hermann (1964).
3 Deltheil R. et Caire D.Complments de Gomtrie.Baillre (1951).
4 Ferrand J .The action of conformal transformations on a Riemannian manifold.Mat. Ann.
277-291 (1996).


113 4 3 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

113 4 3 PDF

Uploaded by

Copyright:

Available Formats

Vous avez dit circulaire

You might also like