Vous êtes sur la page 1sur 86

U NIVERSIT PARIS -S UD

Centre dOrsay

M ATHMATIQUES
CAPES 2009-2010

Gomtrie Affine Euclidienne


b
c

b
b"'

a"

h
g

a'
c"'

c"

c'
a'''

b"

b'
a

D OCUMENT DE TRAVAIL POUR LA PRPARATION AU CAPES


RDIG PAR

M ARIE -C LAUDE DAVID


F RDRIC H AGLUND
DANIEL P ERRIN
AVEC LA PARTICIPATION DE JACQUES C HAUMAT

MODE DEMPLOI

Ce polycopi est la suite, maintes fois promise et maintes fois remise, de celui de gomtrie affine (cit [GA]). Cette fois, il concerne la gomtrie euclidienne, la vraie, celle qui
parle de distances, dangles, dorthogonalit, de hauteurs, de mdiatrices, de bissectrices, de
cercles, de sphres, de polygones rguliers et tous les beaux objets qui font quon peut aimer
la gomtrie plus que tout autre domaine des mathmatiques. La gomtrie euclidienne est
le cur de la gomtrie que lon commence entrevoir lcole, que lon tudie au Collge,
que lon approfondit au Lyce et que lon sempresse doublier lUniversit, sauf, et cest
heureux, en prparation au CAPES.
Ce polycopi, comme le prcdent, sappuie de manire essentielle sur lalgbre linaire.
Cest une mthode efficace pour faire de la gomtrie et cest celle qui vous sera utile, au
moins lcrit du CAPES. On peut tre plus rserv sur lintrt de cette approche pour
la formation des futurs professeurs, notamment au collge. Nous donnons ci-dessous, en
annexe, quelques indications sur une autre voie possible pour faire de la gomtrie, plus
proche de celle quon pratique au collge et au lyce. En dpit de ces rserves, il est vident
que ce polycopi vous sera utile, non seulement pour prparer lcrit du CAPES, mais aussi
comme arrire-plan de loral.
Les rgles dutilisation de ce document sont les mmes que celles du prcdent et nous
vous renvoyons au mode demploi de [GA]. Par souci dconomie, nous navons pas gard
le principe dune feuille blanche sur deux, mais cela ne veut pas dire que vous ne devez
pas travailler sur ce polycopi. Il vous faudra simplement avoir vos propres feuilles ou votre
propre cahier. Si vous ne deviez retenir quun point du mode demploi, ce serait, plus encore
quen gomtrie affine :
faites des figures, encore des figures, toujours des figures.
En effet, chaque page, chaque paragraphe, chaque ligne de ce texte (ou presque) demande
une figure.
Voil, nous avons beaucoup travaill sur ce document et vos remarques permettront encore
de lamliorer. Maintenant, comme nous disions dj la fin du mode demploi de [GA],
cest votre tour :
Au travail !

TABLE DES MATIRES


Partie I. ESPACES VECTORIELS EUCLIDIENS
1. Le produit scalaire
2. La norme
3. Orthogonalit
4. Bases orthonormes
5. Isomtries
6. Exemples disomtries vectorielles
7. Transitivit
8. Angles non orients de vecteurs ou de demi-droites
9. Les similitudes vectorielles

4
4
5
7
8
10
11
13
15
19

Partie II. LE PLAN VECTORIEL EUCLIDIEN


1. Isomtries vectorielles du plan
2. Quelques isomorphismes
3. Angles orients de vecteurs dans le plan
4. Angles orients de droites
5. Similitudes

21
21
22
24
27
29

Partie III. ESPACES AFFINES EUCLIDIENS


1. Dfinitions
2. Orthogonalit
3. Repres orthonorms
4. Projection orthogonale
5. Sphres, hyperplans tangents
6. Barycentres dans un espace affine euclidien

30
30
32
33
34
36
38

Partie IV. ISOMTRIES AFFINES


1. Dfinitions et premires proprits
2. Thormes de dcomposition
3. Similitudes

40
40
41
44

Partie V. LE PLAN AFFINE EUCLIDIEN


1. Classification des isomtries
2. Secteurs et angles non orients
3. Angles orients
4. Utilisation des nombres complexes
5. Cas disomtrie des triangles
6. Cas de similitude des triangles
7. Polygones

46
46
48
51
56
59
62
63

Partie VI. GOMTRIE EUCLIDIENNE EN DIMENSION 3


1. Les isomtries vectorielles
2. Les isomtries affines
3. Exercices
4. Dcomposition de certaines isomtries affines

68
68
70
72
74

Annexe 1. LE POINT DE VUE DEUCLIDE, HILBERT ... ET DU COLLGE

76

1.
2.
3.

Introduction
Les axiomes dEuclide-Hilbert pour la gomtrie plane
Quel systme daxiomes pour le collge

76
76
78

Annexe 2. EXPONENTIELLE ET FONCTIONS TRIGONOMTRIQUES


1. Exponentielle complexe
2. Exponentielle complexe imaginaire

79
79
79

Annexe 3. LONGUEUR DES COURBES


1. Introduction et rappels
2. Dfinition de la longueur des courbes
3. Le cas des courbes C1
4. Longueur du cercle et des arcs de cercle

81
81
82
83
84

RFRENCES

85

Partie I. ESPACES VECTORIELS EUCLIDIENS



Cette premire partie a pour but de dvelopper les principaux rsultats


concernant
les espaces vectoriels euclidiens. Cette tude nest pas une fin en


soi mais elle est le passage oblig pour tudier ensuite les espaces affines
euclidiens qui sont lobjet principal du programme de gomtrie du CAPES.
On note E un espace vectoriel de dimension n non nulle1 sur le corps des rels R. (Lorsquon travaillera dans un espace affine on devra distinguer soigneusement points et vecteurs
et on notera ~E lespace vectoriel associ, mais pour linstant il ny a pas de risque de confusion.)
1. L E PRODUIT SCALAIRE
1.1. Dfinition. Un produit scalaire sur E est une application de E E dans R qui
un couple de vecteurs (x, y) associe un scalaire rel not 2 (x|y) vrifiant les trois proprits
suivantes :
S1) lapplication : (x, y) 7 (x|y) est bilinaire, cest--dire linaire en x :
x, x0 , y E,

, 0 R,

(x + 0 x0 |y) = (x|y) + 0 (x0 |y),

et, de mme, linaire en y,


S2) lapplication est symtrique :
(x, y) E 2 ,

(x | y) = (y | x),

S3) lapplication est dfinie positive :


x E,

((x | x) 0) et


(x | x) = 0 x = 0 .

Un espace vectoriel E muni dun produit scalaire est appel un espace vectoriel euclidien.
1.2. Remarques.
1.2.1. La bilinarit de signifie simplement que est linaire sparment en x et en y.
Grce la symtrie on peut se limiter vrifier la linarit sur lun des facteurs.
1.2.2. La condition S1 applique avec = 0 = 0 montre quon a (0 | y) = (y | 0) = 0 pour
tout y. linverse, 0 est le seul vecteur x vrifiant (x | y) = 0 pour tout y (comme on le voit
avec la condition S3 applique x). On dit que la forme bilinaire est non dgnre.
1.2.3. . Montrez quon peut remplacer la condition S3 (dfinie positive) par positive et
non dgnre. (Si (x | x) est nul on montrera quon a (x | y) = 0 pour tout y en considrant
les vecteurs x + y avec R.)
1.3. Matrice du produit scalaire.
1On gardera toujours en tte les cas n = 2 et n = 3 et on fera des dessins !
2Il peut tre not aussi x.y ou < x, y >,... selon les auteurs.
4

1.3.1. . Si (e1 , , en ) est une base de E, on appelle matrice du produit scalaire dans
cette base la matrice A de taille n n et de coefficients ai j = (ei | e j ). Si X et Y dsignent les
matrices colonnes des coordonnes (x1 , , xn ) et (y1 , , yn ) de deux vecteurs x et y dans la
base, montrez que le produit scalaire est donn par la formule :
n

(x | y) =

ai j xi y j = t XAY

i, j=1

o la matrice t XAY est une matrice 1 1 que lon identifie avec son unique coefficient.
Montrer que A est une matrice symtrique (qui est dite dfinie positive).
1.3.2. . Si B = (e1 , , en ) et B 0 = (e01 , , e0n ) sont deux bases de E, si A est la matrice
du produit scalaire dans la base B et si P est la matrice de passage de B B 0 , montrez que
la matrice de dans la base B 0 est t PAP.
1.4. Exemples. Le lecteur vrifiera que les formules suivantes donnent des exemples de
produits scalaires sur E = R2 :
((x1 , x2 ) | (y1 , y2 )) = x1 y1 + x2 y2 ,
((x1 , x2 ) | (y1 , y2 )) = 2x1 y1 + 1729x2 y2 ,
((x1 , x2 ) | (y1 , y2 )) = 2x1 y1 + 2x2 y2 + x1 y2 + x2 y1 .


Lintroduction dun produit scalaire sur E a deux fonctions essentielles :


elle permet de dfinir une norme (donc une distance) et une notion dorthogonalit.

Nous abordons ces deux thmes dans les paragraphes suivants dans lesquels
E est toujours un espace euclidien de dimension n.
2. L A NORME
2.1. Dfinition. On appelle norme euclidienne dun lment x de E le rel positif
p
||x|| = (x | x).
Nous allons vrifier quil sagit bien dune norme sur E. Pour cela nous avons besoin de
lingalit suivante (fondamentale elle aussi) :
2.2. Lemme (Ingalit de Cauchy-Schwarz). On a, pour x, y dans E, lingalit :
| (x | y) | ||x|| ||y||.
De plus, on a galit si et seulement si x et y sont colinaires.
Dmonstration. Le rsultat est vident si y est nul. Sinon, on applique la proprit S3 aux
vecteurs x + y avec rel. On a donc
R,

(x + y | x + y) 0.

Par bilinarit on obtient :


R,

(x | x) + 2 (x | y) + 2 (y | y) 0.

Cette expression estun trinme du second


 degr en qui est toujours positif ou nul, donc son
discriminant = 4 (x | y)2 (x | x)(y | y) est ngatif ou nul ce qui est exactement lingalit
cherche.
5

Il est clair que si x et y sont colinaires on a galit. Rciproquement, si y est nul, x et y


sont videmment colinaires. Si on a galit, et que y ne soit pas nul, le discriminant est
nul, donc lquation a une racine double relle 0 :
(x + 0 y | x + 0 y) = 0
ce qui implique x + 0 y = 0 en vertu de la condition S3, donc x = 0 y.

2.3. Proposition. Lapplication x 7 ||x|| est une norme sur E cest--dire vrifie les conditions suivantes :
N1) ||x|| 0 et ( ||x|| = 0 x = 0),
N2) R, x E, ||x|| = | | ||x||,
N3) l ingalit triangulaire (ou de Minkowski) :
x, y E,

||x + y|| ||x|| + ||y||.

Dmonstration. La proprit N1 rsulte du fait que est dfinie positive et N2 rsulte de la


bilinarit. Pour prouver N3 il suffit dlever au carr (les normes sont positives) et dutiliser
lingalit de Cauchy-Schwarz.

2.3.1. . Etudiez le cas dgalit dans N3.
2.4. Remarques.
2.4.1. Topologie sur E. Lexistence dune norme permet de dfinir une distance sur E par
la formule d(x, y) = ||x y||, puis de dfinir boules et sphres. Par exemple, la boule ouverte
de centre x et de rayon R est lensemble :
B(x, R) = { y E | ||x y|| < R }.
On obtient ainsi une topologie sur E, ce qui permet dy faire de lanalyse (on peut dfinir
suites convergentes, fonctions continues, etc.) mais aussi de traiter, par des voies topologiques, nombre de problmes algbriques.
2.4.2. . La dfinition 2.1 montre que le produit scalaire dtermine la norme. Rciproquement la norme dtermine aussi le produit scalaire grce la formule suivante :
2(x | y) = ||x + y||2 ||x||2 ||y||2 .
2.4.3. . Montrez les formules, pour x, y dans E :
4(x | y) = ||x + y||2 ||x y||2
2||x||2 + 2||y||2 = ||x + y||2 + ||x y||2
Cette dernire formule est connue sous le nom didentit du paralllogramme. Donnez une
interprtation gomtrique.
2.4.4. Remarque importante. Toute norme ne se dduit pas dun produit scalaire, seules les
normes qui vrifient lgalit du paralllogramme sont euclidiennes.
. Montrez que les normes dans Rn dfinies par ||x||1 = supi |xi | ou ||x||2 = i |xi | ne sont
pas euclidiennes.
6

3. O RTHOGONALIT
3.1. Dfinition. On dit que deux lments x et y de E sont orthogonaux si on a (x | y) = 0.
On note alors x y.
On dit que deux sous-espaces vectoriels V et W de E sont orthogonaux si tout vecteur de V
est orthogonal tout vecteur de W .
Le premier thorme nest pas vraiment une nouveaut :
3.2. Proposition (Thorme de Pythagore vectoriel). Deux vecteurs x et y sont orthogonaux si et seulement si on a
||x + y||2 = ||x||2 + ||y||2 .
Dmonstration. Cela rsulte aussitt de la remarque 2.4.2.

On peut aussi dfinir lorthogonal dun sous-espace vectoriel :


3.3. Dfinition. Soit V un sous-espace vectoriel de E (ou mme, simplement, une partie
non vide de E). On pose :
V = {x E | y V

(x | y) = 0 }

et on appelle V lorthogonal de V .
3.3.1. . Vrifiez que V est un sous-espace vectoriel de E (mme si V nen est pas un).
3.3.2. . Montrez que lapplication V 7 V est dcroissante : si on a V W on a, linverse, W V .
3.4. Proposition. Soit V un sous-espace vectoriel de E. On a la dcomposition en somme
directe : E = V V et donc lgalit : dimV = dim E dimV .
Dmonstration. 1) Si x est dans lintersection V V on a (x | x) = 0 donc x = 0 do V
V = {0}. Si on pose p = dimV on a donc dimV n p.
2) Il reste montrer lingalit : dimV n p. On fixe une base (e1 , , e p ) de V . On a
alors, en vertu de la bilinarit :
V = {x E | i = 1, p

(x | ei ) = 0 }.

Autrement dit, si on considre lapplication linaire : : E R p dfinie par


(x) = ((x | e1 ), , (x | e p ))
V nest autre que le noyau de . On conclut en notant lingalit dim Im p et en appliquant la formule :
dim Ker + dim Im = dim E.

3.5. Corollaire. Soient V et W deux sous-espaces de E. On a les formules suivantes :
1) (V ) = V ,
2) (V +W ) = V W ,
3) (V W ) = V +W .
3.5.1. . Prouvez ce corollaire.
7

4. BASES ORTHONORMES
La notion de base orthonorme3 que nous dfinissons maintenant joue un rle capital dans
les espaces euclidiens, tant sur le plan thorique quau niveau des calculs.
4.1. Dfinition. Soit F = (e1 , , em ) une famille de E. On dit que F est une famille orthonorme si on a :
()

i = 1, , m,

||ei || = 1

et i, j,

i 6= j,

(ei | e j ) = 0.

Autrement dit, les vecteurs ei sont deux deux orthogonaux et de norme 1.


4.1.1. . Montrez que la condition () implique que (e1 , , em ) est une famille libre.
On en dduit la dfinition suivante :
4.2. Dfinition. Une famille orthonorme de n vecteurs dans un espace euclidien de dimension n est appele base orthonorme.
4.3. Remarque. Les calculs relatifs aux normes et aux produits scalaires sont trs faciles
quand on travaille dans une base orthonorme. Le lecteur prouvera les faits suivants :
4.3.1. . Si un vecteur x est dcompos selon une base orthonorme (e1 , , en ) :
n

x = xi ei
i=1

ses coordonnes sont donnes par les formules x j = (x | e j ).


4.3.2. . Avec lcriture de x dans 4.3.1, la norme de x est donne par :
s
n

xi2.

||x|| =

i=1

ou par la formule de Parseval :


kxk2 =

hx, ei i2 .

1in

4.3.3. . Si on a, en plus, y = ni=1 yi ei , le produit scalaire vaut :


n

(x | y) = xi yi .
i=1

Les deux dernires formules scrivent matriciellement : si X et Y sont les matrices colonnes des coordonnes de x et y dans une base orthonorme on a ||x||2 = t XX et (x | y) = t XY
(en identifiant les matrices 1 1 : t XX et t XY avec leur unique terme). Au sens de 1.3.1 ceci
signifie que la matrice du produit scalaire dans une base orthonorme nest autre que la
matrice identit.
4.3.4. . Un vecteur v appartient Vect {e1 , . . . em } engendr par la famille orthonorme
{e1 , . . . em } si et seulement si on a lgalit : kvk2 = 1im hx, ei i2 .
Bien entendu il faut encore sassurer quil existe des bases orthonormes. Cest lobjet de
la proposition suivante :
3On dit aussi orthonormale, notamment au lyce et dans le programme du CAPES.
8

4.4. Proposition. Dans tout espace euclidien il existe des bases orthonormes.
Dmonstration. On dmontre la proposition par rcurrence sur n. Elle est triviale pour n = 1
(car on peut toujours remplacer un vecteur x non nul par le vecteur x/||x||, colinaire et de
norme 1).
Supposons la dmontre pour n et passons n + 1. Prenons un vecteur e0 non nul que
lon peut supposer de norme 1 comme ci-dessus et considrons la droite vectorielle D =
Re0 engendre par e0 et son orthogonal H = D . Daprs 3.4, H est un hyperplan et on a
E = D H. Lespace H muni de la restriction du produit scalaire est un espace euclidien
de dimension n. Par lhypothse de rcurrence il contient une base orthonorme (e1 , , en ).
Alors (e0 , e1 , , en ) est une base orthonorme de E. En effet, par hypothse, les ei sont de
norme 1 et les ei pour i 1 sont orthogonaux deux deux. Enfin e0 est orthogonal aux autres
ei par dfinition de D .

4.5. Procd dorthogonalisation de Gram-Schmidt.
4.5.1. Proposition. Soit (ui )1im une famille libre de E. Il existe une unique famille orthonorme (vi )1im vrifiant :
pour tout 1 p m, E p = Vect {u1 , , u p } = Vect {v1 , , v p }
pour tout 1 p m, hu p , v p i > 0
Dmonstration. On la fait par rcurrence sur p.
On pose v1 = kuu11 k .
On suppose avoir construit v1 , v2 , , v p et on va construire v p+1 dans E p+1 /E p , on
cherche donc des rels i , pour i = 1, . . . p, et un rel non nul (pourquoi ?) tels que
v p+1 = 1ip i vi + u p+1 . Dterminons les i et .
Les relations hvi , v p+1 i = 0 (i = 1, . . . p) dterminent les i en fonction de :
i = hvi , u p+1 i
La relation kv p+1 k2 = 1 donne
2 [ku p+1 k2

hvi , u p+1 i2 ] = 1

1ip

Le coefficient de nest pas nul daprs 4.3.4.


Il reste le signe de dterminer, on utilise hv p+1 , u p+1 i > 0. On calcule hv p+1 , u p+1 i,
on trouve
kv p+1 k2
>0

et donc est positif.



4.5.2. . Application une base
(1) Le procd dorthogonalisation de Gram-Schmidt appliqu une base B permet
dobtenir une base orthonorme G . Il y a donc beaucoup de bases orthonormes.
On passe de lune lautre par une isomtrie, patience !
(2) Montrez que la matrice de passage de B G est triangulaire puis que toute matrice
symtrique dfinie positive A (cf. 1.3.1) scrit sous la forme t T T o T est une matrice triangulaire (inversible bien sr).
(3) Si on se donne une famille orthonorme, on peut la complter en une base orthonorme.
9

5. I SOMTRIES
5.1. Isomtries vectorielles.
5.1.1. Dfinition. Soit f un endomorphisme de E. On dit que f est une isomtrie vectorielle (ou un automorphisme orthogonal) si f conserve le produit scalaire, i.e., si on a :
x, y E

(1)

( f (x) | f (y)) = (x | y).

Dans les remarques suivantes f dsigne une isomtrie vectorielle4.


5.1.2. . Montrez que f conserve aussi la norme : || f (x)|| = ||x|| (do le nom disomtrie).
Rciproquement, si f L(E) conserve la norme, montrez quelle conserve aussi le produit
scalaire.
5.1.3. . Si f est une isomtrie, montrez que f est injective, donc bijective (ceci justifie
lappellation automorphisme).
5.1.4. . Montrez que f conserve lorthogonalit : si x et y sont dans E on a :
x y = f (x) f (y).
Montrez la formule : f (V ) = f (V ) pour un sous-espace vectoriel V de E. Suffit-il de
conserver lorthogonalit pour tre un automorphisme orthogonal ?
5.1.5. . Montrez que f transforme une base orthonorme en une base orthonorme. Rciproque ? (voir aussi 7.1.3).
5.1.6. . Soient E un espace vectoriel euclidien de dimension finie et f une application de
E dans E vrifiant f (0) = 0.
(1) On suppose que f conserve le produit scalaire. Montrez que f est linaire. (On pourra
calculer || f (~u +~v) f (~u) f (~v)||2 .)
(2) On suppose que f vrifie : (x, y) E 2 , || f (x) f (y)|| = ||x y||. Montrer que f est
une isomtrie vectorielle.
5.2. Groupe orthogonal.
5.2.1. Proposition-dfinition. Lensemble des isomtries de E est un groupe pour la composition. Ce groupe est appel groupe orthogonal de E et not O(E) 5. Cest un sous-groupe
de GL(E).
5.2.2. . Prouvez cette assertion.
5.3. Forme matricielle. Supposons lespace E muni dune base orthonorme
B = (e1 , , en ), soit f une isomtrie et A sa matrice dans la base B . Soient x, y E et
X,Y les matrices colonnes de leurs coordonnes dans la base B . La relation (1) ci-dessus se
traduit alors en t XY = t X t AAY pour tous X,Y , ou encore t AA = I. Une telle matrice A est dite
orthogonale et f est une isomtrie si et seulement si sa matrice dans une base orthonorme
est orthogonale. Lensemble des matrices orthogonales est un sous-groupe (multiplicatif) du
groupe GL(n, R) des matrices inversibles encore appel groupe orthogonal et not O(n, R)
et lapplication f 7 A est un isomorphisme de groupes de O(E) sur O(n, R).
4Dans ce chapitre nous omettrons parfois le mot vectorielle pour dire seulement isomtrie. Bien entendu,

lorsque, par la suite, cohabiteront des isomtries vectorielles et des isomtries affines il faudra tre plus prcis.
5En toute rigueur il faudrait mentionner le produit scalaire dans la notation.
10

5.3.1. . Interprtez la relation t AA = I sur les vecteurs colonnes (ou lignes) de la matrice
A.
5.4. Proposition. Soit f O(E) (resp. A O(n, R)). On a lgalit det f = 1 (resp. det A =
1).
Dmonstration. Il suffit de traiter le cas de A. De la relation t AA = I et des formules
det(AB) = det A det B

et

det t A = det A

on dduit
det(t AA) = det t A det A = (det A)2 = det I = 1.

5.5. Isomtries positives.
5.5.1. Proposition-dfinition. Lensemble des isomtries vectorielles (resp. des matrices
orthogonales) de dterminant 1 est un sous-groupe distingu de O(E) (resp. de O(n, R)). On
le note O+ (E) (resp. O+ (n, R)) et ses lments sont appeles les isomtries positives ou
directes (resp. les matrices orthogonales positives).
Dmonstration. Lapplication det : O(E) {1} est un homomorphisme de groupes (multiplicatifs) dont O+ (E) est le noyau. Cest donc un sous-groupe distingu de O(E).

5.5.2. Remarque. Le groupe O+ (E) (resp. O+ (n, R)) est souvent not SO(E) (resp. SO(n, R))
et appel groupe spcial orthogonal.
5.6. Isomtries ngatives.
5.6.1. Les isomtries de O(E) qui ne sont pas dans O+ (E) sont appeles ngatives (ou
indirectes ou encore rtrogrades) et leur ensemble est not O (E). Nous en verrons des
exemples plus loin.
5.6.2. . Montrez que O (E) nest pas un sous-groupe, contrairement O+ (E).
6. E XEMPLES D ISOMTRIES VECTORIELLES










Dans ce paragraphe nous montrons lexistence disomtries vectorielles en


assez grand nombre et ce de deux manires diffrentes. Dabord en exhibant
des exemples et notamment les symtries orthogonales. Ensuite en montrant
lexistence disomtries dcrites, en quelque sorte, par leur effet sur certains
objets : bases, droites, etc. Lide matresse de cette mthode est la transitivit.

6.1. Homothties.
6.1.1. Proposition. Les seules homothties qui sont des isomtries vectorielles sont lidentit IdE et la symtrie centrale IdE . Cette dernire est une isomtrie positive si et seulement
si n est pair.
6.1.2. . Montrez cette proposition.
11

6.1.3. Proposition. Les seules valeurs propres (relles)6 possibles dune isomtrie vectorielle sont 1 et 1.
6.1.4. . Prouvez cette proposition.
6.2. Symtries. Nous abordons maintenant le cas des symtries. Rappelons le rsultat suivant :
6.2.1. Rappel. Soit f un endomorphisme de E. Les proprits suivantes sont quivalentes :
1) f est une involution (i.e. vrifie f 2 = IdE ),
2) f est une symtrie (i.e. il existe deux sous-espaces supplmentaires V et W tels que
f |V = IdV et f |W = IdW ).7
6.2.2. Proposition. On suppose lespace E dcompos en somme directe : E = V W . Soit
f la symtrie vectorielle par rapport V , paralllement W . Alors, f est une isomtrie si et
seulement si V et W sont orthogonaux (et donc W = V ).
Dmonstration. 1) Supposons f O(E) et soient x V et y W . On a alors f (x) = x et
f (y) = y. Si on applique ces vecteurs la conservation du produit scalaire :
( f (x) | f (y)) = (x | y) = (x | y) = (x | y),
on en dduit (x | y) = 0. On a donc W V et lgalit rsulte de lgalit des dimensions.
2) Supposons maintenant V et W orthogonaux. Il suffit de montrer que f conserve la
norme. Soit x E que lon dcompose en x = y + z avec y V , z W , de sorte que lon a
f (x) = y z. Le thorme de Pythagore permet dcrire
||x||2 = ||y||2 + ||z||2

et de mme || f (x)||2 = ||y||2 + || z||2 = ||x||2




do la conclusion.

6.2.3. Dfinition. Soit V un sous-espace vectoriel de E et soit W = V . La symtrie par


rapport V , paralllement W (qui est une isomtrie en vertu de 6.2.2) est appele symtrie
orthogonale par rapport V . On la note V . Lorsque V est un hyperplan (et donc V une
droite) on dit que V est une rflexion orthogonale8 (ou symtrie orthogonale hyperplane).
6.2.4. . Montrez que le dterminant de la symtrie V par rapport V vaut (1)np o p =
dimV . En particulier les rflexions sont toujours des isomtries ngatives. (Ce qui montre
lexistence disomtries ngatives).
6.2.5. . Montrer quun endomorphisme orthogonal diagonalisable dun espace vectoriel
euclidien est une symtrie orthogonale (ventuellement lidentit).
6Rappel : Les valeurs propres dun endomorphisme dun R-espace vectoriel de dimension finie sont les

racines relles du polynme caractristique. Elles sont donc videmment relles.


7Le cas W = {0} correspond f = Id .
E
8La plupart du temps le mot orthogonale sera sous-entendu.
12

6.2.6. . Soit V une symtrie orthogonale. Montrez quun sous-espace vectoriel F de E


est stable9 par V si et seulement si il scrit F = (F V ) (F V ). (Lun des sens est clair.
Pour lautre, on notera que si F est stable par V , V |F est une involution donc diagonalisable
et on se souviendra que V et V sont les sous-espaces propres de V relatifs aux valeurs
propres 1 et 1.)
Le thorme suivant explique limportance des symtries et notamment des rflexions
orthogonales. Nous le vrifierons en dimensions 2 et 3. Pour le cas gnral voir lexercice
ci-dessous.
6.3. Thorme. Toute isomtrie de E est produit dau plus n rflexions.
Le rsultat suivant sera utilis souvent dans la suite :
6.3.1. . Soient u et v deux vecteurs de mme norme de E. Montrez quil existe une rflexion qui envoie u sur v (faites un dessin !). Trouvez-les toutes !
6.3.2. . Soit f une isomtrie de lespace euclidien E de dimension n. On va montrer par
rcurrence sur n que f est produit dau plus n rflexions (par convention, le produit de 0
rflexion est lidentit ).
1) Montrez le rsultat pour n = 1.
2) On suppose quon a n > 1 et que le rsultat est prouv en dimension < n. Soit e un
vecteur unitaire de E.
a) Montrez que si e est fixe par f , f est produit dau plus n 1 rflexions (tudiez la
restriction de f lhyperplan (e) ).
b) Montrez quil existe une rflexion telle que ( f (e)) = e (cf. 6.3.1) et concluez.
7. T RANSITIVIT






























Une situation gomtrique se traduit souvent par la donne dun groupe G


oprant sur un ensemble X. Dans ce cas, lun des problmes fondamentaux
que lon doit rsoudre est celui de la transitivit de cette opration. Rappelons
quon dit que G opre transitivement sur X si, pour tous x et y dans X, il
existe un lment g de G tel que g.x = y (on dit alors que x et y sont dans la
mme orbite sous G). Par exemple, le groupe affine du plan est transitif sur
lensemble des points du plan, ou sur lensemble des droites, ou encore sur
lensemble des triangles ; le groupe GL(E) est transitif sur lensemble des
bases de E.
Lorsque G nest pas transitif, on cherche prciser ses orbites, cest-dire donner des conditions qui permettent daffirmer que x et y sont dans la
mme orbite, i.e. quil existe g avec g.x = y.
Le groupe O(E) opre sur de nombreux ensembles : les vecteurs de E, voire
les vecteurs non nuls, voire les vecteurs unitaires ; les droites vectorielles, les
bases de E, etc. Les rsultats suivants (essentiels !) explicitent certaines des
proprits de transitivit de O(E).

9Dfinitions : Soit g une application dun ensemble G dans lui-mme, une partie P de G est stable (resp.

invariante) par g si on a : g(P) P (resp. g(P) = P). Bien sr, dans le cas prsent (6.2.6), ces deux notions
concident.
13

Comme limage dune base orthonorme par une isomtrie est une base orthonorme, il
est clair que O(E) nest pas transitif sur lensemble des bases. Le rsultat suivant dtermine
ses orbites :
7.1. Orbites de O(E) sur lensemble des bases.
7.1.1. Proposition. Soient B = (e1 , , en ) et B 0 = (e01 , , e0n ) deux bases de E vrifiant :
()

(ei | e j ) = (e0i | e0j ).

(i, j) {1, , n}2 ,

Alors, lunique endomorphisme f de E qui vrifie f (ei ) = e0i pour tout i, est une isomtrie.
7.1.2. . Montrez ce rsultat. On notera que la condition () est videmment ncessaire
pour que f soit une isomtrie.
Dans le cas particulier des bases orthonormes on a :
7.1.3. Transitivit sur les bases orthonormes. Soit (e1 , , en ) et (e01 , , e0n ) deux bases
orthonormes et soit f lunique endomorphisme de E qui vrifie f (ei ) = e0i . Alors f est une
isomtrie.
Ce rsultat a une consquence importante : il permet dorienter lespace E.
7.2. Orientation.
7.2.1. Proposition. Soit lensemble des bases orthonormes de E. Le groupe O+ (E) nest
pas transitif sur . Prcisment, il admet deux orbites 1 et 2 qui sont changes par les
isomtries ngatives.
Dmonstration.
Soient B = (e1 , , en ) une base orthonorme et 1 son orbite sous O+ (E). Soit une
isomtrie ngative (par exemple une rflexion). Posons B 0 = (B ) = ((e1 ), , (en )).
Comme est lunique isomtrie qui envoie B sur B 0 , la base B 0 nest pas dans 1 . Appelons 2 lorbite de B 0 sous O+ (E) et soit B 00 une base orthonorme quelconque. En vertu
de 7.1.3 il y a une unique isomtrie f qui envoie B sur B 00 . Si f est positive, B 00 est dans 1 ,
sinon g = f 1 est positive et lcriture B 00 = f (B ) = g(B ) = g(B 0 ) montre que B 00 est
dans 2 .

7.2.2. . Montrez que les isomtries ngatives changent les deux orbites.
7.2.3. Orienter lespace euclidien E cest choisir dappeler directes les bases de lune des
deux orbites 1 ou 2 et indirectes les autres. Pour cela on choisit une base orthonorme
particulire (e1 , , en ), que lon dcrte directe. Si (e01 , , e0n ) est une autre base orthonorme, on dit que cette base est directe (resp. indirecte) si lunique isomtrie f qui envoie les
ei sur les e0i est directe (resp. indirecte).
Un autre corollaire de 7.1.1 est le suivant :
7.3. Transitivit sur vecteurs et droites.
1) Le groupe O(E) est transitif sur lensemble des vecteurs de norme 1.
2) Le groupe O(E) est transitif sur lensemble des droites (resp. des demi-droites10) vectorielles de E.
10Rappelons que la demi-droite vectorielle dfinie par le vecteur non nul x est lensemble des x avec 0.

On notera que ltude de laction de O(E) sur les demi-droites se ramne aussitt celle de laction sur les
vecteurs unitaires. Dans la suite on utilisera plutt ceux-ci, notamment dans les questions dangles, mais au
collge ce sont au contraire les demi-droites affines qui sont essentielles.
14

7.3.1. . Prouvez ces assertions (cf. 6.3.1).


7.3.2. . tudiez la transitivit de O(E) sur les vecteurs de norme fixe, sur les sous-espaces
de dimension donne.
8. A NGLES NON ORIENTS DE VECTEURS OU DE DEMI - DROITES




























Nous abordons ici lpineuse question des angles que nous retrouverons
dans plusieurs paragraphes ultrieurs.
Lune des difficults de la notion dangle est quelle est multiforme. Il y a
en effet de nombreuses notions voisines : secteurs angulaires, angles gomtriques, angles orients ou non orients de vecteurs, de demi-droites ou de
droites. Nous allons tenter den prciser au moins quelques-unes. Dans cette
partie consacre au vectoriel, nous parlons dangles de vecteurs ou de droites
vectorielles, mais la dfinition des objets affines analogues sera immdiate
partir de ce cas.
claircissons tout de suite un point de terminologie : quand nous parlons
dangle orient de deux objets A et B le mot orient signifie que lordre des
lments A et B est essentiel (langle (A, B) et langle (B, A) sont diffrents)
mais cela na rien voir avec une orientation ventuelle de A et B eux-mmes.
Il faut retenir tout de suite que les angles orients nont de dfinition
satisfaisante quen gomtrie plane (cf. 8.3.3).

8.1. Double transitivit et obstruction. Dans la situation gnrale dun groupe G qui opre
sur un ensemble X, aprs la question de la transitivit se pose celle de la double transitivit11 :
8.1.1. Dfinition. On dit que G agit doublement transitivement sur X si pour tous les couples
(x, y) et (x0 , y0 ) dlments de X il existe un lment g de G tel que x0 = g.x et y0 = g.y.
8.1.2. . Laction du groupe affine sur les points du plan est-elle transitive ? doublement
transitive ? Mmes questions pour le groupe des translations.
8.1.3. Lorsque laction de G nest pas doublement transitive ce que lon cherche cest un
invariant, associ chaque couple (x, y), qui permette de mesurer le dfaut de double transitivit. Si nous appelons, pour plagier Lebesgue12, taraboutzim cet invariant, le rsultat vis
est alors le suivant :
Il existe g G tel que g.x = x0 et g.y = y0 si et seulement si (x, y) et (x0 , y0 ) ont mme
taraboutzim.
Toutes les notions dangles que nous dfinirons vrifieront ce type de proprits. Dailleurs
cest essentiellement ainsi que lon dfinit , au collge, les angles de demi-droites, en disant
que deux couples de demi-droites forment le mme angle si on peut les superposer en les
dplaant, voire en les retournant (cest--dire si lon peut passer de lun lautre par dplacement ou anti-dplacement).
Dans ce qui suit nous avons choisi dappeler angles des invariants numriques satisfaisant
la condition de taraboutzim ci-dessus pour un certain groupe G. En fait nos angles sont
11Si G opre sur X, il est vident que G opre aussi sur X X. La double transitivit est la transitivit de

lopration de G sur X X.
12Dans son livre [Le] dont nous ne saurions trop recommander la lecture, Lebesgue, pour parler de laire du
cercle sans prononcer le mot aire parle du tarababoum du cercle.
15

plutt ce que dautres appellent mesure des angles. Nous reviendrons sur ce point plus
tard.
On a vu (cf. 7.3) que le groupe O(E) est transitif sur lensemble des vecteurs unitaires
(i.e. de norme 1) ou, ce qui revient au mme, sur lensemble des demi-droites de E. Il sagit
maintenant de savoir sil est doublement transitif ou, dfaut, quelle est lobstruction. La
rponse est dans le rsultat suivant :
8.1.4. Lemme. Soient (x, y) et (x0 , y0 ) deux couples de vecteurs unitaires de E. Il existe une
isomtrie f telle que f (x) = x0 et f (y) = y0 si et seulement si on a lgalit (x | y) = (x0 | y0 ).
Dmonstration. Dabord si f existe elle conserve le produit scalaire, do la condition. Rciproquement, soit P (resp. P0 ) le sous-espace engendr par x et y (resp. x0 et y0 ) et soit P (resp.
P0 ) son orthogonal. Choisissons des bases orthonormes (e1 , , er ) (resp. (e01 , , e0r0 )) de
P (resp. P0 )13. On considre lapplication linaire f dfinie14 par f (x) = x0 , f (y) = y0 et
par f (ei ) = e0i pour i = 1, , r. Comme les vecteurs x, x0 , y, y0 sont unitaires, il rsulte de
7.1.1 que f est une isomtrie et on a gagn.

8.2. Dfinition des angles non orients de vecteurs. Le lemme 8.1.4 fournit un taraboutzim tout trouv pour x et y unitaires : leur produit scalaire. On peut aussi utiliser la distance
d(x, y) = ||y x|| car ces deux invariants sont lis par la formule ||y x||2 = 2 2(x | y). Cette
distance a dailleurs lavantage de constituer une mesure intuitive de lcartement de x et y
par la longueur de la corde qui les joint. En fait, lun et lautre de ces invariants prsentent
le mme dfaut qui est de ne pas tre additifs, cf. 8.4.3 ci-dessous, et on va leur en prfrer
un autre.
8.2.1. Rappel sur la fonction cosinus. Nous admettons dans ce texte lexistence de la fonction exponentielle et des fonctions cosinus et sinus (cette existence sera tablie dans lAnnexe
2). Rappelons que la fonction cosinus dfinit une bijection dcroissante de lensemble [0, ]
sur [1, 1], la fonction rciproque tant note Arccos . On peut donc proposer la dfinition
suivante :
8.2.2. Dfinition. Soient x et y des vecteurs unitaires de E. On appelle angle non orient
des vecteurs x et y et on note15 x, y le nombre rel de [0, ] dfini par la formule :
= x, y = Arccos ((x | y)).

8.2.3. Remarques.
(1) Cette dfinition a un sens. En effet, comme x et y sont unitaires, il rsulte de lingalit de Cauchy-Schwarz que (x | y) est compris entre 1 et 1, de sorte que son Arccos
existe.
(2) Avec cette dfinition langle est un nombre de [0, ] ; cest la longueur du petit arc de
_
cercle xy (cf. V 2.2.1).
(3) Montrez que la longueur ||y x|| de la corde [x, y] vaut 2 sin 2 .
13Le lecteur vrifiera quon a toujours r = r0 .
14Le lecteur vrifiera que f est bien dfinie mme si x et y sont colinaires.
15Cette notation est provisoire. Quand on travaillera dans lespace affine, on notera simplement d
bac langle


non orient de vecteurs ab,
ac.

16

(4) Cette dfinition stend au cas de deux vecteurs x et y non nuls : on pose x, y = x0 , y0
o x0 et y0 sont les vecteurs unitaires associs :
x
y
x0 =
et y0 =
.
kxk
kyk
On a alors la formule :
(x | y) = kxk kyk cos x, y.
(5) On dduit aussi de ce qui prcde une dfinition de langle D, des deux demidroites vectorielles D et : cest langle de leurs vecteurs unitaires (ou simplement
de deux vecteurs non nuls de D et ).
(6) Comme le produit scalaire est symtrique, on a x, y = y, x : on a bien affaire des
angles non orients.
(7) Signalons trois cas particuliers : si les vecteurs x et y sont colinaires et de mme
sens (resp. de sens contraires) leur angle est nul (resp. vaut : angle plat). Sils sont
orthogonaux leur angle vaut /2 (angle droit).
La proposition suivante, qui nest autre que 8.1.4 un Arccos prs, montre quil sagit
bien dangles au sens voqu en 8.1 :
8.3. Isomtries et angles non orients.
8.3.1. Proposition.
1) Soient x, x0 , y, y0 des vecteurs unitaires de E. On a x, y = x0 , y0 si et seulement si il existe
une isomtrie vectorielle g telle que g(x) = x0 et g(y) = y0 .
2) Soient D, , D0 , 0 des demi-droites. On a D, = D0 , 0 si et seulement si il existe une
isomtrie vectorielle g telle que g(D) = D0 et g() = 0 .
8.3.2. . Montrez le point 2) de la proposition.
8.3.3. . Echange de deux vecteurs unitaires
Soient x et y deux vecteurs unitaires de E. Comme on a x, y = y, x, en vertu de 8.3.1 il
existe une isomtrie f qui change x et y. Dans ce qui suit on prcise les diffrents types de
f possibles selon la dimension de E.
1) Montrez quil existe toujours une rflexion qui change x et y (cf. 6.3.1).
Cela montre que, vis vis de laction de O(E) tout entier, on ne peut distinguer les couples
(x, y) et (y, x) et quil ne peut donc pas y avoir dangles orients pour laction de O(E).
2) On suppose que la dimension de E est suprieure ou gale 3. Montrez quil existe une
symtrie orthogonale positive qui change x et y (on la construira comme produit de deux
rflexions en utilisant 1).
Il ny a donc pas non plus, en dimension 3, dangles orients de vecteurs vis vis de
laction de O+ (E).
8.3.4. . Soit x un vecteur unitaire et soit [0, ]. Dterminez les vecteurs unitaires y tels
que x, y = . Montrez notamment quen dimension 2 il y a deux vecteurs y convenables (sauf
cas particulier).
8.4. Relation de Chasles gomtrique. Dans ce paragraphe nous expliquons le choix de
langle x, y par rapport aux autres choix possibles (x | y) ou ||y x||. Donnons dabord une
dfinition :
17

8.4.1. Dfinition. Soient x, y, z trois vecteurs unitaires. On dit que y est entre x et z si lon a
x = z ou si y scrit sous la forme x + z avec , 0.
8.4.2. Remarque. Dans le cas o x et z ne sont pas opposs, cela signifie que y est dans
lenveloppe convexe des demi-droites engendres par x et z (ou encore dans le secteur saillant
limit par ces demi-droites, cf. V 2.1.1). Cest bien lide intuitive que lon a du mot entre
(un dessin simpose !).
8.4.3. Proposition. Soient x, y, z des vecteurs unitaires avec y entre x et z. On a la relation
de Chasles gomtrique : x, z = x, y + y, z.
Cette proposition sera prouve de deux manires diffrentes ci-dessous, cf. V 2.2.4 et V
3.4.(2). (On peut aussi faire un calcul direct).
8.4.4. Remarques.
1) Lappellation relation de Chasles gomtrique (qui nest pas classique) fait ici rfrence au fait que la relation nest pas vraie sans la condition de position (y entre x et z). Nous
verrons dans la section suivante une relation de Chasles qui utilise les angles orients et est
valable sans restriction.
2) Le thorme suivant montre que langle que nous avons dfini est, un scalaire prs, le
seul qui soit un taraboutzim et vrifie la relation de Chasles gomtrique :
8.4.5. Thorme. Soit S la sphre unit de E (ensemble des vecteurs unitaires) et soit :
S S R+ une application continue telle que :
1) est invariante par O(E), i.e., on a :
g O(E),

x, y S,

(g(x), g(y)) = (x, y),

2) vrifie la relation de Chasles gomtrique, i.e, on a :


x, y, z S, avec y entre x et z,

(x, z) = (x, y) + (y, z).

Alors il existe un rel strictement positif tel que :


x, y S,

(x, y) = x, y.

Dmontrer le thorme.
8.5. Une variante : les angles non orients abstraits.














Nous avons choisi ici, pour la commodit, de confondre langle et la mesure dangle. Ce choix, qui est mathmatiquement commode, est sans doute
plus discutable au point de vue pdagogique. Nous donnons maintenant brivement quelques indications sur lautre approche possible des angles, disons de demi-droites (le traitement est identique pour les vecteurs). Mathmatiquement, ces deux approches sont essentiellement quivalentes, (pourvu
quon veuille bien utiliser la fonction cosinus). Le lecteur pourra consulter
par exemple [D] ou [Au] pour des dtails sur cette approche.
18

8.5.1. Principe : les grandeurs. Avant de parler dangles, largissons le dbat. Ce qui est
en cause est en fait la notion de grandeur. On a des objets (rels ou mathmatiques) dont on
sait mesurer une certaine caractristique (la longueur, la masse, lintensit, langle, etc.) Une
telle mesure suppose donne une unit et, une fois cette unit fixe, la mesure en question
est un nombre. Cest ce que nous avons fait en fixant une norme euclidienne ||.|| (alors que
2||.|| aurait convenu aussi bien). Si du point de vue des mathmaticiens cela ne pose pas de
problme, il nen va pas de mme lcole lmentaire et au collge o les changements
dunit sont essentiels. Il faut donc, ce niveau, faire attention ne pas confondre trois
choses : lobjet (disons un segment), la mesure de sa longueur (avec une unit prescrite) et la
longueur (indpendante de lunit : 1 mtre cest bien la mme chose que 100 centimtres,
mme si 1 est diffrent de 100, non ?)
Comment formaliser cette notion de grandeur ? On a un ensemble E (les objets), une
application : E R+ (une mesure, lunit tant choisie). Cette mesure induit une relation
dquivalence R entre objets, la relation avoir mme mesure : xR y (x) = (y), et si
on change dunit, est multiplie par un scalaire, de sorte que cette relation dquivalence
nest pas change. Alors, la grandeur de x cest simplement la classe dquivalence de x, une
caractristique qui ne dpend pas du choix de lunit. Si on note G lensemble quotient E/R ,
et que lon choisisse une unit, donc une mesure , celle-ci induit une bijection de G sur
limage de . Cest cela qui permet au mathmaticien didentifier grandeur et mesure.
8.5.2. Voyons maintenant comment ce principe est mis en uvre dans le cas des angles (il
vaut aussi pour les longueurs, les aires, etc. cf. [PG]).
Soit D lensemble des couples de demi-droites de E. Sur D on considre la relation dquivalence R0 dfinie ainsi :
(D, ) R0 (D0 , 0 ) g O(E),

g(D) = D0

et

g() = 0 .

Cest la relation dquivalence naturelle pour trouver un taraboutzim.


b lensemble quotient D /R0 . La classe de (D, ), note D,
g est appele, dans
On note D
16
cette approche, angle abstrait non orient des demi-droites D et : deux couples de demidroites font le mme angle si lon peut les superposer cest--dire les transformer par
isomtrie.
b dans [0, ], qui
Mais, en vertu de 8.3.1, si est lapplication mesure dangle, de D
(D, ) D associe D, , la relation dquivalence R qui lui est associe est exactement R0 .
g que nous venons de dfinir nest autre que la grandeur associe
Par consquent langle D,
la mesure dangle D, .
9. L ES SIMILITUDES VECTORIELLES
Bien que le programme du CAPES ne fasse mention des similitudes quen dimension 2,
nous donnons quelques indications sur leur dfinition dans le cas gnral.
9.1. Dfinition. On appelle similitude (sous-entendu ici : vectorielle) un lment s GL(E)
qui scrit comme compos dune homothtie (vectorielle) h de rapport 6= 0 et dune
isomtrie (vectorielle) f O(E) : s = h f = f h .
9.1.1. Remarques.
1) La formule ci-dessus signifie quon a pour tout x E, s(x) = f (x).
2) Cest parce que les homothties commutent avec toutes les applications linaires quon
a automatiquement f h = h f .
16Nous disons ici angle abstrait (non orient) pour viter la confusion, mais ce nest pas lusage.
19

9.2. Rapport dune similitude.


9.2.1. Comme la symtrie centrale IdE (cest- -dire aussi lhomothtie de rapport 1)
est une isomtrie on peut toujours supposer, quitte changer en , que lon a > 0. Dans
toute la suite nous supposerons toujours les similitudes crites sous la forme s = h f avec
> 0.
9.2.2. Sous cette hypothse, lcriture s = h f est unique. En effet, on a det s = det h det f =
n det f , donc comme est > 0 on a | det s| = n ce qui dtermine et donc aussi f = h1
s.
9.2.3. Dfinition. Le rapport de la similitude17 s est lunique nombre rel positif tel que
s scrive h f o f est une isomtrie.
9.3. Groupe des similitudes. Comme f et h commutent il est clair que les similitudes de
E forment un groupe. Ce groupe est not GO(E). Lapplication qui une similitude associe
son rapport est un homomorphisme de groupes de GO(E) dans R+ .
Les similitudes de dterminant positif forment un sous-groupe de GO(E), not GO+ (E).
Elles sont appeles similitudes directes. Les similitudes de dterminant ngatif sont appeles indirectes. Leur ensemble est not GO (E) (ce nest pas un groupe : le produit de deux
similitudes indirectes est une similitude directe). On notera que si s = h f , avec > 0, s est
directe si et seulement si f lest.
9.4. Proprits. La proposition suivante montre que les similitudes se comportent assez
bien vis vis des notions euclidiennes, normes, produit scalaire, angles :
9.4.1. Proposition. Soit s = h f une similitude (avec > 0).
1) On a, pour tous x, y E, la formule (s(x)|s(y)) = 2 (x|y).
2) La similitude s multiplie les normes par : on a, pour tout x E, ks(x)k = kxk. En
particulier s conserve les rapports de longueurs.
3) La similitude s conserve lorthogonalit et les angles non orients.
9.4.2. . Prouvez cette proposition.
On a aussitt la caractrisation matricielle des similitudes :
9.5. Proposition. Soit B = (e1 , , en ) une base orthonorme de E, soit s GL(E) et soit
S sa matrice dans la base B . Alors, s est une similitude de rapport > 0 si et seulement si on
a la relation t SS = 2 I o I est la matrice identit.

17On notera quavec cette dfinition, si s est une homothtie de rapport < 0, le rapport de s vue comme

similitude nest pas mais ! En fait, ainsi quil est dit dans les bons ouvrages (cf. [P3]), la bonne notion,
celle qui met tout le monde daccord, est celle de multiplicateur de la similitude : le coefficient par lequel le
produit scalaire est multipli, ici 2 .
20

Partie II. LE PLAN VECTORIEL EUCLIDIEN

Dans toute cette partie E est un plan vectoriel euclidien orient.


1. I SOMTRIES VECTORIELLES DU PLAN
1.1. Dfinition. Les lments de O+ (E) sont appels rotations vectorielles (ou simplement
rotations tant quil ny a pas de risque de confusion).
La proposition suivante rsume lessentiel des rsultats propres la dimension 2 :
1.2. Proposition.
1) Si f est une isomtrie ngative, f est une rflexion (i.e., ici, une symtrie orthogonale
par rapport une droite).
2) Si f est une rotation elle scrit sous la forme f = 1 2 o les i sont des rflexions,
lune delle pouvant tre choisie arbitrairement.
3) Soient O+ (E) et O (E). On a 1 = 1 .
4) Le groupe O+ (E) des rotations est commutatif, donc aussi le groupe O+ (2, R) des
matrices orthogonales directes.
4) Si est une rotation elle a mme matrice dans toutes les bases orthonormes directes
de E.
5) Soit O+ (E). Si laisse fixe un vecteur non nul, est lidentit.
6) Soient x et y deux vecteurs unitaires de E. Il existe une unique rotation telle que
(x) = y.
1.2.1. . Dmontrez cette proposition. Pour le point 1, on montrera que f a deux valeurs
propres (relles) distinctes, puis que f est une involution. Pour 4 on utilisera 2 et 3. Pour 5 on
introduira un vecteur y orthogonal x. Pour 6 on compltera x et y en des bases orthonormes.
1.2.2. Remarque. On notera que les points 1 et 2 de 1.2 prcisent en dimension 2 le thorme
I 6.3. On comparera aussi le point 6 avec I 6.3.1.
1.3. Matrices des isomtries.
1.3.1. Proposition.
1) Soit une isomtrie positive. Il existe des rels a, b, vrifiant a2 + b2 = 1, tels que la
matrice de , dans toute base orthonorme directe, soit gale


a b
R=
.
b a
2) Soit f une isomtrie ngative et B = (e1 , e2 ) une base orthonorme. Il existe des rels
a, b, vrifiant a2 + b2 = 1, tels que la matrice de f dans B soit gale


a b
A=
.
b a
Si la base B est bien choisie on peut supposer a = 1 et b = 0.
1.3.2. Remarque. On notera la diffrence entre les deux assertions prcdentes. Dans le cas
de la rotation la matrice ne dpend pas de la base, dans lautre elle en dpend.
1.3.3. . Prouvez cette proposition.
21

1.3.4. Corollaire. Soit E un plan vectoriel euclidien orient. On note B lisomorphisme de


O+ (E) sur O+ (2, R) qui une isomtrie associe sa matrice dans la base orthonorme directe
B de E (cf. I 5.3). Lisomorphisme B ne dpend pas du choix de la base orthonorme directe
B 18 ; on le note E .
2. Q UELQUES ISOMORPHISMES
Dans ce paragraphe nous allons dcrire le groupe O+ (E) de manire plus prcise laide
des nombres complexes.
2.1. Le cas o E est le plan complexe.
Le corps des nombres complexes C est un espace vectoriel de dimension 2 sur R. Le
produit scalaire (x1 + iy1 | x2 + iy2 ) = x1 x2 + y1 y2 fait de C un plan vectoriel euclidien. Pour
ce produit scalaire, la base (1, i) est orthonorme et on oriente C en dcrtant que cette
base est directe. La norme
euclidienne dun nombre complexe z = a + ib nest autre que son
module : ||z|| = |z| = a2 + b2 .
On considre le groupe multiplicatif des nombres complexes de module 1 :
U = {z C | |z| = 1 }.
On obtient alors un premier isomorphisme :
2.1.1. Proposition. Le groupe O+ (C) des rotations du plan euclidien C est isomorphe au
groupe U des nombres complexes de module 1.
Dmonstration. Nous allons construire un isomorphisme : U O+ (C). Pour cela, on fait
oprer le groupe U sur C comme suit. Soit = a + ib avec a, b R vrifiant a2 + b2 = 1. On
dfinit alors une application f : C C en posant f (z) = z. On note successivement les
faits suivants :
1) f est R-linaire. En effet, si on pose z = x + iy on a f (z) = (a + ib)(x + iy) = ax
by + i(bx + ay) expression qui est bien linaire par rapport (x, y). On peut mme prciser
que la matrice de f dans la base (1, i) est


a b
A =
.
b a
2) f est une isomtrie i.e., f O(C). En effet on a | f (z)| = |z| = || |z| = |z| car est
de module 1.
3) f est une isomtrie positive i.e., f O+ (C). En effet le dterminant de f est gal
a2 + b2 = 1.
4) Lapplication : 7 f est un homomorphisme de groupes de U dans O+ (C). En effet
on a :
f (z) = z = (z) = f f (z).
5) Lhomomorphisme est injectif. Il suffit de montrer que son noyau, cest--dire lensemble des tels que f = IdC est rduit llment neutre de U cest--dire 1. Or on a alors
f (z) = z = z pour tout z et on conclut en prenant z = 1.
6) Enfin, est surjectif. Soit f O+ (C) et posons = f (1). On a || = |1| = 1 puisque
f est une isomtrie, de sorte que est dans U. Alors, on a f = f . En effet, si on considre
= f1 u, cest une rotation qui fixe 1 donc cest lidentit en vertu de 1.2.5. On peut aussi
noter quon obtient toutes les matrices des rotations en vertu de 1.3.

18 Mais il dpend de lorientation, cf. 2.3.3.3.
22

2.1.2. Remarques.
1) Lisomorphisme de O+ (C) et de U donne une nouvelle preuve de la commutativit de
+
O (C).
2) On peut dfinir f pour tout complexe non nul. On obtient ainsi toutes les similitudes
vectorielles directes du plan (cf. V 4.2.2).
2.2. Lexponentielle. On rappelle (cf. Annexe 1) que le groupe U peut tre dcrit laide de
lexponentielle complexe : lapplication de R dans U dfinie par () = ei = cos + i sin
est un homomorphisme du groupe additif (R, +) dans le groupe multiplicatif (U, ) : ceci
traduit simplement la formule bien connue
0

ei(+ ) = ei ei .
Cet homomorphisme est surjectif et son noyau est le groupe 2Z des multiples entiers de 2.
On a donc en vertu du thorme disomorphisme un isomorphisme : R/2Z ' U qui la
classe modulo 2 du rel associe ei .
2.3. Le cas gnral.
Dans ce paragraphe, le plan euclidien E est orient.
2.3.1. Thorme. On a des isomorphismes :

1
E

R/2ZUO (C)O (2, R)O+ (E).


+

Dmonstration. Le thorme a dj t dmontr, cf. 2.2, 2.1.1 et 1.3.4. Rappelons que les
isomorphismes sont donns successivement par () = = ei , () = f et C ( f ) = A
et que E est lisomorphisme qui une isomtrie de E associe sa matrice dans une base
orthonorme directe.

Le fait que la matrice dune rotation ne dpende pas de la base orthonorme directe permet
de donner la dfinition suivante :
2.3.2. Angles et rotations : dfinition.
1) Le groupe R/2Z est appel groupe des angles orients.19 Si = ei est un complexe
de module 1 le rel modulo 2 , , est appel son argument et en est une mesure20 (dfinie
seulement 2 prs).
2) Soit R/2Z un angle orient. On appelle rotation dangle (ou mme par abus
de langage, tant alors dfini 2 prs) et on note () (ou ()) la rotation de E dont la
matrice dans toute base orthonorme directe est :


cos sin
R() =
.
sin cos

19Lappellation dangle pour un lment de R/2Z est discutable. Cest encore notre choix de privilgier

des invariants numriques.


20Ce mot de mesure est peu prs le plus mauvais possible dans cette situation, mais il est traditionnel.
23

2.3.3. Remarques.
1) Comme , , C et E sont bijectifs, on voit que toute rotation vectorielle a un angle,
i.e. est de la forme ().
2) Comme et sont des homomorphismes, la compose des rotations dangles et 0
est la rotation dangle + 0 et linverse de la rotation dangle est la rotation dangle .
3) Si on change lorientation de E il rsulte de (3) dans 1.2 que langle de la rotation est
chang en son oppos.
+
+
4) Lisomorphisme = 1
C E de O (E) sur O (C) peut se voir directement. On choisit
une base orthonorme directe B = (e1 , e2 ) de E et on considre lisomtrie f de E sur C
obtenue en envoyant B sur la base (1, i). Alors lisomorphisme cherch est donn par (g) =
f g f 1 (et il est indpendant de B ). Cet isomorphisme transforme la rotation dangle en la
multiplication par ei dans C.
2.3.4. Proposition. Soit la rotation dangle , B une base orthonorme directe, x un vecteur unitaire et y = (x). On a les formules (x | y) = cos et det(x, y)B = sin .
Dmonstration. On peut complter x en une base orthonorme directe B 0 = (x, x0 ). On a
alors, vu la forme de la matrice de , y = (x) = cos x + sin x0 , do detB 0 (x, y) = sin . Par
changement de base on en dduit detB (x, y) = det P detB 0 (x, y) o P est la matrice de passage
de B B 0 . Comme cette matrice est orthogonale directe, donc de dterminant 1, on a bien le
rsultat.
On peut faire un calcul direct dans la base B .

3. A NGLES ORIENTS DE VECTEURS DANS LE PLAN
Dans tout ce qui suit, E dsigne un plan vectoriel euclidien orient21.














Nous poursuivons ici notre approche des angles de vecteurs, dj entame


ci-dessus avec ltude des angles non orients. La premire diffrence avec le
cas prcdent est que nous prenons en compte ici lordre des deux vecteurs.
Cela nous impose de nous limiter faire agir le groupe des rotations au lieu
du groupe des isomtries tout entier, (cf. I 8.3.3). La seconde diffrence est la
nature des angles orients qui sont des lments dun groupe, ce qui permet
dobtenir de nouveaux types de rsultats (rgle du paralllogramme, relation
de Chasles gnrale, etc.)

3.1. Dfinition. Soient x, y E des vecteurs unitaires. En vertu de 1.2.(6), il existe une
unique rotation = () telle que (x) = y. Langle de cette rotation est, par dfinition,
cy. Cest un lment
langle orient des deux vecteurs x, y, pris dans cet ordre. On le note x,
de R/2Z.
3.2. Remarques.
3.2.1.

cy est chang en son oppos.


Si on change lorientation de E langle x,

21On peut se passer de lorientation pour une bonne partie de la thorie, mais cela ne cote pas cher den

choisir une. Le lecteur pointilleux examinera lui-mme cette question. En revanche, le fait dtre dans le plan
est essentiel.
24

3.2.2. Cette dfinition stend immdiatement au cas de deux vecteurs x et y non nuls : on
cy = x\
pose x,
0 , y0 o x0 et y0 sont les vecteurs unitaires associs :
x
y
, y0 =
.
x0 =
kxk
kyk
3.2.3. On dduit aussi de ce qui prcde une dfinition de langle orient de deux demidroites vectorielles D, , cest langle orient de leurs vecteurs unitaires (ou simplement de
deux vecteurs non nuls de D et , pris dans cet ordre).
3.2.4. tant donns un vecteur x et un angle R/2Z il existe un et un seul vecteur
cy = (on comparera avec I 8.3.4).
unitaire y tel que x,
3.3. Commentaires.
3.3.1. Il est important de noter que les angles orients de vecteurs, comme les angles des
rotations, sont des nombres rels 22 modulo 2 et quils forment un groupe additif : on
peut parler des angles + 0 ou . Comme le groupe R/2Z est isomorphe au groupe
multiplicatif des nombres complexes de module 1 par lexponentielle : 7 ei = cos +
i sin , un angle orient de vecteurs est dtermin par son sinus et son cosinus (tandis que le
cosinus suffit pour les angles non orients).
3.3.2. Ce choix de dfinir langle comme un nombre rel modulo 2 nest pas innocent. Il a
lavantage de la simplicit, mais, comme dans le cas des angles non orients, on peut prfrer
dire quun angle est un couple de vecteurs modulo une certaine relation dquivalence. Nous
verrons le lien avec cette vision des choses plus loin.
La proposition suivante rsume lessentiel des proprits des angles orients de vecteurs.
En particulier, le point 2 montre que langle est bien un taraboutzim.
3.4. Proprits des angles orients.
3.4.1. Proposition.
1) Les rotations conservent les angles orients, les rflexions les changent en leurs opposs. Plus prcisment, soit g O+ (E) (resp. O (E)) et soient x, y E des vecteurs non
nuls, on a les formules :
\
cy
g(x),
g(y) = x,

\
cy.
(x),
(y) = x,

0 , y0 (resp.
cy = xd
2) Rciproquement, si x, x0 , y, y0 sont des vecteurs unitaires de E et si on a x,
0 , x0 ) il existe une unique rotation vectorielle g O+ (E) (resp. une unique rflexion
cy = yd
x,
g) telle que g(x) = x0 et g(y) = y0 .
3) On a la relation de Chasles :

x, y, z 6= 0,

cz = x,
cy + yc
x,
, z.

.
4) On a la relation du paralllogramme :
x, x0 , y, y0 6= 0,

0 , y0 x,
d
d
cy = xd
x,
x0 = y,
y0 .

5) On a les formules suivantes :


\
x,
x = ,

\
cy + ,
x,
y = x,

cx = (x,
cy),
y,

22Par paresse on omettra souvent de mettre la barre au dessus de .


25

\
cy.
x,
y = x,

3.4.2. . Dmontrez la proposition. (On notera quen vertu de 3.2.2. on peut supposer les
vecteurs unitaires et on utilisera 1.2.)
3.4.3. Remarques.
1) La troisime formule du point 5 de la proposition 3.4.1 montre quon a bien des angles
orients au sens annonc : lordre entre x et y est important.
2) Par rapport au cas des angles non orients, on notera que la relation de Chasles est ici
valable sans restriction.
3) Le lecteur naura pas manqu de noter la similitude entre la thorie des angles orients
et celle des vecteurs (formule du paralllogramme, relation de Chasles,...) Cela nest pas un
hasard, ces deux thories sont deux aspects dune mme situation mathmatique. Dans les
deux cas on a un groupe ablien (le groupe R/2Z ou le groupe O+ (E) qui lui est isomorphe
ici, le groupe T (E) dans le cas des vecteurs) qui opre simplement transitivement sur un
ensemble (lensemble des vecteurs unitaires ici, lespace affine E dans le cas des vecteurs).
Cela signifie qutant donns deux objets A, A0 de lensemble il existe un et un seul lment g
du groupe qui fait passer de lun lautre i.e., qui vrifie g(A) = A0 . En revanche, ces groupes
ne sont pas doublement23 transitifs : si on se donne deux couples (A, B) et (A0 , B0 ), il nexiste
pas en gnral de g qui ralise la fois g(A) = A0 et g(B) = B0 , il y a une obstruction : ici,
\
0 , B0 sont gaux, dans le cas de lespace affine, g
d
g existe dans O+ (E) si les angles A,
B et A


existe dans T (E) si les vecteurs AB et A0 B0 sont gaux. cette diffrence de notation prs
les situations sont absolument identiques et on peut prouver la proposition 3.4.1 dans ce
cadre gnral en appelant angle (ou taraboutzim) un invariant qui mesure le dfaut de double
transitivit de lopration dun groupe ablien. Un tel invariant (tautologique) est dfini par
(A, B) = g o g est lunique lment de G qui vrifie g(A) = B.


Comme dans le cas des angles non-orients nous donnons quelques indi
cations sur une autre approche possible des angles orients de vecteurs.
3.5. Angles orients abstraits.
3.5.1. Proposition. Notons A lensemble des couples de vecteurs unitaires de E. Pour deux
lments (x, y) et (x0 , y0 ) de A , les proprits suivantes sont quivalentes :
i) lunique rotation qui envoie x sur y est la mme que celle qui envoie x0 sur y0 ,
ii) lunique rotation qui envoie x sur x0 est la mme que celle qui envoie y sur y0 .
La relation dfinie par i) ou ii) est une relation dquivalence R sur A .
Dmonstration. Cest exactement celle de la rgle du paralllogramme de 3.4.1.

b lensemble quotient A /R et x,
fy la classe de (x, y) (langle abstrait
3.5.2. . 1) On note A
de vecteurs). Montrez que lapplication qui associe (x, y) A associe lunique rotation
b sur O+ (E).
qui envoie x sur y induit une bijection de A
b en transportant la structure de groupe de
2) Montrez quon peut dfinir une addition sur A
+
O (E) de sorte quon ait la formule :
0 , y0 ) = (x,
0 , y0 ).
fy + xg
fy) (xg
(x,
23Attention, les mots doublement et simplement nont aucun rapport.
26

Montrez que les angles abstraits de vecteurs ainsi dfinis vrifient toutes les proprits vues
ci-dessus en 3.4.1.
4. A NGLES ORIENTS DE DROITES
Nous allons dfinir langle de deux droites D et D0 de manire analogue celui de deux
vecteurs et pour cela, chercher les rotations qui transforment D en D0 . Si x (resp. x0 ) est
un vecteur unitaire de D (resp. D0 ), une rotation envoie D sur D0 si et seulement si on a
d
d
(x) = x0 ou (x) = x0 . Il y a donc deux rotations dangles x,
x0 et x,
x0 + qui envoient D sur
0
D . Comme on ne sintresse quaux droites on va dfinir langle de D et D0 en identifiant
ces deux angles de vecteurs, donc en travaillant modulo , prcisment :
4.1. Dfinition. Soient D, D0 deux droites vectorielles, x, x0 des vecteurs unitaires de D et D0
respectivement. Langle orient des deux droites D, D0 (dans cet ordre) est la classe modulo
d
de langle x,
x0 . Cet angle est un lment de R/Z. Il est indpendant du choix des vecteurs
\
unitaires, on le note D,
D0 .
La proposition suivante regroupe la plupart des proprits des angles de droites (on notera
que le point 2 assure que langle est bien un taraboutzim) :
4.2. Proposition. Soient D, D0 , D00 , , 0 des droites vectorielles.
1) Soit O+ (E) (resp. O (E)). On a les formules :
\
\
(D),
(D0 ) = D,
D0 ,

\
\
(D),
(D0 ) = D,
D0 .

\
d
2) Rciproquement, si D,
D0 = ,
0 il y a deux rotations qui vrifient (D) = et (D0 ) =
0
: dangle et dangle + .
\
\
0 , D00 .
3) On a la relation de Chasles : D,
D00 = D,
D0 + D\
4) On a la rgle du paralllogramme :
\
\
0 , 0 .
d
d = D
D,
D0 = ,
0 D,
\
\
0 , D.
5) On a D,
D0 = D

4.2.1. . Prouvez la proposition.


4.2.2. Remarque. On notera lanalogie entre 3.4.1 et 4.2 et la disparition dans 4.2 (5) des
formules faisant intervenir . Le seul point diffrent entre les deux propositions est lexistence de deux rotations passant de D D0 . Cela est d au fait que IdE conserve globalement
toutes les droites vectorielles.
4.2.3. . Comme dans le cas des vecteurs, cf. 3.2.4, si on se donne D et R/Z, il existe
\
une unique droite D0 telle que D,
D0 = .
Les angles de droites permettent de prciser langle de la rotation produit de deux symtries :
4.3. Proposition. Soient D, D0 deux droites vectorielles, D et D0 les symtries par rapport
ces droites. Alors on a :
\
D0 D = (2(D,
D0 )).
27

Dmonstration. On choisit des vecteurs unitaires x et x0 de D et D0 . On a D0 D (x) = D0 (x) =


cy. On a, en utilisant 3.4.1.(4), 3.4.1.(1) et 3.4.1.(5) :
y et il sagit de calculer x,
0 , y = x,
0 ), 0 (x) = x,
0 , x = 2 x,
d
d
d
d
cy = x,
x,
x0 + xd
x0 + D0 (x\
x0 xd
x0 .
D
\
d
Mais comme x,
x0 = D,
D0 modulo , on a le rsultat.

4.3.1. Remarque. La formule de 4.3 mrite quelques explications. Tout dabord, si a est
un lment dun groupe ablien A quelconque, 2a a un sens : cest llment a + a de A.
\
\
Attention, ici langle des droites D,
D0 est un lment de R/Z (donc aussi 2 D,
D0 ) alors que
langle dune rotation est un lment de R/2Z. Cependant, la formule a bien un sens car
\
D0 est issu de deux angles de vecteurs, et + , dont les doubles
langle de droites = D,
concident modulo 2.
Le principal intrt des angles orients de droites rside dans le critre de cocyclicit ou
dalignement que nous verrons en V 3.3.4 et qui est la base dinnombrables applications
gomtriques.

4.4. Comparaison des trois sortes dangles.


Si x et y sont deux vecteurs unitaires du plan, on a donc maintenant dfini deux notions
cy qui est un lment de R/2Z et langle non orient x, y qui est
dangle : langle orient x,
dans [0, ]. Nous prcisons ici le rapport entre ces deux notions dangle.
cy = R/2Z,
4.4.1. Proposition. Soient x, y deux vecteurs unitaires du plan et posons x,
avec ] , ]. Alors langle non orient x, y est gal ||.
Dmonstration. Par dfinition de langle orient, on passe de x y par la rotation dangle
. On a donc, en vertu de 2.3.4, (x | y) = cos , do le rsultat par dfinition de langle non
orient et la parit de la fonction cosinus.

cy et y,
cx, gaux et donnent donc le mme angle non
4.4.2. Remarque. Les angles x,
orient x, y = || : comme annonc, langle orient dpend de lordre des vecteurs. Langle
non orient est linvariant le plus immdiat et le plus commode au collge. Bien entendu,
quand on travaille avec les angles non orients, on perd une bonne partie de ce qui relve
de la structure de groupe de R/2Z (la rgle du paralllogramme, la relation de Chasles
gnrale, etc) et la consquence pratique de cela est quon doit souvent distinguer plusieurs
cas de figures.
Rsumons les liens entre les trois sortes dangles avec la rgle suivante :
4.4.3. Une rgle. Si on a deux vecteurs x et y non nuls, leur angle orient est un rel modulo
cy = . Langle orient des droites vectorielles dfinies par x et y sobtient en prenant
2 : x,
modulo . Langle non orient des vecteurs x et y sobtient en choisissant le reprsentant
de dans ] , ] et en prenant sa valeur absolue : x, y = ||. On notera quil y a deux sortes
dangles droits pour les angles orients de vecteurs (/2), mais une seule pour les deux
autres types et que langle plat est gal langle nul pour les angles de droites.

28

5. S IMILITUDES
5.1. Les similitudes directes.
5.1.1. Proposition-dfinition. Le groupe GO+ (E) des similitudes directes est commutatif.
Toute similitude directe scrit de manire unique sous la forme s = h () avec > 0 et
R/2Z. Le nombre est le rapport de s et est son angle. On note s(, ) la similitude
de rapport et dangle .
On a la formule
s(, )s(0 , 0 ) = s(0 , + 0 ).
La matrice de s(, ) dans toute base orthonorme directe est la suivante :


cos sin
.
U=
sin cos


Dmonstration. Cela rsulte de 1.2 et 2.3.2.

5.1.2. Remarque. Attention, avec cette dfinition, une homothtie de rapport < 0, considre comme une similitude, est de rapport || et dangle . Le contexte indiquera toujours
le sens du mot rapport.
5.1.3. Proposition. Les similitudes directes conservent les angles orients.
Dmonstration. En effet, cest vrai la fois pour les homothties et pour les isomtries directes.

5.1.4. Proposition. Lapplication s(, ) 7 ei est un isomorphisme de groupes de GO+ (E)
sur le groupe multiplicatif C des nombres complexes non nuls.
5.1.5. . En vous inspirant de la preuve de 2.1.1, montrez cette proposition qui est la base
de lutilisation des nombres complexes en matire de similitudes.
5.2. Les similitudes indirectes. La proposition suivante rsume leurs principales proprits :
5.2.1. Proposition.
1) Toute similitude indirecte de E scrit de manire unique s = h D o est un rel > 0
et D une symtrie par rapport une droite. En particulier, une similitude indirecte admet
deux droites stables : D et D et si lon choisit une base orthonorme porte par ces droites
la matrice de s est


0
U=
.
0
2) La matrice dune similitude
indirecte
de rapport dans une base orthonorme quel

a b
conque est de la forme U =
avec a2 + b2 = 2 .
b a
3) Une similitude indirecte change les angles orients en leurs opposs.
4) Pour t GO (E) et s GO+ (E), s = s(, ), on a : ts(, )t 1 = s(, ).
5.2.2. . Prouvez cette proposition.
5.2.3. . Montrez que toute similitude indirecte du plan complexe est de la forme z 7 z
pour un complexe non nul donn. Quand cette similitude est-elle une isomtrie ?
29

Partie III. ESPACES AFFINES EUCLIDIENS

Ltude des espaces affines euclidiens est lobjet principal du programme


de gomtrie du CAPES. Elle fournit en effet un cadre thorique pour la gomtrie euclidienne lmentaire, celle qui est enseigne dans les collges et
lyces (en ralit, ce cadre est inexploitable tel quel dans les classes de lyces
et a fortiori de collge, mais ceci est une autre histoire). Ce chapitre est central mais une bonne partie du travail a dj t faite, soit dans le polycopi sur
les espaces affines, soit dans le chapitre sur les espaces vectoriels euclidiens.
Il sagit essentiellement ici de mettre ensemble ces deux approches.
1. D FINITIONS

1.1. Dfinition. Soit E un espace affine rel de dimension n, ~E lespace vectoriel associ.
On dit que E est un espace affine euclidien si ~E est un espace vectoriel euclidien, i.e. si lon
sest donn un produit scalaire sur ~E.
1.1.1. Exemple. Si on munit lespace vectoriel E = Rn de sa structure affine canonique et
n

du produit scalaire dfini par (x|y) =

xiyi, on obtient un espace affine euclidien que lon

i=1

peut appeler espace affine euclidien canonique de dimension n. On verra, en utilisant les
repres orthonorms que tous les espaces affines euclidiens sont en fait isomorphes celui-l.
1.1.2. Remarque. Si F est un sous-espace affine de E euclidien, la restriction ~F du produit
scalaire munit canoniquement F dune structure despace affine euclidien.

Comme dhabitude, en prenant une origine o dans E on se retrouve dans


lespace vectoriel euclidien ~E. Par ailleurs, la donne dune structure eucli
dienne sur ~E a de multiples consquences sur E. Elle permet notamment de

dfinir quatre notions fondamentales : la distance, les angles, lorthogonalit,

les repres orthonorms.
partir de maintenant, E dsigne un espace affine euclidien fix, de dimension n et (~x |~y)
le produit scalaire des vecteurs ~x et ~y de ~E.
1.2. Distance.

1.2.1. Dfinition. On dfinit une distance d sur E par la formule : d(a, b) = kabk. On notera
simplement d(a, b) = ab.
1.2.2. . Vrifiez que lapplication d dfinie ci-dessus est bien une distance.
1.2.3. . Soit abc un triangle (i.e., trois points non aligns de E). Montrez la formule (AlKashi premire version) :


bc2 = ab2 + ac2 2(ab|
ac).
Quel rsultat retrouve-t-on lorsque le triangle est rectangle en a (i.e. si le produit scalaire


(ab|
ac) est nul ?) Rciproque ?
30

1.2.4. . Soit abcd un paralllogramme. Montrez la formule :

ac2 bd 2 = 4(ab|bc).

La donne dune distance permet de munir E dune topologie : on peut par

ler de boules, de voisinages, de suites convergentes, de fonctions continues,

etc... Nous prcisons ci-dessous les notions de boules et de sphres.
1.3. Boules et sphres. Soient o un point de E et r un rel positif ou nul. La sphre (resp.
la boule ferme) de centre o et de rayon r est lensemble
S(o, r) = {m E | om = r},

(resp. B(o, r) = {m E | om r}).

Si E est de dimension 2, on parle de cercle et de disque ferm plutt que de sphre et de


boule ferme.
1.3.1. . Dcrire les sphres et boules dans le cas de la dimension 1.
1.3.2. . Dans lespace affine euclidien canonique Rn montrez que lquation de la sphre
de centre a = (a1 , , an ) et de rayon r est
x12 + + xn2 2a1 x1 2an xn + a21 + + a2n r2 = 0.
Montrer, rciproquement, que lensemble des points x = (x1 , , xn ) vrifiant une quation
de la forme :
x12 + + xn2 2a1 x1 2an xn + c = 0
est, selon des cas que lon prcisera, une sphre (dont on prcisera centre et rayon, ventuellement nul) ou lensemble vide.
1.3.3. . Dans le plan affine euclidien canonique R2 , montrez que le cercle de centre a =
(a1 , a2 ) et de rayon r admet la reprsentation paramtrique :
x1 = a1 + r cost, x2 = a2 + r sint

pour t [0, 2[ ou pour t ] , +].

1.3.4. . Montrez quun sous-espace affine, une sphre, une boule ferme sont des ferms
(et mme des compacts !) pour la topologie dfinie par la distance d.
1.3.5. . Dans lespace vectoriel R2 muni du produit scalaire habituel, on considre aussi le
produit scalaire ( | )1 dont la forme quadratique associe est dfinie par q1 (x, y) = ax2 + by2
(o a et b sont deux rels vrifiant 0 < a b). Pour deux points m, n de R2 on pose d1 (m, n) =
p

q1 (
mn).
1) Dessinez la sphre de centre (0, 0) et de rayon 1 relative d1 .
2) On note (~u |~v) le produit scalaire canonique sur R2 et q(~u) la forme quadratique associe. Montrez quon a, pour tout ~u R2 :
a q(~u) q1 (~u) b q(~u).
Montrez que d1 et la distance euclidienne canonique dfinissent la mme topologie.
1.3.6. . Gnralisation du prcdent
Soit E un espace affine. Supposons ~E muni de deux produits scalaires ( | )1 et ( | )2 . Montrez directement 24 que les deux normes euclidiennes associes sur ~E sont quivalentes. En
dduire que la topologie sur E est indpendante de la distance euclidienne choisie.
24Sans utiliser le rsultat gnral : Sur un espace vectoriel de dimension finie, les normes sont quivalentes.
31

1.4. Angles non orients de demi-droites.



Nous dfinissons ici les angles non orients en gomtrie affine euclidienne,


en toute dimension. En vrit, tout le travail, ou presque, a t accompli dans

le chapitre vectoriel correspondant. Nous reviendrons sur les angles de ma nire plus approfondie dans le cadre de la dimension 2.
Les angles (orients ou non) de vecteurs ont t dfinis dans la premire partie. Ceci nous
permet de dfinir les angles de demi-droites affines.
1.4.1. Dfinition. Soit a un point de E et~v un vecteur non nul. On appelle demi-droite affine
dorigine a et de vecteur directeur ~v lensemble des points de la forme a + ~v avec 0.
Si b est un tel point avec > 0, la demi-droite est note [ab). Les vecteurs directeurs de la

demi-droite sont les vecteurs ~v avec > 0, ou encore les vecteurs


ac avec c [ab), c 6= a.
1.4.2. Dfinition. Soient D, D0 deux demi-droites affines de mme origine et soient ~v et ~v0
des vecteurs directeurs de D et D0 . Langle (non orient) de D et D0 est langle (non orient)
de ~v et ~v0 .
1.4.3. Notations. En gomtrie affine on a souvent affaire des triangles et leurs angles. Si


on a un triangle abc on note d
bac langle non orient de vecteurs ab,
ac. On a donc d
bac = d
cab.
Cest aussi langle non orient des demi-droites [ab) et [ac).
2. O RTHOGONALIT


Nous prcisons ici les notions de droites, plans, sous-espaces affines ortho
gonaux ou perpendiculaires.
2.1. Dfinition. Deux sous-espaces affines V et W de E sont dits orthogonaux si les sous~ sont orthogonaux au sens de I 3.1. Deux sous-espaces V
espaces vectoriels associs ~V et W
et W orthogonaux sont dits perpendiculaires25 si lintersection V W est non vide.
2.2. Proprits.
2.2.1. . On suppose V et W orthogonaux. Montrez quon a dimV + dimW dim E. Montrez que V W est vide ou un singleton. On suppose dimV + dimW = dim E. Montrez que
V W est un singleton (cf. [GA] I 4.1.5).
2.2.2. . Soit V un sous-espace affine de dimension p. Montrez que si W et W 0 sont deux
sous-espaces affines de dimension n p perpendiculaires V , ils sont parallles.
2.2.3. . Soit V un sous-espace affine de dimension p et a un point de E. Montrez quil
existe un unique sous-espace affine de dimension n p passant par a et perpendiculaire V .
2.2.4. . Prcisez, dans un paralllpipde rectangle, lesquelles parmi les droites portant
les artes sont perpendiculaires et lesquelles sont seulement orthogonales.
2.2.5. . On suppose V et W orthogonaux. Montrez que tout sous-espace affine V 0 de V est
orthogonal tout sous-espace affine W 0 de W . La mme assertion vaut-elle en remplaant
orthogonal par perpendiculaire ?
25Voir aussi 2.3.
32

2.3. Plans perpendiculaires dans lespace. On a vu ci-dessus que la somme des dimensions de deux sous-espaces orthogonaux ne peut pas excder la dimension totale de lespace.
Dans le cas de lespace de dimension 3 on dfinit cependant la notion de plans perpendiculaires26 :
2.3.1. Dfinition. Deux plans V et W dun espace affine euclidien de dimension 3 sont dits
perpendiculaires si chacun contient une droite perpendiculaire lautre.
2.3.2. . Montrez que les plans V et W de lespace de dimension 3 sont perpendiculaires si
et seulement si lune des proprits quivalentes suivantes est vrifie :
~ ~V ,
i) W
~,
ii) ~V W
~ sont
iii) lintersection de V et W est une droite D et les sous-espaces ~D ~V et ~D W
orthogonaux,
~ sont orthogonales.
iv) les droites ~V et W
2.4. Thorme des trois perpendiculaires. Dans lespace euclidien de dimension 3, on
considre un plan P, m un point extrieur P et h son projet orthogonal sur P. Soient D une
droite de P ne passant pas par h et n un point de D. Montrer que (hn) est perpendiculaire
D si et seulement si (mn) est perpendiculaire D. (La troisime perpendiculaire est la droite
(mh).) Faites un dessin !
3. R EPRES ORTHONORMS
On renvoie [GA] II 3.4 et 3.6 pour les notions de repre affine et de repre cartsien.
3.1. Dfinition. Soit E un espace affine euclidien de dimension n. Un repre cartsien
~ = (~e1 , ,~en ) de ~E est orthonorR = (o ;~e1 , ,~en ) de E est dit orthonorm si la base R
me, (cf. I 4.2). Si de plus E est orient (i.e. si ~E est orient), on parlera de repre orthonorm
~ est une base orthonorme directe (resp. indirecte).
direct (resp. indirect) si R
Un repre affine (a0 , a1 , , an ) est dit orthonorm si le repre cartsien associ

(a0 ;
a
0 a1 , , a0 an ) lest.
3.1.1. Exemple. Dans lespace affine euclidien canonique Rn le repre dont lorigine est
(0, , 0) et dont la base est la base canonique est un repre orthonorm, que lon dira canonique.
3.1.2. . Attention, contrairement ce qui se passe dans le cas des espaces affines o tous
les points dun repre affine jouent le mme rle, le fait quun repre soit orthonorm dpend
fondamentalement du choix de lorigine. Illustrez cette remarque par un exemple.
3.2. Proposition. Soit E un espace affine euclidien de dimension n. Il existe des repres
orthonorms dans E.
Dmonstration. Cela rsulte de lexistence des bases orthonormes pour ~E, cf. I 4.4.

26Cette dfinition est dans tous les livres de gomtrie lmentaire, mais elle prsente quelques risques. En

particulier, deux plans perpendiculaires en ce sens ne le sont pas au sens de 2.1 car leurs directions ne sont
pas orthogonales. Si la tradition ntait pas aussi forte il serait plus prudent de parler de plans faiblement
perpendiculaires.
33

3.3. Produit scalaire et distance en coordonnes.


Proposition. Soit R = (o ;~e1 , ,~en ) un repre orthonorm. Si les points a et b ont pour
coordonnes (a1 , , an ) et (b1 , , bn ) dans R , on a :
s
n
n

(oa | ob) = ai bi et ab = (bi ai )2 .


i=1

i=1

3.4. Corollaire. Soit E un espace affine euclidien de dimension n. Alors E est isomorphe
lespace affine euclidien canonique Rn . Prcisment, si R est un repre orthonorm de E
lapplication affine f de E dans Rn obtenue en envoyant ce repre sur le repre orthonorm
canonique est un isomorphisme despaces affines qui conserve distance et produit scalaire
(cest--dire une isomtrie, cf. IV 1.1.1 rem. 3).
Dmonstration. Que f soit un isomorphisme vient de [GA] IV 5.3.1. Quelle conserve le
produit scalaire rsulte des formules prcdentes.









Ce corollaire signifie quil ny a essentiellement quun seul espace affine


euclidien de dimension n et que donc, quitte prendre un repre orthonorm,
on peut toujours calculer comme dans Rn . Mais, attention, il ny a pas quun
seul isomorphisme, mais une infinit obtenue en composant lun deux avec
les isomtries de E, cf. ci-dessous.

3.5. Changement de repre orthonorm : effet sur les coordonnes.


Soient R et R 0 deux repres orthonorms dun espace affine E, dorigines et 0 . Pour
un point m E notons X(m) et X 0 (m) les vecteurs colonnes des coordonnes de m dans R et
~ R
~ 0 ou encore,
R 0 . Alors on a X(m) = PX 0 (m) + X(0 ), o P est la matrice de passage de R
0
t
0
t
0
ce qui est plus utile : X (m) = P(X(m) X( )) = PX(m) + X ().
3.5.1. . Vrifiez la formule prcdente. Que dire de t P.P ? Ecrire les matrices P possibles
lorsque E est de dimension 2.
4. P ROJECTION ORTHOGONALE
4.1. Projet orthogonal.
4.1.1. Dfinition. Soient V un sous-espace affine de dimension k, m un point de E et W
le sous-espace affine de dimension n k passant par m et perpendiculaire V , cf. 2.2.3.
Lunique point dintersection de V et W est appel projet orthogonal de m sur V . Lapplication qui m associe son projet orthogonal sur V est appele projection orthogonale de
E sur V et note pV ou simplement pV .
4.1.2. . Vrifiez que pV nest autre que la projection affine pV,~V de E sur V , dans la
direction de lorthogonal ~V (cf. [GA] IV 2.4.3).
4.1.3. Caractrisations mtriques du projet orthogonal. Soient V un sous-espace affine
de E et m un point de E. Alors les proprits suivantes dun point a de V sont quivalentes :
i) a est le projet orthogonal de m sur V ;


ii) pour tout b dans V on a (ab |
am) = 0 ;
iii) pour tout b dans V on a ma mb ;
iv) pour tout b dans V {a} on a ma < mb.
34

4.1.4. . Prouvez cette proposition.


4.1.5. Dfinition. Soit V un sous-espace affine de E et m un point de E. On appelle distance
de m V la distance de m au projet orthogonal de m sur V . Cest la plus courte distance de
m un point de V .
4.2. Hauteurs dun triangle.
4.2.1. Dfinition. Soit abc un triangle et soit a0 le projet orthogonal de a sur (bc). La droite
(aa0 ) est la hauteur issue de a dans le triangle abc.
4.2.2. . Montrez que les trois hauteurs dun triangle sont concourantes en un point h appel orthocentre du triangle. On pourra prouver et utiliser la relation :

+ (
|
|

()
(mb |
ma mc)
mc
mb
ma) + (
ma
mc
mb) = 0.

On constate que le rsultat est la traduction gomtrique dune identit


algbrique, ici (). On peut montrer quil en est toujours ainsi pour toutes les

proprits gomtriques usuelles (alignement, concours, orthogonalit, etc.),
cf. [P1].
4.2.3. . Dmontrer le concours des hauteurs en utilisant le thorme de Cva (GA III.4.1.2).
On renvoie V.1.5.3 pour une autre dmonstration de ce concours et V.2.3 pour les
coordonnes barycentriques de lorthocentre.
4.2.4. . Triangle isocle. Soit abc un triangle isocle en a (i.e. vrifiant ab = ac). Montrez
que le projet orthogonal de a sur (bc) est le milieu m de [bc]. Autrement dit : dans un triangle
isocle en a, la mdiane issue de a est aussi hauteur.
4.2.5. . Soit abc un triangle isocle en a.
1) Soit m un point de (bc). Montrez quon a :
m ]bc[= am < ab et

m
/ [bc] = am > ab.

2) Montrez que si m0 est un point du triangle distinct de b et c on a am0 < ab.


4.3. . Projection orthogonale sur un convexe ferm. Dans lexercice suivant on gnralise la notion de projection orthogonale au cas o limage est un convexe ferm quelconque
(cf. CAPES agricole 2000).
Soient E un espace affine et C une partie convexe de E.
4.3.1. Prliminaire : identit de la mdiane. Soient a, b, c trois points de E et soit m le milieu
de b et c. Montrez lgalit
1
1
am2 = (ab2 + ac2 ) bc2 .
2
4
4.3.2.

Soit m E. Montrez que lensemble


P(m) = {p C | q C, pm qm}

a au plus un lment (utilisez 4.3.1)).


35

4.3.3. Montrez que si on suppose de plus C ferme dans E alors P(m) est non vide (on
utilisera un argument de compacit ou de compltude). Que se passe-til si C est un segment
ouvert ?
Ainsi pour toute partie convexe ferme C, on peut dfinir la projection orthogonale sur C
comme lapplication qui m E associe lunique p C ralisant le minimum de la distance
mp ; on la notera C .
4.3.4.

Vrifiez quun sous-espace affine F de E est un convexe ferm et que lon a p


F = F .

4.3.5. On revient au cas dun convexe C quelconque de lespace affine E. Soit m un point
de E. Montrez que p C ralise le minimum de la distance mq, q C, si et seulement si on
|

a, pour tout q C, (
pm
pq) 0.
4.3.6.

Montrer que pour tous m et m0 de E, on a : C (m)C (m0 ) mm0 .

4.3.7. Remarque. Pour une partie F non vide, on peut dfinir la distance dun point m F
comme inf{qm, q F}. Mais lensemble P(m) peut tre vide ou contenir plusieurs points.
Donnez des exemples.
4.4. Hyperplan mdiateur. Soient a et b deux points distincts de E. Alors lensemble des
points m quidistants de a et b (i.e. vrifiant am = mb) est lhyperplan affine perpendiculaire (ab) passant par le milieu de a et b. Si dim(E) = 2 on parle de mdiatrice, sinon
dhyperplan mdiateur (plan mdiateur en dimension 3).
4.4.1. . Dmontrez ce rsultat.
4.4.2. . Mdiatrices dun triangle. On suppose E de dimension 2.
1) Montrez que les mdiatrices des cts dun triangle sont concourantes.
2) Montrez que si abc est isocle en a la mdiane issue de a est aussi mdiatrice de [bc].
4.4.3. . Montrez que le milieu m de a et b est caractris mtriquement par les relations
ma = bm = 21 ab (ne pas oublier la dernire galit !).
. Montrez quun point m de E appartient [ab] si et seulement si ma + mb = ab.
5. S PHRES , HYPERPLANS TANGENTS
5.1. Intersection dune sphre et dun sous-espace affine. Soit S la sphre de centre o
et de rayon R de lespace affine euclidien E et soit V un sous-espace affine
de E. Soit le
2
2
projet orthogonal de o sur V et posons d = o et, si R d est positif, r = R2 d 2 .
Alors, lintersection S V est
la sphre de lespace affine euclidien V , de centre et de rayon r si R est strictement
suprieur d,
rduite au point si R gale d,
vide si R est strictement infrieur d.
Dmonstration. Si m est dans V on a om2 = o2 + m2 (par 4.1.3 et Pythagore) et le rsultat
sensuit.

5.1.1. . Montrez que lintersection dune droite et dune sphre est forme de 0,1 ou 2
points, cf. 1.3.1. En particulier, trois points aligns sur un cercle ne peuvent tre distincts.
36

5.2. Hyperplan tangent une sphre. On dit quun sous-espace affine V est tangent27
une sphre S en un point a si lon a V S = {a}.
5.2.1. Proposition. Soit S une sphre. Pour a S il existe un unique hyperplan tangent
S en a, not Ta (S). Cest lhyperplan orthogonal la droite (oa) passant par a. Les sousespaces affines tangents S en a sont exactement les sous-espaces affines de Ta (S) passant
par a.
Dmonstration. Soit T un hyperplan contenant a et soit le projet orthogonal de o sur T .
Dire que T est tangent S en a signifie que S T = {a} ce qui, en vertu de 5.1, impose
o = R = oa, donc = a en vertu de 4.1.3 iv. Il en rsulte que T est bien lhyperplan
orthogonal (oa) qui passe par a.

5.3. Puissance dun point par rapport une sphre. Soient S = S(o, R) une sphre et
a un point. On pose d = oa. La quantit p = p(a, S) = d 2 R2 est appele puissance du
point a par rapport la sphre S. Si D est une droite passant par a qui coupe S en m et n, la
|

quantit (
am
an) ne dpend pas de la droite D et est gale p. Si D est tangente S en m on

a (am | am) = p.
5.3.1. . Prouvez cette proposition.
5.3.2. . Rciproque. En dduire une condition dalignement ou de cocyclicit.
5.3.3. . On suppose que la sphre S de lespace euclidien canonique Rn a pour quation
(cf. 1.3.2)
x12 + + xn2 21 x1 2n xn + c = 0.
Soit a = (a1 , , an ). Montrez quon a
p(a, S) = a21 + + a2n 21 a1 2n an + c.
5.4. Hyperplan radical. Soient S = S(o, R) et S0 = S(o0 , R0 ) deux sphres non concentriques. Lensemble des points m E qui ont mme puissance par rapport S et S0 est
lhyperplan H orthogonal la droite (oo0 ) en le point h de (oo0 ) dfini par

R2 R02 + oo0 2
oh =
oo0 .
2
2oo0
On lappelle hyperplan radical de S et S0 (dans le cas de la dimension 2 on parle daxe
radical de deux cercles.)
Dmonstration. Dire que m a mme puissance par rapport aux deux sphres signifie quon a
om2 R2 = o0 m2 R0 2 , ou encore om2 o0 m2 = R2 R0 2 . On montre dabord que lunique
point de (oo0 ) qui vrifie cette condition est le point h dfini ci-dessus. Si m est un point de

=
+
et
E et p son projet orthogonal sur (oo0 ) on crit alors
om
op
pm
o0 m = o0 p +
pm. Si
2
0
2
0
2
2
0
m a mme puissance par rapport S et S un petit calcul donne op o p = R R , donc
p = h. Mais alors, les points m convenables sont ceux qui se projettent en h, donc les points
de lhyperplan H annonc.

5.4.1. . Que se passe-t-il pour des sphres concentriques ?
27Cette notion concide dans ce cas particulier de la sphre avec la notion gnrale despace tangent une

sous-varit.
37

5.4.2. . Dans Rn , calculez une quation de lhyperplan radical partir des quations des
sphres S et S0 .
5.4.3. . Intersection de deux sphres. Soient S = S(o, R) et S0 = S(o0 , R0 ) deux sphres non
concentriques et soit H leur hyperplan radical. Montrez que lintersection de S et S0 est gale
S H et S0 H. Discutez. Cas de deux cercles.
5.5. Exercices.
5.5.1. . Soient a, b, o trois points du plan tels que o soit le milieu de [ab]. Montrer quun
point m du plan appartient au cercle de diamtre [ab] si et seulement si le triangle amb est
rectangle en m. (Utiliser le produit scalaire). En dduire quun triangle amb est rectangle en
m si et seulement si om vaut la moiti de ab.
5.5.2. . Tangentes une sphre issues dun point. Soit S(o, R) une sphre et a un point de
E. On se propose de dterminer les droites D tangentes S et passant par a. Montrez que
si D S = {m}, on a R2 + am2 = ao2 . Dduisez-en que lensemble des points de contact m
ventuels est lintersection de S et dune sphre S0 . Discutez.
5.5.3. . On se place dans le plan, donnez une construction la rgle et au compas des
tangentes un cercle C passant par un point a donn. Discutez.
5.5.4. . Dans le plan affine euclidien, on considre deux cercles de centres distincts C(, r)
et C(0 , r0 ).
(1) Dterminez limage du cercle C(, r) par une homothtie-translation.
(2) Dterminez les homothties-translations qui envoient le cercle C(, r) sur le cercle
C(0 , r0 ). (On tudiera laction dune telle application sur des points particuliers.)
Construisez les centres des homothties trouves.
(3) Prcisez laction des ces homothties-translations sur les tangentes communes aux
deux cercles. Construisez ces tangentes communes.
5.5.5. . Sphre passant par n + 1 points. Soit E un espace affine euclidien de dimension n
et soient n + 1 points a0 , a1 , , an affinement indpendants de E. Montrez quil existe une
unique sphre qui contient les ai . En particulier dans lespace euclidien de dimension 3 tout
ttradre est inscrit dans une unique sphre.
Indications : On raisonnera par rcurrence sur n en considrant la sphre de centre de
lespace de dimension n 1 qui contient les n premiers points et on cherchera le centre de
S sur la perpendiculaire en lhyperplan engendr par ces n points et dans lhyperplan
mdiateur des points an et an+1 .
On pourra aussi considrer les hyperplans mdiateurs de ai1 et ai .
6. BARYCENTRES DANS UN ESPACE AFFINE EUCLIDIEN
La fonction scalaire de Leibniz

La notion de barycentre, fondamentale en gomtrie affine, peut rendre


aussi de grands services en gomtrie euclidienne. Lexercice qui suit, gn ralisation dexercices classiques au lyce, en donne un aperu.
38

. Soient E un espace affine euclidien, a1 , , an des points de E et 1 , , n des rels.


n

On considre la fonction f : E R dfinie par f (m) = i ma2i (fonction scalaire de Leibi=1

niz). On se propose de dterminer ses lignes de niveau, cest--dire de dcrire, pour k R,


les ensembles Lk = {m E | f (m) = k }.
6.1. On suppose quon a ni=1 i = 0. Soit o un point fix de E. Calculez f (m) en dcom=
+
et montrez que L est lensemble des points vrifiant une quation de
posant
ma
mo
oa
i
i
k
|~u) = k0 o ~u est un vecteur et k0 un scalaire que lon prcisera. Montrez que, si
la forme (
om
~u nest pas nul, Lk est un hyperplan. Discutez le cas ~u = ~0.
6.2. On suppose quon a ni=1 i 6= 0. Soit g le barycentre des ai affects des masses i .
=
+
et montrez que L est lensemble des points
Calculez f (m) en dcomposant
ma
mg
ga
i
i
k
qui vrifient une quation de la forme mg2 = k00 o k00 est un scalaire que lon prcisera.
Discutez la nature de Lk (si k00 est > 0, Lk est une sphre).
6.3. Soient a, b E. Dterminez les lignes de niveau des fonctions ma2 mb2 , ma2 + mb2 ,
ma
. (Pour la dernire on se ramnera lquation ma2 k mb2 = 0.) Discutez.
mb
Remarquez que lhyperplan radical est un cas particulier.

39

Partie IV. ISOMTRIES AFFINES


Dans cette partie E dsigne un espace affine euclidien de dimension n et ~E lespace vectoriel euclidien associ.
1. D FINITIONS ET PREMIRES PROPRITS
1.1. Thorme et dfinition. Soit f une application affine de E dans E, ~f lapplication
linaire associe. On dit que f est une isomtrie affine si lune des proprits quivalentes
suivantes est ralise :
1) ~f est une isomtrie vectorielle (donc un lment de O(~E)),
2) f conserve les distances : pour tous a, b E on a f (a) f (b) = ab.
3) Limage par f dun repre orthonorm est un repre orthonorm.
On note Is (E) lensemble des isomtries affines de E.

Dmonstration. Lquivalence de 1 et 2 rsulte de la formule f (a) f (b) = ~f (ab), de la dfinition de la distance et de I 5.1.2. Celle de 1 et 3 vient de I 7.1.3.

1.1.1. Remarques.
1) Une isomtrie est bijective (donc est un lment de GA(E)).
2) Dans la dfinition on suppose au dpart que f est une application affine. En fait, une application qui conserve les distances est automatiquement affine.
3) On dfinit de manire analogue une isomtrie dun espace euclidien E sur un espace euclidien F comme une application affine qui conserve les distances. Lexistence dune telle
application entrane que la dimension de E est infrieure ou gale la dimension de F (pourquoi ?). Et si lisomtrie est bijective ?
1.1.2. . Voici les tapes de la dmonstration de la remarque 2 : On suppose dabord que
f conserve les distances et admet un point fixe . On note lapplication vectorielle dfinie

par (~u) = f ( +~u).


(1) Montrez que ||(~u)|| vaut ||~u|| et calculez ||(~u) (~v)||2 .
(2) En utilisant I.5.1.6, concluez que f est affine dapplication linaire associe .
Traiter le cas gnral.
1.2. Thorme. Lensemble Is (E) est un sous-groupe de GA(E).
1.2.1. . Prouvez le thorme.
1.3. Exemples fondamentaux.
1.3.1. . Montrez que les translations sont des isomtries et que les seules homothties qui
sont des isomtries sont celles de rapport 1, cest--dire lidentit et les symtries centrales.
~
1.3.2. . Soit = V,W
~ la symtrie affine par rapport V paralllement la direction W .
~ sont orthogonaux (et W
~ = ~V est
Montrez que est une isomtrie si et seulement si ~V et W
alors dtermin par V , cf. I 6.2.2). On dit que est la symtrie orthogonale par rapport V
et on la note V . Lorsque V est un hyperplan est appele une rflexion, lorsque V est un
point on retrouve une symtrie centrale.
1.3.3. . Le sous-groupe Is (E) est-il distingu dans GA(E) ? (On pourra calculer la conjugue dune symtrie orthogonale V par un lment arbitraire f de GA(E).)
40

1.4. Proposition : conservation des proprits. Une isomtrie affine conserve lalignement, les barycentres, les milieux, lorthogonalit, les distances, les angles (non orients),
transforme projet orthogonal en projet orthogonal, etc.
Dmonstration. Cest clair, soit par les proprits des applications affines, soit par celles des
isomtries vectorielles.


Les isomtries sont donc des transformations qui permettent de dplacer


(ou
de retourner, cf. ci-dessous) les figures, sans modifier leur forme (angles,


rapports de distances), ni leur taille.
1.5. Isomtries positives et ngatives. Soit f Is (E). On dit que f est un dplacement
ou une isomtrie (affine) positive si ~f est une isomtrie vectorielle positive (i.e. appartient
O+ (~E)).
On dit que f est un anti-dplacement ou une isomtrie (affine) ngative si ~f est une
isomtrie vectorielle ngative (i.e. appartient O (~E)).
On note Is+ (E) (resp. Is (E)) lensemble des isomtries affines positives (resp. ngatives).
1.5.1. . Montrez quun dplacement (resp. un anti-dplacement) transforme un repre orthonorm direct en un repre orthonorm direct (resp. indirect).
1.5.2. . Montrez que les rflexions sont des isomtries ngatives, mais que les translations
sont des isomtries positives. Plus gnralement, montrez que la symtrie orthogonale V
est directe si et seulement si V est de codimension paire dans E. En particulier une symtrie
centrale est directe en dimension paire, indirecte en dimension impaire.
1.5.3. . Montrez que lapplication qui une isomtrie affine f associe det ~f est un homomorphisme de groupes surjectif de Is (E) sur {1, 1}. Montrez que lensemble Is+ (E) est un
sous-groupe distingu de Is (E). Montrez quen revanche Is (E) nest pas un sous-groupe.
2. T HORMES DE DCOMPOSITION




























Le fait que Is (E) soit un groupe dit essentiellement que la compose de


plusieurs isomtries est toujours une isomtrie. Dans nombre de problmes il
est important de savoir prcisment quelle sorte disomtrie on obtient. Cette
question nest pas vidente (mme pour les petites dimensions). Elle se scinde
en deux parties : il faut dabord dcrire les diverses sortes disomtries, cest-dire les classifier, puis ensuite prciser comment elles se composent. La
classification complte des isomtries sera donne ultrieurement dans le cas
des dimensions 2 et 3. Pour la classification comme pour la composition, nous
donnons ci-dessous deux outils importants qui sont les thormes de dcomposition. Le premier est dans la ligne des rsultats de gomtrie affine gnraux et permet de dcomposer une isomtrie en produit dune translation et
dune isomtrie qui admet un point fixe, donc de se ramener au cas vectoriel.
Si lon est soigneux on peut mme supposer quon a une dcomposition commutative, Cest la "dcomposition canonique" (GA IV.7.5). Le second donne
une dcomposition non unique en lments plus simples : les rflexions.
41

2.1. Isomtries fixant un point. Soit a un point de E. Lensemble des isomtries de E qui
fixent a est un sous-groupe de Is (E) not Isa (E). Lapplication qui f Isa (E) associe ~f est
un isomorphisme de Isa (E) sur O(~E).
2.1.1. . Prouvez cette assertion en vous inspirant de [GA] IV 7.1.
Comme dans le cas affine, si f est une isomtrie et a un point quelconque, on peut crire f
comme produit dune translation et dune isomtrie fixant a. Le rsultat suivant fournit une
dcomposition canonique et commutative :
2.2. Thorme (dcomposition canonique). Soit f une isomtrie de E. Alors f scrit de
manire unique sous la forme t~v g o
i) le vecteur ~v appartient Ker (~f Id~E ),
ii) g est une isomtrie admettant un point fixe,
iii) g et t~v commutent.
Dmonstration. En vertu de [GA] IV 7.5, il suffit de montrer quune isomtrie f vrifie
toujours lhypothse du thorme de dcomposition, i.e. :
()

~E = Ker (~f Id~ ) Im (~f Id~ ).


E
E

Comme la somme des dimensions du noyau et de limage est n il suffit de montrer quils sont
en somme directe. Cela rsulte du fait quils sont orthogonaux. En effet, soit ~x un vecteur
du noyau et ~y un vecteur de limage. On a donc ~f (~x) = ~x et il existe un vecteur ~z tel que
~f (~z) ~z =~y. On a alors :
(~x |~y) = (~f (~x) | ~f (~z) ~z) = (~f (~x) | ~f (~z)) (~x |~z) = 0.
Pour finir on note que g = t~v f est bien une isomtrie.

2.2.1. Remarque. En fait, en vertu du principe de conjugaison, les conditions i) et iii) sont
quivalentes, cf. [GA] IV 7.1.
2.2.2. Exemple. On retrouve lexemple (essentiel et difficile) des symtries glisses voqu
dans [GA] IV 7.6 : ce sont les composes (commutatives) dune symtrie orthogonale V et
dune translation de vecteur parallle V , voir aussi 2.3.2, 2.3.3, etc.
2.3. Exercices.
2.3.1. . 28 Soit f une isomtrie affine telle que ~f soit une symtrie vectorielle ~V . Montrez
que les conditions suivantes sont quivalentes :
1) f est une symtrie orthogonale,
2) f est involutive,
3) f admet un point fixe.
Prcisez alors lespace des points fixes de f .
2.3.2. . Soit s une symtrie glisse de dcomposition canonique s = V t~v . Montrez que V
est exactement lensemble des milieux des segments [m s(m)] pour m E.
28Le lecteur attentif notera avec ddain que cet exercice est dj plusieurs fois dans [GA], cf. GA IV 2.5,

3.2.5, 5.1.3 et 7.6.


42

2.3.3. . On munit E dun repre orthonorm (0,~u,~v,~w). On note un paramtre rel valant 2 ou 0. On veut dterminer la nature et la dcomposition canonique de lapplication f
qui au point m de coordonnes (x, y, z) associe le point m0 de coordonnes (x0 , y0 , z0 ) :

7
4
4
0

x =
9 x 9 y 9 z +1
y0 = 49 x + 19 y 89 z +2

0
z = 49 x 89 y + 19 z +
1) Montrez que ~f est une symtrie orthogonale et dterminez une quation cartsienne du
sous-espace de ses vecteurs fixes.
2) Pour quelle valeur de lapplication f admet-elle un point fixe ? Dans ce cas dterminez
lensemble des points fixes.
3) Pour lautre valeur de , f est une symtrie glisse de dcomposition : f = P t~v .
Dterminez un point de P, puis une quation cartsienne de P. Calculez le vecteur ~v.
2.3.4. . 1) Montrez que les sous-espaces affines stables par une symtrie orthogonale V
sont les sous-espaces de la forme a + ~F avec a V et ~F = (~F ~V ) (~F ~V ). (Si F est
stable on notera que V |F est une involution, donc une symtrie, donc a un point fixe et on
utilisera I 6.2.6.)
2) Dterminez les sous-espaces affines F stables par une symtrie glisse s = V t~v . (Utilisez
le carr de s et la question prcdente.)
2.3.5. . Autre dmonstration de 2.2.
On reprend les notations du thorme de dcomposition.
1) Unicit.
On suppose quon a une dcomposition commutative f = t~v g. Soit F lespace des points
fixes de g et soit p la projection orthogonale de E sur F.
a) Rappelez pourquoi lon a ~F = Ker (~f Id~E ).
b) Soit x E. Montrez que lon a ||~v|| = p(x)p( f (x)) x f (x) avec galit si et seulement
si x est dans F. (On crira x = a + ~w avec a F et ~w ~F .)
c) Montrez lunicit de la dcomposition.
Commentaire : Le sous-espace F (parfois appel axe de f ) admet donc une caractrisation
gomtrique : cest lensemble des points de E les moins dplacs par f . Sur F, lisomtrie f agit comme la translation t~v .
2) Existence.
On pose ~F = Ker (~f Id~E ). Soit G un sous-espace affine de direction ~F .
a) Montrez que f (G) est parallle G.
b) Pour x G, on note h(x) le projet orthogonal de f (x) sur G. Montrez que h est une
isomtrie de G et que ~h nadmet pas la valeur propre 1. Montrez que h admet un unique point
fixe G dans G.

c) En posant ~v = G f (G ) montrez lexistence de la dcomposition.


Dtermination pratique de la dcomposition.
Pour dterminer concrtement g, F,~v, la dmonstration prcdente montre quil suffit de
considrer nimporte quel sous-espace G de direction ~F , de poser h = p
G f Is (G) et de
dterminer lunique point fixe G de h. On a alors les rsultats suivants :
- g est lunique application affine fixant G et dapplication linaire associe ~f ;
- F est lunique sous-espace affine passant par G de direction ~F ;

- ~v est le vecteur G f (G ).
43

3) Application numrique.
Soit f : R3 R3 lapplication affine dfinie par :
1 (x + y) + 1 z + 2
2
x
2

1
1
y 7
2 (x + y) + 2 z + 1 .
z
1 (x y) + 1
2
Montrez que f est une isomtrie et dterminez sa dcomposition canonique (pour un autre
algorithme, voir VI 3.1).
Nous nonons maintenant le second thorme de dcomposition :
2.4. Thorme. Toute isomtrie affine est produit de rflexions orthogonales.
Dmonstration. Comme toute isomtrie est produit dune translation et dune isomtrie admettant un point fixe, on est ramen montrer le rsultat pour une isomtrie vectorielle et
pour une translation. Le cas vectoriel vient de I 6.3 et I 6.3.2. Pour la translation on a le
lemme suivant :
2.4.1. Lemme. Soit t la translation de vecteur ~v non nul, soit H un hyperplan affine de
~ = (Vect ~v) et soit H 0 limage de H par la translation t~v/2 .
direction orthogonale ~v : H
Alors, le produit H 0 H vaut t.
~ =H
~ 0 et que ~ est une involution,
Dmonstration. Notons f = H 0 H . Comme on a H
H
lapplication linaire associe f est Id~E de sorte que f est une translation.
Soient a un point de H et c = t~v/2 (a) qui est un point de H 0 . Dterminons le vecteur de la

translation f : cest le vecteur ab si on note b le point f (a). On a


b = f (a) = H 0 H (a) = H 0 (a) = H 0 (c (~v/2)) = c + (~v/2)

~ 0 . On obtient donc
car ~v est orthogonal H
ab =
ac + cb = ~v ce qui montre que f est la
translation de vecteur ~v cest--dire t.

2.4.2. Remarque. Comme application de ce thorme de dcomposition, nous verrons quen
dcomposant deux rotations planes de manire judicieuse en produits de deux rflexions on
dtermine aisment leur compose.
3. S IMILITUDES
3.1. Dfinition. Soit s GA(E) une application affine bijective. On dit que s est une similitude affine si ~s est une similitude vectorielle. Le rapport de s est, par dfinition, celui de ~s.
Cest un nombre rel positif. La similitude s est dite directe (resp. indirecte) si ~s lest.
3.2. Proprits. Dmontrez les rsultats suivants :
3.2.1. . Les homothties et les isomtries (affines) sont des similitudes affines.
3.2.2. . Les similitudes affines forment un sous-groupe de GA(E) not Sim (E). Les similitudes directes forment un sous-groupe distingu not Sim+ (E). Le rapport du produit de
deux similitudes est le produit des rapports.
3.2.3. . Les composes dhomothties et disomtries sont des similitudes. Nous verrons
plus loin que ce sont les seules.
44

3.3. Proposition. Soit s une similitude affine de rapport . On a les proprits suivantes :
1) s multiplie les distances par (et donc les isomtries sont exactement les similitudes de
rapport 1),
2) s conserve les angles non orients et lorthogonalit.
Dmonstration. Cela vient des rsultats analogues dans le cas vectoriel.

3.4. Centre dune similitude.


3.4.1. Thorme. Soit s une similitude affine qui nest pas une isomtrie. Alors s admet un
unique point fixe appel centre de la similitude.
Dmonstration. En vertu de [GA] IV 7.3, il suffit de voir que~s na pas la valeur propre 1. Or,
on a ~s =~h ~f avec ~f O(~E) et > 0, 6= 1. Si on a ~s(~x) =~x, on en dduit ~f (~x) = (1/)~x, ce
qui, si ~x est non nul, contredit k~xk = k~f (~x)k. (On peut aussi montrer que toute valeur propre
de ~s est de module .)

3.4.2. Corollaire. Soit s une similitude affine qui nest pas une isomtrie, soit son rapport
et a son centre. Alors, s scrit sous la forme s = h(a, ) f = f h(a, ) o h(a, ) est lhomothtie de centre a et de rapport et f une isomtrie admettant a pour point fixe. De plus les
applications f et h(a, ) commutent.
Dmonstration. On pose f = h(a, )1 s. Cest une similitude de rapport 1 donc une isomtrie et comme h et s fixent a il en est de mme pour f .

3.5. Proposition : transitivit. Les similitudes (resp. les similitudes directes) oprent transitivement sur les points de E, sur les droites, les demi-droites, les segments, les cercles.
3.5.1. . Montrez cette proposition (pour les trois premiers cest dj vrai pour les isomtries).
3.5.2. Remarque. En revanche, le groupe des similitudes nest pas transitif sur les triangles,
il y a des cas de similitude, cf. V 6.1.

45

Partie V. LE PLAN AFFINE EUCLIDIEN

Dans toute cette partie E est un plan affine euclidien.


1. C LASSIFICATION DES ISOMTRIES
Commenons par donner la dfinition dune rotation affine :
1.1. Dfinition. Soit un nombre rel et sa classe modulo 2. On appelle rotation affine
de centre a et dangle (ou encore par abus de langage, tant alors dfini 2 prs)
et on note (a, ) (ou (a, )) lisomtrie affine admettant a comme point fixe et la rotation
vectorielle dangle (cf. II 2.3.2) comme application linaire associe.
On peut alors numrer toutes les isomtries affines du plan :
1.2. Thorme de classification. Les isomtries affines du plan sont les suivantes :
1) Les dplacements sont les translations et les rotations affines.
2) Les anti-dplacements sont les rflexions (ou symtries axiales : symtries orthogonales
par rapport aux droites) et les symtries glisses (composes dune symtrie par rapport
une droite D et dune translation de vecteur parallle D).
1.2.1. . Prouvez ce thorme.
1.2.2. Remarque. Signalons quelques cas particuliers : lidentit qui est la fois la translation de vecteur nul et une rotation dangle nul (mais de centre indtermin) et les symtries
centrales (symtries orthogonales V avec pour V un singleton ; si V = {a} on note V = a )
qui sont aussi les rotations de centre a et dangle .
1.3. Dcomposition en produit de symtries.
1) La translation de vecteur ~v se dcompose en produit de deux symtries D0 D o D est
une droite arbitraire orthogonale ~v et o D0 = t~v/2 (D).
2) La rotation (a, ) se dcompose en produit de deux symtries D0 D o D est une droite
arbitraire passant par a et o D0 = (a, /2)(D).
. Prouvez ces rsultats.
1.4. Complments sous forme dexercices.
1.4.1. . Caractrisation par points fixes et droites invariantes.
Dterminez les points fixes et les droites invariantes 29 des divers types disomtries affines
et montrez que celles-ci sont caractrises par les proprits suivantes :
Tous les points fixes : lidentit.
Une droite de points fixes : les symtries axiales.
Un unique point fixe : les rotations.
Pas de point fixe : les translations et les symtries glisses, les premires ayant une
infinit de droites stables (les parallles la direction de translation), les secondes une unique
droite stable (laxe de la symtrie).
29Une partie A E est dite invariante par une application f : E E si on a f (A) = A. Elle est dite stable si

on a f (A) A. Si A est un sous-espace affine et f une application affine bijective, les deux notions concident.
46

1.4.2. . Composition. Dterminez (en les organisant dans un tableau) la nature des diverses composes possibles des isomtries planes et prcisez leurs lments gomtriques
(centre, angle, axe, etc.). Voici quelques indications pour effectuer ce travail :
1) On commencera par dterminer la transformation vectorielle associe et on en dduira
les possibilits pour la transformation affine.
2) On tudiera la compose dune translation et dune symtrie, dabord dans le cas o
laxe de symtrie est orthogonal la direction de translation, puis dans le cas gnral.
3) On examinera ensuite la compose dune rotation et dune symtrie dont laxe passe
par le centre de la rotation.
4) Pour tudier la compose dune translation et dune rotation on les dcomposera en
produit de symtries.
5) On procdera de mme pour la compose de deux rotations de centres distincts.
6) Enfin on ramnera les autres cas ceux prcdemment tudis.
1.4.3. . Conjugaison. Dterminez les conjugus g f g1 dune isomtrie f par une isomtrie g. On ne saurait trop conseiller daller lire, si ce nest dj fait, le paragraphe IV 6.5 de
[GA] sur le principe de conjugaison. On montrera en particulier les formules suivantes :
0) si t~v est la translation de vecteur ~v, gt~v g1 = t~g(~v) ,
1) si D est la symtrie par rapport la droite D, gD g1 = g(D) ,
2) si (a, ) est la rotation de centre a et dangle , g(a, )g1 = (g(a), ) si g est
positive, g(a, )g1 = (g(a), ) si g est ngative.
1.4.4. . Commutation. Prciser, pour deux isomtries f et g quelle condition elles commutent. La mthode consiste crire la relation f g = g f sous la forme g f g1 = f , donc se
ramener un problme de conjugaison.
1.4.5. . quelle condition le produit de deux rflexions D D0 est-il une involution ?
Mme question pour les produits o D et o o0 .
1.4.6. . Le thorme des trois rflexions. Soient 1 , 2 , 3 trois rflexions daxes D1 , D2 , D3 .
Montrez que le produit 1 2 3 est une rflexion si et seulement si les trois droites Di sont
concourantes ou parallles.
1.4.7. . Soient a, b, c trois points non aligns. Montrer que (bc) (ca) (ab) est une symtrie
glisse. Donner sa dcomposition canonique et construire ses lments caractristiques.
1.4.8. . Sur un vieux manuscrit le capitaine Crochet a indiqu la marche suivre pour
trouver le trsor enfoui dans lle des pirates. Partez du vieil aulne A, marchez vers le bouleau
B, puis tournez de 90 degrs droite et parcourez encore la mme distance. Vous obtenez un
point M. Revenez laulne et marchez cette fois vers le chne C, puis tournez de 90 degrs
gauche et parcourez la mme distance jusquau point N. Le trsor T est mi-chemin
entre M et N. Peter Pan sest empar du grimoire et se rend sur lle pour trouver le trsor.
Malheureusement, si le bouleau et le chne sont bien l il ny a plus trace de laulne qui a
sans doute t foudroy entre temps. Adieu trsor ! moins que ...
1.5. . Droites remarquables dans un triangle et cercle des neuf points.
Cette srie dexercices rassemble des rsultats classiques, certains dj rencontrs dans
dautres chapitres. La figure de cet exercice est sur la couverture de ce document.
Soit E le plan affine euclidien. Si m est un point de E, un rel diffrent de 0 et 1 et D
une droite de E, on note H(m, ) lhomothtie de centre m et de rapport et SD la rflexion
par rapport la droite D.
Soient un triangle abc et a0 , b0 , c0 les milieux respectifs de [bc], [ca] et [ab].
47

1.5.1. Mdianes.
(1) Montrer que les droites (aa0 ), (bb0 ) et (cc0 ) sont concourantes en un point g appel
centre de gravit du triangle abc.
(2) Montrer que les triangles abc et a0 b0 c0 ont mme centre de gravit.
(a) en utilisant lhomothtie H1 (que lon prcisera) qui transforme le triangle abc
en a0 b0 c0
(b) en utilisant lassociativit des barycentres.
1.5.2. Mdiatrices.
(1) Montrer quil existe une unique rflexion qui change les points b et c. On note a
son axe appel mdiatrice du segment [bc].
(2) Montrer quun point m de E appartient a si et seulement si les longueurs mb et mc
sont gales.
(3) En dduire que les mdiatrices des cts du triangle abc sont concourantes en un
point o centre du cercle circonscrit C .
On notera le cercle circonscrit au triangle a0 b0 c0 et son centre.
1.5.3. Hauteurs. La hauteur issue de a dans le triangle abc est la droite passant par a et
orthogonale (bc). On note a00 la projection orthogonale de a sur (bc).
Quelle est limage par H1 de la droite (aa00 ) ? Montrer que les hauteurs de abc sont concou

rantes en un point h appel orthocentre du triangle et que lon a : gh = 2


go. Quel est
lorthocentre de a0 b0 c0 ?
1.5.4. Droite dEuler.
(1) Dduire de 1.5.3 une relation vectorielle entre g, o et , puis que les points o, g, et
h sont soit confondus soit aligns.
La droite (og) est appele droite dEuler du triangle abc.
(2) Montrer que est le milieu de [oh], en dduire que est limage de C par H2 =
H(h, 21 ).
1.5.5. Cercle des neuf points. Montrer que les points a000 , b000 et c000 , milieux respectifs de
[ha], [hb] et [hc] appartiennent au cercle et que (a0 a000 ) est un diamtre de . (Dterminer
une homothtie qui envoie a0 sur a000 ). En dduire que a00 , b00 et c00 appartiennent .
Le cercle est donc appel le cercle des neuf points. (Pourquoi ?)
1.5.6. Symtrique de lorthocentre. En dduire que le symtrique a0 de h par rapport (bc)
appartient au cercle C .
2. S ECTEURS ET ANGLES NON ORIENTS










Nous revenons dans ce paragraphe sur les angles non orients dans le
cadre affine en dimension 2. En particulier nous faisons ici le lien entre
langle d
bac dfini en III 1.4.3 et la longueur darc. Mme si, lcrit du
CAPES, ce sont plutt les angles orients de vecteurs qui jouent le rle principal, ce paragraphe est essentiel pour loral et pour votre rflexion de futurs
professeurs.
48

2.1. Secteur angulaire, arc associ.


Nous commenons par dfinir les secteurs, qui constituent en ralit la premire apparition
des angles dans lenseignement.
2.1.1. Dfinition des secteurs. Soit o un point du plan et soient [oa), [ob) deux demi-droites
issues de o.
1) Supposons les points o, a, b non aligns. On note Ha+ (resp. Ha ) le demi-plan (ferm)
limit par (oa) qui contient b (resp. qui ne contient pas b). On note de mme Hb+ et Hb
les demi-plans limits par (ob). Les demi-droites [oa), [ob) partagent alors le plan en deux
parties. La premire, Ha+ Hb+ , qui est convexe, est appele secteur angulaire saillant limit
par les demi-droites. La seconde, Ha Hb , non convexe, est appele secteur angulaire
rentrant limit par les demi-droites.
2) Lorsque les points o, a, b sont aligns on prolonge les dfinitions prcdentes comme
suit :
i) Si les demi-droites [oa) et [ob) sont gales, le secteur saillant quelles dfinissent est
rduit [oa). Le secteur rentrant est le plan tout entier.
ii) Si les demi-droites sont opposes, il ny a plus de secteur rentrant mais deux secteurs
saillants plats qui sont les demi-plans limits par (oa).
2.1.2. Remarque. Un secteur S limit par [oa) et [ob) est en particulier un cne de sommet
o, ce qui signifie quil est stable par les homothties de centre o et de rapport positif. On peut
encore traduire cette proprit en disant que S est runion de demi-droites issues de o.
Nous passons maintenant la dfinition des arcs de cercles.
2.1.3. Proposition-dfinition : arcs associs aux secteurs. Soient o, a, b trois points non
aligns. On considre un cercle de centre o et de rayon R > 0. Les demi-droites [oa) et
[ob) coupent le cercle en a0 et b0 . Par dfinition, on appelle petit arc (resp. grand arc)
dextrmits a0 et b0 lintersection de avec le secteur angulaire saillant (resp. rentrant)
limit par les demi-droites [oa), [ob).
Le petit arc (resp. le grand arc) est aussi lintersection du cercle avec le demi-plan limit
par (a0 b0 ) et qui ne contient pas o (resp. qui contient o).
Dmonstration. Soit m un point du petit arc distinct de a0 et b0 . Sil tait dans le demiplan contenant o il serait dans le triangle oa0 b0 donc on aurait om < oa0 (cf. III 4.2.5) ce
qui est absurde. Rciproquement, si m est sur et dans le demi-plan qui ne contient pas
o, soit m0 lintersection de (om) et de (a0 b0 ). Si m0 nest pas dans le segment [a0 b0 ] on a
om om0 > oa0 (loc. cit.) et cest absurde, donc m0 est dans [a0 b0 ] et m0 est dans le secteur
saillant puisque celui-ci est convexe. Comme le secteur est un cne de sommet o, m est aussi
dans le secteur.

2.2. Angle et longueur darc. Le thorme suivant fait le lien entre arcs et angles :
2.2.1. Thorme. Soient o, a, b trois points de E avec a et b diffrents de o. On considre
le cercle de centre o et de rayon 1. Les demi-droites [oa) et [ob) coupent le cercle en a0
d est gal la longueur de
et b0 . Soit A le petit arc de dextrmits a0 et b0 . Alors langle aob
larc A .
Dmonstration. On renvoie lannexe 2 pour la dfinition de la longueur dune courbe et
le calcul de cette longueur dans le cas dune courbe paramtre de classe C1 . Choisissons

un repre orthonorm dorigine o, de premier vecteur oa0 et de second vecteur ob00 tel que
49



(ob0 | ob00 ) soit positif ou nul (cela signifie que b00 est dans le demi-plan limit par (oa) qui
contient b0 ). Le cercle admet alors le paramtrage x = cost, y = sint, pour t [, +] (cf.


III 1.3.3). En particulier le point b0 scrit (cos , sin ) avec [, ] et on a (ob0 | ob00 ) =

sin 0, de sorte que est en fait dans [0, ]. Par ailleurs, on a (ob0 | oa0 ) = cos , donc
d = || = par dfinition de langle non orient (cf. II 4.4.3).
aob
On obtient un paramtrage de larc A en restreignant le paramtrage prcdent lintervalle [0, ]. La longueur de A se calcule alors par la formule :
Z
Z q
0
2
0
2
x (t) + y (t) dt =
dt = ,
l(A ) =
0

30

do le rsultat.

Le rsultat prcdent permet de dfinir aussi langle des secteurs rentrants (cela peut tre
utile pour calculer la somme des angles dun polygone non convexe, cf. 7.3.5).
2.2.2. Dfinition. Soit S un secteur (saillant ou rentrant), limit par [oa) et [ob) et soit A
larc (petit ou grand) dcoup par le secteur sur le cercle de centre o et de rayon 1. Langle
du secteur est par dfinition la longueur de larc A . On le note Sb .
d Comme
2.2.3. Remarque. Pour le secteur saillant S limit par [oa) et [ob), on a Sb = aob.
larc correspondant au secteur saillant est contenu dans un demi-cercle, langle correspondant est . Au contraire, un angle rentrant est > . Prcisment, si langle dun secteur
saillant vaut , celui du secteur rentrant correspondant vaut 2 .
2.2.4. Proposition (Relation de Chasles non-oriente). On suppose quun secteur Sab
(saillant ou rentrant) limit par [oa) et [ob) est runion de deux secteurs Sac limit par [oa)
et [oc) et Scb limit par [oc) et [ob) nayant en commun que la demi-droite [oc). Alors on a
c c
Sc
ab = Sac + Scb .
Dmonstration. Cela rsulte de la proposition 2.3 de lannexe 3.

2.2.5. Remarque. Pour les angles non orients lanalogue de cette proposition est la relation
d=d
aob
aoc + d
cob, mais cette relation ne vaut que si la somme des deux angles d
aoc + d
cob
est . Pour les angles orients en revanche on verra quon a la relation de Chasles sans
restriction (mais bien entendu on aura impos 2 = 0).
2.3. . Quelques formules pour les triangles. Nous donnons dans ce paragraphe quelques
formules importantes concernant les triangles. Nous les utiliserons surtout en gomtrie
plane, mais elles sont valables en toutes dimensions.
2.3.1. Calcul du produit scalaire. Soit abc un triangle. En utilisant I 8.2.3 montrez :


(ab |
ac) = ab.ac. cos d
bac.
2.3.2. La formule dAl-Kashi (2). Soit abc un triangle. Montrez la formule bc2 = ab2 +
ac2 2ab ac cos d
bac (cf. III 1.2.3). Si d
bac est obtus (i.e. d
bac > /2), montrez quon a bc > ab
et bc > ac. Montrez quun triangle a au plus un angle obtus.
30On sait que, si on se restreint des paramtrages bijectifs, la longueur ne dpend pas du paramtrage, cf.

IX 2.2.1.2.
50

2.3.3. Application au triangle rectangle. Soit abc un triangle rectangle en c. Montrez quon
a ac = ab cos d
bac, bc = ab sin d
bac, bc = ac tan d
bac.
Soit h le pied de la hauteur issue de c. Montrez les formules ac2 = abah et ch2 = ahbh.

Sur laxe des x on se donne les points 0, 1 et x avec x > 0. Construisez le nombre x la
rgle et au compas.
2.3.4. Deux formules et une application. Soit abc un triangle et notons , , ses trois angles
non orients en a, b, c. Montrez les formules suivantes :

1) bc = ab cos + ac cos (calculez les produits scalaires (ba | bc) et (


ca | cb)),
2) ab sin = ac sin , (considrez le projet orthogonal a0 de a sur (bc), attention aux cas
de figure).
3) On suppose que le triangle abc nest pas rectangle. Montrez que a0 est barycentre de
{(b, tan d
abc), (c, tan d
bca)}. En dduire les coordonnes barycentriques de lorthocentre du
triangle dans le repre affine a, b, c.
2.4. La somme des angles dun triangle. Soit abc un triangle et notons , , ses trois
angles non orients. On a + + = .










Cette formule (que nous allons prouver de trois faons diffrentes) est une
des caractristiques fondamentales de la gomtrie euclidienne. Dans dautres
gomtries comme la gomtrie elliptique (resp. la gomtrie hyperbolique)
la somme des angles dun triangle est > (resp. < ). Par exemple les triangles T dlimits sur une sphre de rayon 1 par les arcs de grands cercles
vrifient + + = + A (T ) o A (T ) dsigne laire du triangle.

2.4.1. Premire dmonstration.


Le triangle ayant au plus un angle obtus, on peut supposer , /2. On va montrer la
formule cos = sin sin cos cos . Pour cela on part de la formule dAl-Kashi (2.3.2) :
bc2 = ab2 +ac2 2ab.ac. cos et de la formule 2) de 2.3.4 : bc = ab cos +ac cos . On lve
cette galit au carr et on soustrait. En utilisant la formule 1) de 2.3.4 on obtient le rsultat.
On a ainsi cos = cos( + ) = cos( ), donc = ou = + , mais
cette dernire relation est impossible car est positif.
2.4.2. Deuxime dmonstration (inspire dEuclide).
. Construisez x et y tels que abcx et acyx soient des paralllogrammes et montrez les
c (angles alternes-internes ; on utilisera une symtrie centrale),
galits dangles : d
bac = acx
d
c (angles correspondants ; on utilisera une translation). Concluez.
abc = xcy
3. A NGLES ORIENTS

Nous dfinissons ici les angles orients en gomtrie affine euclidienne du


plan.
L encore, tout le travail, ou presque, a t accompli dans le chapitre


sur le plan vectoriel euclidien.
3.1. Dfinition.
1) Soient D, D0 deux demi-droites affines de mme origine et soient ~v et ~v0 des vecteurs
d
directeurs de D et D0 . Langle orient de D et D0 est, par dfinition, langle orient ~v,~
v0 .
0
0
2) Soient D, D deux droites affines, langle orient de D et D est dfini comme langle
\
\
orient de leurs directions D,
D0 = ~D, ~D0 .
51

\
3.1.1. Notations. On note plutt (ab, cd) langle orient de vecteurs ab, cd (afin dviter
dtre encombr dun grand chapeau) au moins lorsque cette notation ne prte pas confusion. Cest aussi langle orient des demi-droites [ab) et [cd). De mme, on note aussi parfois
\
((ab), (cd)), voire (ab, cd), au lieu de (ab),
(cd) langle orient de droites.
Tous les thormes tablis au chapitre sur les angles en vectoriel sappliquent dans le
cas affine. En particulier on a, pour les angles orients, la relation de Chasles, la rgle du
paralllogramme et les rsultats suivants :
3.2. Proposition. Soit f une isomtrie de E avec = det ~f = 1 et soient a, b, c, d quatre
points de E avec a 6= b, c 6= d. On a les formules suivantes :

1) ( f (a) f (b), f (c) f (d)) = (ab, cd), (angles orients de vecteurs)


2) (( f (a) f (b)), ( f (c) f (d)) = ( f (ab), f (cd)) = ((ab), (cd)), (angles orients de droites).
3.2.1. . Soient a, b, c trois points deux deux distincts de E. Montrez la formule :

(ab,
ac) + (
ca, cb) + (bc, ba) = dans R/2Z.
3.2.2. Remarque. Cette relation fournira la troisime dmonstration de 2.4 en 3.4.
3.2.3. . Soit abc un triangle isocle en a. Montrez la formule :

(
ca, cb) = (bc, ba) (modulo 2).
(On utilisera la symtrie par rapport la mdiatrice de [bc]).
3.3. Cercle et angles. Le thorme essentiel concernant les angles orients est le suivant :
3.3.1. Thorme de langle inscrit. Soient C un cercle de centre o, a, b deux points de C.
Soit x un point de C, distinct de a et b. On a la formule :

(
oa, ob) = 2 (
xa, xb) (modulo 2)
(langle au centre est le double de langle inscrit).
Soit t un point de la tangente en a C distinct de a. On a la formule (thorme de langle
inscrit limite) :

(
oa, ob) = 2 ( at , ab) (modulo 2).
3.3.2. . Prouvez ce thorme. On commencera par traiter le cas o b est le point diamtralement oppos x. Dans ce cas on appliquera 3.2.1 et 3.2.3 au triangle oxa.
3.3.3. . 1) Soit un cercle de diamtre [bc] et soit a un point de distinct de b et c.
Montrez que le triangle abc est rectangle en a.
2) Rciproquement, si abc est rectangle en a, montrez que a est sur le cercle de diamtre
bc
[bc]. Si a0 est le milieu de [bc] on a donc aa0 = .
2
Le corollaire suivant est le plus important de tous les rsultats concernant les angles :
3.3.4. Corollaire : condition de cocyclicit. Soient a, b, c, d quatre points distincts du plan
affine euclidien E. Alors, a, b, c, d sont cocycliques ou aligns si et seulement si on a lgalit
dangles (orients de droites) (ac, ad) = (bc, bd).
3.3.5. . Prouvez le corollaire (pour la rciproque on utilisera le sens direct).
52

3.3.6. . Soient abc un triangle, b0 , c0 les pieds des hauteurs issues de b et c et h lorthocentre de abc.
Montrez que le symtrique h0 de h par rapport au ct [bc] est sur le cercle circonscrit (on
montrera les galits : (h0 b, h0 c) = (hb, hc) = (hb0 , hc0 ) = (hc0 , hb0 ) = (ac0 , ab0 )).








Lintrt principal des angles orients rside dans ce fait quils permettent
de ne pas distinguer plusieurs cas de figure. Cependant, comme ils ne peuvent
intervenir quau lyce, il est indispensable dapprendre aussi raisonner sur
la figure laide des angles non orients qui restent loutil principal pour le
collge.

3.4. Signe des angles orients et arc capable.


3.4.1. Dfinition. Si est un lment de R/2Z (donc un angle orient) distinct de 0 et ,
son signe est, par dfinition celui de sin .
Attention, la somme de deux angles positifs nest pas ncessairement un angle positif.
3.4.2. . Soit (~i, ~j) une base orthonorme directe et soient ~x et ~y deux vecteurs non cocy est positif si et seulement si lapplication linaire ~f qui
linaires. Montrer que langle ~x,~
envoie ~i sur ~x et ~j sur ~y est de dterminant positif ou encore det~i,~j (~x,~y) > 0.
3.4.3. . Soient ~x, ~y,~z trois vecteurs unitaires. On suppose que ~y est entre ~x et~z, cf. I 8.4.1.
cy, ~y,~
cz et ~x,~
cz sont de mme signe. Donnez une nouvelle dmonstration de I
Montrez que ~x,~
8.4.3 (on utilisera II 4.4.3).
3.4.4. . Soient ~x,~y,~z trois vecteurs avec ~y et~z non colinaires ~x et soit ~D la droite vectocy et ~x,~
cz sont de mme signe si et seulement
rielle engendre par ~x. Montrez que les angles ~x,~
si ~y et~z sont dans le mme demi-plan limit par ~D. (On supposera les vecteurs unitaires, on
compltera ~x en une base orthonorme directe ~x,~x0 et on valuera ~y et~z sur cette base.)
3.4.5. . Soient a, b, c trois points non aligns de lespace affine euclidien E. Montrez que





les trois angles (bc, ba), (
ca, cb), (ab,
ac) sont de mme signe (on pourra utiliser une base or

thonorme directe de premier vecteur bc/kbck ou utiliser le dterminant). En utilisant 3.2.1,


montrez que la somme des angles (non orients) dun triangle vaut (troisime dmonstration).
3.4.6. . Soient a, b, c (resp. a, b, d) trois points non aligns de E. Montrez que c et d sont

dans le mme demi-plan limit par (ab) si et seulement si (


ca, cb) et (da, db) sont de mme
signe.

3.4.7. . Montrez que lensemble des points m qui vrifient (


ma,
mb) = (
ca, cb) est larc
_

A =ab du cercle circonscrit abc qui contient c (cest larc capable dfini par les points

a, b et langle (
ca, cb)). Montrez que lautre arc ab de est lensemble des points qui vri

fient (
ma,
mb) = (
ca, cb) + .
53

d =d
3.4.8. . Montrez que lensemble des points m qui vrifient amb
acb est lunion de A et
d = d
de son symtrique par rapport (ab). Montrez que si m est dans A on a amb
acb.
Sur les figures suivantes on a port en traits pleins les ensembles associs aux diffrents

types dangles. La figure 1 reprsente larc capable, ensemble des m tels que (
ma,
mb) =

(
ca, cb), la figure 2 lensemble des n tels que (
na, nb) = (
ca, cb) + . Sur la figure 3 on
a dessin le cercle circonscrit abc, ensemble des m et n tels que (ma, mb) = (na, nb) =
d = apb
d=d
(ca, cb). La figure 4 dcrit lensemble des m et p tels que amb
acb. Enfin, la figure
d
d
d
5 prsente lensemble des n et q tels que anb = aqb = acb.

b
n

Figure 1

Figure 2

Figure 3

c
m
q
a

b
n

Figure 4

Figure 5

3.4.9. . Dmontrez le critre de cocyclicit suivant utilisant les angles non orients.
Soient a, b, c, d des points du plan, avec a, b distincts.
1) Si c et d sont dans le mme demi-plan ouvert limit par (ab) les points a, b, c, d sont
d
cocycliques si et seulement si on a d
acb = adb.
2) Si c et d sont dans des demi-plans ouverts distincts (toujours limits par (ab)) les points
d
a, b, c, d sont cocycliques si et seulement si on a d
acb = adb.
d dans le cas o les quatre points sont aligns.
3) Prciser les angles d
acb et adb
3.4.10. . Reprendre 3.3.6 laide du critre de cocyclicit ci-dessus. (On utilisera le cercle
circonscrit ac0 hb0 (pourquoi existe-t-il ?) et on prendra garde aux diffrents cas de figures).
3.4.11. . Construction de larc capable On considre deux vecteurs unitaires ~u et ~v et

deux points distincts a et b. Construire lensemble des points m tels que (


ma,
mb) = (~u,~v).
On pourra utiliser le thorme de langle inscrit limite (3.3.1).
54

3.4.12. . Extrait dune preuve crite de CAPES. Soient a, a0 et m trois points non
aligns du plan. Dterminer le centre et langle des deux rotations qui envoient a sur a0 et la
droite (am) sur la droite (a0 m). Construire les centres.
3.5. Bissectrices.
3.5.1. Proposition. Soient D1 , D2 deux droites scantes en o. Il y a exactement deux droites
passant par o qui vrifient (D1 , ) = (, D2 ) (angles orients de droites). Ces droites 1 et
2 sont perpendiculaires. Ce sont les axes des seules rflexions qui changent D1 et D2 . On
les appelle bissectrices du couple de droites (D1 , D2 ).
Dmonstration. Soit ~ui un vecteur unitaire de Di . Posons = (~u1 ,~u2 ). On cherche une droite
, dirige par un vecteur unitaire ~v tel que (~u1 ,~v) = (~v,~u2 ) (mod ). Si on pose = (~u1 ,~v)
on a donc rsoudre 2 = dans R/Z, soit encore, dans R, 2 = + k avec k Z. On
voit quil y a deux solutions : = /2 et = /2 + /2.

3.5.2. . Prouvez les autres assertions.
3.5.3. . Montrez quun point m est sur lune des bissectrices de D1 et D2 si et seulement
si il est quidistant de D1 et D2 .
3.5.4. Proposition. Soit abc un triangle et soient 1 , 2 les bissectrices du couple de droites
(ab, ac).
(1) Une seule des deux droites i (disons 1 ) coupe le segment [bc] (en un point a0 ). On
lappelle bissectrice intrieure de langle ab du triangle. Cest laxe de la rflexion


changeant les demi-droites [ab) et [ac). On a (ab, aa0 ) = (aa0 ,
ac) et donc, a fortiori,
0
0
d
d
baa = caa . La droite 2 est la bissectrice extrieure.
(2) Le point a0 est le barycentre de (b, ac) et (c, ab).
(3) Les trois bissectrices intrieures du triangle sont concourantes en un point . Ce
point est le centre du cercle inscrit dans le triangle abc (i.e. un cercle contenu dans le
triangle et tangent aux cts). Il est barycentre de (a, bc), (b, ca), (c, ab).
(4) La bissectrice intrieure de ab et les bissectrices extrieures de b
b et cb sont concourantes en un point a . Ce point est centre du cercle exinscrit au triangle dans langle
ab, i.e. un cercle tangent aux trois cts du triangle, inclus dans le secteur saillant
limit par [ab) et [ac) et ne rencontrant pas les autres secteurs saillants limits par les
cts.
3.5.5. . Voici des indications pour prouvez cette proposition.
Dans le triangle abc, on note a (resp. 0a ) la bissectrice intrieure issue de a (resp. lautre
bissectrice ou bissectrice extrieure) et a lune de ces deux droites et de mme en b et c.
(1) Soient ~u (resp. ~v) le vecteur directeur unitaire de la demi-droite [ab) (resp. [ac)).
Donner les quations de a et 0a dans le repre (a;~u,~v). En dduire les coordonnes
barycentriques de a0 .
(2) Quelle est limage de (ac) par b a ? En dduire que a et b sont scantes.
On note (resp. a , b , c ) le point dintersection de a et b (resp. 0b et 0c , 0c
et 0a , 0a et 0b ).
(3) On note (, , ) les coordonnes barycentriques dans (a, b, c) dun point m du plan
quon supposera distinct des sommets du triangle. Montrer que :
55

(a) si m a , alors et sont de mme signe.


(b) si m 0a , alors et sont de signes contraires.
(4) Montrer que chacun des points , a , b et c appartient une troisime bissectrice
que lon prcisera.
(5) Prciser dans quelle partie du plan se trouvent ces points.
On montrera en particulier que a, , a0 et a sont dans cet ordre sur une mme
demi-droite issue de a.

3.5.6. . Proprit du centre du cercle inscrit. Dans le triangle abc on note le centre du
cercle inscrit dans le triangle et a0 , b0 et c0 les points dintersection (distincts de a, b, c) des
bissectrices intrieures issues respectivement de a, b et c avec le cercle circonscrit au triangle
abc. Montrer que est lorthocentre du triangle a0 b0 c0 (on montrera que a est le symtrique
orthogonal de par rapport la droite (b0 c0 )).
3.5.7. . Dans le triangle abc, on considre trois bissectrices concourantes a , b et c et
lapplication g = a b c . Quelle est la nature de g ? Dterminer un point fixe et une
droite stable par g. En dduire les lments caractristiques de g et les construire.
4. U TILISATION DES NOMBRES COMPLEXES

Lisomorphisme entre le groupe des rotations du plan et le groupe des


nombres complexes de module 1 va permettre de traiter nombre de problmes

de gomtrie plane par le calcul en utilisant la structure de corps de C (et
notamment la multiplication).
4.1. La structure de plan affine euclidien sur C.
Le corps des nombres complexes C est un espace vectoriel de dimension 2 sur R. Cest
donc aussi, canoniquement, un espace affine rel, cf. [GA] I 1.5. Par ailleurs, il y a un unique
produit scalaire sur le R-espace vectoriel C qui est tel que (1, i) soit une base orthonorme
(il est donn par (x1 + iy1 | x2 + iy2 ) = x1 x2 + y1 y2 )).
Dans tout ce qui suit on munira C de cette structure de plan affine euclidien et du repre
orthonorm (0, 1, i) que lon dcrtera direct. Les nombres complexes sont donc des points

de ce plan affine et, si a, b sont dans C on peut parler de leur distance, du vecteur ab ; on peut
aussi parler de triangles, de parallles, etc.
4.2. Gomtrie et calcul dans C.
4.2.1. . Montrez les formules suivantes :
1) La distance des points a, b C est |b a|, (ici, il faut absolument proscrire lcriture de
la distance sous la forme ab, cause de la confusion avec le produit ab des complexes).


2) Le produit scalaire des vecteurs 0a et 0b est Re (a.b).


3) Pour trois points a, b, c le produit scalaire (ab |
ac) vaut Re((b a)(c a)).
56

4.2.2. Proposition : Expression des isomtries et des similitudes de C.


1) Les translations de C sont les applications dfinies par (z) = z + b, avec b C. Les
rotations sont les applications dfinies par f (z) = az + b avec a U (i.e. a = ei ), a 6= 1. Le
centre de la rotation est le point daffixe b/(1 a).
2) Les isomtries indirectes sont les applications de la forme f (z) = az + b avec a U et
b C.
3) Les similitudes directes sont les applications de la forme f (z) = az + b avec a C et
b C.
4) Les similitudes indirectes sont les applications de la forme f (z) = az + b avec a C
et b C.
4.2.3. . Prouvez cette proposition.
4.2.4. . On donne une rotation par son centre C et par limage dun point : b = (a),
b
.
a 6= . Montrez que langle de est largument de
a
4.2.5. . Soient a, b (resp. a0 , b0 ) deux points distincts de E. Montrer quil existe une unique
similitude directe s telle que lon ait s(a) = a0 et s(b) = b0 , cf. aussi IV 3.5. Mme assertion
avec s indirecte.
4.2.6. . Application. Soit abc un triangle de C, le milieu de [bc] et soient b0 et c0 des
points tels que les triangles ab0 c et ac0 b soient rectangles isocles en b0 et c0 et extrieurs
au triangle abc. Montrez par le calcul (sans supposer quoi que ce soit sur ) que le triangle
c0 b0 est rectangle isocle. On suppose = 0. Constatez que le calcul est notablement plus
simple.
4.3. Utilisation des nombres complexes.
Soit E un plan affine euclidien et supposons que lon ait rsoudre dans E un problme
(P) de gomtrie affine euclidienne, cest--dire un problme dont hypothses et conclusions sexpriment en termes dalignement, concours, paralllisme, distance, produit scalaire,
angle, orthogonalit, etc. On choisit un repre orthonorm R = (o, a, b) de E. Il existe alors
un unique isomorphisme despaces affines euclidiens : E C (cest--dire une application
affine bijective qui est une isomtrie) qui envoie o, a, b sur 0, 1, i. Bien entendu, cet isomorphisme dpend du choix du repre (o, a, b).
Comme le problme (P) sexprime en termes affines euclidiens, il suffit de traiter le problme obtenu dans C en transportant par le problme (P), lavantage dtre dans C tant
quon dispose de la structure de corps donc dun moyen de calculer.
Par exemple, reprenons le problme vu ci-dessus en 4.2.6, que nous supposons cette fois
donn dans un plan affine euclidien quelconque. Pour rsoudre ce problme, on choisit un
isomorphisme de E sur C. Si lon est astucieux on choisit lorigine de E en de sorte que
lon a () = 0. On pose (a) = za , (b) = zb , (c) = zc , (b0 ) = zb0 , (c0 ) = zc0 . Ce choix
de correspond au choix sur E dune coordonne complexe appele affixe (za est donc
laffixe de a)31. Comme est une isomtrie, les hypothses faites sur les points de E se
transportent C. Par exemple za zb0 zc est un triangle rectangle isocle en zb0 . On peut alors
utiliser le rsultat tabli en 4.2.6 qui indique que zc0 0zb0 est rectangle isocle. En appliquant
lisomorphisme rciproque 1 , on en dduit que c0 b0 est rectangle isocle.
31Quand on note les points avec des lettres majuscules A, B, (ce qui est le cas dans lenseignement du

second degr et dans les problmes de CAPES), on note en gnral les affixes avec les minuscules associes
a, b,
57

En fait, il est inutile dexpliciter lisomorphisme (et on peut donc spargner de faire
les calculs avec les notations za , etc. inutilement lourdes). Il suffit de dire : quitte choisir
un isomorphisme de E sur C qui envoie sur 0, on peut supposer que les points a, b, c,
sont dans C et que 0 est le milieu de [bc] et on peut alors appliquer directement 4.2.6. Cette
mthode vaut aussi quand on travaille directement dans C. Elle permet alors de un repre
adapt au problme.
Il est essentiel de comprendre que laffixe dun point a de E dpend fondamentalement
du choix dun repre orthonorm. Cependant, comme on passe dun repre orthonorm un
autre par une isomtrie et que cette transformation prserve les structures euclidiennes, ce
choix ninflue pas, en dfinitive, sur les rsultats.
4.4. Triangles quilatraux. On pose j = e2i/3 . On rappelle que j est une racine cubique de lunit et quon a 1 + j + j2 = 0.
4.4.1. Soient , , trois nombres complexes vrifiant + + = 0. Montrez quon a
|| = || = || si et seulement si on a = j ou = j2 et qualors on a aussi = j2 ou
= j, respectivement. (On traitera dabord le cas = 1.)
a+b+c
4.4.2. Soient a, b, c trois points de C, g =
leur isobarycentre. Montrez que les
3
proprits suivantes sont quivalentes :
i) |b c| = |c a| = |a b| (le triangle abc est quilatral),
ii) c a = j(b c) ou c a = j2 (b c). Interprtez cette relation en termes de rotation
(on lcrira, par exemple, a c = j(b c)).
iii) a + b j + c j2 = 0 ou a + b j2 + c j = 0
iv) b g = j(a g) ou b g = j2 (a g). Interprtez cette relation en termes de rotation.
v) |g a| = |g b| = |g c| (g est aussi le centre du cercle circonscrit au triangle).
vi) il existe une similitude directe qui envoie le triangle type 1, j, j2 ou le triangle 1, j2 , j
sur a, b, c.
4.4.3.

Soient a, b, c trois points de C, g =

a+b+c
leur isobarycentre. On considre le
3

polynme P(z) = (z a)(z b)(z c).


a) On pose Z = z g et Q(Z) = P(Z + g). Montrez que Q na pas de terme de degr 2 (on
pourra soit utiliser les fonctions symtriques des racines, soit calculer P00 (g)).
P0 ()
b) Soit le centre du cercle circonscrit au triangle abc. Exprimez
en fonction de
P()
, g et du rayon du cercle circonscrit. Montrez que le triangle est quilatral si et seulement
si Q na pas de terme de degr 1, donc est de la forme : Q(Z) = Z 3 k. Prcisez k.
c) Retrouvez le rsultat prcdent en notant que les sommets dun triangle quilatral de
centre 0 sont de la forme a, ja, j2 a.
4.5. Similitudes affines.
4.5.1. . Similitudes affines directes.
Si a et b sont des nombres complexes avec a 6= 0, on note fa,b la similitude directe de C
qui z associe az + b.
Montrez que, si a est diffrent de 1, fa,b a un unique point fixe c que lon prcisera.
Montrez que fa,b est la similitude directe de centre c, de rapport |a| et dangle Arg a :
fa,b = h(c, |a|) (c, Arg a) = (c, Arg a) h(c, |a|).
Examinez le cas o a est rel.
58

4.5.2. . Similitudes affines indirectes.


Si a et b sont des nombres complexes avec a 6= 0, on note a,b la similitude indirecte de C
qui z associe az + b.
(1) Montrez que si c est un point fixe de a,b , cest aussi un point fixe de a,b a,b , mais
que la rciproque est fausse. Montrez lquivalence :
a,b a,b (c) = c (1 |a|2 )c = ab + b.
(2) On suppose |a| = 1 et ab + b = 0.
(a) Montrez que a,b une symtrie affine orthogonale. Soit D son axe.
(b) Montrez que le point 2b , est fixe pour . (Dmontrez-le sans calcul puis par le
calcul).
(c) Montrez que la direction de D est la droite dargument = (Arg a)/2 (modulo
).
(3) On suppose |a| = 1 et ab + b 6= 0.
(a) Montrez que a,b est une symtrie glisse. On crit la dcomposition canonique
de a,b sous la forme a,b = t~u a,b0 .

bab
0
(b) Montrez quon a ~u = ab+b
2 et b = 2 (utilisez le carr de a,b ). Prcisez la
symtrie a,b0 .
(4) On suppose |a| 6= 1. Montrez que a,b est une similitude qui nest pas une isomtrie
et quelle admet un unique point fixe que lon calculera. Prcisez lcriture de a,b
comme compose dune homothtie et dune symtrie qui commutent.

4.6. Cercles et similitudes.


4.6.1. . Dcrivez le transform dun cercle par une similitude.
4.6.2. . Soient deux cercles C1 et C2 . Trouvez le lieu des centres des similitudes directes
qui transforment C1 en C2 et construisez-le. (Etudiez la position du centre de la similitude
par rapport aux centres des cercles quand ils sont distincts et utilisez les rsultats de III 5.5.4
ou III 6.)
4.6.3. . Soient C1 et C2 deux cercles scants en deux points (distincts) p et q. Soit s la
similitude directe de centre p qui transforme C1 en C2 . Dmontrez que, pour tout point m de
C1 , les points m, s(m) et q sont aligns. Donnez une construction des points s(q) et s1 (q).
4.6.4. . Soit s une similitude directe, a et b deux points distincts du plan et a0 et b0 leurs
images par s. En utilisant 4.6.3, construire le centre de s. Discuter.
5. C AS D ISOMTRIE DES TRIANGLES


















Nous nonons maintenant les trois cas disomtrie des triangles. Ces noncs sont trs importants. Dabord, historiquement, ils constituent le fondement de la gomtrie dEuclide, telle quon lenseignait encore au collge au
dbut des annes 1960 ( lpoque les transformations ntaient pas enseignes dans les classes et ces thormes taient, en fait, des axiomes, avec une
justification exprimentale, proche de celle dEuclide, cf. ci-aprs Annexe 1
pour une discussion). Ils ont t injustement oublis depuis car ce sont dexcellents outils pour faire de la gomtrie (mais ils ncessitent absolument de
faire des dessins). Ils viennent dailleurs de faire leur rapparition dans les
programmes de seconde, voir [R], [B], [DPR], [P2].
59

Notons que lappellation traditionnelle de ces noncs est cas dgalit. Ce mot prtant
confusion nous dirons plutt cas disomtrie dans ce qui suit. On parle aussi parfois de
congruence.
Le champ dapplication des cas disomtrie est essentiellement la gomtrie plane, mais
ils sont valables dans un espace affine euclidien quelconque.
tant donns deux triangles abc et a0 b0 c0 , il sagit de dire quelles conditions, portant
sur longueurs et angles, il existe une isomtrie f telle que f (a) = a0 , f (b) = b0 , f (c) =
c0 . Cest donc, une fois encore, une question de transitivit, cf. I 7. Il y a six conditions
videmment ncessaires (les galits des longueurs des cts et des angles). Les trois noncs
ci-dessous montrent que trois de ces conditions, convenablement choisies, sont suffisantes.
Tous reposent sur lassertion suivante qui est un cas particulier de I 7.1.1 :
5.1. Lemme fondamental. Soient (~x,~y) et (~x0 ,~y0 ) deux couples de vecteurs de ~E. Il existe
une isomtrie vectorielle ~f telle que ~f (~x) = ~x0 et ~f (~y) = ~y0 si et seulement on a les trois
galits k~xk = k~x0 k, k~yk = k~y0 k et (~x |~y) = (~x0 |~y0 ).
5.2. Thorme : Premier cas disomtrie. On suppose que les triangles abc et a0 b0 c0 ont
deux cts gaux (i.e. de mme longueur) et les angles (non orients) compris entre ces
0 a0 c0 ). Alors les triangles sont isocts gaux (par exemple, ab = a0 b0 , ac = a0 c0 et d
bac = b\
mtriques (prcisment, dans lexemple, il existe une isomtrie f telle que lon ait f (a) = a0 ,
f (b) = b0 , f (c) = c0 ).

Dmonstration. On commence par envoyer a sur a0 par la translation de vecteur aa0 . On


est ainsi ramen au cas o a = a0 , donc au cas vectoriel et il reste trouver une isomtrie

vectorielle qui envoie ab et


ac sur a0 b0 et a0 c0 respectivement. Cest exactement le lemme
ci-dessus, en tenant compte de la formule usuelle donnant le produit scalaire en fonction de
langle non orient, cf. I 8.2.3.

5.2.1. . Donnez un exemple montrant que le rsultat nest pas correct si lon oublie lhypothse que langle est compris entre les cts.
5.2.2. . Donnez une autre dmonstration de ce rsultat en procdant de proche en proche :
on envoie a sur a0 par translation, puis le plan (abc) sur (a0 b0 c0 ), puis b sur b0 par rotation,
etc.
5.2.3. Remarque. Ce thorme (comme les suivants) est intuitivement clair : il signifie que,
sous les hypothses faites, les deux triangles sont superposables et cest ainsi quon le
justifiait autrefois dans Euclide et au collge.
5.3. Thorme : Deuxime cas disomtrie. On suppose que les triangles abc et a0 b0 c0 ont
0 a0 c0 ;
0 b0 c0 et = d
deux angles et un ct gaux (par exemple, ab = a0 b0 , = d
abc = a\
bac = b\
0
comme la somme des angles dun triangle vaut les angles en c et c sont gaux eux aussi).
Alors les triangles sont isomtriques (prcisment, dans lexemple, il existe une isomtrie f
telle que lon ait f (a) = a0 , f (b) = b0 , f (c) = c0 ).
Dmonstration. On se ramne au premier cas. Il suffit de montrer pour cela que ac est dtermin par ab et par les angles , , . Cela rsulte de la formule ac sin = ab sin , cf.
2.3.4.

5.3.1. . Donnez une dmonstration de proche en proche.
60

5.4. Thorme : Troisime cas disomtrie. On suppose que les triangles abc et a0 b0 c0 ont
leurs trois cts gaux (ab = a0 b0 , bc = b0 c0 , ca = c0 a0 ). Alors les triangles sont isomtriques
(prcisment, dans lexemple, il existe une isomtrie f telle que lon ait f (a) = a0 , f (b) = b0 ,
f (c) = c0 ).
Dmonstration. On se ramne au premier cas en utilisant la formule dAl-Kashi.

5.4.1. . Gnralisation de 5.4.


Soient E un espace affine euclidien de dimension n quelconque.
1) Montrer quun point de E est dtermin par ses distances aux n + 1 points dun repre
affine.
2) Soit X une partie de E et soit f : X E une application qui vrifie :
a, b X

d( f (a), f (b)) = d(a, b).

Montrez que f est la restriction dune isomtrie de E uniquement dtermine sur le sousespace affine engendr par X.
5.5. Thorme : cas disomtrie des triangles rectangles. On suppose que les triangles
abc et a0 b0 c0 sont rectangles en a et a0 et ont deux cts gaux (mais pas ncessairement les
cts de langle droit, par exemple, ab = a0 b0 , bc = b0 c0 ). Alors les triangles sont isomtriques
(prcisment, dans lexemple, il existe une isomtrie f telle que lon ait f (a) = a0 , f (b) = b0 ,
f (c) = c0 ).
. Dmontrez ce thorme.
5.5.1. Remarque. En utilisant les angles orients, on peut donner des cas disomtrie des
triangles qui permettent de conclure lexistence dun dplacement envoyant un triangle sur
un autre. En pratique, ces rsultats sont peu utiles.
5.6. Applications.


Comme nous lavons dit, lide essentielle qui sous-tend lusage des cas

disomtrie des triangles est encore une fois lide de transitivit, cf. I 7. En

gomtrie affine, on sait quon peut envoyer un triangle sur nimporte quel

autre et cela peut tre trs utile (cf. [DPR] 8).

En revanche, le groupe des isomtries, lui, nest pas transitif sur lensemble

des triangles. Dans cette situation, nous avons vu que lobjectif est de dcrire

ses orbites, cest--dire de donner un critre commode pour savoir si deux

triangles peuvent ou non tre transports lun sur lautre.
















Cest ce que font les cas disomtrie qui dcrivent exactement les orbites
du groupe des isomtries sur lensemble des triangles en donnant des critres
commodes qui permettent daffirmer lexistence dune isomtrie changeant
deux triangles sans tre oblig dexhiber celle-ci.
Nous allons donner des exemples dapplication de ces outils. Le principe
est toujours le mme : on montre, laide des cas disomtrie, que des triangles sont isomtriques en montrant quils ont trois lments (angles ou cts, convenablement choisis) gaux et on en dduit lgalit des autres lments.
61

5.6.1. . Soit abc un triangle isocle de base [bc]. La mdiatrice de [ac] coupe (bc) en d
que lon suppose extrieur [bc]. On trace (ad) et on porte une longueur ae = bd sur (ad),
de lautre ct de a par rapport d. Montrez que cde est isocle.
Indication : montrez que les triangles adb et cea sont isomtriques.
5.6.2. . Soit abcd un paralllogramme. On construit, lextrieur de abcd les triangles
quilatraux ad p et abq. Montrez que pqc est quilatral.
Indication : Montrez que les triangles bqc et dcp sont isomtriques puis montrez que
langle en c de pqc vaut /3 ou montrez que le triangle aqp est isomtrique lun quelconque
des prcdents. (Attention, on montrera quil y a deux cas de figure et deux seulement.)
Rsolvez cet exercice en utilisant des rotations ou les nombres complexes.
5.6.3. . Soit abc un triangle. On suppose que les hauteurs bb0 et cc0 sont gales. Montrez
que abc est isocle.
Indication : montrez que les triangles ac0 c et ab0 b (ou encore les triangles rectangles bc0 c
et cb0 b) sont isomtriques.
5.6.4. . Soit abcd un ttradre rgulier (cest--dire quatre points de lespace affine euclidien E de dimension 3 qui vrifient ab = ac = ad = bc = bd = cd). Montrez que ces points
forment un repre affine de E. On considre le projet orthogonal h de a sur le plan (bcd).
Montrez que h est le centre du triangle quilatral bcd (on montrera que les triangles abh,
ach, adh sont isomtriques).
En dduire quil existe des ttradres rguliers et que deux ttradres rguliers de mme
longueur darte sont isomtriques.
6. C AS DE SIMILITUDE DES TRIANGLES

La problmatique est exactement la mme que pour les cas disomtrie :


lexercice 4.2.5 montre qutant donns deux couples de points on peut tou
jours envoyer lun sur lautre par une similitude et il sagit maintenant davoir
un critre de transitivit sur les triangles.
6.1. Premier cas de similitude. On suppose que les triangles abc et a0 b0 c0 ont deux angles
(non orients) gaux (par exemple ab = ab0 et b
b = bb0 ). Alors ces triangles sont semblables.32
Prcisment, dans lexemple, il existe une similitude s telle que lon ait s(a) = a0 , s(b) = b0 ,
s(c) = c0 .
6.1.1. . Dmontrez ce thorme.
6.2. Deuxime cas de similitude. Soient abc et a0 b0 c0 deux triangles. On suppose quon
a0 b0
a lgalit dangles ab = ab0 et lgalit de rapports des cts entourant cet angle :
=
ab
a0 c0
. Alors les triangles sont semblables. Prcisment, dans lexemple, il existe une similiac
tude s telle que lon ait s(a) = a0 , s(b) = b0 , s(c) = c0 .
6.2.1. . Prouvez ce rsultat.
32Les actuels programmes de seconde, rompant avec une tradition de plusieurs sicles, disent de mme

forme au lieu de semblables.


62

6.3. Troisime cas de similitude. Soient abc et a0 b0 c0 deux triangles. On suppose quon a
b0 c0
c0 a0
a0 b0
. Alors les triangles sont semblables.
lgalit des rapports des cts :
=
=
bc
ca
ab
Prcisment, dans lexemple, il existe une similitude s telle que lon ait s(a) = a0 , s(b) = b0 ,
s(c) = c0 .
6.3.1. . tablissez cette assertion.
6.4. Applications. Le principe des applications est le mme que pour les cas disomtrie :
on utilise les cas de similitude pour conclure lexistence dune similitude changeant les
triangles et on en dduit de nouvelles galits dangles ou de rapports de longueurs. On
renvoie le lecteur [DPR] pour une discussion autour des cas disomtrie et de similitude et
de leur intrt par rapport lusage des transformations, notamment au collge.
6.4.1. . Le thorme de Thals suisse. Soit abc un triangle rectangle en a et ah la hauteur issue de a. Montrez lgalit ah2 = bh ch. (On montrera que les triangles abh et cah
sont semblables.) Donnez dautres preuves de ce rsultat en utilisant les transformations, le
produit scalaire ou la trigonomtrie. Montrez de mme quon a ba2 = bh bc. (cf. 2.3.3)
6.4.2. . Puissance. Soit un cercle de centre o et de rayon R et a un point non situ sur
. Deux droites et 0 passant par a coupent respectivement en b, c et b0 , c0 . Montrez


quon a (ab |
ac) = (ab0 | ac0 ). (On montrera que les triangles abc0 et ab0 c sont semblables.)
On retrouve le rsultat concernant la puissance de a par rapport , cf. III 5.3.
6.4.3. . Soit abc un triangle isocle en a. Une droite passant par a coupe le ct [bc] en d
et le cercle circonscrit C
en e.

1) Montrez quon a (ad |


ae) = ab2 . (On montrera que les triangles abd et aeb sont semblables. Question subsidiaire : prcisez cette similitude, centre rapport et axe.)
2) Quel est le lieu du centre du cercle circonscrit au triangle bde quand la droite (ad)
varie ? (On considrera la puissance du point a par rapport ce cercle et on pourra tudier la
position du projet orthogonal de sur (bc) quand d varie sur le segment [bc].)
7. P OLYGONES


Nous donnons ici, titre dapplication, quelques brves indications sur les

polygones, et notamment les polygones rguliers.
7.1. Lignes polygonales.
7.1.1. Dfinition. Soit n un entier 2 et soient a1 , a2 , , an n points de E tels que ai 6= ai+1
pour i = 1, , n 1 et an 6= a1 . On appelle ligne polygonale ferme abstraite une telle
suite L = (a1 , a2 , , an ). La suite des n segments [a1 a2 ], [a2 , a3 ], , [an1 an ], [an a1 ] est la
ligne polygonale ferme associe. Ces segments sont les cts de L et les points ai sont ses
sommets.
Pour viter des distinctions fastidieuses entre les segments de la forme [ai ai+1 ] (avec 1
i n 1) et le segment [an a1 ], nous utiliserons la convention suivante : nous noterons ai
(pour i Z) lunique point a j avec j {1, 2, , n} et j i (mod n). Par exemple, an+1
nest autre que a1 et a0 est un autre nom pour an . Avec cette convention, on appelle cts
conscutifs de L les cts [ai1 ai ] et [ai ai+1 ] pour i Z.
Quelques petits dessins suffiront convaincre le lecteur que les lignes polygonales peuvent
tre extrmement compliques. Par exemple, on peut avoir a p = aq pour p 6 q (mod n)
63

(une boucle), voire a p = a p+2 (un aller et retour). Nous tudierons uniquement ici celles
qui donnent des polygones convexes. Nous admettrons le rsultat suivant sur les polygones
convexes :
7.2. Polygones convexes.
7.2.1. Proposition-dfinition. Soit L = (a1 , , an ) une ligne polygonale ferme avec n
3. On suppose que la condition suivante (de convexit) est ralise :
(C) pour chaque i = 1, , n tous les sommets autres que ai et ai+1 sont dans un
mme demi-plan ouvert Pi limit par (ai ai+1 ).
On a les proprits suivantes :
(1) Les sommets de L sont distincts, les cts de L ne se coupent que sils sont conscutifs dans L et leur intersection est alors rduite au sommet commun.
(2) Les deux ensembles suivants sont gaux :
lintersection des demi-plans ferms Pi ,
lenveloppe convexe des points ai .
Lensemble P ainsi dfini est appel polygone convexe.
(3) La frontire de P est la runion des cts de L .
7.2.2. . Prouvez lassertion 1.
7.2.3. . Montrez que si m est un point intrieur un polygone convexe P et D une demidroite issue de m, D coupe la frontire en un unique point. (cf. [GA] III 3).
7.2.4. . Montrez que a est un sommet de L si et seulement si a est un point extrmal de P
(i.e. a P et a nest pas barycentre de deux points x, y P distincts de a, ou encore, P {a}
est encore convexe).
7.2.5. . Montrez que les cts de L sont exactement les segments joignant deux sommets
et contenus dans la frontire de P . Montrez que les cts sont les segments [ab] contenus
dans P tels que P [ab] est encore convexe et P (ab) = [ab].
Les deux remarques ci-dessus montrent que les sommets et les cts de L sont intrinsquement lis P . On peut donc poser la dfinition suivante :
7.2.6. Dfinition. Les sommets et les cts de P sont, par dfinition, ceux de L .
7.2.7. . Soient a, b, c trois points non aligns.
1) Vrifiez que lenveloppe convexe Conv (a, b, c) est lintersection des demi-plans ferms
Pa Pb Pc dfinis comme en 7.2.1. Le polygone convexe ainsi obtenu est le triangle abc.

2) Soit d un point tel que lon ait ab = dc. Montrez que la ligne polygonale (a, b, c, d)
dfinit un polygone convexe (le paralllogramme abcd). Vrifiez la proposition 7.2.1 dans
ce cas.
7.3. Angles dun polygone convexe.
7.3.1. Dfinition. Soit P un polygone convexe, a1 , , an ses sommets. Les angles de P
\
sont les angles (non orients) ai1
ai ai+1 pour i = 1, , n.
7.3.2. Proposition. Soit P un polygone convexe n cts. La somme des angles de P est
gale (n 2).
Dmonstration. On va commencer par montrer le lemme suivant :
64

7.3.3. Lemme. Soit P un polygone convexe et o un point intrieur. Alors on a :


n

oai+1 = 2.
ai\

i=1

Dmonstration. Rappelons, cf. 2.1.2, que les secteurs saillants [ai oai+1 ] sont des cnes de
sommet o et que leur angle est exactement ai\
oai+1 . Comme ces secteurs sont runions des
demi-droites [op) pour p [ai ai+1 ], il rsulte de 7.2.3 que leur runion est le secteur (rentrant) gal au plan tout entier. Le mme argument montre que deux secteurs saillants distincts [ai oai+1 ] et [a j oa j+1 ] se coupent si et seulement si les segments [ai ai+1 ] et [a j a j+1 ] se
coupent ce qui ne se produit que si on a i = j + 1 ou j = i + 1, et dans ce cas lintersection
est lune des demi-droites [oai ) ou [oai+1 ). On peut donc appliquer 2.2.4 et on a le rsultat.
7.3.4. Dmonstration de la proposition. On choisit un point o intrieur P . On a alors pour
\
\
chaque i : ai1
ai ai+1 = ai1
ai o+ oa\
i ai+1 . (Cela vient de 2.2.4 et du fait que le secteur saillant
limit par les demi-droites [ai ai1 ) et [ai ai+1 ) est lintersection Pi1 Pi , donc contient P
et o dans son intrieur). La somme des angles des n triangles oai ai+1 , qui vaut n, est donc
gale la somme des angles du polygone, plus la somme des angles en o : ai\
oai+1 . Comme
celle-ci vaut 2 par le lemme, on a le rsultat.

7.3.5. Remarque. On peut montrer que cette proprit est encore vraie pour un polygone
concave (non crois).
7.4. Dfinition. Soit P un polygone convexe. Lensemble des isomtries f Is (E) qui vrifient f (P ) = P est un sous-groupe de Is (E) que lon note Is (P ).
7.4.1. . Montrez que si f est une isomtrie de Is (P ), f permute les sommets de P et ses
cts (utilisez 7.2.4). Montrez que Is (P ) est un groupe fini.
7.4.2. . Montrez que les lments de Is (P ) ont un point fixe commun. Montrez que les
lments de Is (P ) sont des rotations ou des symtries axiales.
7.4.3. . Dterminez le groupe des isomtries dun paralllogramme, dun rectangle, dun
losange. (Pour le carr, voir 7.6.1).
7.5. Polygones convexes rguliers.
7.5.1. Proposition-dfinition. Soit P un polygone convexe, a1 , , an ses sommets. Les
conditions suivantes sont quivalentes :
(1) Tous les cts de P ont mme longueur et tous ses angles sont gaux.
(2) Tous les cts de P ont mme longueur et tous ses sommets sont situs sur un cercle.
(3) Il existe une rotation Is (P ), dangle 2/n, qui vrifie (ai ) = ai+1 pour tout
i Z.
On dit que P est rgulier sil vrifie lune de ces proprits. Le cercle contenant les sommets
de P est appel cercle circonscrit P et son centre o est appel 33 centre de P .
33Si n est impair o est encore lisobarycentre des sommets de

7.6.1.
65

P , mais nest plus centre de symtrie, cf.

Dmonstration. Le fait que (3) implique (1) est clair car une rotation conserve les longueurs
et les angles. Montrons (1) = (2). Il suffit de montrer que quatre sommets conscutifs
ai1 , ai , ai+1 et ai+2 sont cocycliques. Considrons les bissectrices intrieures des angles
en ai et ai+1 du polygone. Elles sont scantes ( prouvez-le !). Soit o leur point commun.
Comme les angles en ai et ai+1 sont gaux, le triangle oai ai+1 est isocle en o et on a donc
oai = oai+1 . Il suffit de montrer quon a aussi oai = oai1 et oai+2 = oai+1 . Pour cela on
considre les triangles oai ai1 et oai ai+1 . Ils ont en commun le ct oai , les cts ai1 ai et
ai ai+1 sont gaux par hypothse, enfin, les angles en ai de ces triangles sont gaux puisque
(oai ) est bissectrice de langle du polygone. On en dduit que les triangles sont isomtriques
(premier cas disomtrie) et on a aussi oai = oai1 . Lautre galit se montre de la mme
faon.
Montrons enfin (2) = (3). Soit o le centre du cercle circonscrit P . On considre les
triangles oai ai+1 . Ils sont tous isomtriques (par le troisime cas disomtrie). Leurs angles
(non orients) en o sont donc tous gaux et, en vertu de 7.3.3, ils valent tous 2/n. Quitte
,

changer lorientation du plan on peut supposer quon a (


oa
1 oa2 ) = +2/n. Montrons alors

que lon a aussi (oa2 , oa3 ) = +2/n. Sinon, on aurait (oa2 , oa3 ) = 2/n, do (
oa
1 oa3 ) =
0 et cela contredirait le fait que la demi-droite [oa1 ) ne coupe L quen a1 . On montre de
,

mme quon a (
oa
i oai+1 ) = +2/n pour tout i. Mais alors, la rotation de centre o et
dangle 2/n convient.

7.5.2. Remarque. De mme, on peut montrer directement limplication (2) = (1) laide
des cas disomtrie, mais on peut aussi prouver toutes les implications en utilisant des symtries axiales.
7.5.3. . Montrez quun polygone qui a un nombre impair de cts, dont les angles sont
gaux et dont les sommets sont sur un cercle est rgulier. Montrez que lassertion analogue est fausse dans le cas dun nombre pair de cts (regardez dabord le cas n = 4, puis
construire un contre-exemple pour nimporte quel nombre pair 2p 6 de cts en coupant
astucieusement les sommets dun polygone rgulier p cts).
7.5.4. . Montrez que deux polygones rguliers n cts sont semblables.
7.5.5. Exemple type. Si on se place dans le plan complexe, lenveloppe convexe des racines
n-mes de lunit e2ik/n pour k = 0, 1, , n 1 est un polygone rgulier.
7.6. Groupe didral Dn .
7.6.1. Proposition. Lensemble des isomtries qui conservent un polygone rgulier n cts P est un groupe, appel groupe didral Dn . Il contient 2n lments : les n rotations de
2k
centre o et dangles
pour k = 0, 1, , n 1 et n symtries axiales :
n
Si n est pair, n = 2p, le point o est centre de symtrie. La mdiatrice du ct [ai ai+1 ]
est aussi mdiatrice du ct [ai+p ai+p+1 ]. La droite (oai ), bissectrice de langle abi est aussi
bissectrice de ad
i+p . Les axes de symtries sont les p mdiatrices et les p bissectrices.
Si n est impair, n = 2p + 1, le point o nest pas centre de symtrie, la mdiatrice du ct
[ai ai+1 ] est aussi bissectrice de langle ad
ip . Les n axes de symtries sont les n mdiatricesbissectrices.
7.6.2. . Prouvez cette proposition.
66

7.7. Pentagone et dcagone rguliers. Dans le plan complexe, on considre le cercle unit
C et le pentagone rgulier standard", dont les sommets sont les racines cinquimes de lunit
A = 1, B = = e2i/5 C = 2 D = 3 = 2 E = 4 = 1 =
On note A0 le point daffixe 1 et P celui daffixe i.
7.7.1.

On pose = + 1 et = 2 + 2 .

(1) Montrer que , 2 , 2 et 1 sont les racines du polynme X 4 + X 3 + X 2 + X + 1.


(2) Montrer que et sont les racines du polynme X 2 + X 1. En dduire les galits
suivantes : 2 + = 2 et 2 + = 2 .
4
(3) Calculer les valeurs de cos 2
5 et cos 5 .

7.7.2. Constructions du pentagone rgulier.


i
1
passant par le point B0 daffixe .
4
2
Montrer que coupe laxe des rels aux points /2 et /2.
(On peut dterminer une quation de et faire le calcul, mais il est plus astucieux
dutiliser la somme et le produit des racines de lquation X 2 + X 1 et la puissance
de lorigine par rapport .)
Donner une construction du pentagone rgulier la rgle et au compas.

(1) On trace le cercle 0 de centre 0 daffixe

(2) Donner une construction analogue la prcdente mais utilisant le cercle de centre
= 12 et passant par le point P. On notera Q le point dintersection de avec la
demi-droite [OA) (quelle est son abscisse ?).
(3) Montrer que B et E sont les points dintersection de C et du cercle 000 de centre A0
passant par Q. En dduire une autre construction du pentagone rgulier.
(4) Montrer que PQ gale AB. En dduire une autre construction du pentagone rgulier.
7.7.3. Dcagone rgulier convexe.
(1) Vrifier que les points daffixe 1, 2 ,, 1 , 2 , 1, 3 , , 4 , 2 sont les
sommets dun dcagone rgulier convexe. On notera T le point daffixe 2 .
(2) Montrer que OQ est la longueur du ct du dcagone rgulier.
(3) On considre le cercle 00 de centre passant par 0. On note R et S les points dintersection de la droite (P) avec 00 tels que PR soit infrieur PS. Montrer que PR
est la longueur du ct du dcagone rgulier.
(4) Proposer des constructions du dcagone rgulier et dautres constructions du pentagone rgulier.
7.7.4. Dcagone rgulier toil.
(1) Montrer que PS est la longueur du ct du dcagone toil et le construire.
(2) Proposer alors une autre construction du pentagone rgulier.
7.7.5.

Comparer toutes ces constructions du pentagone rgulier.

7.7.6. Proposer une solution des questions 7.7.2 (3) et 7.7.3 (2) laide des cas disomtrie
des triangles.

67

Partie VI. GOMTRIE EUCLIDIENNE EN DIMENSION 3

1. L ES ISOMTRIES VECTORIELLES
Dans ce paragraphe ~E est un espace vectoriel euclidien de dimension 3 que nous supposerons orient. Nous allons classifier les isomtries vectorielles de ~E en utilisant leurs valeurs
propres et donner la forme matricielle des isomtries dans une base orthonorme convenable.
1.1. Orientation dun plan vectoriel de lespace par un vecteur normal.
1.1.1. Dfinition. Soit ~P un plan vectoriel de ~E et soit ~e1 un vecteur unitaire orthogonal
~P. Lorientation de ~P dfinie par ~e1 est la suivante : si B = (~e2 ,~e3 ) est une base orthonorme
de ~P, on dit que B est directe si la base (~e1 ,~e2 ,~e3 ) est directe.
1.1.2. Remarque. Attention, si lon change ~e1 en ~e1 , lorientation de ~P est renverse.
1.2. Droites propres et plans stables.
Rappelons que, comme on est en dimension 3, tout endomorphisme de ~E admet 1 ou 3
valeurs propres relles (comptes avec leur multiplicit).
1.2.1. Proposition. Soit ~f une isomtrie vectorielle admettant la valeur propre relle , soit
~D une droite propre associe et soit ~P = ~D le plan orthogonal ~D. Alors, on a = 1
et le plan ~P est stable par ~f .
Dmonstration. Le fait que la valeur propre vaut 1 rsulte de I 6.1.3 ; la stabilit du plan
orthogonal vient de la conservation de lorthogonalit et de la stabilit de ~D.

1.3. Les isomtries vectorielles admettant trois valeurs propres relles.
1.3.1. Proposition. Soit ~f une isomtrie vectorielle admettant 3 valeurs propres relles.
Alors, ~f est lidentit ou une symtrie orthogonale.
1.3.2. . Dmonstration. Utilisez la proposition 1.2.1 et raisonnez selon la dimension du
sous-espace propre associ la valeur propre 1.
1.3.3. Dfinition. Soit ~f la symtrie orthogonale par rapport au sous-espace ~V de ~E. Il y a
quatre cas :
si dim~V = 3, ~f est lidentit (isomtrie positive),
si dim~V = 2, ~f est la rflexion34 de plan ~V (isomtrie ngative),
si dim~V = 1, ~f est le demi-tour35 daxe ~V (isomtrie positive),
si dim~V = 0, ~f est la symtrie centrale Id~E (isomtrie ngative).

34On dit aussi "symtrie par rapport au plan ~


V"
35On dit aussi "symtrie par rapport la droite ~
V"
68

1.4. Les isomtries vectorielles admettant une seule valeur propre relle.
1.4.1. Proposition. Soit ~f une isomtrie vectorielle admettant une unique valeur propre
relle , soit ~D la droite propre associe et ~P le plan orthogonal ~D.
(1) La restriction de ~f ~P est une rotation de ~P.
(2) Si on a = 1 (resp. = 1) lisomtrie ~f est positive (resp. ngative).
(3) Si ~e1 est un vecteur unitaire de ~D, il existe un unique rel modulo 2 tel que la
matrice de ~f dans toute base orthonorme directe de premier vecteur ~e1 soit

0
0
A = 0 cos sin .
0 sin cos
Dmonstration. Comme ~f |~P na pas de valeur propre relle, la classification des isomtries
planes montre que cest une rotation. Cela prouve les points 1 et 2. On considre lorientation
de ~P dfinie par ~e1 . Si B = (~e1 ,~e2 ,~e3 ) est une base directe de ~E, (~e2 ,~e3 ) est alors une base
directe de ~P et si est langle de la rotation ~f |~P dans ~P muni de cette orientation, on a bien
la matrice annonce dans B .

1.4.2. Dfinition. Soit ~f une isomtrie vectorielle admettant une matrice du type A de 1.4.1
dans une base orthonorme directe (~e1 ,~e2 ,~e3 ).
(1) Dans le cas = 1 et 6= 0 (mod 2), on dit que ~f est la rotation vectorielle daxe
orient (~D,~e1 ) et dangle R/2Z et on la note ~(~D,~e1 , ).
(2) Dans le cas = 1 et 6= 0, (mod 2) on dit que ~f est lanti-rotation36 (vectorielle) daxe (~D,~e1 ) et dangle .
1.4.3. Remarques.
(1) Si on change lorientation de ~D, langle de la rotation est chang en son oppos :
~(~D,~e1 , ) = ~(~D, ~e1 , )
(2) A la diffrence du cas du plan, le groupe O+ (~E) nest pas commutatif et donc la
forme matricielle de 1.4.1 ne vaut que pour des bases particulires.
1.4.4. . Soit ~f une isomtrie de ~E admettant une unique valeur propre relle . On choisit
un vecteur propre unitaire ~e1 relatif la valeur propre = 1. Montrez que langle est
alors entirement dtermin par les remarques suivantes :
(1) On a : + 2 cos = Tr ~f .
(2) Le signe de sin est le signe de detB (~e1 ,~x, ~f (~x)) o ~x est un vecteur quelconque non
colinaire ~e1 et B une base directe.

36Attention, nous trouvons commode cette appellation, mais elle nest pas standard. La plupart des auteurs

ne donnent pas de nom spcifique cette transformation.


69

1.5. Classification.
1.5.1. Thorme. En dimension 3, les isomtries vectorielles positives sont lidentit37, les
rotations dont les demi-tours. Les isomtries vectorielles ngatives sont la symtrie centrale,
les rflexions et les antirotations.
1.5.2. Matrice dune isomtrie. En fait, toutes les isomtries vectorielles admettent des matrices de la forme A de 1.4.1 (o videmment vaut le dterminant de la matrice). En effet,
on retrouve lidentit avec = 1 et = 0, les rflexions avec = 1 et = 0, les demi-tours
avec = 1 et = et la symtrie centrale avec = 1 et = . On notera que, sauf pour
lidentit et la symtrie centrale, la droite engendre par ~e1 est bien dtermine : cest la
droite propre relative .
1.6. Dcomposition en produit de symtries. Nous montrons maintenant le thorme I 6.3
dans le cas de la dimension 3 :
Thorme.
(1) Toute isomtrie ~f O(~E) est produit dau plus 3 rflexions.
(2) Toute rotation ~f O+ (~E) est produit dau plus deux demi-tours.
Dmonstration.
1) Supposons dabord ~f O+ (~E). Alors il existe une droite ~D et un plan ~P orthogonaux et
stables tels que ~f |~D = Id~D et ~f |~P est une rotation de ~P. Cette rotation plane est produit de deux
symtries ~1 et ~2 par rapport des droites de ~P. Si on appelle ~1 et ~2 les transformations
dfinies par ~i |~D = Id~D et ~i |~P = ~i on voit aussitt (sur les matrices) que les ~i sont des
rflexions et quon a ~f = ~1~2 .
Si maintenant on a ~f O (~E), on prend une rflexion ~ quelconque et on considre ~~f qui
est dans O+ (~E) donc produit ~1~2 de deux rflexions. Mais alors, on a ~f = ~~1~2 comme
annonc.
2) Soit ~f O+ (~E) que lon crit comme produit de deux rflexions ~f = ~1~2 . On a aussi
~f = (~1 )(~2 ). On conclut en notant quen dimension 3, loppos dune rflexion est un
demi-tour, car dans une base convenable on a :

1 0 0
~i = 0 1 0 .
0 0 1

2. L ES ISOMTRIES AFFINES
Dans toute cette partie E dsigne un espace affine euclidien orient de dimension 3.
2.1. Rotations et vissages. Commenons par donner quelques dfinitions :
2.1.1. Dfinition. Soit D une droite, oriente par le choix dun vecteur~e non nul de ~D, et soit
R/2Z. La rotation daxe orient (D,~e) et dangle est lapplication affine (D,~e, )
dfinie par :
1) (D,~e, )(a) = a pour tout point a de D,

2) (D,~e, ) est la rotation vectorielle ~ daxe (~D,~e) et dangle .


37Quand on parle du groupe des rotations, on considre bien sr lidentit comme une rotation (dangle nul

et daxe non dtermin).


70

2.1.2. Remarque. Comme ~ laisse fixe tous les vecteurs de ~D il suffit dimposer la relation
(D,~e, )(a) = a pour un point a D.
2.1.3. Dfinition. Soit D une droite, oriente par le choix dun vecteur ~e non nul de ~D, soit
R/2Z et soit ~v ~D. Le vissage daxe orient (D,~e), dangle et de vecteur ~v est
lapplication affine (D,~e, ) t~v = t~v (D,~e, ).
2.2. Dplacements. Nous donnons maintenant la liste exhaustive des dplacements de E.
2.2.1. Thorme. Les dplacements de E sont les suivants : lidentit, les translations t~v
de vecteur non nul, les rotations (D,~e, ) dangle non nul et les vissages (D,~e, ) t~v =
t~v (D,~e, ) avec 6= 0 et ~v ~D, ~v 6= ~0.
Dmonstration. Soit f un dplacement et ~f lapplication linaire associe. En vertu de 1.5,
~f est une rotation vectorielle dangle R/2Z. Si est nul, ~f est lidentit, donc f est une
translation ou lidentit (cf. [GA] IV 2.1.2). Sinon, comme ~f admet la valeur propre 1, il y a
deux cas :
1) ou bien f a un point fixe et dans ce cas elle en a toute une droite et cest le cas de la
rotation,
2) ou bien f na pas de point fixe et elle scrit comme compose dune rotation et dune
translation de vecteur non nul qui commutent en vertu du thorme de dcomposition. Cest
alors un vissage.

2.3. Les isomtries ngatives. Nous avons dj rencontr la plupart des isomtries ngatives, lexception des antirotations :
2.3.1. Dfinition. Soit D une droite de E que nous orienterons en choisissant un vecteur ~e
non nul de ~D, soit a un point de D et soit R/2Z, 6= 0, . On appelle antirotation de
centre a, daxe (D,~e) et dangle lapplication affine = (a, D,~e, ) dfinie par :
1) (a) = a,

2)
est lantirotation vectorielle daxe (~D,~e) et dangle .
2.3.2. . Montrer quune antirotation est la compose commutative dune rflexion et dune
rotation.
Maintenant nous connaissons toutes les isomtries ngatives de E :
2.3.3. Thorme. Les isomtries ngatives de E sont les suivantes : les symtries centrales
a , a E, les antirotations (a, D, ) de centre a, daxe D et dangle , les rflexions orthogonales H o H est un plan et les symtries (orthogonales) glisses H t~v = t~v H o H est
~ ~v 6= ~0.
un plan et o lon a ~v H,
Dmonstration. Cela rsulte de 1.4.2 et IV 2.2. Les antirotations vectorielles nayant pas la
valeur propre 1, les applications affines associes ont un unique point fixe et sont donc des
antirotations affines. En revanche, les rflexions ont la valeur propre 1 do les deux cas
ci-dessus.

71

3. E XERCICES
3.1. Calcul des lments caractristiques dune isomtrie. Soit E un espace affine
euclidien muni dun repre orthonorm R = (o,~u,~v,~w). Soit f une application affine de
E dans E, ~f lapplication linaire associe, A sa matrice dans la base (~u,~v,~w). On pose
b = f (o). Lorsque f est une isomtrie, lexercice propose un algorithme (dont on justifiera
chaque tape) pour dterminer la nature et les lments caractristiques de f . On illustrera
les tapes de cette mthode sur les applications proposes la fin de lexercice.
3.1.1. tude de ~f . On vrifie que f est une isomtrie en montrant que A est orthogonale ; ~f
est alors une symtrie si et seulement si A est symtrique. Dans ce cas, la trace de A indique
la nature de cette symtrie.
3.1.2. tude de f . On calcule le sous-espace ~V = Ker (~f Id) et on distingue plusieurs cas.
a. dim~V = 3. On a dj d remarquer que ~f est lidentit et f est alors la translation de

vecteur ob.
b. dim~V = 2. On a dj d noter que ~f est une rflexion. Si le milieu a de [ob] est fixe
par f , f est la rflexion par rapport a + ~V . Sinon, f est une rflexion glisse, f = V t~

avec V = a + ~V et ~ = a f (a).
c. dim~V = 1. Dans ce cas, ~f est une rotation. On oriente ~V en choisissant un vecteur
~e1 non nul de ~V et on dtermine langle de ~f comme en 1.4.4. On considre alors le rel

= (ob |~e1 ). Si est nul, f est la rotation (c + ~V ,~e1 , ) o c est un point fixe de f . Si
~e1
. Si c est un point fixe de t~ f , f est le vissage daxe
est non nul, on pose ~ =
||~e1 ||2
(c + ~V ,~e1 ), dangle et de translation t~ .
d. dim~V = 0. Lisomtrie f est soit la symtrie centrale par rapport au milieu de [ob]
(si ~f est Id) soit une antirotation : son centre est son unique point fixe c, son axe est c +
Ker (~f + Id) et on dtermine son angle par la mthode 1.4.4.
3.1.3. Applications. On note un paramtre rel valant 2 ou 0. Dterminez la nature et la
dcomposition canonique de lapplication f qui au point m de coordonnes (x, y, z) associe
le point m0 de coordonnes (x0 , y0 , z0 ) dans les cas suivants (on peut aussi revoir IV 2.3.3) :

2y
2y
2x
z
2x
0 =
0
x
+
+
+1
+ 3z +1

x =
3
3
3
3 +3
2z
a) y0 = 2x
b) y0 = 3x + 2y
3y 2z
3
3
3 3 +4

0
0
2z
z = 3x + 2y
z = 2x
3y 2z
3 3
3
3
3.2. Perpendiculaires communes deux droites. Soient D1 et D2 deux droites affines
distinctes de E. On se propose de chercher toutes les perpendiculaires communes D1 et D2 .
3.2.1. Montrez que si D1 et D2 sont parallles, toute perpendiculaire commune D1 et D2
est dans le plan affine engendr par D1 et D2 . Concluez.
3.2.2. Dans le cas o D1 et D2 sont scantes, dterminez lintersection dune droite de

direction D1 D2 avec le plan engendr par D1 et D2 . Concluez.


3.2.3. On suppose que D1 et D2 ne sont pas coplanaires. Montrez quil y a une unique droite
perpendiculaire D1 et D2 . (On montrera que est lintersection des plans Pi (i = 1, 2)

dtermins par Di et par ~ = D1 D2 .)


72

3.3. Isomtries conservant deux droites. Soient D1 et D2 deux droites non coplanaires
et leur perpendiculaire commune (voir lexercice prcdent). On note ai le point dintersection de Di et .
3.3.1. Montrez que, si xi est un point de Di , on a x1 x2 a1 a2 avec galit si et seulement
si on a x1 = a1 et x2 = a2 .
3.3.2. Soit G le groupe des isomtries conservant globalement lensemble D1 D2 . tudiez
leffet dun lment de G sur , sur {a1 , a2 }, sur le milieu m de [a1 a2 ]. Prcisez la liste des
lments et la structure de G (on pourra introduire la droite D0i parallle Di passant par m
et les deux bissectrices 0 et 00 de D01 et D02 ).
3.4. Droites invariantes.
3.4.1. Dterminez les droites globalement invariantes par une translation, une rotation (attention au cas du demi-tour), une rflexion, un vissage. (Dans tous les cas on pourra commencer par tudier le problme analogue pour la transformation vectorielle associe).
3.4.2. Soit f Is (E) et D une droite telle que f (D) = D. Montrez que la restriction de f
D est une translation ou une symtrie centrale.
3.4.3. On suppose que f Is+ (E) et que f |D est une symtrie centrale. Montrez que f est
un demi-tour daxe perpendiculaire D.

3.5. . Montrez que le produit dune rotation daxe et dune translation de vecteur
u
orthogonal est une rotation daxe parallle . Dterminez le produit dune rotation

daxe et dune translation de vecteur


v quelconque.
3.6. Produit de demi-tours. Soient D1 , D2 deux droites distinctes de E et f = sD1 sD2 le
produit des demi-tours daxes D1 et D2 .
3.6.1. Montrez que si D1 et D2 sont concourantes, f est une rotation dont on dterminera
laxe et langle.
3.6.2. Montrez que si D1 et D2 sont parallles, f est une translation dont on dterminera le
vecteur.
3.6.3. Montrez que si D1 et D2 ne sont pas coplanaires, f est un vissage dont on dterminera les lments caractristiques.(On pourra utiliser les questions 1 et 2).
3.7. . Soit une rotation daxe , a et soit D1 une droite perpendiculaire en a.
3.7.1. Montrez quil existe une droite D2 (resp. D02 ) perpendiculaire en a telle que lon
ait : = sD1 sD2 (resp. = sD02 sD1 ).
3.7.2. Soit une rotation daxe et D une droite perpendiculaire . Montrez lgalit :
sD sD = 1 .
3.8. . Soit f un vissage daxe et soit D une droite perpendiculaire . Montrez quil
existe une et une seule droite D0 telle que lon ait lgalit : f = sD0 sD .
3.9. Produit de rflexions. Soient P et P0 deux plans affines de E scants suivant une
droite . Montrez que le produit des rflexions par rapport ces plans est une rotation. Dans
quel cas le produit est-il commutatif ?
3.10. . Soient a et a0 deux points distincts de E.
73

3.10.1. Quel est lensemble des axes des rotations qui transforment a en a0 ? (On peut commencer par tudier la question dans un plan contenant a et a0 , on cherche alors lensemble
des centres des rotations).
3.10.2. Soit D une droite non parallle (aa0 ). On considre lensemble V des vissages
daxe parallle D qui envoient a sur a0 . Quel est lensemble des axes des vissages de V ?
3.11. Produit de rotations daxes concourants. Soient 1 et 2 deux rotations daxes
D1 et D2 distincts et concourants en o.
3.11.1.

Montrez que 1 2 est une rotation dont laxe passe par o.

3.11.2. Montrez que les rotations 1 et 2 commutent si et seulement si ce sont deux demitours daxes perpendiculaires.(commutation ? pensez conjugu ! que deviennent les axes par
conjugaison ?)
3.11.3.

Montrez que les droites D1 , D2 , ne sont pas coplanaires.

3.12. Produit de rotations daxes parallles. Soient 1 et 2 deux rotations daxes D1


et D2 parallles et distincts.
3.12.1.

1
Montrez que le commutateur 1 2 1
1 2 est une translation non triviale.

3.12.2.

Montrez que le produit 1 2 est une translation ou une rotation.

3.13. Produit de rotations daxes non coplanaires. Soient 1 et 2 deux rotations


daxes D1 et D2 non coplanaires. Montrez que 1 2 est un vissage (qui nest ni une translation ni une rotation).
4. D COMPOSITION DE CERTAINES ISOMTRIES AFFINES
Le but de ces deux exercices est de dmontrer le thorme de dcomposition38 des applications affines dans deux cas particuliers.
4.1. Cas o lapplication linaire associe est une symtrie. On retrouve dans cet exercice
la dcomposition canonique des symtries glisses vue en 2.3.3.
Soient E un espace affine de dimension finie n et f une application affine dont lapplication
~ o ~V et W
~ sont des souslinaire associe ~f est la symtrie par rapport ~V paralllement W
~
espaces vectoriels supplmentaires de E. Soient a un point de E, b son image par f et m le

milieu de [ab]. On note ~v le vecteur m f (m) et g lapplication affine t~v f .


4.1.1. Montrer que g est une symtrie affine dont on prcisera les lments caractristiques
(on notera V lensemble de ses points fixes).
4.1.2. On note c le point g(a) et m0 le milieu de [ac]. Faire la figure en plaant V , a, b,
~ est
c, m, m0 et ~v, dans le cas o n vaut 2, V est une droite affine ne contenant pas a et W
lorthogonal de ~V .
4.1.3.

Montrer que ~v appartient ~V .

4.1.4.

Calculer f f .

4.1.5. Conclure quant au thorme de dcomposition pour une application affine dont lapplication linaire associe est une involution.
38Il est donc interdit dutiliser le thorme de dcomposition ou la classification des isomtries qui en

dcoule dans les dmonstrations.


74

4.2. Cas o lisomtrie vectorielle associe est une rotation.


4.2.1. Prliminaire. Montrer que si est un vissage de dcomposition canonique t~u (D,~u, )

alors ~u est le projet orthogonal de a(a) sur ~D pour tout point a de E.


Soient E un espace affine euclidien de dimension 3 et f une application affine dont lapplication linaire associe ~f est une rotation daxe ~D dirig par le vecteur ~u et dangle non
nul. On note ~P le plan vectoriel orthogonal ~u et ~p la projection orthogonale sur ~D.

4.2.2. Montrer que ~p(m f (m)) ne dpend pas du point m de E. (On pourra calculer le vec
teur a f (a) b f (b) o a et b sont deux points quelconques de E.)
On note ~v ce vecteur de ~D et g lisomtrie affine t~v f .
4.2.3. Soient a un point fix de E et P le plan passant par a et dirig par ~P. Montrer que P
est stable par g. En dduire que g admet un point fixe.

4.2.4. Soient g et g deux rotations de E vrifiant


g =
g = ~f . Montrer que g1 g est
1

une translation de vecteur appartenant ~P.

4.2.5. Conclure quant au thorme de dcomposition pour une isomtrie affine dont lapplication linaire associe est une rotation dangle non nul.

75

Annexe 1. LE POINT DE VUE DEUCLIDE, HILBERT ... ET DU COLLGE


1. I NTRODUCTION
Lapproche de la gomtrie euclidienne plane dveloppe ci-dessus sappuie sur la notion
despace affine euclidien. Bien entendu, cette approche suppose un certain nombre de prrequis, notamment la notion de nombre rel et, au bout du compte, la thorie des ensembles.
Cette prsentation, qui, sur le plan mathmatique, est efficace et rapide, prsente un dfaut
rdhibitoire du point de vue pdagogique, pour un futur professeur de lyce ou de collge :
elle est inutilisable ! En effet, la notion despace vectoriel nest pas enseigne dans le secondaire (lexprience a t tente au dbut des annes 1970 et sest solde par un chec).39 Les
futurs professeurs, munis de cette prsentation, sont donc assez dmunis. Comme le dit notre
collgue Gilbert Arsac : un enseignant est aussi bien arm avec cette axiomatique quune
poule avec un couteau pour rsoudre les problmes de lenseignement de la gomtrie.
Certes, il est important, pour un futur professeur, de dominer les contenus quil aura
enseigner et cest ce qui a motiv lcriture de ce polycopi, qui est dailleurs dans la ligne
de lcrit du CAPES. Cependant, il nous a sembl impossible de ne pas montrer qu ct de
lapproche vectorielle (qui ne date que du dbut du XXme sicle), il y a une autre possibilit,
tout aussi rigoureuse. Lobjectif des quelques lignes qui suivent est de donner un tout petit
aperu de cette approche.
2. L ES AXIOMES D E UCLIDE -H ILBERT POUR LA GOMTRIE PLANE
2.1. Historique.
On doit au mathmaticien grec Euclide (323-283 av. J.-C.) les fameux lments de gomtrie qui faisaient la somme des connaissances de son temps dans le domaine. Dans ce
texte, Euclide fonde la gomtrie partir dun petit nombre de postulats (on dirait plutt aujourdhui daxiomes) dont il dduit toutes les autres propositions. La gomtrie euclidienne
utilise de faon essentielle les cas dgalit des triangles que nous nous avons rencontrs
sous le nom de cas disomtrie. Chez Euclide le statut de ces cas dgalit nest pas clair
(il en donne une dmonstration incomplte).
Une refonte parfaitement rigoureuse de la gomtrie euclidienne a t propose par David
Hilbert (1862-1943) en 1899. En particulier, le premier cas dgalit devient un axiome
mais les autres sont des thormes. Le lecteur curieux et courageux pourra consulter le livre
[Hi], trs clair mais pas toujours facile. Dautres rfrences abordables sont [Ar] (qui allie
plusieurs qualits : il est court, il prsente une rflexion utilisable pour un futur professeur),
[Ha], [Li]. Nous donnons un aperu sommaire de quelques uns des axiomes de Hilbert dans le
paragraphe suivant. Attention, notre objectif nest pas de donner une prsentation totalement
rigoureuse de la gomtrie, qui prendrait beaucoup de temps, mais de convaincre le lecteur
quil est possible de le faire et que cest plutt cette dmarche qui justifie la progression du
collge.
2.2. Les axiomes. Dans le systme propos par Hilbert, on suppose quon a un ensemble
(appel plan euclidien) dont les lments sont appels points et qui contient des parties
appeles droites. On ne dfinit pas ces objets40, mais on prcise les relations qui les lient.
39 Au contraire, actuellement, la gomtrie lmentaire sert de support intuitif la notion de vecteur qui va

mener celle despace vectoriel.


40Dailleurs Hilbert signale quils pourraient aussi bien sappeler tables et chopes de bire.
76

Bien entendu, pour que la gomtrie prsente un intrt pratique, elle doit modliser la
ralit. Le lecteur constatera que cest bien le cas du systme dEuclide-Hilbert.
2.2.1. Axiomes dincidence.
Axiome I.1 Par deux points du plan passe une droite et une seule.
Axiome I.2 Toute droite contient au moins deux points.
Axiome I.3 Il existe trois points non aligns.
La droite dfinie par les points a, b est note (ab). Il rsulte des axiomes que deux droites
distinctes ont au plus un point commun. Deux droites sans point commun sont dites parallles. On suppose vrifi le postulat dEuclide cest--dire laxiome P (comme parallles)
ci-dessous :
Axiome P Par un point m non situ sur la droite D passe une parallle D et une seule.
En ralit, cet axiome vient bien plus tard chez Hilbert, car on peut faire une bonne partie
de la gomtrie sans lui et cest un problme non vident qui a beaucoup agit les mathmaticiens jusquau dix-neuvime sicle de savoir si cet axiome est ncessaire ou si on
peut le dduire des autres. On montre quil nen est rien et quil y a des gomtries (dites
non euclidiennes) dans lesquelles tous les axiomes sont vrifis (y compris ceux dordre, de
congruence, etc.) sauf celui-l. Bien entendu, sil y a des traits communs entre ces gomtries, il y a aussi de notables diffrences (par exemple sur la somme des angles des triangles).
On consultera sur ce sujet [Li], [Ha].
2.2.2. Axiomes dordre. Il sagit des axiomes rgissant la relation a est entre b et c pour
trois points aligns. Les axiomes de Hilbert sont les suivants :
Axiome B.1 Si b est entre a et c, b est entre c et a.
Axiome B.2 tant donns deux points a, b il existe c entre a et b.
Axiome B.3 tant donns trois points dune droite, un et un seul dentre eux est entre les
deux autres.
Il y a un quatrime axiome plus cach (dit de Pasch) qui exprime quune droite qui rentre
dans un triangle par un ct en ressort ncessairement par un autre.
On voit, l encore, quil sagit daxiomes bien naturels, et le lecteur pourra, sans trop de
risque, se fier sa conception intuitive de cette relation.
La relation dordre permet de dfinir la notion de segment, not [ab], cest lensemble des
points situs entre a et b, et la notion de demi-droite.
On postule ensuite que chaque droite D partage le plan en deux parties appeles demiplans. Cette notion de demi-plans permet de parler de secteurs.
2.2.3. Axiomes de congruence.
On se donne ensuite une relation dquivalence entre les segments, appele congruence.
Deux segments quivalents sont dits de mme longueur. On note ab la longueur de [ab]. Il
y a bien entendu des axiomes qui prcisent cette notion. De mme on se donne une relation
dquivalence sur les secteurs : deux secteurs quivalents sont dits de mme angle. On note
d
bac langle associ au secteur (bac).41
Enfin, le dernier axiome fondamental est laxiome de congruence des triangles (qui nest
autre que ce que nous avons appel premier cas disomtrie) : tant donn un triangle abc, si
41On notera que dans cette approche il ny a pas a priori de nombre, donc pas de distance ni de mesure

dangle au sens o nous lentendons.


77

0 a0 c0 on en dduit les autres galits : bc = b0 c0 , d


0 c0 a0
on a ab = a0 b0 , ac = a0 c0 , d
bac = b\
bca = b\
0 b0 c 0 .
et d
abc = a\
Pour tre complet il faudrait encore ajouter des axiomes de continuit. Sur ce sujet, nous
renvoyons le lecteur [Ar] ou [Li]. Bien entendu, la gomtrie affine euclidienne que nous
avons prsente ici vrifie les axiomes de Hilbert.
partir des axiomes voqus ci-dessus on peut faire toute la gomtrie (telle que le lecteur
la apprise au collge et au lyce). On peut aussi retrouver les nombres rels, dfinir les
vecteurs, leur addition et le produit scalaire de deux vecteurs, ce qui permet de montrer que
la gomtrie dEuclide est bien la gomtrie euclidienne telle que nous lavons prsente
dans ce polycopi.

3. Q UEL SYSTME D AXIOMES POUR LE COLLGE


La question qui se pose maintenant est de savoir quelle gomtrie enseigner au collge.
lheure actuelle, la gomtrie du collge est fonde sur une introduction progressive des
transformations (symtrie axiale en sixime, centrale en cinquime, translation en quatrime,
rotation en troisime). Pour une discussion sur lintrt et les dfauts de cette progression,
cf. [R], [P1,2], [DPR], etc. Les fondements thoriques de cette prsentation ne sont pas trs
clairs, cf. toutefois [CF].
Parmi les propositions qui se font jour lheure actuelle dans les milieux o lon labore
les futurs programmes que vous aurez enseigner, lune est de revenir une pratique plus
proche dEuclide (notamment par une utilisation plus intensive des invariants : longueurs,
aires, angles et par lusage des cas disomtrie).
Bien entendu, il nest pas question de btir pour les lves toute la gomtrie sur laxiomatique dEuclide-Hilbert en tablissant toutes les proprits : cest videmment trop difficile.
Par ailleurs, notre sentiment est que laxiomatique de Hilbert est assez mal adapte aux ncessits de lenseignement. Une solution intermdiaire plausible diffrerait de Hilbert sur
deux points :
Elle ferait un plus grand usage des nombres (cest le point faible de la mathmatique
grecque, que Descartes a bien mis en vidence),
Elle utiliserait (de manire implicite) un axiome de transitivit dun groupe (qui serait
celui des isomtries). Cet axiome permettrait de justifier la mthode de superposition dEuclide en donnant une consistance la notion de mouvement et de prouver les cas dgalit.
Attention, cette axiomatique ne saurait tre qu usage des (futurs) professeurs, pas des
lves. Pour eux, la plupart des proprits que lon pourrait prendre pour axiomes seraient
soit des constatations dexprience, soit des formulations de faits intuitifs.

78

Annexe 2. EXPONENTIELLE ET FONCTIONS TRIGONOMTRIQUES



Nous montrons dans ce paragraphe lexistence de lexponentielle admise

en II 2.2 et ses principales proprits.

1. E XPONENTIELLE COMPLEXE
1.1. Dfinition. Pour tout nombre complexe z, on pose
exp z =

zn
n! .
n0

On dfinit ainsi une fonction exp indfiniment drivable de C dans C.


1.2. Proprits. On vrifie par le calcul sur les sries entires42 les proprits suivantes :
exp(z + z0 ) = exp(z). exp(z0 ) pour tous z, z0 C (en particulier on a la formule
exp(z). exp(z) = 1, de sorte que lexponentielle ne sannule pas),
exp z = exp z,
la drive (au sens complexe) de exp est exp.
2. E XPONENTIELLE COMPLEXE IMAGINAIRE
Le but de ce paragraphe est la dmonstration de la proposition suivante :
2.1. Proposition. Lapplication dfinie par (x) = exp(ix) est un homomorphisme surjectif du groupe additif R dans le groupe multiplicatif U des nombres complexes de module 1.
Son noyau est le sous-groupe de R des multiples entiers dun nombre rel strictement positif
not 2.
Pour tout nombre rel x, exp(ix) est un nombre complexe de module 1 puisque son conjugu exp(ix) est aussi son inverse. Le noyau de est un sous-groupe de (R, +), ferm,
puisque cest limage rciproque par une application continue du ferm {1}, diffrent de R
puisque nest pas constant (sa drive nest pas nulle). Si nest pas injectif, ce sous-groupe
nest pas rduit 0, il est engendr par son plus petit lment strictement positif.
Il nous reste dmontrer la non-injectivit et la surjectivit de , plusieurs mthodes sont
possibles. Nous allons tudier ici la fonction cosinus.
2.2. Les fonctions cos et sin.
2.2.1. On dfinit la fonction cosinus (resp. sinus) comme la partie relle (resp. imaginaire)
de . On a donc :
exp(ix) = cos x + i sin x

(x R)

Les formules de trigonomtrie dcoulent des proprits de lexponentielle complexe.


42On utilise le produit de Cauchy de deux sries entires et la drivation terme terme dune srie entire.
79

2.2.2. La fonction cos sannule.


Proposition. Il existe un rel x0 strictement positif tel que cos x0 soit nul.
Dmonstration. En utilisant les proprits des sries alternes, on montre que cos 2 est ma22 24
jor par 1 +
donc strictement ngatif. La fonction cosinus qui est continue et vaut 1
2! 4!
en 0 sannule pour au moins un rel x0 strictement compris entre 0 et 2.

2.3. Une dfinition de . Comme cos(x0 ) est nul, sin(x0 ) vaut 1, donc on a (x0 ) = i et
(4x0 ) = 1 avec 4x0 6= 0. Lhomomorphisme nest donc pas injectif.
On note 2 le gnrateur positif de son noyau :
Ker = 2Z.
Comme est un homomorphisme et que 2 est le gnrateur de son noyau, le complexe
exp(i) solution de z2 = 1 vaut 1 donc cos vaut 1 (et sin vaut 0). De mme, on montre
que cos /2 et cos 3/2 sont nuls, /2 est donc le plus petit zro positif de la fonction cos.
On a les formules suivantes :
exp(2i) = 1

exp(i) = 1

exp(i/2) = i

2.4. Surjectivit de . Par le thorme de valeurs intermdiaires, la fonction cos prend


toutes les valeurs entre 1 et 1. Soit z = a + ib un lment de U. Comme a est compris
entre 1 et 1, il existe un rel x tel que cos x = a et alors b vaut sin x = sin(x). Donc z
scrit exp ix. Lhomomorphisme est donc surjectif. On en dduit le corollaire suivant.
2.4.1. Corollaire. Lapplication induit un isomorphisme du groupe additif R/2Z sur le
groupe multiplicatif U.
2.4.2. Remarque. On peut aussi dmontrer la surjectivit de en montrant que son image
est ouverte et ferme.
2.4.3. Argument dun nombre complexe. On appelle argument du nombre complexe non
nul z et on note Arg (z) llment 1 (z/|z|) de R/2Z. Si est largument de z on a donc
z = |z| ei .

80

Annexe 3. LONGUEUR DES COURBES


Cette annexe a pour but de donner une dfinition prcise et un mode de


calcul de la longueur des courbes planes, et en particulier de donner celle du

cercle et de ses arcs, fondamentale pour mesurer les angles.
Dans cette annexe on se place dans un plan euclidien et on suppose quon a choisi un
repre orthonorm, de sorte quon peut supposer E = R2 . Bien entendu, on peut gnraliser
ce qui suit en toute dimension. Nous drogeons ici par rapport nos notations usuelles en
notant les points par des lettres majuscules afin de garder les minuscules pour les rels de
lespace des paramtres.
1. I NTRODUCTION ET RAPPELS
1.1. Principes. Deux principes (dont lorigine est essentiellement exprimentale) sont la
base de la dfinition des longueurs des courbes planes :
1) La longueur dun segment de droite [AB] est la distance euclidienne AB.
2) La ligne droite est le plus court chemin dun point un autre : si on a une courbe qui
joint A et B on a l() AB.
Plus gnralement si on a une ligne polygonale P inscrite dans , donc une suite de points
A0 = A, A1 , , An = B de , la longueur de est plus grande que celle de P, autrement dit on
a : l() l(P) = A0 A1 +A1 A2 + +An1 An et lide de la dfinition de la longueur consiste
dire que la longueur de la courbe va tre la limite des longueurs des lignes polygonales
inscrites quand celles-ci approchent convenablement , cf. ci-dessous pour des dfinitions
prcises.
Nous aurons besoin dun rsultat auxiliaire danalyse :
1.2. Thorme : une ingalit. Soit f : [a, b] Rm une fonction continue et soit |k.|k une
norme quelconque sur Rm . On a lingalit :
|k

Z b

f (t)dt|k

Z b

|k f (t)|kdt.

Dmonstration. On pose f = ( f1 , , fm ). Par dfinition lintgrale de f est le m-uplet des


intgrales des fi . Par ailleurs, pour une fonction numrique continue g quelconque on a la
formule des sommes de Riemann :
1 n1
i(b a)
g(a +
).

n+ n
n
i=0

Z b

g(t)dt = lim
a

Posons xi = a +

i(b a)
. Lingalit rsulte alors, par passage la limite, de :
n
n1

n1

n1

|k( f1 (xi ), , fm (xi ))|k = |k ( f1 (xi ), , fm (xi ))|k


i=0

i=0

i=0
n1

|k( f1(xi), , fm(xi))|k.

i=0


81

2. D FINITION DE LA LONGUEUR DES COURBES


2.1. Courbes et paramtrages.
2.1.1. Dfinition. On appelle paramtrage dune courbe plane la donne dune application
: [a, b] R R2 avec (t) = (x(t), y(t)) o les fonctions x et y sont supposes continues.
La courbe associe ce paramtrage est limage = ([a, b]).
2.1.2. Remarques. Attention, cette dfinition est prilleuse.
1) Dabord, la courbe peut-tre assez loigne de lide communment admise de
courbes. Par exemple elle peut tre tout le carr [0, 1] [0, 1] (courbe de Peano). En ce sens,
les courbes de classe C1 par morceaux sont nettement plus raisonnables.
2) La courbe peut tre parcourue plusieurs fois par le point (t) (et, partant, la longueur
dpendra de et pas seulement de ). Une faon de remdier tout cela consiste supposer
que est une bijection sur son image (ou, au moins quil ny a quun nombre fini de points
doubles i.e. de points m tels que m = (t) = (t 0 ) avec t 6= t 0 ).
2.1.3. Dfinition. On a une relation dquivalence sur les paramtrages : si : [a, b] R2
et 0 : [a0 , b0 ] R2 en sont deux, on dit quils sont quivalents et on note 0 sil existe une
bijection continue f : [a, b] [a0 , b0 ] telle que = 0 f . Les classes dquivalence pour cette
relation seront appels les arcs paramtrs.
2.1.4. Remarques.
1) On notera quil existe des paramtrages quivalents un paramtrage donn et dorigine arbitraire (utiliser une translation de la variable).
2) Si et 0 sont quivalents leurs images sont les mmes.
2.1.5. Dfinition. On a une opration de concatnation des arcs paramtrs. Soient : [a, b]
R2 et 0 : [a0 , b0 ] R2 deux paramtrages et soit 00 : [b, c] R2 un paramtrage quivalent
0 . Soit 00 le concatn (dfini sur [a, c] en mettant bout bout et 00 ). Alors, larc
paramtr correspondant ne dpend que des arcs paramtrs et est appel le concatn des
arcs et 0 .
2.2. Lignes polygonales inscrites.
2.2.1. Dfinition. Soit un arc paramtr. Soit A une ligne polygonale inscrite dans (cf.
V 7.1.1), donne par ses sommets A0 , , Ar , Ai = (ti ) avec t0 = a < t1 < < tr = b. La
longueur l(A ) de cette ligne polygonale est la somme des distances :
A0 A1 + + Ar1 Ar .
La longueur l() de est dfinie comme la borne suprieure, finie ou infinie, des longueurs
de toutes les lignes polygonales inscrites dans . On dit que est rectifiable si l() est finie.
2.2.2. Remarques.
(1) La notion de ligne polygonale inscrite et celle de longueur sont indpendantes du
choix du paramtrage quivalence prs.
(2) Attention, en revanche, la donne de = Im () ne suffit pas dterminer la longueur
(penser au cas dun cercle parcouru plusieurs fois). Cest vrai cependant si on se
limite aux courbes admettant des paramtrages bijectifs43.
43On remarquera que deux paramtrages bijectifs sont quivalents.
82

(3) Posons A = (a) et B = (b). Comme le segment [AB] est une ligne polygonale particulire, on a l() AB : on voit que la dfinition que nous venons de donner respecte
notre premier principe : la ligne droite est le plus court chemin dun point un autre.
2.3. Proposition. Si 0 est restriction de , on a l(0 ) l(). On a l( 0 ) = l() + l(0 ).
2.4. Longueur et transformations. Les rsultats suivants dcoulent aussitt des dfinitions :
2.4.1. Proposition. Soit un arc paramtr.
a) Si f est une isomtrie on a l( f ()) = l().
b) Si h est une homothtie de rapport , on a l(h()) = || l().
Dmonstration. Si P est une ligne polygonale inscrite dans on a l( f (P)) = l(P) (resp.
l(h(P)) = || l(P)) car cette proprit est vraie pour la longueur dun segment. Si on crit
l() comme la borne suprieure des longueurs des lignes polygonales inscrites, on en dduit
le rsultat.

2.5. Longueur et pas. Le rsultat suivant (que nous admettrons) donne une version plus
intuitive de la longueur des courbes comme limite des longueurs des lignes polygonales dont
les longueurs des cts tendent vers 0 :
2.5.1. Proposition. Soit : [a, b] R2 un arc paramtr continu. Alors l() est la limite des
longueurs l(A ) des lignes polygonales inscrites lorsque sup Ai Ai+1 tend vers 0.
3. L E CAS DES COURBES C1
On suppose dsormais quon a un paramtrage : [a, b] R2 de classe C1 , avec (t) =
(x(t), y(t)). On note 0 la drive de : 0 (t) = (x0 (t), y0 (t)). On a alors le rsultat fondamental
suivant :
3.1. Thorme. Soit un paramtrage C1 . Alors larc associ est rectifiable et on a la
formule :
Z b
Z bq
0
l() =
k (t)kdt =
x0 (t)2 + y0 (t)2 dt.
a

Ici la norme ||.|| est la norme euclidienne.


Dmonstration. Soit A une ligne polygonale inscrite dans . Montrons dabord lingalit
l(A )

Z b
a

k (t)kdt = I. On a xi+1 xi =

Z ti+1

x0 (t)dt et de mme avec y, soit encore

ti

Ai Ai+1 =

Z ti+1

0 (t)dt.

ti

En vertu de 1.2 on en dduit lingalit :


Ai Ai+1

Z ti+1

k0 (t)kdt

ti

do le rsultat.
Comme lingalit ci-dessus vaut pour toutes les lignes polygonales on a aussi l() I.
Pour t [a, b], soit t la restriction de [a,t] et posons L(t) = l(t ). Nous allons maintenant montrer que L est drivable et de drive k0 (t)k ce qui achvera de prouver le thorme.
Soit h un rel (disons > 0) et calculons L(t + h) L(t). Notons Mt et Mt+h les points (t) et
(t + h). En vertu de 2.3, L(t + h) L(t) est la longueur de larc restreint [t,t + h], donc
83

de larc qui joint Mt et Mt+h . On a un encadrement de cette longueur en la minorant par la


longueur de la corde et en utilisant la majoration l() I (applique la restriction de larc
[t,t + h]) :
Mt Mt+h k(t + h) (t)k L(t + h) L(t) 1 t+h 0
=

k (u)kdu.
h
h
h
h t
Comme les deux membres extrmes ont pour limite k0 (t)k quand h tend vers 0, on a le
rsultat.

Z

3.1.1. Remarques.
1) On peut justifier intuitivement, la manire des physiciens, la formule prcdente. Pour
un petit accroissement dt (infiniment petit si lon veut) de la variable, au voisinage du point
t, laccroissement de x(t) est voisin de x0 (t)dt et celui de y(t) voisin de y0 (t)dt. Si on assimile
le
pmorceau de courbe correspondant un segment de droite, sa longueur, par Pythagore, vaut
x0 (t)2 + y0 (t)2 dt. Pour avoir la longueur de la courbe toute entire il faut faire la somme
de ces petites longueurs infinitsimales, somme gnralise sentend, cest--dire lintgrale
et cest bien ce quon a fait.
2) Ce qui prcde vaut encore pour des courbes C1 par morceaux.
3) Tous ces rsultats sont valables dans un espace euclidien de dimension finie.
4. L ONGUEUR DU CERCLE ET DES ARCS DE CERCLE
On suppose quon a choisi un repre orthonorm direct de E ce qui permet didentifier
E R2 voire C. On note U le cercle unit et on en considre le paramtrage donn par
lexponentielle : x(t) = cost, y(t) = sint sur [0, 2].
4.1. Thorme. Avec le paramtrage ci-dessus, la longueur du cercle unit est gale 2.
La longueur de larc image de lintervalle [t1 ,t2 ] [0, 2] (avec t1 < t2 ) est gale t2 t1 .
Dmonstration. On a x0 (t) = sint et y0 (t) = cost, do x0 (t)2 +y0 (t)2 = 1 et le rsultat vient
de 3.1.

4.1.1. Corollaire. La longueur dun cercle de rayon R est gale 2R.

84

RFRENCES
[Ar] Arsac G., Laxiomatique de Hilbert et lenseignement de la gomtrie au collge et
au lyce, Alas, IREM de Lyon, 1998.
[Au] Audin M., Gomtrie, Belin, 1998.
[B] Bkouche R., Quelques remarques autour des cas dgalit des triangles, Bull. APMEP
430, septembre 2000.
[CF] Cousin-Fauconnet A., Enseigner la gomtrie au collge, A. Colin, 1995.
[D] Dieudonn J., Algbre linaire et gomtrie lmentaire, Hermann, 1968.
[DPR] Duperret J.-C., Perrin D., Richeton J.-P., Une illustration du rapport sur la gomtrie de la commission Kahane : analyse de quelques exercices de gomtrie, Bulletin de
lAPMEP, 435 octobre 2001.
[GA] David M.-C., Haglund F., Perrin D., Polycopi de gomtrie affine, Orsay, 19992000.
[Ha] Hartshorne R., Geometry : Euclide and beyond, Undergraduate Texts in Mathematics,
Springer, 2000.
[Hi] Hilbert D., Les fondements de la gomtrie, Dunod, 1971.
[Le] Lebesgue H., La mesure des grandeurs, Blanchard, 1975.
[Li] Lion G., Gomtrie du plan, Vuibert, 2001.
[P1] Perrin D., Une illustration du rapport sur la gomtrie de la commission Kahane :
lexemple de la gomtrie affine du collge, Bull. APMEP 431, novembre 2000.
[P2] Perrin D., Des outils pour la gomtrie lge du collge : invariants, cas disomtrie et de similitude, transformations, Colloque Inter-IREM premier cycle, Montpellier, juin
2001.
[P3] Perrin D., Cours dalgbre, Ellipses, 1996.
[PG] Perrin-Glorian M.-J., Problmes didactiques lis lenseignement des grandeurs. Le
cas des aires. Actes de la 11me cole dt de didactique des mathmatiques, Corps, aot
2001.
[R] Rapport dtape de la commission de rflexion sur lenseignement des mathmatiques,
Bull. APMEP 430, septembre 2000.
Pour les annexes, voir le site Internet de la SMF :
http ://www.emath.fr/Serveur/Smf/smf.emath.fr/Enseignements

85