Universit Joseph Fourier Anne 2005-2006

LST Mathmatiques KMAT367

Gomtrie

version du 5 avril 2006

Table des matires

Introduction 1

1 Espaces affines 3
1.1 Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Barycentres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Proprits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Sous-espaces affines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Caractrisation en termes de barycentres . . . . . . . . . . . . . . . . . . . 7
Paralllisme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Intersection, sous-espace engendr . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Repres, quations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Coordonnes cartsiennes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Coordonnes barycentriques . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Topologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5 Convexit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Enveloppe convexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Demi-espaces, rgionnement . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6 Complment : calcul barycentrique . . . . . . . . . . . . . . . . . . . . . . . 12
1.7 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

2 Applications affines 17
2.1 Dfinition et premires proprits . . . . . . . . . . . . . . . . . . . . . . . 17
Composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Caractrisation en termes de barycentres . . . . . . . . . . . . . . . . . . . 18
Image dun sous-espace affine . . . . . . . . . . . . . . . . . . . . . . . . . 18
Expression dans un repre . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2 Le groupe affine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.3 Le groupe des homothties-translations . . . . . . . . . . . . . . . . . . . . 20
2.4 Projections, symtries, affinits . . . . . . . . . . . . . . . . . . . . . . . . 21
2.5 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

3 Espaces affines euclidiens 27

3.1 Gnralits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Orthogonalit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

i
 Projection orthogonale sur un sous-espace affine . . . . . . . . . . . . . . . 28
Repres orthonorms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Rflexions, bissectrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.2 Cercles et sphres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Puissance dun point par rapport un cercle . . . . . . . . . . . . . . . . . 32
Axe radical de deux cercles . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Faisceaux linaires de cercles . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.3 Thorme de langle inscrit, cocyclicit . . . . . . . . . . . . . . . . . . . . 34
3.4 Gomtrie du triangle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Mdiatrices, cercle circonscrit . . . . . . . . . . . . . . . . . . . . . . . . . 36
Hauteurs, orthocentre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Bissectrices, cercles inscrit et exinscrits . . . . . . . . . . . . . . . . . . . . 37
3.5 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

4 Isomtries 41
4.1 Dfinition et premires proprits . . . . . . . . . . . . . . . . . . . . . . . 41
4.2 Dcomposition en produit de rflexions . . . . . . . . . . . . . . . . . . . . 42
4.3 Classification des isomtries planes . . . . . . . . . . . . . . . . . . . . . . 42
4.4 Les isomtries de lespace . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Dplacements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Antidplacements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.5 Groupe disomtries conservant une figure . . . . . . . . . . . . . . . . . . 44
4.6 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

5 Coniques en gomtrie euclidienne 51

5.1 Dfinition par foyer et directrice . . . . . . . . . . . . . . . . . . . . . . . . 51
Equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5.2 Dfinition bifocale des coniques centre . . . . . . . . . . . . . . . . . . . 53
5.3 Tangentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
Reprsentation paramtrique des coniques . . . . . . . . . . . . . . . . . . 54
Drivation vectorielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
Tangentes la parabole . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Tangentes aux coniques centre . . . . . . . . . . . . . . . . . . . . . . . . 55
Gnration tangentielle des coniques . . . . . . . . . . . . . . . . . . . . . 56
5.4 Ellipse et cercle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.5 Hyperbole rapporte ses asymptotes . . . . . . . . . . . . . . . . . . . . . 57
5.6 Rduction des quations . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
Recherche dun centre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Cas de la parabole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Coniques centre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
5.7 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60

6 Applications des nombres complexes la gomtrie 63

6.1 Le plan complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
6.2 Similitudes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Dfinition et proprits gnrales . . . . . . . . . . . . . . . . . . . . . . . 64
Similitudes du plan complexe . . . . . . . . . . . . . . . . . . . . . . . . . 64

ii
 6.3 Homographies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Dfinition et premires proprits . . . . . . . . . . . . . . . . . . . . . . . 65
La sphre de Riemann C b . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Le groupe des homographies . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Effet sur les droites et les cercles . . . . . . . . . . . . . . . . . . . . . . . . 66
6.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

A Rappels dalgbre linaire 69

A.1 Projections et symtries vectorielles . . . . . . . . . . . . . . . . . . . . . . 69
A.2 Transformations orthogonales . . . . . . . . . . . . . . . . . . . . . . . . . 69
Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Le groupe orthogonal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Orientation, dterminant dune famille de n vecteurs . . . . . . . . . . . . 71
Le groupe orthogonal en dimension 2 . . . . . . . . . . . . . . . . . . . . . 71
Le groupe orthogonal en dimension 3 . . . . . . . . . . . . . . . . . . . . . 72
A.3 Angles de vecteurs et de droites . . . . . . . . . . . . . . . . . . . . . . . . 73
Angles : premire approche . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
Angles : seconde approche . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
Angles dans lespace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78

iii
iv
Introduction

Vous avez tous tudi la gomtrie au collge et au lyce. Elle na par contre t que peu
aborde pendant les deux premires annes de licence, o laccent tait davantage mis sur
lalgbre et lanalyse. Le premier objectif de ce cours est de vous permettre de rexaminer
les notions de gomtrie tudies au collge et au lyce la lumire des connaissances
dalgbre acquises en licence. Il y a en effet un lien troit entre la plupart des notions
tudies en gomtrie lmentaire (vecteurs, angles, transformations) et lalgbre (en par-
ticulier lalgbre linaire et la thorie des groupes). On peut, de fait, aborder ltude de
la gomtrie lmentaire de plusieurs faons : soit en commenant par dfinir de manire
axiomatique les notions de droite, de plans, dalignement, dorthogonalit, . . . , et en dga-
ger ensuite les notions vectorielles (ce qui amne, par exemple, dfinir un vecteur comme
une classe dquivalence de bipoints), soit au contraire partir des notions dalgbre linaire
et reconstruire partir delles les notions de base de la gomtrie. Si le premier point de
vue a longtemps t en usage dans lenseignement secondaire et correspond mieux au
dveloppement historique de la gomtrie (il faut se rappeler que la gomtrie est une
discipline ancienne : les lments dEuclide remontent au IVime sicle avant notre re),
cest cependant le second que nous adopterons ici. Il prsente en particulier lavantage
de permettre tout de suite lutilisation des outils fondamentaux de lalgbre linaire, et
dclairer en retour, en leur fournissant un support concret, certaines des notions abs-
traites dalgbre linaire. De mme, certaines notions abstraites de thorie des groupes,
comme celle de conjugaison, trouvent en gomtrie une interprtation plus concrte : deux
lments dun groupe de transformations sont conjugus sils partagent certaines propri-
ts gomtriques.
Les figures jouent en effet un rle essentiel en gomtrie. Il ne faut jamais hsiter illus-
trer une situation ou une dmonstration par un schma, parfois mme trs simple. Si une
figure ne constitue jamais en elle-mme une dmonstration, il est des cas o la dmons-
tration dcoule presque instantanment dune figure, mme trs simple. Si les figures les
plus simples peuvent se tracer aisment la main, des constructions plus compliques
ncessitent souvent lusage dinstruments. Il existe maintenant de nombreux logiciels de
gomtrie interactive, tant libres que commerciaux, qui permettent non seulement de tra-
cer une figure, mais de la modifier au gr de ses besoins (une figure destine illustrer une
situation gnrale ne doit jamais tre ralise dans un cas particulier, o des proprits
supplmentaires viennent interfrer avec celles que lon se propose dillustrer). La plupart
des figures de ce cours ont t cres laide du logiciel libre de gomtrie interactive
GeoGebra, disponible ladresse : http://www.geogebra.at.

1
Si le trac et lexploitation dune figure sont relativement aiss en gomtrie plane, ils le
sont souvent moins en gomtrie dans lespace. Lacquisition dune certaine forme dintui-
tion ou de "vision" dans lespace, qui permet de tirer dune figure ncessairement plane
(une projection, en un sens prciser, dun objet de lespace) des renseignements sur
cet objet et dimaginer leffet sur lui des transformations lmentaires de lespace, est en
effet fondamentale tant en gomtrie que dans bien des situations de la vie courante. Cet
aspect sera partiellement abord propos des isomtries de lespace au chapitre 4.

Il existe maintenant de nombreux livres traitant du sujet de ce cours, certains trs bons.
Pour nen citer que quelques-uns :
M. Audin : Gomtrie. Belin, 1998.
A. Gramain : Gomtrie lmentaire. Hermann, 1997.
Y. Ladegaillerie : Gomtrie pour le Capes de mathmatiques. Ellipses, 2002.
J.-R. Licois : La gomtrie lmentaire au fil de son histoire dans les programmes
franais. Ellipses, 2005.
D.-J. Mercier : Cours de gomtrie, prparation au Capes et lagrgation. Publi-
book, 2004.
Leur objectif est cependant souvent beaucoup plus ambitieux que celui de ces notes. Il
est conseill en premire approche de commencer par travailler le cours, en particulier
les dmonstrations (les plus faciles sont souvent omises : vous de les complter) et les
exercices proposs. La lecture de lun ou lautre de ces livres pourra occuper agrablement
et utilement vos prochaines vacances et vous ouvrir certains aspects de la gomtrie qui
ne sont pas abords ici, faute de temps, notamment la gomtrie projective, qui permet
dclairer et de gnraliser nombre de notions vues ici seulement dans le cadre un peu
restreint de la gomtrie affine.

2
Chapitre 1

Espaces affines

On sait bien quune fois quon a choisi un repre, le plan sidentifie R2 (resp. lespace de
dimension 3 R3 ), autrement dit un espace vectoriel de dimension 2 (resp. 3) sur R muni
dune base particulire (la base canonique de R2 ou R3 ). On pourrait donc se contenter de
faire de la gomtrie dans R2 ou dans R3 . Cette identification repose pourtant sur le choix
dun repre et il est souvent plus agrable et plus clair de raisonner de manire intrinsque.
De plus, se fixer un repre une fois pour toutes nest souvent pas la meilleure solution :
il est prfrable, mme quand on calcule en coordonnes, davoir la libert de choisir un
repre bien adapt au problme pos. Le cadre naturel de la gomtrie lmentaire serait
donc un espace homogne, dont aucun point ne serait privilgi, ce qui nest pas le cas
dans un espace vectoriel, o le vecteur nul joue un rle particulier et tient naturellement
lieu dorigine. Moralement, un espace affine nest rien dautre que cela : un espace vectoriel
dont on aurait oubli o se trouve lorigine. Cette dfinition est naturellement beaucoup
trop vague pour tre utilisable telle quelle. Nous allons commencer par lui donner un sens
prcis. Nous verrons alors que tout espace vectoriel est naturellement muni dune structure
despace affine et que, inversement, tout espace affine peut sidentifier un espace vectoriel
par le choix dune origine (mais cette identification dpend du choix de lorigine).

1.1 Dfinition



Dfinition 1.1. Soit E un espace vectoriel rel. Un espace affine de direction E est un


ensemble non vide E muni dune application (M,N) 7 MN de E E dans E vrifiant :
1) pour tout triplet (M,N,P ) de points de E :

MN + NP = MP (relation de Chasles) ;

2) pour tout point O de E, lapplication M 7 OM de E dans E est bijective.


Les lments de E sappellent des points, ceux de E des vecteurs. On appelle dimension


de lespace affine E la dimension de lespace vectoriel E .

Exemple fondamental : tout espace vectoriel est muni dune structure naturelle des-
pace affine sur lui-mme par lapplication (~u,~v ) 7 ~v ~u. Plus gnralement, limage par


une translation dun sous-espace vectoriel dun espace vectoriel E , i.e. lensemble des



vecteurs ~u + ~v , o ~u est un vecteur fix de E et ~v dcrit un sous-espace vectoriel F de

E , est un espace affine de direction F .

3
Rciproquement, le choix dune origine per-
met de munir un espace affine dune structure
despace vectoriel: si O est lorigine, il suffit

didentifier un point M de E et le vecteur OM.
Mais attention : cette structure dpend du choix
de lorigine ; on ne peut dfinir la somme de deux
points dun espace affine sans se rfrer explicite-
ment une origine.

Exemples : La structure despace affine ne se rencontre pas quen gomtrie : elle in-
tervient de manire naturelle dans tous les problmes linaires. Lensemble des solutions
dun sytme linaire avec second membre en constitue lexemple type : ce nest pas un
espace vectoriel, mais cest un espace affine de direction lespace vectoriel des solutions du
systme homogne associ. De mme lensemble des solutions dune quation diffrentielle
linaire avec second membre constitue un espace affine de direction lespace vectoriel des
solutions du systme homogne associ, lensemble des suites vrifiant une relation de r-
currence du type un+1 = aun + b constitue un espace affine de direction lespace vectoriel
des suites vrifiant la relation de rcurrence un+1 = aun , lensemble des fonctions f dune
variable relle vrifiant f (0) = 1 est un espace affine de direction lespace vectoriel des
fonctions nulles en 0.

Ce dernier exemple est un espace affine de dimension infinie. Nous ne nous intresse-
rons ici qu des espaces affines de dimension finie (principalement 2 ou 3). Dans toute
la suite de ce cours, espace affine signifiera donc espace affine de dimension
finie. On appellera droite (resp. plan) affine tout espace affine de dimension 1 (resp. 2) ;
espace (sans autre qualificatif) dsignera souvent un espace affine de dimension 3.

On peut donner dautres dfinitions dun espace affine. Lquivalence des dfinitions pro-
poses ici est laisse en exercice.



Dfinition 1.2. Soit E un espace vectoriel rel. Un espace affine de direction E est un


ensemble E muni dune application (M,~u) 7 M + ~u de E E dans E vrifiant :


1) pour tout point M de E et tout couple (~u,~v ) de vecteurs de E :

(M + ~u) + ~v = M + (~u + ~v ) ;


2) pour tout point O de E, lapplication ~u 7 O + ~u de E dans E est bijective.


Lapplication qui un point M associe le point M + ~u, o ~u est un vecteur fix de E ,
sappelle translation de vecteur ~u et est note tu~ .

Dfinition 1.3. Soit E un espace vectoriel rel. Un espace affine de direction E est un


ensemble E muni dun homomorphisme injectif ~u 7 tu~ du groupe additif de E dans le
groupe des permutations de E (ensemble des bijections de E sur lui-mme, muni de la
composition).

4
Limage tu~ du vecteur ~u par cet homomorphisme est bien sr la translation de vecteur ~u :
on a donc tu~ (M) = M + ~u avec les notations prcdentes.
Exercice 1.1. Montrer lquivalence des trois dfinitions prcdentes.
Exercice 1.2. Bipoints, quipollence.
Soit E un espace affine. On dfinit sur lensemble E E des couples de points de E une relation par

(M,N (M ,N ) si cest la mme translation qui transforme M en N et M en N , i.e. si M N = M N .
Montrer que est une relation dquivalence et quil existe une bijection naturelle de lensemble quotient


E E/ sur E .

1.2 Barycentres
La notion de barycentre est essentielle en gomtrie affine. Elle joue un rle identique
celui que tient la notion de combinaison linaire en algbre linaire.

Dfinition
Dfinition 1.4. Un systme de points pondrs dun espace affine E est une famille finie
(Ai ,i )i=1,...,n de couples (Ai ,i ), o, pour tout i, Ai est un lment de E et i un rel. Le
P
n
poids total du systme est le rel i .
i=1


A tout systme de points pondrs de E, on associe une fonction f de E dans E , appele
fonction vectorielle de Leibniz du systme, par :
n
X
f (M) = i MAi .
i=1

Proposition 1.5. 1) Si le poids total du systme est nul, la fonction vectorielle de Leibniz
est constante.
2) Si le poids total du systme nest pas nul, la fonction vectorielle de Leibniz est une


bijection de E sur E . En particulier, il existe un point de E et un seul o cette fonction
sannule.

Dmonstration : Cela rsulte immdiatement de lgalit :

n n n
!
X X X
f (N) = i NAi = i (NM + MAi ) = i NM + f (M).
i=1 i=1 i=1

Dfinition 1.6. Soit (Ai ,i )i=1,...,n un systme de points pondrs dun espace affine E
P
n
de poids total non nul : i 6= 0. On appelle barycentre de ce systme lunique point G
i=1
P
n
de E vrifiant i GAi = 0 .
i=1
Remarque : Le barycentre dun systme de points pondrs nest dfini que si le poids
total du systme nest pas nul.

5
Proprits
le barycentre ne dpend pas de lordre des points ;
homognit : le barycentre dun systme de points pondrs ne change pas lorsque
lon multiplie tous les poids par un mme rel non nul ;
associativit : le barycentre dun systme de points pondrs ne change pas lorsque
lon remplace certains de ces points par leur barycentre affect de la somme des
coefficients correspondants ( condition naturellement que cette somme ne soit pas
nulle) ;
si G est le barycentre du systme de points pondrs (Ai ,i )i=1,...,n , on a, pour tout
point O de E :
Pn
i OAi
i=1
OG = P n .
i
i=1

P
n P
n
En particulier si i = 1, le barycentre G du systme vrifie OG = i OAi . On le
i=1 i=1
P
n
notera G = i Ai . Mais attention : cette notation sera rserve un systme de points
i=1
pondrs de poids total 1 (voir section 1.6).

Exemple : si A et B sont deux points de E et un rel, le barycentre G = A +

(1 )B du systme (A,), (B,1 ) vrifie AG = (1 )AB, BG = AB (prendre
successivement O = A, puis O = B dans la formule prcdente).
Dfinition 1.7. On appelle isobarycentre ou centre de gravit dune famille finie A1 ,
. . . , An de points de E le barycentre de cette famille affecte de poids tous gaux. En
particulier, le milieu dun couple de points est lisobarycentre de ces 2 points.
Remarque : La notion de milieu est donc purement affine et ne fait pas appel la notion
de distance, ce qui nempche naturellement pas le milieu I dun couple (A,B) de points
dtre caractris, en gomtrie euclidienne, par la double galit IA = IB = AB/2.
Exercice 1.3. Paralllogramme.
a) Soient A, B, C, D quatre points dun espace affine. Montrer lquivalence des trois proprits suivantes :

(i) AB = DC ;

(ii) AD = BC ;
(iii) AC et BD ont mme milieu.


b) On suppose les vecteurs AB et AC linairement indpendants ; montrer que ces conditions sont encore
quivalentes :

(iv) AB et DC sont proportionnels, ainsi que AD et BC.

1.3 Sous-espaces affines

Dfinition
Dfinition 1.8. Une partie F dun espace affine E est un sous-espace affine sil existe



un point A de F tel que F = {AM | M F } soit un sous-espace vectoriel de E .

6


On montre alors que {BM | M F } = F pour tout point B de F . Ce sous-espace vec-



toriel F de E est appel direction du sous-espace affine F . La restriction de lapplication

(M,N) 7 MN F F munit F dune structure naturelle despace affine de direction

F . Sa dimension dim(F ) est celle de F .
Dfinition 1.9. On appelle hyperplan dun espace affine E de dimension finie tout sous-
espace affine de dimension dim(E) 1 de E.
Un sous-espace affine est entirement dtermin par la donne dun point et de sa direction,



et la donne dun couple (A, F ), o A est un point de E et F un sous-espace vectoriel



de E , dfinit un sous-espace affine quon notera Af f (A, F ). En particulier, si ~u est un


vecteur non nul de E , on notera D(A,~u) la droite affine passant par A et de direction la
droite vectorielle R~u. De mme, si ~u et ~v sont 2 vecteurs linairement indpendants, on
notera P (A,~u,~v) le plan affine passant par A et de direction le plan vectoriel R~u R~v .



Exercice 1.4. Soient A et B deux points dun espace affine E et F et G deux sous-espaces vectoriels






de E . Montrer que Af f (A, F ) = Af f (B, G ) si et seulement si F = G et AB F .

Caractrisation en termes de barycentres

Proposition 1.10. Une partie non vide F dun espace affine E est un sous-espace affine
si et seulement si tout barycentre de points de F appartient F .
Exercice 1.5. Mdianes dun triangle.
a) Montrer que les trois mdianes dun triangle sont concourantes et que leur point de concours est
lisobarycentre du triangle.
b) Enoncer et dmontrer une proprit analogue pour un ttradre (on mettra en vidence 7 droites
concourantes en lisobarycentre du ttradre).

Paralllisme
Dfinition 1.11. Deux sous-espaces affines F et G dun mme espace affine E sont dits


parallles sils ont mme direction : F = G .
Le paralllisme est une relation dquivalence sur lensemble des sous-espaces affines de E.
Deux sous-espaces affines parallles, au sens de cette dfinition, ont mme dimension. Si


deux sous-espaces affines F et G dun mme espace affine E vrifient F G , on dit que
F est parallle G (ou parfois faiblement parallle G) ; cette relation nest naturellement
pas symtrique.
Exercice 1.6. Montrer que deux sous-espaces affines parallles dun espace affine sont disjoints ou confon-
dus.

Intersection, sous-espace engendr

Proposition 1.12. Lintersection de toute famille de sous-espaces affines dun mme es-
pace affine est soit vide, soit un sous-espace affine de direction lintersection des directions
de ces sous-espaces affines.



Exercice 1.7. Soient A et B deux points dun espace affine E et F et G deux sous-espaces vectoriels





de E . Montrer que Af f (A, F ) Af f (B, G ) est non vide si et seulement si AB F + G . Que peut-on



dire si F et G sont deux sous-espaces vectoriels supplmentaires de E ?

7
 S
Exercice 1.8. Soient F et G deux sous-espaces affines dun espace affine E. On suppose que F G est
un sous-espace affine de E. Montrer que F G ou G F .

Cette stabilit par intersection nous permet de poser la dfinition suivante :

Dfinition 1.13. Soit A une partie non vide dun espace affine E. On appelle sous-
espace affine engendr par A le plus petit sous-espace affine de E contenant A. Cest
lintersection de tous les sous-espaces affines de E contenant A, et aussi lensemble de
tous les barycentres de points de A.

1.4 Repres, quations

Coordonnes cartsiennes
Repres cartsiens
On a dj remarqu que le choix dune origine O permet didentifier un espace affine


E de dimension n sa direction E , cest--dire un espace vectoriel. Le choix dune


base B = (~e1 , . . . ,~en ) de E permet didentifier cet espace vectoriel Rn . Le couple R =
(O,B) = (O,~e1 , . . . ,~en ) est appel repre cartsien de E. Pour tout point M de E, il existe
Pn
alors un unique n-uplet (x1 , . . . ,xn ) de rels vrifiant OM = xi~ei . Ces nombres sont
i=1
appels coordonnes cartsiennes de M dans le repre R. Si n = 2, on notera souvent ces
coordonnes (x,y) et, si n = 3, (x,y,z).

Mesure algbrique
Un repre cartsien dune droite D est un couple (O,~u), o O est un point de D et ~u un


vecteur non nul de D . Si A et B sont deux points de D, le vecteur AB scrit de manire

unique AB = ~u pour un rel . Ce rel est appel mesure algbrique de AB et not
AB. La mesure algbrique AB dpend donc du choix dun vecteur directeur de D : si on
remplace ~u par ~u, o est un rel non nul, toutes les mesures algbriques sur D sont
divises par . Mais le rapport AB/AC de mesures algbriques de couples de points de D
ne dpend pas du choix du vecteur directeur : il est donc dfini de manire intrinsque.

Equations de droites et de plans

Proposition 1.14. Soit E un espace affine de dimension n et R = (O,~e1 , . . . ,~en ) un
repre cartsien de E. Tout hyperplan H de E admet dans R une quation de la forme
Pn
a0 + ai xi = 0, o les ai sont des rels vrifiant (a1 , . . . ,an ) 6= (0, . . . ,0) ; cette quation
i=1
est unique multiplication prs par un rel non nul. Rciproquement, toute quation de ce


type reprsente un hyperplan. Lhyperplan vectoriel H (direction de H) a pour quation
Pn

ai xi = 0 dans la base (~e1 , . . . ,~en ) de E . Il en rsulte que deux hyperplans H et H ,
i=1
P
n P
n
dquations respectives a0 + ai xi = 0 et a0 + ai xi = 0, sont parallles si et seulement
i=1 i=1
si les n-uplets (a1 , . . . ,an ) et (a1 , . . . ,an ) de rels sont proportionnels.

8
Une droite a donc, dans un repre cartsien du plan, une quation de la forme ax+by +c =
0, avec (a,b) 6= (0,0), et un plan, dans un repre cartsien de lespace, une quation de la
forme ax + by + cz + d = 0, avec (a,b,c) 6= (0,0,0).
Attention : une droite de lespace est reprsente par un systme de deux quations (celles
de deux plans distincts la contenant).

Faisceaux linaires de droites et de plans

Dfinition 1.15. Soient D1 et D2 deux droites distinctes du plan, dquations respectives
f1 (x,y) = a1 x + b1 y + c1 = 0 et f2 (x,y) = a2 x + b2 y + c2 = 0 dans un repre cartsien
R. On appelle faisceau de droites engendr par D1 et D2 lensemble des droites du plan
ayant une quation de la forme f1 (x,y) + f2 (x,y) = 0, avec et rels.
Si D1 et D2 sont scantes en un point O, toute quation de la forme f1 (x,y)+f2 (x,y) = 0,
avec (,) 6= (0,0), reprsente une droite passant par O, et, rciproquement, toute droite
passant par O a une quation de ce type. Le faisceau engendr par deux droites scantes
est donc lensemble des droites passant par leur point dintersection. Si D1 et D2 sont
parallles, ce faisceau est lensemble des droites qui leur sont parallles (il existe dans ce
cas, multiplication prs par un rel, un couple (,) 6= (0,0) et un seul tel que lquation
f1 (x,y) + f2 (x,y) = 0 ne soit pas celle dune droite). Cette caractrisation montre en
particulier que la dfinition du faisceau engendr par deux droites ne dpend pas du choix
du repre R.
On dfinit de mme dans lespace le faisceau engendr par deux plans distincts. Ce faisceau
est constitu, soit de tous les plans parallles une direction donne, soit de tous les plans
passant par une droite donne.

Coordonnes barycentriques
Une autre faon de reprer les points dans un espace affine consiste les crire comme
barycentres de points dun repre : par exemple, si A et B sont deux points distincts dune
droite D, tout point de D scrit comme barycentre de A et B, et cette criture est unique
condition de normaliser les coefficients en imposant leur somme de valoir 1.

Proposition 1.16. Soient A0 , . . . ,An n + 1 points dun espace affine E. Les deux pro-
prits suivantes sont quivalentes :

(i) les vecteurs A0 A1 , . . . ,A0 An sont linairement indpendants ;
(ii) aucun des points A0 , . . . ,An nappartient au sous-espace affine engendr par les
autres.
Remarque : la condition (i) fait jouer un rle particulier A0 ; lquivalence avec la seconde
condition montre quen fait tous les points jouent le mme rle : on aurait donc pu rajouter
n conditions quivalentes en remplaant A0 par nimporte lequel des points Ai .
Dfinition 1.17. Des points A0 , . . . ,An vrifiant les conditions prcdentes sont dits af-
finement indpendants. On dit aussi que la famille (A0 , . . . ,An ) est affinement libre.
Une famille de points dun espace affine E est dite gnratrice si le sous-espace affine
engendr par cette famille est gal E.
Dfinition 1.18. On appelle repre affine dun espace affine E toute famille gnratrice

9
et affinement libre.
Proposition 1.19. Soient A0 , . . . ,An n + 1 points dun espace affine E. Les proprits
suivantes sont quivalentes :
(i) (A0 , . . . ,An ) est un repre affine de E ;
(ii) n = dim(E) et aucun des points A0 , . . . ,An nappartient au sous-espace affine de E
engendr par les autres ;


(iii) la famille A0 A1 , . . . ,A0 An est une base de E ;
(iv) tout point M de E scrit de manire unique comme barycentre des points A0 , . . . ,An
affects de coefficients de somme 1.
Un repre affine dun espace affine de dimension n est donc une famille de n + 1 points de
E (2 points distincts pour une droite, les sommets dun triangle non aplati pour un plan,
ceux dun ttradre non aplati pour lespace de dimension 3).
Dfinition 1.20. Les coefficients dfinis dans la proprit (iv) sont appels coordonnes
barycentriques de M dans le repre affine (A0 , . . . ,An ).
P
n P
n
Remarque : Le point M scrit donc M = i Ai , avec i = 1. Par homognit du
i=0 i=0
barycentre, M est aussi barycentre du systme (Ai ,i )i=0,...,n pour tout rel non nul .
On dit parfois que les i constituent un systme de coordonnes barycentriques de M
dans le repre affine (A0 , . . . ,An ) ; les i sont alors appels coordonnes barycentriques
rduites ou normalises de M dans ce repre.

Passage des coordonnes cartsiennes aux coordonnes barycentriques

Soit (A0 , . . . ,An ) un repre affine de E. La famille (A0 ,A0 A1 , . . . ,A0 An ) est alors un re-
pre cartsien de E. On passe trs facilement des coordonnes cartsiennes dans ce re-

pre aux coordonnes barycentriques dans le repre initial : en effet lgalit A0 M =
Pn
xi A0 Ai signifie exactement que M est le barycentre des Ai affects des coefficients
i=1
P
n
(1 xi ,x1 , . . . ,xn ).
i=1

Exercice 1.9. Coordonnes barycentriques et dterminants.

a) Soit E un plan affine, (A,B,C) un repre affine de E, M un point de E. Exprimer les coordonnes
barycentriques de M dans le repre affine (A,B,C) sous forme de dterminants faisant intervenir les

vecteurs M A, M B, M C.
b) Donner des formules analogues pour un ttradre ABCD de lespace affine de dimension 3.
Remarque : Les coordonnes barycentriques dun point M du plan dans un repre affine (A,B,C) sont
donc proportionnelles aux aires algbriques des triangles M BC, M CA et M AB. Il faut remarquer que
la notion daire est une notion euclidienne : pour mesurer une aire, il faut avoir fix une unit daire, et
cette unit est, dans le cas euclidien, laire (non oriente) dun carr construit sur une base orthonorme


(cette aire est la mme pour toute base orthonorme de E ). Cependant le rapport des aires (et mme
des aires algbriques) ne dpend pas du choix dun repre : cest une notion purement affine. On est ici
dans la mme situation que pour les mesures algbriques : une mesure algbrique sur un axe est dfinie
en se rfrant un vecteur directeur, mais le rapport des mesures algbriques ne dpend pas du choix de
ce vecteur directeur.

10
Topologie
Lidentification dun espace affine E de dimension finie n Rn par le choix dun repre
permet de dfinir une topologie sur cet espace. Cette topologie est dfinie par la distance


d dfinie par d(A,B) = kABk, o k k est une norme quelconque sur E (on rappelle que,
dans un espace vectoriel rel de dimension finie, toutes les normes sont quivalentes et
dfinissent donc la mme topologie). Cette topologie ne dpend pas du choix du repre,
et les translations sont des homomorphismes de E sur E, puisque la distance d est
invariante par translation. On peut donc utiliser librement dans un espace affine toutes
les notions introduites dans le cours de topologie (ouverts, ferms, compacts, connexes,
. . . ). En particulier, tout sous-espace affine est ferm et toute application affine (voir
chapitre 2) est continue. On tudiera plus en dtail au chapitre 3 les distances associes
un produit scalaire (distances euclidiennes) et les configurations gomtriques usuelles
qui leur sont attaches.

1.5 Convexit
Dfinition
Dfinition 1.21. Soient A et B deux points dun espace affine E. Le segment AB, not
[AB], est lensemble des barycentres de A et B affects de coefficients tous deux positifs,
i.e. [AB] = {A + (1 )B | [0,1]}.
Dfinition 1.22. Une partie C dun espace affine E est dite convexe si pour tout couple
(A,B) de points de C le segment [AB] est inclus dans C.

Exemples : tout sous-espace affine dun espace affine (en particulier lespace lui-mme)
est convexe ; un segment, une demi-droite sont convexes (si A est un point dun espace


affine E et ~u un vecteur non nul de E , on appelle demi-droite ferme dorigine A et de

vecteur directeur ~u lensemble {M E | AM = ~u, 0}).
En utilisant lassociativit du barycentre et en raisonnant par rcurrence, on obtient une
dfinition quivalente :
Proposition 1.23. Une partie C dun espace affine E est convexe si et seulement si tout
barycentre de points de C affects de coefficients tous positifs appartient C.
Proposition 1.24. Toute intersection de convexes est convexe.

Enveloppe convexe
Cette stabilit par intersection nous permet, comme dans le cas des sous-espaces affines,
de poser la dfinition suivante :
Dfinition 1.25. Soit A une partie non vide dun espace affine E. On appelle enveloppe
convexe de A le plus petit convexe de E contenant A. Cest lintersection de tous les
convexes de E contenant A, et aussi lensemble de tous les barycentres de points de A
affects de coefficients tous positifs.

11
Exemples : lenveloppe convexe de deux points {A,B} est le segment [AB] ; lenveloppe
convexe de 3 points A, B, C du plan est le triangle plein ABC.

Demi-espaces, rgionnement
Lexemple des demi-droites nest quun cas particulier dun exemple fondamental de
convexes : les demi-espaces. Si E est un espace affine de dimension n et H un hyper-
plan affine, H spare lespace en deux, comme le montre la proposition suivante :
Proposition 1.26. Soit E un espace affine et
T H un hyperplan affine de E. La relation
R dfinie par : ARB si et seulement si [AB] H = est une relation dquivalence sur
le complmentaire E \ H de H dans E qui partage E \ H en exactement deux classes.
Ces classes sont appels demi-espaces ouverts dlimits par H. Les demi-espaces ferms
sont obtenus en prenant leurs runions avec H. Si deux points A et B sont en relation
par R, on dit que A et B sont du mme ct de H.
P
n
Si f (x1 , . . . ,xn ) = a0 + ai xi = 0 est une quation cartsienne de H, ces demi-espaces
i=1
correspondent aux points vrifiant f (x1 , . . . ,xn ) > 0 (resp. f (x1 , . . . ,xn ) < 0).
Exercice 1.10. Soit ABC un triangle non aplati du plan.
a) Caractriser chacun des demi-espaces dlimits par les droites AB, BC et CA en termes de coordonnes
barycentriques rduites dans le repre affine (A,B,C). En combien de rgions ces trois droites dcoupent-
elles le plan?
b) En dduire en particulier que lenveloppe convexe des trois points A, B, C est lintersection des trois
demi-espaces dfinis par les droites AB, BC et CA et le sommet oppos.
c) En combien de rgions les plans supportant les faces dun ttradre divisent-elles lespace?

1.6 Complment : calcul barycentrique

On a vu que si (Ai ,i )i=1,...,n est un systme de points pondrs dun espace affine E de
P
n P n
poids total i = 1, le point G dfini par OG = i OAi ne dpend pas du choix de O
i=1 i=1
(ce point nest autre que le barycentre du sytme de points pondrs). On peut donc le
Pn
noter sans ambigut G = i Ai .
i=1
P
n
De mme si (Ai ,i )i=1,...,n est un systme de points pondrs de poids total i = 0, le
i=1
P
n
vecteur ~u dfini par ~u = i OAi ne dpend pas du choix de O. On peut donc le noter
i=1
P
n
~u = i Ai . Le cas le plus simple est celui o n = 2, 1 = 1 et 2 = 1 : A1 A2 est
i=1

alors le vecteur A2 A1 .
On dfinit ainsi sans se rfrer un repre un calcul sur les points qui satisfait aux rgles
habituelles du calcul vectoriel. Par exemple, si G est lisobarycentre dun triangle ABC,
on peut crire
 
1 1 1 1 2 1 1 1 2
G= A+ B+ C = A+ B+ C = A + A
3 3 3 3 3 2 2 3 3

12
 1 1
o A = B + C est le milieu de BC (cette galit ne fait que reflter lassociativit
2 2
du barycentre). Plus gnralement, si (Ai ,i )i=1,...,n est un systme de points pondrs
P
n P
n
de poids total i = 1, ce qui permet de dfinir G = i Ai , et si chacun des points
i=1 i=1
P
m
Ai scrit lui-mme sous la forme Ai = i,j Bj , o B1 , . . . ,Bm sont m points de E et
j=1
n 
P
m P
m P
i,j = 1 pour tout i, on peut crire G = i i,j Bj , la somme des coefficients
j=1 j=1 i=1
des Bj dans le membre de droite valant toujours 1.
Pn P
n
De mme, si i = 1 et i = 0, on a lgalit :
i=1 i=1

n
X n
X n
X
(i + i )Ai = i Ai + i Ai .
i=1 i=1 i=1

P
n
La somme de gauche (i + i )Ai reprsente un point M, la premire somme du membre
i=1
de droite un point N et la seconde un vecteur ~u : lgalit scrit alors M = N + ~u, ce qui
signifie que M est limage de N par la translation de vecteur ~u, ce que lon peut encore
crire M N = ~u.
Pn
Il faut cependant prendre garde une chose : la notation i Ai ne reprsente un point
i=1
P
n P
n
ou un vecteur que si la somme des coefficients est gale 0 ou 1 : i = 1 ou i = 0.
i=1 i=1
1
Une expression telle que 2A 3B, ou A + B, ou A, ne reprsente ni un point ni un
2
vecteur.

1.7 Exercices
Exercice 1.11. Soit (Ai ,i )P iI , o I est un ensemble fini, un systme de points pondrs dun espace
affine E de poids total nul : iI i = 0.
P
a) Montrer que le vecteur ~u = iIPi OAi ne dpend pas du point O.
b) Soit J une partie de I telle que iJ i 6= 0, G1 le barycentre de la famille (Ai ,i )iJ et G2 celui de

la famille (Ai ,i )iI\J . Montrer que le vecteur G1 G2 est proportionnel ~u (en particulier, sa direction
ne dpend pas de J).
Exercice 1.12. Polygone des milieux (1).
a) Soit ABC un triangle. Montrer quil existe un triangle A B C et un seul tel que A soit le milieu de
B C , B le milieu de C A , et C le milieu de A B . Indiquer une construction gomtrique de ce triangle.
b) Soit ABCD un quadrilatre. Donner une condition ncessaire et suffisante pour quil existe un qua-
drilatre A B C D tel que A soit le milieu de A B , B le milieu de B C , C le milieu de C D , et D le
milieu de D A . Ce quadrilatre, sil existe, est-il unique?
Exercice 1.13. Soient D1 , D2 , D3 trois droites distinctes deux deux coplanaires de lespace affine de
dimension 3. Montrer que lune au moins des proprits suivantes est vrifie:
D1 , D2 , D3 sont coplanaires ;
D1 , D2 , D3 passent par un mme point ;
D1 , D2 , D3 sont parallles.

13
 T
Exercice 1.14. Soient D1 , . . . ,Dn n droites dun espace affine E. On suppsoe Di Dj non vide pour
tout couple (i,j). Montrer quil existe, soit un point commun toutes les droites Di , soit un plan de E
les contenant toutes.

Exercice 1.15. Soient, dans le plan affine rapport un repre cartsien, D1 , D2 , D3 trois droites,
dquations ai x + bi y + ci = 0, i = 1,2,3, dterminant un triangle non aplati ABC. Donner lquation de
la parallle Di mene par le sommet oppos du triangle ABC.

Exercice 1.16. Thorme de Mnlas.

1 1 1
Soient A, B, C trois points non aligns du plan affine, M = 2 2 2 une matrice coefficients
3 3 3
rels telle que la somme des coefficients de chaque ligne soit gale 1. On note, pour i = 1,2,3, Pi =
i A + i B + i C le point de coordonnes barycentriques rduites (i ,i ,i ) dans le repre affine (A,B,C).

a) Exprimer le dterminant det(P1 P2 ,P1 P3 ) des

deux vecteurs P1 P2 et P1 P3 relativement la base

(AB,AC) en fonction du dterminant de la matrice
M.
b) Donner une condition ncessaire et suffisante sur
la matrice M pour que les trois points P1 , P2 , P3
soient aligns.
c) Dmontrer le thorme de Mnlas :
Soit ABC un triangle, P (resp. Q, R) un point de
la droite BC (resp. CA, AB). On suppose ces trois
points distincts de A, B, C. Alors P , Q, R sont ali-
gns si et seulement si :

P B QC RA
=1.
P C QA RB

Exercice 1.17. Soit, dans le plan affine, ABC un

triangle non aplati. On note A1 le symtrique de B
par rapport C, B1 le symtrique de C par rap-
port A, C1 le symtrique de A par rapport B,
A2 (resp. B2 , C2 ) le point dintersection de la droite
BC (resp. CA, AB) avec la droite B1 C1 (resp. C1 A1 ,
A1 B1 ) (voir figure).
a) Donner les coordonnes barycentriques des points
A1 , B1 et C1 dans le repre affine A, B, C.

b) Comparer les dterminants det(A1 B1 ,A1 C1 ) et

det(AB,AC).
c) Donner les coordonnes barycentriques des points
A2 , B2 et C2 dans le repre affine A, B, C et dans
le repre affine A1 , B1 , C1 .
d) En dduire que les trois triangles ABC, A1 B1 C1
et A2 B2 C2 ont le mme centre de gravit.
e) Expliquer comment on peut reconstruire le tri-
angle ABC partir du seul triangle A1 B1 C1 et jus-
tifier cette construction.

14
Exercice 1.18. a) Soient C et C deux convexes
dun espace affine E. Montrer que lensemble des mi-
lieux des segments M M , quand M parcourt C et
M parcourt C , est convexe.
b) Soient A, B, C, D quatre points distincts de
lespace. Dterminer lensemble des milieux des seg-
ments M M , quand M parcourt le segment [AB] et
M le segment [CD].

Exercice 1.19. Quadrilatres.

a) Soient A, B, C, D quatre points trois trois non aligns du plan affine P . Montrer quil existe quatre


rels non tous nuls , , , de somme nulle, tels que le vecteur OA + OB + OC + OD soit nul
pour tout point O de P , et que ces nombres sont uniques multiplication prs par un mme scalaire non
nul.
b) En dduire, en examinant les signes de ces nombres, que tout quadrilatre est de lun des trois types
suivants :
A A A
B

D B D C
D C

Exercice 1.20. SSoit D une droite du plan et A un point nappartenant pas D. Dterminer lenveloppe
convexe de {A} D. Lenveloppe convexe dun ferm est-elle ncessairement ferme?
Exercice 1.21. Thorme de Carathodory.
a) Soient A0 ,A1 , ,Am m + 1 points affinement dpendants dun espace affine E. Montrer quil existe
m
P
m + 1 rels 0 ,1 , ,m , non tous nuls, de somme nulle, tels que le vecteur i OAi soit nul pour tout
i=0
point O de E.
b) En dduire que tout barycentre coefficients tous positifs des Ai peut scrire comme barycentre
coefficients tous positifs de m de ces points.
c) En dduire le thorme de Carathodory : tout point de lenveloppe convexe dune partie dun espace
affine de dimension n est barycentre coefficients tous positifs de n + 1 points de cette partie.
d) En dduire que lenveloppe convexe dun compact dun espace affine de dimension finie est compacte.

15
16
Chapitre 2

Applications affines

2.1 Dfinition et premires proprits

Dfinition 2.1. Soient E et F deux espaces affines. Une application f de E dans F est



dite affine sil existe une application linaire f~ de E dans F telle que f~(AB) = f (A)f (B)
pour tout couple (A,B) de points de E.


Lapplication f~ est alors uniquement dtermine, puisque pour tout vecteur ~u de E , il

existe un (en fait une infinit de) couple (A,B) de points de E tel que AB = ~u. On
lappelle application linaire associe f , ou partie linaire de f .
Une application affine est entirement dtermine par sa partie linaire et limage dun
~
point, puisque f (B) = f (A) + f (A)f (B) = f (A) + f( AB) pour tout point B de E.
Rciproquement, si E et F sont deux espaces affines, A un point de E, A un point de F



et f~ une application linaire de E dans F , il existe une (et une seule) application affine
f de E dans F de partie linaire f~ vrifiant f (A) = A .

Exemples :
toute translation est une application affine dapplication linaire associe lidentit ;
une application f de R dans R est affine si et seulement si elle est de la forme
f (x) = ax + b, o a et b sont deux rels ; lapplication linaire associe f~ est alors
~
donne par f(x) = ax ;
plus gnralement, si E est un espace vectoriel, E est muni dune structure naturelle
despace affine sur lui-mme ; toute application linaire de E dans lui-mme est alors
affine, et gale sa partie linaire ; de fait, toute application affine de E dans lui-
mme est compose dune application linaire et dune translation, puisque, si f est
affine, on a f (~u) = f~(~u) + f (~0) pour tout vecteur ~u de E.
Si f est une application quelconque de E dans F , on ne peut en gnral pas lui associer



dapplication de E dans F : en effet, on peut bien dfinir, pour tout point O de E, une




application f~O de E dans F par f~O (~u) = f (O)f (M) pour tout vecteur ~u de E , o M

est lunique point de E tel que ~u = OM , mais cette application f~O dpend en gnral du
choix de O. Cependant, il suffit que cette application soit linaire pour un point O de E
pour que f soit affine comme le montre la proposition suivante :
Proposition 2.2. Soient E et F deux espaces affines et f une application de E dans F .
On suppose quil existe un point O de E tel que lapplication f~O prcdemment dfinie soit
linaire. Alors f est affine et f~O est lapplication linaire associe f . En particulier, f~O
ne dpend pas du choix de O.

17
Composition
Proposition 2.3. Toute compose dapplications affines est une application affine, et la

partie linaire de la compose est la compose des parties linaires : g f = ~g f~.
En particulier, on ne change pas la partie linaire dune application affine en la composant
( droite ou gauche) avec une translation.

Caractrisation en termes de barycentres

Proposition 2.4. Une application f dun espace affine E dans un espace affine F est
affine si et seulement si elle conserve les barycentres, i.e. si et seulement si, pour tout
systme (Ai ,i )i=1,...,n de points pondrs de E de poids total non nul, limage f (G)
du barycentre G de ce systme par f est le barycentre du systme de points pondrs
(f (Ai ),i )i=1,...,n .
Corollaire 2.5. Limage (resp. limage rciproque) dun convexe par une application af-
fine est un convexe.

Image dun sous-espace affine

Proposition 2.6. Soient E et F deux espaces affines, et f une application affine de E
dans F . Limage f (G) par f dun sous-espace affine G de E est un sous-espace affine de
~
F , de direction limage f(


G ) de G par f~.
De mme, limage rciproque f 1 (H) par f dun sous-espace affine H de F est, soit vide,


soit un sous-espace affine de E de direction f~1 ( H ).
En particulier :
Corollaire 2.7. Toute application affine conserve lalignement et le paralllisme.
Proposition 2.8. Une application affine est injective (resp. surjective, bijective) si et
seulement si sa partie linaire lest. Il en rsulte quune application affine dun espace
affine E de dimension finie dans lui-mme est bijective si et seulement si elle est injective
(resp. surjective).

Expression dans un repre

Repre cartsien
Proposition 2.9. Soient E et E deux espaces affines, de dimensions respectives n et m,
R = (O,B) = (O,~e1 , . . . ,~en ) un repre cartsien de E, R = (O ,B ) = (O ,~e 1 , . . . ,~e m

) un
repre cartsien de E , et f une application affine de E dans E . Les coordonnes dans

R de limage f (M) dun point M de E par f sont donnes par X = AX + b, o A est

la matrice de f~ dans les bases B et B , X (resp. X ) le vecteur colonne des coordonnes
de M (resp. f (M)) dans R (resp. R ), et b le vecteur colonne des coordonnes de f (O)
dans R . Rciproquement, toute application de E dans E donne par de telles formules
est affine.
Remarque : Dans le cas o E = E et f = idE , ces formules ne sont autres que les formules
de changement de repre : si R = (O,B) = (O,~e1 , . . . ,~en ) et R = (O ,B ) = (O ,~e 1 , . . . ,~e n )
sont deux repres cartsiens de E, et si X (resp. X ) est le vecteur colonne des coordonnes

18
dun point M dans le repre R (resp. R ), on obtient X = AX + b, o A est la matrice
de passage de la base B la base B et b le vecteur colonne des coordonnes de lorigine
O du nouveau repre R dans lancien repre R. Il suffit pour le voir dappliquer les
formules prcdentes en prenant f = idE , lespace E tant au dpart muni du repre R ,
et larrive du repre R. Les vecteurs colonnes de la matrice de passage sont obtenus en


exprimant les vecteurs de la nouvelle base B de E dans lancienne base B.
Dfinition 2.10. On appelle forme affine (ou fonction affine) sur un espace affine E
toute application affine de E dans R.
Lapplication linaire associe une forme affine sur E est donc une forme linaire sur

E . Une forme affine f sur E sexprime en coordonnes cartsiennes par : f (M) = a0 +

a1 x1 + + an xn , o les ai sont des rels, et les xi les coordonnes de M. Lensemble des
points o une forme affine non constante f sannule est un hyperplan affine de direction
~ Plus gnralement, toutes les lignes de niveau dune telle forme sont des hyperplans
ker f.
affines parallles.

Repre affine
Proposition 2.11. Soit E et F deux espaces affines, (A0 , . . . ,An ) un repre affine de
E, (A0 , . . . ,An ) une famille de n + 1 points de F , o n = dim(E). Alors il existe une
application affine f et une seule de E dans F qui vrifie f (Ai ) = Ai pour tout i =
0,1, . . . ,n. De plus f est :
injective si et seulement si la famille (A0 , . . . ,An ) est affinement libre ;
surjective si et seulement si la famille (A0 , . . . ,An ) engendre F ;
bijective si et seulement si la famille (A0 , . . . ,An ) est un repre affine de F .
Pn Pn Pn
Limage f (M) par f du point M = i Ai , o i = 1, est le point M = i Ai de
i=0 i=0 i=0
F.
En particulier deux applications affines qui concident sur un repre affine sont gales :
Corollaire 2.12. Soient E et F deux espaces affines, f et g deux applications affines de
E dans F , et (A0 , . . . ,An ) un repre affine de E. Si f (Ai) = g(Ai) pour tout i = 0,1, . . . ,n,
alors f = g.

2.2 Le groupe affine

Dfinition 2.13. Soit E un espace affine. On appelle transformation affine de E toute
application affine bijective de E dans lui-mme. Les transformations affines de E consti-
tuent un groupe pour la composition ; ce groupe est appel groupe affine de E, et not
GA(E).
Proposition 2.14. Lapplication f 7 f~ est un homomorphisme surjectif du groupe


affine GA(E) dans le groupe linaire GL( E ) (groupe des applications linaires bijectives


de E dans lui-mme). Son noyau est le sous-groupe des translations de E.
Il en rsulte que le groupe des translations de E est un sous-groupe distingu de GA(E).
Exercice 2.1. Conjugue dune translation.


a) Soit E un espace affine, f une transformation affine de E et ~u un vecteur de E . Montrer que f tu~ f 1

19
est une translation et prciser son vecteur.
b) En dduire que le centre du groupe affine est rduit lidentit.

Stabilisateur dun point Le groupe affine GA(E) de E opre sur E par lapplication
(f,M) 7 f (M). Rappelons quon appelle alors stabilisateur dun point O de E le sous-
groupe Stab(O) de GA(E) constitu des transformations affines f laissant fixe le point
O:
Stab(O) = {f GA(E) | f (O) = O} .
Proposition 2.15. Pour tout point O de E, la restriction de lapplication f 7 f~


Stab(O) est un isomorphisme de Stab(O) sur le groupe linaire GL( E ).
Exercice 2.2. Soit E un espace affine, O un point de E et f un lment de GA(E). Montrer que
lapplication g 7 f g f 1 est un isomorphisme de Stab(O) sur Stab(f (O)).
Il en rsulte que les stabilisateurs de tous les points de E sont des sous-groupes conjugus de GA(E).

Points fixes dune transformation affine

Proposition 2.16. Lensemble Fix(f ) des points fixes dune transformation affine f de
E est, soit vide, soit un sous-espace affine de direction ker(f~ id
) (cest--dire le sous-
E
espace propre de f~ associ la valeur propre 1).
En particulier :
Proposition 2.17. Soit f une transformation affine dun espace affine E. Les deux pro-
prits suivantes sont quivalentes :
(i) f admet un point fixe et un seul ;
(ii) 1 nest pas valeur propre de f~.
Remarque : Toute transformation affine est compose dune transformation affine ayant
un point fixe et dune translation. Plus prcisment, si f est une transformation affine de E
et O un point de E, g = t f appartient au stabilisateur de O et lon a f = t g.
f (O)O Of (O)

2.3 Le groupe des homothties-translations

Soit E un espace affine, O un point de E et k un rel non nul. Lhomothtie hO,k de centre
O et de rapport k est lapplication qui tout point M de E associe le point M = hO,k (M)

dfini par OM = k OM. On vrifie immdiatement que hO,k est une transformation affine
dapplication linaire associe lhomothtie vectorielle k id de rapport k, i.e. lapplica-
E


tion linaire qui un vecteur ~u de E associe le vecteur k~u, et que si k est diffrent de 1,
O est le seul point fixe de hO,k (si k = 1, hO,k est lidentit).
La proposition 2.17 montre que, rciproquement, toute transformation affine f de partie
linaire f~ = k id
, avec k 6= 1, admet un point fixe O et un seul ; il en rsulte aussitt que
E
f est lhomothtie de centre O et de rapport k. Les homothties diffrentes de lidentit
sont donc exactement les transformations affines dont la partie linaire est une homothtie
vectorielle de rapport diffrent de 0 et de 1.

Proposition 2.18. Lensemble des homothties et des translations dun espace affine E
constitue un sous-groupe du groupe affine de E, appel groupe des homothties-translations.

20
Ce groupe est parfois aussi appel groupe des dilatations de E (mais il faut se mfier : ce
terme a, pour certains auteurs, un autre sens).
Exercice 2.3. Montrer que le groupe des homothties-translations est un sous-groupe distingu du
groupe affine. Montrer que deux homothties de mme rapport sont conjugues dans le groupe affine.
En particulier, toutes les symtries centrales (homothties de rapport -1) sont conjugues dans le groupe
affine.
Exercice 2.4. Soient O et O deux points distincts de E, h et h deux homothties de centres respectifs

O et O . Montrer que h h est, soit une translation de vecteur proportionnel OO , soit une homothtie
de centre align avec O et O . Comparer h h et h h. En dduire une condition ncessaire et suffisante
pour que deux homothties commutent.

La proposition suivante caractrise gomtriquement les lments de ce sous-groupe :

Proposition 2.19. Une transformation affine est une homothtie ou une translation si
et seulement si elle transforme toute droite en une droite parallle.
Remarque : Il faut bien distinguer cette proprit de la conservation du paralllisme :
toute transformation affine transforme des droites parallles en des droites parallles ;
mais seules les homothties et les translations transforment toute droite en une droite
parallle.

2.4 Projections, symtries, affinits

Soit E un espace affine, F un sous-


espace affine de E et G un sous-


espace vectoriel de E supplmentaire


de F . Il rsulte de lexercice 1.7 que,
pour tout point M de E, lintersection
T

F Af f (M, G ) de F et du sous-espace



affine Af f (M, G ) de direction G pas-
sant par M est constitue dun point M
et dun seul (ce point M est lunique


point de F vrifiant MM G ). On
peut donc dfinir une application p de
E dans lui-mme par p(M) = M . Cette
application est appele projection sur F


paralllement G ou dans la direction

G.

Soit alors M le symtrique de M par rapport M : on a donc MM = 2MM . Lappli-
cation s de E dans lui-mme qui M associe M est appele symtrie par rapport F



paralllement G ou dans la direction G .


Plus gnralement, pour tout rel , on dfinit laffinit de base F , de direction G
et de rapport comme lapplication qui au point M associe le point M dfini par

M M = M M . La projection et la symtrie sont donc des cas particuliers daffinits
correspondant respectivement = 0 et = 1.




Remarque : Si F est rduit un point, F = {~0} et G = E . Il en rsulte que s est
lhomothtie de centre ce point et de rapport -1, et ~s = id
. On parle alors de symtrie
E

21
centrale.


Proposition 2.20. Soit F un sous-espace affine dun espace affine E et G un sous-espace




vectoriel supplmentaire de F dans E . La projection p sur F paralllement G (resp.


la symtrie s par rapport F paralllement G ) est une application affine, dapplication



linaire associe la projection vectorielle ~p sur F paralllement G (resp. la symtrie



vectorielle ~s = 2~p id
par rapport F paralllement G ). Plus gnralement, laffinit
E


f de base F , de direction G et de rapport est une application affine, dapplication linaire
associe f~ = p~ + (id ~
E
p).
Remarque : Le sous-espace F ne suffit pas dterminer la projection : il faut en prciser



la direction. Si on remplace G par un autre supplmentaire de F , la projection p est
radicalement change (quoique son image p(E) soit toujours gale F ). Dans le cas des
espaces affines euclidiens, on verra quil existe une direction privilgie : celle de lortho-




gonal de F dans E ; on omettra alors de mentionner G , et on parlera simplement de
projection orthogonale. La mme remarque est naturellement valable pour les symtries
et les affinits.
La partie directe du thorme de Thals ne fait que traduire ce caractre affine des pro-
jections:
Exercice 2.5. Le thorme de Thals.
a) Soient A , B , C trois droites parallles distinctes
dun plan affine P . On suppose que ces droites coupent
deux droites D et D respectivement en A, B, C et A ,
B , C . Montrer que :

AB A B
= ;.
AC AC
b) Enoncer et dmontrer une rciproque.
c) Mme question dans lespace : trois plans parallles dis-
tincts A , B et C coupent deux droites D et D res-
pectivement en A, B, C et A , B , C . Montrer que la
relation prcdente est vrifie. Quelle rciproque peut-on
noncer?
Exercice 2.6. Caractrisation des projections et des symtries.
a) Montrer quune application affine f dun espace affine E dans lui-mme est une projection (resp. une
symtrie) si et seulement si elle vrifie f f = f (resp. f f = idE ).
b) Montrer quune application affine f dun espace affine E dans lui-mme est une projection (resp. une
symtrie) si et seulement si elle vrifie les deux proprits suivantes :
sa partie linaire f~ est une projection (resp. une symtrie) vectorielle ;
elle possde au moins un point fixe.
Exercice 2.7. Conjugue dune projection ou dune symtrie.
Soit p une projection (resp. s une symtrie) dans un espace affine E et f GA(E) une transformation
affine quelconque de E. Montrer que f p f 1 (resp. f s f 1) est une projection (resp. une symtrie)
de E dont on prcisera les lments.

2.5 Exercices
Exercice 2.8. Montrer quune application dun espace affine E dans lui-mme qui commute avec toute
translation est une translation.

22
Exercice 2.9. Soit ABCD un quadrilatre non aplati du plan affine P . Donner une condition ncessaire
et suffisante sur ce quadrilatre pour quil existe une transformation affine f de P vrifiant f (A) = B,
f (B) = C, f (C) = D, f (D) = A.
Exercice 2.10. Montrer quune figure admettant deux centres de symtrie distincts admet une infinit
de centres de symtrie. Montrer quune telle figure ne peut tre borne.
Exercice 2.11. Polygone des milieux (2).
Etant donns n points B1 , . . . ,Bn du plan affine E, peut-on toujours trouver n points A1 , . . . ,An de E tels
que Bi soit, pour tout i = 1, . . . ,n, le milieu de Ai Ai+1 (avec la convention An+1 = A1 )? (Voir lexercice
1.12 pour les cas n = 3 ou 4.) Donner une construction gomtrique des points Ai partir des points Bi
lorsque la solution existe.
Indication : on pourra considrer la compose des symtries de centres B1 , B2 , . . . ,Bn .

Exercice 2.12. Soit ABCD un trapze de

bases AB et CD. On note K et L les milieux de
AB et CD et on suppose que les droites AD et
BC se coupent en un point I et les droites AC
et BD en un point J. Montrer que les points I,
J, K, L sont aligns et que :

IK JL
= 1 .
IL JK

Exercice 2.13. Un cas particulier du thorme de Desargues.

Montrer que deux triangles non aplatis du plan affine se dduisent lun de lautre par une homothtie ou
une translation si et seulement si leurs cts sont deux deux parallles.

Exercice 2.14. Un problme de construction.

Soient D1 et D2 deux droites scantes du plan
affine E et M un point de E nappartenant
aucune de ces droites. On suppose que le point
O dintersection de D1 et D2 est situ hors du
cadre de la figure. Donner une construction de
la droite OM (on pourra sinspirer de la figure
de droite).

23
Exercice 2.15. Thorme de Mnlas.
Soit ABC un triangle non aplati, P , Q, R trois
points situs respectivement sur les droites BC,
CA et AB et distincts des sommets A, B, C.
Alors les points P , Q, R sont aligns si et seule-
ment si :
P B QC RA
= 1.
P C QA RB
Indication : pour la partie directe, on pourra
projeter sur une droite (par exemple BC) dans
la direction de la droite P QR.

Exercice 2.16. Le thorme de Mnlas en dimension quelconque.

Soit (A0 ,A1 , . . . ,An ) un repre affine dun espace affine E de dimension n. On pose An+1 = A0 . Soit,
pour i = 0, . . . ,n, Mi un point de la droite Ai Ai+1 distinct de Ai et Ai+1 . Montrer que les points Mi
(i = 0, . . . ,n) appartiennent un mme hyperplan si et seulement si :
Yn
Mi Ai
=1
i=0
M i Ai+1

(on considrera les composes des homothties de centre Mi transformant Ai en Ai+1 ).

Exercice 2.17. Thorme de Ceva.

Soit ABC un triangle non aplati, P , Q, R trois points situs respectivement sur les droites BC, CA et
AB et distincts des sommets A, B, C. Alors les droites AP , BQ et CR sont concourantes ou parallles
si et seulement si :
P B QC RA
= 1 .
P C QA RB
Indication : dans le cas des droites concourantes, on pourra par exemple appliquer le thorme de Mnlas
des triangles et des scantes bien choisis.

Exercice 2.18. Un cas particulier du tho-

rme de Pappus.
Soient D et D deux droites du plan affine, A,
B, C trois points de D, A , B , C trois points
de D . On suppose AB et BA parallles, ainsi
que AC et CA . Montrer que BC et CB sont
parallles.

24
Exercice 2.19. Le tourniquet dans le triangle.
Par un point D du ct AB dun triangle ABC
on trace la parallle BC qui coupe AC en
E ; par E on trace la parallle AB qui coupe
CB en F ; par F on trace la parallle CA
qui coupe BA en G ; par G on trace la parallle
BC qui coupe AC en H ; par H on trace la
parallle AB qui coupe CB en I ; par I on
trace la parallle CA qui coupe BA en J.
Montrer que J = D.

Exercice 2.20. Affinits et transvections.

Soit (A0 , . . . ,An ) un repre affine dun espace affine E de dimension n et A0 un point de E nappartenant
pas lhyperplan affine H engendr par A1 , . . . , An .
a) Montrer quil existe une transformation affine f de E et une seule qui laisse fixe tout point de H et
transforme A0 en A0 .
b) On suppose que A0 nappartient pas lhyperplan affine H parallle H passant par A0 . Montrer
que f est une affinit de base H dont on prcisera la direction.
c) On suppose que A0 appartient lhyperplan affine H parallle H passant par A0 . Montrer quil

existe une fonction affine sur E nulle sur H telle que M f (M ) = (M )A0 A0 pour tout point M de E.
d) On suppose que E est un plan. Donner, dans chacun des deux cas prcdents, une construction
gomtrique de limage M = f (M ) dun point M de E par f .

Exercice 2.21. Soit, dans lespace affine de dimension 3 rapport un repre cartsien (O,~i,~j,~k), f la
transformation dfinie par les quations :

x = (3x + 2y + z 1)/2
y = (x + 4y + z 1)/2
z = (x 2y + z + 1)/2 .

Dterminer les points fixes, puis la nature gomtrique de f .

25
26
Chapitre 3

Espaces affines euclidiens

3.1 Gnralits
Dfinition 3.1. On appelle espace affine euclidien tout espace affine dont la direction est
un espace vectoriel euclidien, i.e. un espace vectoriel muni dun produit scalaire euclidien.
Un espace affine euclidien est naturellement
pmuni dune distance d, appele distance eucli-

dienne, dfinie par d(A,B) = kABk = AB AB. Conformment un usage solidement
tabli, on notera systmatiquement AB la distance d(A,B).
Cette distance vrifie lingalit triangulaire :
|AB AC| BC AB + AC
pour tout triplet (A,B,C) de points de E, et on a lgalit BC = AB + AC si et seulement
si A appartient au segment BC.
Exercice 3.1. Soient B et C deux points dun espace affine euclidien E et b et c deux rels positifs
vrifiant b + c = BC. Montrer quil existe un et un seul point A de E vrifiant AB = c et AC = b. En
1
particulier le milieu I de BC est lunique point de E vrifiant IB = IC = BC.
2
Exercice 3.2. Fonction scalaire de Leibniz.
Soit (Ai ,i )i=1,...,n un systme de points pondrs dun espace affine euclidien E. On dfinit une fonction
Pn
de E dans R par (M ) = i M A2i .
i=1 n 
Pn P
a) On suppose i 6= 0. Montrer que (M ) = i M G2 + (G), o G est le barycentre du systme
i=1 i=1
pondr (Ai ,i )i=1,...,n .
En particulier, si I est le milieu dun segment AB, on obtient lidentit de la mdiane :
AB 2
M A2 + M B 2 = 2M I 2 + 2AI 2 = 2M I 2 + .
2
n
P
b) On suppose i = 0. Montrer que (M ) = 2M N ~u + (N ) pour tout couple (M,N ) de points de
i=1
n
P
E, o le vecteur ~u = i N Ai ne dpend pas du point N .
i=1
c) Application : Soient A et B deux points dun plan affine euclidien E et k un rel non nul. Dterminer
MA
lensemble des points M de E vrifiant M A2 + M B 2 = k (resp. M A2 M B 2 = k, = k).
MB

Orthogonalit
Dfinition 3.2. Deux sous-espaces affines F et G dun espace affine euclidien E sont


dits orthogonaux si leurs directions F et G sont des sous-espaces vectoriels orthogonaux


de E .
Exercice 3.3. Montrer quune droite de lespace affine euclidien de dimension 3 orthogonale deux
droites scantes dun plan P est orthogonale P .

27
Deux plans de lespace ne peuvent jamais tre orthogonaux. Ils sont dits sont perpendi-
culaires si lun contient une droite orthogonale lautre. Cette relation ne fait intervenir
que les directions de ces plans et est symtrique comme le montre lexercice suivant :




Exercice 3.4. Soient F et G deux sous-espaces vectoriels dun espace vectoriel euclidien E . Les trois
proprits suivantes sont quivalentes :



(i) F G ;



(ii) G F ;



(iii) F et G sont orthogonaux.



Les sous-espaces vectoriels F et G sont alors dits perpendiculaires.
On dit que deux droites (du plan ou de lespace) sont perpendiculaires si elles sont scantes
et orthogonales. Cette terminologie est, dans lespace, en contradiction avec celle donne
dans lexercice prcdent, mais elle est consacre par lusage.
Exercice 3.5. Perpendiculaire commune.
Soient D et D deux droites non coplanaires de lespace. Montrer quil existe une droite et une seule
perpendiculaire D et D . Soit A (resp. A ) le point dintersection de et de D (resp. D ). Montrer que
AA = min{M M | M D, M D } et que les points A et A sont les seuls raliser ce minimum. Ces
points sont appels pieds de la perpendiculaire commune D et D .
Exercice 3.6. Mdiatrice, plan mdiateur.
Montrer que lensemble des points dun espace affine euclidien E quidistants de deux points distincts A
et B est lhyperplan affine orthogonal au segment AB en son milieu. Cet hyperplan est appel hyperplan
mdiateur du couple de points (ou du segment). Dans le plan, on dit mdiatrice. Montrer que les deux
sous-espaces ouverts dlimits par cet hyperplan sont lensemble des points M de E vrifiant M A > M B
et lensemble des points M de E vrifiant M A < M B.
Exercice 3.7. Caractrisation dun point par ses distances aux points dun repre affine.
Montrer quun point dun espace affine euclidien E est entirement dtermin par ses distances aux points
dun repre affine de E.

Projection orthogonale sur un sous-espace affine

Si F est un sous-espace affine dun espace affine euclidien E, la projection sur F dans


la direction F est appele projection orthogonale sur F . Le projet orthogonal M dun
point M ralise le minimum des distances de M aux points de F :

MM = d(M,F ) = min{MN | N F }

et il est le seul raliser ce minimum : si N F , MN = d(M,F ) quivaut N = M .

La projection orthogonale sur un sous-espace affine est une application affine. Cette ap-
plication affine est 1-lipschitzienne : pour tout couple (M,N) de points de E, les images
M et N de ces points vrifient M N MN.
Exercice 3.8. Montrer que, rciproquement, toute projection affine 1-lipschitzienne est une projection
orthogonale.
Exercice 3.9. Montrer que deux droites orthogonales de lespace affine euclidien de dimension 3 se
projettent orthogonalement sur un plan P en deux droites orthogonales si et seulement si lune de ces
droites est parallle P , lautre ntant pas orthogonale P .
Exercice 3.10. Distance dun point une droite, un plan.
Soit, dans lespace affine euclidien E de dimension 3, D une droite dfinie par un point A et un vecteur
directeur ~u (resp. P un plan dfini par un point A et deux vecteurs directeurs ~u et ~v ). Dterminer la

distance dun point M de E D (resp. P ) en fonction des vecteurs AM et ~u (resp. AM , ~u et ~v ).

28
Exercice 3.11. Projection sur un convexe ferm.
Soit C un convexe ferm non vide dun espace affine euclidien E. Montrer que pour tout point M de E il
existe un unique point P de C ralisant la distance de M C, i.e. vrifiant M P = d(M,C) = inf{M Q |

Q C}. Montrer que ce point P est lunique point de C vrifiant P M P Q 0 pour tout point Q de
C et que lapplication qui M associe P est 1-lipschitzienne. Montrer que cette application est affine
si et seulement si C est un sous-espace affine de E (cest alors la projection orthogonale sur C dfinie
prcdemment).

Repres orthonorms
Un repre R = (O,B) dun espace affine E est dit orthonorm ou orthonormal si la base


B de E est orthonorme.
La distance de deux points M et N, de coordonnes
p respectives (x1 , . . . ,xn ) et (y1 , . . . ,yn )
dans un repre orthonorm, scrit MN = (x1 y1 )2 + + (xn yn )2 .

Equation dun hyperplan, distance dun point un hyperplan. Si H est un

hyperplan de E dfini par un point A et un vecteur normal ~n (i.e. un vecteur non nul de

H ), la distance dun point M de E H est :

|~n AM |
d(M,H) = .
k~nk

En particulier, M appartient H si et seulement si cette distance est nulle, i.e. ~n AM = 0,
ce qui scrit, dans le cas du plan rapport un repre orthonorm (O,~i,~j) : a(x xA ) +
b(y yA ) = 0, ou encore : ax+by +c = 0, avec c = axA byA , si ~n = a~i+b~j, et dans le cas
de lespace rapport un repre orthonorm (O,~i,~j,~k) : a(xxA )+b(yyA )+c(zzA ) = 0,
ou encore : ax + by + cz + d = 0, avec d = axA byA czA , si ~n = a~i + b~j + c~k.
Dans le plan, la distance du point M de coordonnes (x,y) la droite D dquation
ax + by + c = 0 est donc donne par :
|ax + by + c|
d(M,D) =
a2 + b2
et dans lespace, la distance du point M de coordonnes (x,y,z) au plan P dquation
ax + by + cz + d = 0 est donne par :
|ax + by + cz + d|
d(M,P ) = .
a2 + b2 + c2

Remarque : Dans le plan rapport un repre orthonorm (O,~i,~j), toute droite D admet
une quation de la forme cos x + sin y = p, o le vecteur cos ~i + sin ~j est un vecteur
unitaire normal D et |p| la distance de O D. Cette quation, dite parfois quation
normale de la droite, est unique au signe prs.

Rflexions, bissectrices
Dfinition 3.3. On appelle, dans un espace affine euclidien, symtrie orthogonale par


rapport un sous-espace affine F la symtrie par rapport F dans la direction F . On
appelle rflexion toute symtrie orthogonale par rapport un hyperplan.

29
Une rflexion est donc, dans le plan, une symtrie orthogonale par rapport une droite
et, dans lespace, une symtrie orthogonale par rapport un plan.

Proposition 3.4. Toute symtrie orthogonale (en particulier toute rflexion) conserve
les distances. Dans le plan, une rflexion conserve les angles gomtriques et change les
angles orients (de droites ou de demi-droites) en leurs opposs.
Exercice 3.12. Rflexion changeant deux points.
Montrer quil existe une et une seule rflexion changeant deux points distincts donns. Son hyperplan
est lhyperplan mdiateur de ces deux points.

Exercice 3.13. Montrer que le produit de deux rflexions dhyperplans parallles est une translation de
vecteur orthogonal aux deux hyperplans de ces rflexions. Rciproquement, montrer que toute translation
peut se dcomposer en produit de deux rflexions dhyperplans orthogonaux son vecteur, lun de ces
hyperplans pouvant tre choisi arbitrairement et lautre tant alors uniquement dtermin.

Exercice 3.14. Montrer quune symtrie affine dun espace affine euclidien est une isomtrie si et seule-
ment si cest une symtrie orthogonale.

Proposition 3.5. Soient (AB) et (AC) deux demi-droites de mme origine A du plan
affine euclidien. Il existe une et une seule rflexion changeant ces deux demi-droites. Son

axe passe par A et tout vecteur directeur ~u de cet axe vrifie (~u,AB) + (~u,AC) = 0 (galit
dangles orients de vecteurs).

Cet axe est appel bissectrice du couple de demi-droites.

Proposition 3.6. Soient D et D deux droites du plan affine euclidien scantes en A. Il

existe exactement deux rflexions changeant ces deux droites. Leurs axes et sont
perpendiculaires en A et vrifient (,D)+(,D ) = ( ,D)+( ,D ) = 0 (galit dangles
orients de droites).

Les droites et sont appeles bissectrices du couple de droites (D,D ).

Proposition 3.7. Lensemble des points du plan quidistants de deux droites scantes
donnes est la runion des deux bissectrices de ce couple de droites.
Exercice 3.15. Dterminer lensemble des points du plan quidistants de deux droites parallles donnes.

Exercice 3.16. Soient, dans le plan rapport un repre orthonorm (O,~i,~j), D et D deux droites
scantes dquations respectives ax + by + c = 0 et a x + b y + c = 0. Ecrire lquation de la runion des
deux bissectrices de ces droites.

30
3.2 Cercles et sphres
Dfinition 3.8. Soit E un plan affine euclidien, O un point de E et R un rel positif. On
appelle cercle de centre O et de rayon R lensemble des points M de E vrifiant OM = R.
Si E est un espace affine euclidien de dimension 3, cet ensemble sappelle sphre de centre
O et de rayon R.
Si OM > R (resp. OM < R), on dit que M est extrieur (resp. intrieur ) au cercle (ou
la sphre).
Exercice 3.17. Deux points A et B dun cercle ou dune sphre de centre O sont dits diamtralement
opposs sils sont symtriques par rapport O. On dit alors que AB est un diamtre du cercle ou de la
sphre. Montrer quun point M appartient un cercle ou une sphre de diamtre AB si et seulement

si M A M B = 0. En dduire lquation cartsienne dans un repre orthonorm dun cercle (ou dune
sphre) de diamtre donn.

Reprsentation paramtrique, quation Dans le plan rapport un repre ortho-

norm (O,~i,~j), le cercle de centre (a,b) et de rayon R admet la reprsentation param-
trique :
(
x = a + R cos t
(t [0,2[)
y = b + R sin t

Son quation cartsienne scrit (x a)2 + (y b)2 = R2 , et est donc de la forme x2 + y 2

2ax 2by + c = 0, o c = a2 + b2 R2 . Rciproquement, une quation de cette forme est
celle dun cercle si a2 + b2 c 0 (si a2 + b2 c = 0, ce cercle est rduit un point ; si
a2 + b2 c < 0, lensemble des points la vrifiant est vide).

Intersection dune droite et dun cercle, tangentes

Proposition 3.9. Soit, dans le plan affine euclidien, D une droite et C un cercle de
centre O et de rayon R. Lintersection de D et de C est :
constitue de deux points si d(O,D) < R ;
rduite un point si d(O,D) = R ;
vide si d(O,D) > R.
Si d(O,D) = R, lunique point dintersection de D et de C est le projet orthogonal H de
O sur D. On dit alors que D est tangente C en H. La tangente un cercle de centre O
en un point M de ce cercle est donc la perpendiculaire mene par M au rayon OM.
Remarque : Cette dfinition de la tangente, particulire au cercle, concide avec la dfini-
tion usuelle de la tangente une courbe paramtre comme position limite dune scante,
comme on le vrifie immdiatement en partant de la reprsentation paramtrique.
Exercice 3.18. Soit, dans lespace affine euclidien de dimension 3, P un plan et S une sphre de centre
O et de rayon R. Lintersection de P et de S est :
un cercle dont on prcisera le centre et le rayon si d(O,P ) < R ;
un point si d(O,P ) = R ;
vide si d(O,P ) > R.
Exercice 3.19. Montrer que par tout point M du plan extrieur un cercle C de centre O on peut
mener deux tangentes C et que ces tangentes sont symtriques par rapport la droite OM .

31
Exercice 3.20. Montrer que, dans le plan affine euclidien rapport un repre orthonorm la tangente
en M0 (x0 ,y0 ) au cercle dquation x2 + y 2 2ax 2by + c = 0 a pour quation x0 x + y0 y a(x + x0 )
b(y + y0 ) + c = 0.
Exercice 3.21. Position relative de deux cercles.
Soient C et C deux cercles distincts du plan affine euclidien, de centres respectifs O et O et de rayons
R et R . On note d = OO la distance de leurs centres. Alors cinq cas sont possibles :
si d < |R R |, les deux cercles sont disjoints et lun est intrieur lautre ;
si d = |R R |, les cercles sont tangents intrieurement (leur intersection est rduite un point,
ils ont mme tangente en ce point, et lun est intrieur lautre, lexception de ce point) ;
si |RR | < d < R+R , ils sont scants (leur intersection est constitue de deux points, symtriques
par rapport la droite des centres) ;
si d = R + R , ils sont tangents extrieurement (leur intersection est rduite un point, ils ont
mme tangente en ce point, et chacun deux est extrieur lautre, lexception de ce point) ;
si d > R + R , ils sont disjoints et chacun deux est extrieur lautre.

Puissance dun point par rapport un cercle

Proposition 3.10. Soit C un cercle de centre O et de rayon R, M un point du plan et
D une droite passant par M et coupant C en deux points A et B. Alors le produit scalaire

MA MB est gal MO 2 R2 et ne dpend donc pas de la droite D. Ce nombre est
appel puissance de M par rapport au cercle C et not pC (M).

Dmonstration : Soit A le point diam-

tralement oppos A sur le cercle C. On
a:

MA MB = MA (MB + BA )

= MA MA

= (MO + OA) (MO OA)
= MO 2 R2 .

Ce nombre permet de situer le point M par rapport au cercle. Plus prcisment :

M est extrieur au cercle si et seulement si pC (M) > 0 ;
M appartient au cercle si et seulement si pC (M) = 0 ;
M est intrieur au cercle si et seulement si pC (M) < 0.
En particulier, si le point M est extrieur au cercle, on a pC (M) = MT 2 = MT 2 , o T
et T sont les points de contact des deux tangentes menes par M au cercle C.

Expression analytique. Le plan tant rapport un repre orthonorm, la puissance

du point M(x,y) par rapport au cercle C dquation x2 + y 2 2ax 2by + c = 0 est
pC (M) = x2 + y 2 2ax 2by + c.

32
Exercice 3.22. Cercles orthogonaux.
Deux cercles scants C et C sont dits orthogo-
naux si leurs tangentes en leurs points dinter-
section sont orthogonales.
Soient C et C deux cercles de centres O et O
et de rayons R et R . Montrer lquivalence des
proprits suivantes :
(i) les cercles C et C sont orthogonaux ;
(ii) OO2 = R2 + R2 ;
(iii) pC (O ) = R2 ;
(iv) pC (O) = R2 .

Axe radical de deux cercles

Proposition 3.11. Soient C et C deux cercles distincts du plan affine euclidien. Len-
semble des points du plan ayant mme puissance par rapport C et C est :
vide si C et C sont concentriques ;
une droite perpendiculaire la droite des centres si leurs centres sont distincts.
Cette droite est alors appele axe radical des deux cercles.
Dans le cas o les cercles sont scants, leur axe radical est la droite passant par les deux
points dintersection de ces cercles. Dans le cas o ils sont tangents, leur axe radical est
leur tangente commune.
Exercice 3.23. Ecrire lquation de laxe radical de deux cercles donns par leurs quations cartsiennes
en repre orthonorm x2 + y 2 2ax 2by + c = 0 et x2 + y 2 2a x 2b y + c = 0. Vrifier que cet axe
radical est perpendiculaire la droite des centres.

Faisceaux linaires de cercles

Dfinition 3.12. Soient C1 et C2 deux cercles non concentriques du plan affine euclidien.
On appelle faisceau de cercles engendr par C1 et C2 lensemble des cercles C du plan tels
que laxe radical de C et C1 soit gal laxe radical de C1 et C2 .
Proposition 3.13. Soient C1 et C2 deux cercles non concentriques du plan affine eucli-
dien rapport un repre orthonorm, dquations respectives f1 (x,y) = 0 et f2 (x,y) = 0.
Le faisceau de cercles engendr par C1 et C2 est lensemble des cercles du plan dquation
f1 (x,y) + (1 )f2 (x,y) = 0, pour R.
On a suppos ici les quations normalises (les coefficients de x2 et y 2 gaux 1). Lqua-
tion f1 (x,y) f2 (x,y) = 0 est alors lquation de laxe radical de deux quelconques des
cercles du faisceau.
Exercice 3.24. On suppose les cercles C1 et C2 scants en A et B. Montrer que le faisceau de cercles
engendr par C1 et C2 est exactement lensemble des cercles du plan passant par A et B.
Exercice 3.25. On suppose les cercles C1 et C2 tangents en un point A. Montrer que le faisceau de
cercles engendr par C1 et C2 est exactement lensemble des cercles du plan tangents en A C1 et C2 .
Exercice 3.26. Faisceaux de cercles orthogonaux.
a) Montrer quun cercle orthogonal deux cercles dun faisceau est orthogonal tout cercle du faisceau.
b) En dduire que lensemble des cercles orthogonaux tous les cercles dun faisceau est un autre faisceau
de cercles, et que laxe radical de lun ces faisceaux est la droite des centres de lautre.

33
3.3 Thorme de langle inscrit, cocyclicit
Proposition 3.14. (thorme de langle inscrit). Soient A, B et C trois points distincts

dun cercle de centre O. Alors on a lgalit : (OB,OC) = 2(AB,AC).

Remarque : Langle (OB,OC) est un angle orient de vecteurs, et (AB,AC) est un angle
orient de droites ; mais 2(AB,AC) est alors aussi un angle orient de vecteurs (dont la
mesure, en supposant le plan orient, est dfinie modulo 2).

Dmonstration : Soit s1 (resp. s2 ) la r-

flexion daxe la mdiatrice 1 de AB
(resp. la mdiatrice 2 de AC). La com-
pose s2 s1 est une rotation de centre O
(puisque 1 et 2 se coupent en O) qui
transforme B en C. Son angle est donc

(OB,OC) ; mais cest aussi 2(1 ,2 )
daprs la proposition A.10, qui est gal
(AB,AC), puisque 1 est orthogonale
AB et 2 AC.

Exercice 3.27. Soient A, B et C trois points

distincts dun cercle et T la tangente en B
. Montrer que (AB,AC) = (T,BC) (galit
dangles orients de droites).

Proposition 3.15. Quatre points distincts A, B, C, D du plan sont cocycliques ou aligns

si et seulement si les angles de droites (AB,AC) et (DB,DC) sont gaux.
Plus prcisment, ils sont aligns si et seulement si ces deux angles de droites sont nuls (ce

qui revient dire que les angles de vecteurs (AB,AC) et (DB,DC) sont nuls ou plats),
cocycliques si ces angles sont gaux mais non nuls.
Dmonstration : Le cas des points aligns est trivial. Si les quatre points sont cocycliques
et si O est le centre du cercle les contenant, le thorme de langle inscrit nous dit que

(OB,OC) = 2(AB,AC) = 2(DB,DC) (galit dangles orients de vecteurs). Il en r-
sulte que (AB,AC) = (DB,DC) (galit dangles orients de droites). Rciproquement,
si (AB,AC) = (DB,DC) est langle nul, les points sont aligns. Si (AB,AC) = (DB,DC)
nest pas nul, les triangles ABC et DBC ne sont pas aplatis. Soient alors 1 et 2 les
cercles circonscrits ces triangles, T1 et T2 les tangentes en B ces cercles. Lexercice
3.27 montre que T1 = T2 . Les deux cercles 1 et 2 ont mme tangente en B et passent
par les deux points B et C : ils sont donc confondus et les points A, B, C et D sont
cocycliques.
Exercice 3.28. Arc capable.
Soient A et B deux points distincts du plan affine euclidien orient et un rel. Dterminer lensemble des

34

points M du plan tels que la mesure de langle orient de vecteurs (M A,M B) soit congrue modulo
(resp. modulo 2). En dduire lensemble des points M du plan tels que la mesure de langle gomtrique
\
AM B soit gale .

3.4 Gomtrie du triangle

Dans toute cette partie, triangle signifie triangle non aplati (sauf mention explicite du
contraire). On note BC = a, CA = b, AB = c les longueurs des cts dun triangle ABC
et A, B, C les (mesures des) angles gomtriques du triangle. Un triangle ABC est dit
rectangle en A si langle A est droit ; le ct BC est alors appel hypotnuse.
Il est dit acutangle si ses trois angles sont aigus, isocle en A si les cts AB et AC ont
mme longueur, quilatral si ses trois cts ont mme longueur.

Exercice 3.29. Dmontrer la formule dAl Kashi : a2 = b2 + c2 2bc cos A.

En particulier, un triangle ABC est rectangle en A si et seulement si on a a2 = b2 + c2 (thorme de
Pythagore).

Exercice 3.30. Soient a, b, c trois rels positifs. Montrer quil existe un triangle de longueurs de cts
a, b, c si et seulement si on a la double ingalit : |b c| < a < b + c.

Exercice 3.31. Montrer quun triangle ABC est isocle en A si et seulement si les angles gomtriques
B et C sont gaux. Un triangle est donc quilatral si et seulement si ses trois angles sont gaux.

Exercice 3.32. Soit ABC un triangle. Montrer que la somme des angles orients de vecteurs (AB,AC)+

(BC,BA) + (CA,CB) est langle plat. Montrer que les mesures principales de ces trois angles (comprises
entre et +) ont mme signe et en dduire que la somme des angles gomtriques du triangle est
gale .

Dans le plan affine euclidien orient, laire algbrique dun triangle ABC est, par dfini-

tion, la moiti du dterminant det(AB,AC) (ce dterminant est le mme dans toute base
orthonorme directe, mais son signe dpend de lordre des points ABC). Laire gom-
trique dun triangle est, par dfinition, la valeur absolue de son aire algbrique.

Exercice 3.33. Soit, dans le plan affine euclidien orient, ABC un triangle. Montrer que laire algbrique
de ce triangle est gale :

1
1
1
det(AB,AC) = det(BC,BA) = det(CA,CB)
2 2 2
1
1
1
= AB.AC sin (AB,AC) = BC.BA sin (BC,BA) = CA.CB sin (CA,CB) .
2 2 2

Montrer que laire gomtrique dun triangle est gale au demi-produit de la longueur dun de ses cts
par la longueur de la hauteur correspondante (distance de la droite portant ce ct au sommet oppos).

35
Mdiatrices, cercle circonscrit

Proposition 3.16. Les trois mdia-

trices dun triangle sont concourantes.
Leur point de concours est lunique point
du plan quidistant des trois sommets.
Cest aussi le centre de lunique cercle
du plan passant par ces trois sommets.
Ce cercle est appel cercle circonscrit au
triangle.

Exercice 3.34. Soit ABCD un ttradre non aplati de lespace affine euclidien de dimension 3. Montrer
quil existe une sphre et une seule passant par les 4 points A, B, C et D. Cette sphre est appele sphre
circonscrite au ttradre.

Hauteurs, orthocentre

Dfinition 3.17. On appelle hauteurs dun triangle les perpendiculaires aux cts passant
par le sommet oppos.

Proposition 3.18. Les trois hauteurs dun triangle sont concourantes en un point appel
orthocentre du triangle.

Dmonstration : Les parallles aux

cts menes par le sommet oppos
dterminent un triangle A B C . Les
hauteurs du triangle initial ABC
sont les mdiatrices du triangle
A B C : elles sont donc concou-
rantes.

Exercice 3.35. Autre dmonstration.

a) Montrer que, pour tout quadruplet A, B, C, M de points dun espace affine euclidien E, on a (relation
de Stewart) :

M A BC + M B CA + M C AB = 0 .

b) Retrouver ainsi le fait que les hauteurs dun triangle sont concourantes.

36
Exercice 3.36. Autre dmonstration.
Soient BB1 et CC1 les hauteurs issues de B et
C dans un triangle ABC non rectangle en A et
H leur point dintersection. Montrer que langle
de droites (AH,BC) est droit. Retrouver ainsi
la proposition 3.18. (On pourra remarquer que
les points A, B1 , C1 , H dune part, et B, C,
B1 , C1 dautre part, sont cocycliques.)

Solution :

(AH,BC) = (AH,AB) + (AB,BC) (relation de Chasles)

= (AH,AC1 ) + (AB,BC)
= (B1 H,B1 C1 ) + (AB,BC)
= (B1 B,B1 C1 ) + (AB,BC)
= (CB,CC1 ) + (AB,BC)
= (AB,CC1 )
(les points A, B1 , C1 , H sont cocycliques)
(les points B, C, B1 , C1 sont cocycliques)
(relation de Chasles)

Bissectrices, cercles inscrit et exinscrits

Dfinition 3.19. On appelle bissectrice intrieure en A dun triangle ABC la bissectrice
du couple de demi-droites AB et AC. Lautre bissectrice de langle de droites (AB,AC)
est appele bissectrice extrieure en A du triangle ABC.
La proposition suivante justifie cette terminologie :
Proposition 3.20. La bissectrice intrieure en A dun triangle ABC coupe le ct BC
en un point A1 (appel pied de cette bissectrice) qui est le barycentre du systme pondr
(B,b), (C,c). La bissectrice extrieure en A est perpendiculaire la bissectrice intrieure.
Elle ne rencontre pas lintrieur du triangle et coupe, si le triangle nest pas isocle en A,
la droite BC en un point A1 qui est le barycentre du systme pondr (B,b), (C, c). Les
points A1 et A1 sont donc les deux points de la droite BC vrifiant :

A1 B A B AB
= 1 = .
A1 C A1 C AC

Exercice 3.37. Interprter cette dernire relation en faisant intervenir les aires des triangles AA1 B et
AA1 C (resp. AA1 B et AA1 C).

Corollaire 3.21. Les bissectrices intrieures dun triangle ABC sont concourantes en
un point de coordonnes barycentriques (a,b,c) dans le repre affine ABC. Ce point est
centre dun cercle tangent aux trois cts du triangle, appel cercle inscrit du triangle
ABC. Chaque bissectrice intrieure rencontre les bissectrices extrieures en les deux autres
sommets en un point qui est galement centre dun cercle tangent aux trois cts. Ces trois
cercles sont appels cercles exinscrits.
Il y a donc exactement quatre points quidistants des trois cts dun triangle ; chacun
de ces points est intersection de trois bissectrices et centre dun cercle tangent aux trois

37
cts.

3.5 Exercices

Exercice 3.38. Montrer quun triangle ABC est isocle en A si et seulement si deux des quatre droites
suivantes sont confondues : la mdiane issue de A, la mdiatrice de BC, la hauteur issue de A, la bissectrice
intrieure en A. Ces quatre droites sont alors toutes confondues.

Exercice 3.39. Soit A1 A2 . . . An un polygone rgulier convexe. Montrer que la somme des distances
dun point aux cts du polygone est constante sur lintrieur de ce polygone.

Exercice 3.40. Soit dans le plan affine euclidien ABC un triangle non aplati, G son centre de gravit,
H son orthocentre, A , B , C les milieux des cts BC, CA et AB, le cercle circonscrit au triangle
ABC et O son centre.
a) Montrer que lhomothtie hG,1/2 de centre G et de rapport 1/2 transforme le triangle ABC en le
triangle A B C .

b) Montrer que les points O, G et H sont aligns. Ecrire une relation entre les vecteurs GH et GO.
c) Soit le cercle circonscrit au triangle A B C et O son centre. Montrer que est limage de par
lhomothtie hG,1/2 , puis que O est le milieu de HO. En dduire que lhomothtie de centre H et de
rapport 1/2 transforme en , puis que passe par les milieux A , B et C des segments HA, HB
et HC.
d) Comparer les vecteurs C B et B C , puis les vecteurs C B et B C . Montrer que C B C B est un
rectangle. En dduire que C C et B B sont des diamtres du cercle .
e) Montrer que le cercle passe par les pieds des hauteurs du triangle ABC.

38
Exercice 3.41. Cercle exinscrit et primtre
(thorme des trois tangentes).
Soit ABC un triangle, P , Q, R les points de
contact du cercle exinscrit dans langle en A
avec les cts BC, CA et AB. Montrer que la
somme AQ + AR est gale au primtre du tri-
angle ABC. En dduire le thorme des trois
tangentes : soit A un point extrieur un cercle
, AQ et AR les deux tangentes menes de A
, P un point de larc QR du cercle situ du
ct de A, B et C les points dintersection de la
tangente en P avec les droites AR et AQ ;
alors le primtre du triangle ABC ne dpend
pas de P .

Exercice 3.42. Montrer que si un quadrilatre convexe

ABCD possde un cercle inscrit, il vrifie AB + CD =
BC + DA.

Exercice 3.43. Droites de Simson et de Stei-

ner.
Soit ABC un triangle du plan affine euclidien.
Montrer quun point M du plan appartient au
cercle circonscrit ABC si et seulement si ses
projets orthogonaux sur les trois cts (resp.
ses symtriques par rapport aux trois cts)
sont aligns. La droite qui les porte sappelle
la droite de Simson (resp. la droite de Steiner )
de ce point.

39
Exercice 3.44. Soit ABC un triangle et A ,
B , C trois points situs respectivement sur les
cts BC, CA et AB de ce triangle et diff-
rents des sommets. Montrer que les cercles cir-
conscrits aux trois triangles AB C , BC A et
CA B ont un point commun.

Exercice 3.45. Soit, dans le plan affine eucli-

dien rapport un repre orthonorm, ABC
un triangle non isocle et fA (x,y) = 0 lqua-
tion normale de la droite BC normalise par
fA (xA ,yA ) > 0. On note de mme fB (x,y) = 0
et fC (x,y) = 0 les quations normalises des
droites CA et AB. Ecrire les quations des bis-
sectrices intrieures et extrieures du triangle
en fonction de fA , fB et fC . Retrouver ainsi
lexistence des cercles inscrits et exinscrits au
triangle et montrer que la droite joignant les
pieds de deux bissectrices intrieures passe par
le pied de la bissectrice extrieure associe au
troisime sommet (on crira lquation de cette
droite en fonction de fA , fB et fC ).
Exercice 3.46. Lespace est rapport un repre orthonorm. Donner lexpression en coordonnes de
la rflexion par rapport au plan P dquation x y + z + 5 = 0.
Exercice 3.47. Lespace est rapport un repre orthonorm. Donner des quations de la perpendicu-
laire commune aux droites D1 dquations
(
x+yz1=0
2x + y + z = 0

et D2 dtermine par le point A2 de coordonnes (1,0,1) et le vecteur directeur ~v2 de composantes

(1, 1,0). Calculer la distance de ces deux droites.

40
Chapitre 4

Isomtries

4.1 Dfinition et premires proprits

Dfinition 4.1. Soient E et F deux espaces affines euclidiens. On appelle isomtrie
de E dans F toute application f de E dans F qui conserve la distance, i.e. qui vrifie
f (A)f (B) = AB pour tout couple (A,B) de points de E.
Une isomtrie est clairement injective, puisque f (A) = f (B) implique AB = f (A)f (B) =
0 et donc A = B. Elle est bijective si E et F ont mme dimension, en particulier si E = F ,
ce qui sera presque toujours pour nous le cas, mais cela ne se voit pas immdiatement sur
la dfinition. Cela rsultera en fait de la proposition fondamentale suivante :
Proposition 4.2. Toute isomtrie est une application affine.



Dmonstration : Soit O un point de E et f~O lapplication de E dans F dfinie par


f~O (~u) = f (O)f (A) pour tout vecteur ~u de E , o A est lunique point de E tel que


~u = OA. Si ~u et ~v sont deux vecteurs de E et A et B les points de E tels que ~u = OA,

~v = OB, on a :

f~O (~u) f~O (~v ) = f (O)f (A) f (O)f (B)
1

= f (O)f (A)2 + f (O)f (B)2 f (A)f (B)2
2
1

= OA2 + OB 2 AB 2
2

= OA OB
= ~u ~v ,

ce qui montre que f~O conserve le produit scalaire et est donc linaire daprs la proposition
A.2. Il rsulte alors de la proposition 2.2 que f est affine, de partie linaire f~O .

Nous nous intresserons essentiellement ici aux isomtries dun espace affine euclidien E
dans lui-mme. Ces isomtries constituent un sous-groupe Is(E) du groupe GA(E) des
transformations affines de E, appel groupe des isomtries de E.
Proposition 4.3. Soient E un espace affine euclidien et f une transformation affine de
E. Alors f est une isomtrie si et seulement si sa partie linaire f~ est une transformation
orthogonale.
Dfinition 4.4. Une isomtrie f dun espace affine euclidien E est dite directe ou posi-



tive si sa partie linaire f~ est une transformation orthogonale positive de E : f~ O + ( E ).
On dit aussi que f est un dplacement.

41
Une isomtrie f de E est dite indirecte ou ngative si sa partie linaire f~ est une trans-



formation orthogonale ngative de E : f~ O ( E ). On dit aussi que f est un antidpla-
cement.
Les dplacements constituent un sous-groupe Is+ (E) du groupe des isomtries de E.
On note Is (E) lensemble des antidplacements de E (Is (E) nest pas un groupe : le
compos de deux antidplacements est un dplacement).

4.2 Dcomposition en produit de rflexions

Lemme 4.5. Soit f une isomtrie de E diffrente de lidentit. Alors il existe une r-
flexion s telle que dim(Fix(s f )) > dim(Fix(f )).
(Si f na pas de point fixe, il faut comprendre que s f a au moins un point fixe.)
Dmonstration : Soit A un point de E tel que f (A) 6= A et s la rflexion par rapport
lhyperplan mdiateur H de Af (A). Tout point fixe M de f appartient H, puisque
Mf (A) = f (M)f (A) = MA, et est donc fixe par s f . Comme A nappartient pas
H et est fixe par s f , Fix(s f ) est un sous-espace affine de E contenant strictement
Fix(f ).
On en dduit immdiatement, par rcurrence sur la dimension du sous-espace des points
fixes, que les rflexions engendrent le groupe des isomtries. Plus prcisment :
Thorme 4.6. Toute isomtrie f dun espace affine euclidien E de dimension n peut se
dcomposer en produit de k rflexions, avec k np, o p est la dimension du sous-espace
des points fixes de f (p = 1 si f na pas de point fixe).
Cette dcomposition nest pas unique, mais la parit du nombre k de rflexions y inter-
venant lest, puisque le dterminant de f~ est (1)k .

4.3 Classification des isomtries planes

Le cas des dplacements est simple : si f est un dplacement du plan, sa partie linaire f~
est soit lidentit, auquel cas f est une translation, soit une rotation vectorielle dangle non
nul . Dans ce cas, f possde un point fixe O et un seul, puisque +1 nest pas valeur propre
de f~ (proposition 2.17). On dit que f est la rotation de centre O et dangle . Limage

M = f (M) dun point M est caractrise par les relations OM = OM, (OM,OM ) =
(modulo 2).


La partie linaire f~ dun antidplacement f est une rflexion vectorielle. Soit D son axe.
Si f admet un point fixe A, f est la rflexion vectorielle daxe la droite D de direction

D passant par A. Sinon, il existe un vecteur ~u tel que t~u f admette un point fixe et
soit donc une rflexion sD daxe D. On dcompose le vecteur ~u sous la forme ~u = ~v + w, ~



o ~v D et w ~ est orthogonal D . On a alors f = tu~ sD = t~v tw~ sD . On peut alors
dcomposer tw~ sous la forme tw~ = sD sD , o D est une droite parallle D (cf. exercice


3.13). Il en rsulte f = t~v sD o ~v D . Une telle isomtrie sappelle symtrie glisse
daxe D et de vecteur ~v (D et ~v sont uniquement dtermins comme le montre lexercice
suivant).

42
Exercice 4.1. Soit f = t~v sD une symtrie
glisse, o D est une droite affine et ~v un vecteur


de D. Montrer que t~v et sD commutent. En
dduire lexpression de f f , puis lunicit de
la dcomposition de f .

Invariants dpl/antidpl nature gomtrique

plan dplacement identit
droite antidplacement rflexion
point dplacement rotation
dplacement translation
antidplacement symtrie glisse

Classification des isomtries planes

4.4 Les isomtries de lespace

Dplacements
Soit f un dplacement de lespace affine euclidien E de dimension 3. Sa partie linaire f~
est soit lidentit, soit une rotation vectorielle. Si f~ est lidentit, f est une translation. Si


f~ est une rotation vectorielle daxe D et dangle , deux cas se prsentent :
- soit f a un point fixe A : dans ce cas f est une rotation daxe D et dangle , o D


est la droite affine de direction D passant par A (f laisse globalement invariant tout
plan P orthogonal D et sa restriction un tel plan est une rotation de centre le point
dintersection de P et de D et dangle ) ;
- soit f na pas de point fixe ; il existe alors un vecteur ~u tel que t~u f admette un
point fixe et soit donc une rotation r daxe D ; on dcompose le vecteur ~u sous la forme



~u = ~v + w, ~ o ~v D et w ~ est orthogonal D ; on a alors f = tu~ r = t~v tw~ r ; mais
tw~ r laisse globalement invariant tout plan orthogonal D et sa restriction un tel plan
est une rotation plane dangle (compose dune translation et dune rotation plane) ;
soit D la droite parallle D passant par le centre dune de ces rotations ; tw~ r est alors
la rotation de E daxe D et dangle ; il en rsulte que f est produit dune rotation et
dune translation de vecteur parallle laxe de la rotation ; ce produit est commutatif et
cette dcomposition est unique (exercice) ; une telle isomtrie sappelle vissage daxe D ,
dangle et de vecteur ~v .


Exercice 4.2. Soit f = tu~ r un vissage, o r est une rotation daxe D et ~u un vecteur non nul de D.

a) Montrer que D = {M E | M f (M ) D}.
b) Montrer que D = {M E | M f (M ) = inf{Af (A) | A E}}.
c) En dduire lunicit de la dcomposition de f .

43
On appelle en particulier demi-tour ou retournement toute rotation de lespace dangle
plat. Un demi-tour est donc simplement une symtrie orthogonale par rapport une
droite. Les retournements sont les seuls dplacements involutifs. Leur importance vient
en particulier du fait quils engendrent le groupe des dplacements, comme le montre
lexercice suivant.
Exercice 4.3. Produit de deux retournements.
Montrer que le produit de deux retournements s et s daxes distincts D et D est :
une translation de vecteur orthogonal D et D si D et D sont parallles ;
une rotation daxe la perpendiculaire commune D et D si D et D sont scants ;
un vissage daxe la perpendiculaire commune D et D si D et D ne sont pas coplanaires.
En dduire que les retournements engendrent le groupe des dplacements de lespace. Plus prcisment,
tout dplacement de lespace peut scrire comme produit de deux retournements.

Antidplacements
La partie linaire f~ dun antidplacement f est soit une rflexion vectorielle, soit une
antirotation vectorielle (isomtrie vectorielle gauche). Si f~ est une rflexion vectorielle, on
montre comme dans le cas des antidplacements du plan que f est soit une rflexion, soit
une symtrie glisse (produit commutatif dune rflexion et dune translation de vecteur
parallle au plan de la rflexion). Si f~ est une antirotation, 1 nest pas valeur propre de
f~ ; il rsulte alors de la proposition 2.17 que f admet un point fixe et un seul ; f est donc
encore une antirotation (produit commutatif dune rotation et dune rflexion de plan
orthogonal laxe de la rotation).

Invariants dpl/antidpl nature gomtrique

espace dplacement identit
plan antidplacement rflexion
droite dplacement rotation
point antidplacement antirotation
dplacement vissage ou translation
antidplacement symtrie glisse

Classification des isomtries de lespace

4.5 Groupe disomtries conservant une figure

Proposition 4.7. Soit E un espace affine euclidien et A une partie non vide de E.
Lensemble G des isomtries f de E qui conservent A (i.e. qui vrifient f (A) = A) est
un sous-groupe du groupe Is(E) des isomtries de E. Lensemble G+ des dplacements
de E qui conservent A est un sous-groupe de G (cest lintersection des sous-groupes G
et Is+ (E) de Is(E)). Lensemble G des antidplacements de E qui conservent A est,
soit vide, soit en bijection avec G+ (si s G , f 7 s f est une telle bijection). En
particulier, si G+ est fini et G non vide, G+ et G ont le mme nombre dlments.

44
Remarque : Lensemble des isomtries f de E qui vrifient f (A) A est stable par
composition, mais nest pas ncessairement un sous-groupe de Is(E) (donnez un exemple).
Cest toutefois le cas si A est fini, puisque dans ce cas f (A) = A pour toute isomtrie f
vrifiant f (A) A.
Proposition 4.8. Soit E un espace affine euclidien et A une partie finie non vide de E.
Toute isomtrie de E qui conserve A laisse fixe lisobarycentre de A. Il en rsulte que le


groupe G de ces isomtries est isomorphe un sous-groupe du groupe orthogonal O( E )


de E .
Exercice 4.4. Soit G un sous-groupe fini du groupe des isomtries dun espace affine euclidien E. Montrer
quil existe un point de E fixe par tout lment de G.

Exemple : le groupe didral Dn . Cest le groupe des isomtries planes conservant

un polygone rgulier convexe A0 A1 . . . An1 n cts. Son sous-groupe des dplacements
Dn+ est le groupe cyclique dordre n constitu des n rotations de centre le centre O du
polygone et dangle 2k/n (k = 0, . . . ,n 1). Les lments de Dn sont les n rflexions
daxes les droites OAk (k = 0, . . . ,n 1) et les mdiatrices des cts (ces deux familles
tant confondues si n est impair et ayant chacune n/2 lments si n est pair).
Exercice 4.5. Montrer que le groupe D3 des isomtries du triangle quilatral est isomorphe au groupe
des permutations de trois lments.
Exercice 4.6. Soit r une rotation engendrant Dn+ et s un lment quelconque de Dn . Montrer que r et
s vrifient les relations rn = s2 = id, srs = r1 , et engendrent Dn .

Exercice 4.7. Soit A0 A1 . . . An1 un polygone rgulier

convexe et Ak0 Ak1 . . . Akn1 un polygone rgulier toil
ayant les mmes sommets (il existe donc un entier m pre-
mier avec n tel que ki k0 + mi (mod n) pour tout
i = 0, . . . ,n 1). Montrer que les groupes disomtries
des deux polygones sont les mmes.

Remarque : Une isomtrie qui conserve globalement lensemble A

des sommets dun polygone rgulier conserve ce polygone (et
rciproquement). Il ne faut pas croire que cette proprit
stend tout polygone, comme en tmoigne la figure ci-contre : O

les rotations de centre O et dangle 2/3 conservent les som- B C

mets du polygone OABC mais pas ce polygone.

4.6 Exercices
Exercice 4.8. Soit (A,B) et (A ,B ) deux couples de points distincts du plan affine euclidien vrifiant
AB = A B . Montrer quil existe un et seul dplacement f (resp. un et un seul antidplacement g) du
plan vrifiant A = f (A) et B = f (B) (resp. A = g(A) et B = g(B)). Construire gomtriquement les
lments caractristiques de f et de g.
Exercice 4.9. Hauteurs et triangle orthique.
Soit ABC un triangle non aplati du plan affine euclidien et A , B , C les pieds des hauteurs.
a) Montrer que les cts du triangle ABC sont des bissectrices du triangle A B C .

45
b) On suppose que le triangle ABC a tous ses angles aigus. Montrer que les hauteurs AA , BB et CC
du triangle ABC sont les bissectrices intrieures du triangle A B C .
c) Soient P , Q, R trois points distincts situs respectivement sur les cts BC, CA et AB du triangle
ABC et tels que les cts du triangle ABC soient des bissectrices du triangle P QR et f = sAB sCA sBC
la compose des rflexions daxes ces cts. Montrer que f est une symtrie glisse laissant globalement
invariante la droite P R. En dduire que cette droite est laxe de la symtrie glisse f , puis que les points
P , Q, R sont les pieds des hauteurs du triangle ABC.

Exercice 4.10. Soit D une droite du plan affine euclidien et P et Q deux points du plan situs dun
mme ct de cette droite. Dterminer le point I de la droite D qui minimise la somme P I + IQ.

Exercice 4.11. Problme de Fagnano.

Soit ABC un triangle du plan affine euclidien dont tous les angles sont aigus. On cherche dterminer
un triangle de primtre minimal inscrit dans le triangle ABC, cest--dire un triangle P QR dont les
sommets P , Q et R appartiennent respectivement aux cts BC, CA et AB du triangle et tel que la
somme P Q + QR + RP soit minimale.
a) Montrer en utilisant lexercice prcdent que si P , Q et R sont trois points intrieurs aux cts du
triangle ABC tels que le triangle P QR soit solution de ce problme, alors les cts du triangle ABC
sont les bissectrices extrieures du triangle P QR. En dduire que les points P , Q, R sont les pieds des
hauteurs du triangle ABC.
b) Soit P le pied de la hauteur issue de A dans le triangle ABC, P1 et P2 les symtriques de P par
rapport AB et AC. Montrer que les points P1 , R, Q et P2 sont aligns et que le primtre du triangle
P QR est gal P1 P2 . Exprimer ce primtre en fonction de AP et de langle en A du triangle ABC. En
dduire que le problme de minimisation admet une solution unique donne par les pieds des hauteurs.

46
Exercice 4.12. Isomtries du rectangle et du
losange.
Dterminer le groupe des isomtries planes
conservant :
a) un carr ;
b) un rectangle qui nest pas un carr ;
c) un losange qui nest pas un carr ;
d) un paralllogramme qui nest ni un rectangle
ni un losange.

Exercice 4.13. Lespace affine euclidien E de dimension 3 est rapport un repre orthonorm. D-
terminer la nature gomtrique de la transformation f de E qui un point M de coordonnes (x,y,z)
associe le point M de coordonnes (x ,y ,z ) dfinies par :


x + y 2z 3 + 2
x =


2
x+y + 2z 1 2
y =

2

z = 2 x 2 y + 2 + 2

2
(on prcisera les lments caractristiques de cette transformation).
Exercice 4.14. Lespace affine euclidien E de dimension 3 est rapport un repre orthonorm. Dter-
miner la nature gomtrique de la transformation de E qui un point M de coordonnes (x,y,z) associe
le point M de coordonnes (x ,y ,z ) dfinies par :

x 2y 2z 1


x =
3
2x + y 2z + 5
y =

3

z = 2x 2y + z + 2

3
(on prcisera les lments caractristiques de cette transformation).
Exercice 4.15. Soit E un espace affine euclidien de dimension 3, ~i, ~j, ~k une base orthonorme de lespace
vectoriel E~ associ, A et B deux points de E vrifiant
AB = ~k. On note D1 la droite de vecteur directeur
~i passant par A, D2 la droite de vecteur directeur ~j passant par B, et, pour i = 1,2, si le retournement
daxe Di .
a) Ecrire les matrices des parties linaires de s1 , s2 , s2 s1 et s1 s2 dans la base (~i,~j,~k).
b) Montrer que f = s2 s1 est un vissage dont on prcisera laxe et le vecteur.
c) Calculer f 2 . Dterminer les images f (A) et f (B) de A et B par f .
d) Soit G le sous-groupe du groupe des isomtries de E engendr par s1 et s2 . Montrer quil existe une
droite de E globalement invariante par tout lment de G.
e) Dcrire gomtriquement tous les lments de G.

Exercice 4.16. Isomtries du ttradre rgulier.

Le but de cet exercice est dtudier le groupe des isomtries du ttradre rgulier et en particulier de
montrer que ce groupe est isomorphe au groupe S4 des permutations de quatre lments. On considre
donc un ttradre rgulier ABCD de lespace affine euclidien E de dimension 3 et on note G le groupe des
isomtries de E laissant globalement invariant lensemble {A,B,C,D} des sommets de ce ttradre. On
note G+ le sous-ensemble de G constitu des isomtries directes et G le sous-ensemble de G constitu
des isomtries indirectes.
a) Montrer quil existe un point O de E fixe par tout lment de G.

47
b) Montrer que tout lment g de G induit une permutation (g) des sommets du ttradre et que
lapplication ainsi dfinie est un homomorphisme injectif du groupe G dans le groupe S des permutations
de ces sommets.
c) Soit I le milieu de AB. Montrer que le plan CDI est le plan mdiateur de AB. En dduire quil existe
dans G une rflexion changeant les points A et B et laissant fixes C et D.
d) Montrer que limage (G) de contient toutes les transpositions des sommets. En dduire que est
surjectif.
e) En dduire les cardinaux de G, G+ et G et montrer que limage (G+ ) de G+ par est gale au
groupe altern (sous-groupe de S constitu des permutations de signature +1).
f) Prciser la nature gomtrique de tous les lments de G+ (on pourra classer ces lments en fonction
de la dcomposition en produit de cycles disjoints de leur image par ).

Exercice 4.17. Isomtries du cube, du ttradre et de loctadre.

Soit ABCDA B C D un cube de diagonales AA , BB , CC , DD dont le carr ABCD est une face. On
se propose de dterminer le groupe G des isomtries de lespace conservant ce cube et de comparer ce
groupe aux groupes des isomtries du ttradre et de loctadre.

a) Montrer que tout lment de G transforme toute diagonale du cube en une diagonale du cube. En
dduire que tout lment de G laisse globalement invariant lensemble des sommets du cube. Rciproque-
ment, montrer que toute isomtrie de lespace laissant globalement invariant lensemble des sommets du
cube conserve le cube.
b) Soit lapplication de G dans lensemble S des permutations des diagonales du cube qui tout lment
de G associe la permutation induite sur lensemble des diagonales. Montrer que est un morphisme de
groupes et que sa restriction au sous-groupe G+ des isomtries directes de G est injective.
c) Identifier les lments de G+ et montrer que est un isomorphisme de G+ sur S.
d) En considrant la symtrie centrale de centre le centre du cube, montrer que G est isomorphe au
produit direct de S par un groupe 2 lements.
e) Soit T1 = ACD B et T2 = A C DB les deux ttradres rguliers dont les artes sont les diagonales
des faces du cube. Montrer que lensemble G1 des lments de G qui conservent T1 est un sous-groupe
de G, et que G est runion disjointe de G1 et de lensemble G2 des lments de G qui changent T1 et
T2 . Retrouver ainsi la structure de G (on rappelle que le groupe des isomtries du ttradre rgulier est
isomorphe au groupe des permutations de 4 lments).
f) Montrer que les ensembles des milieux des artes de T1 et de T2 sont les mmes (ces milieux sont aussi
les centres de gravit des faces du cube) et que ces milieux constituent les sommets dun octadre rgulier.
Montrer que tout lment de G conserve cet octadre. En dduire une injection naturelle du groupe du
ttradre dans celui de loctadre.
g) Montrer que les groupes des isomtries du cube et de loctadre sont isomorphes.

Exercice 4.18. Isomtries de lhlice circulaire.

Soit, dans lespace affine euclidien E de dimension 3 rapport un repre orthonorm (O,~i,~j,~k), H lhlice
circulaire de reprsentation paramtrique x = R cos t, y = R sin t, z = at, t R, o R et a sont deux rels
strictement positifs donns.
a) Montrer que toute isomtrie de R est de la forme t 7 t + b ou t 7 2b t pour un certain rel b.
b) Montrer que pour toute isomtrie de R, il existe un et un seul dplacement de E qui transforme,
pour tout t R, le point de paramtre t de H en le point de paramtre (t) de H. Un tel dplacement

48
conserve donc lhlice. Expliciter la nature gomtrique de ce dplacement (on discutera suivant la valeur
de ).
c) Montrer que toute isomtrie conservant lhlice H conserve laxe Oz du repre. En dduire que les
dplacements dcrits la question prcdente sont les seuls conserver H et que le groupe des dplace-
ments de lhlice est donc isomorphe au groupe des dplacements de la droite.
d) Montrer quil nexiste pas dantidplacement de E qui conserve H.

49
50
Chapitre 5

Coniques en gomtrie euclidienne

Les coniques ont t tudies depuis lantiquit. Dabord apparues comme sections planes
des cylindres et des cnes de rvolution (do leur nom), elles sont maintenant surtout
considres comme les courbes planes ayant une quation polynomiale du second degr.
Elles jouissent par ailleurs de proprits gomtriques remarquables et interviennent dans
de nombreux problmes physiques (mouvement des plantes, optique gomtrique,. . . ).
Nous les tudierons ici exclusivement du point de vue de la gomtrie euclidienne. La d-
finition que nous en donnerons parat dans ce cadre la plus adapte (mais ce nest pas la
seule). Toute cette tude se place donc dans le plan affine euclidien, rapport, dans la plu-
part des cas, un repre orthonorm (avec une exception en ce qui concerne lhyperbole,
dont lquation est particulirement simple dans un repre port par les asymptotes).

5.1 Dfinition par foyer et directrice

Dfinition 5.1. Soit D une droite du plan, F un point du plan nappartenant pas D, et
e > 0 un rel. On appelle conique de directrice D, dexcentricit e et de foyer F lensemble
des points M du plan dont le rapport des distances F et D est gal e, i.e. qui vrifient
MF
= e, o H est le projet orthogonal de M sur D. Si e < 1, la conique est appele
MH
ellipse, si e = 1 parabole, et si e > 1 hyperbole.
On remarque immdiatement que la perpendiculaire D mene par F est axe de
symtrie de la conique. Cette droite est appele axe focal de la conique (focal = qui porte
le foyer).

Dans le cas particulier o e = 1, la para-

bole de directrice D et de foyer F est
lensemble des points du plan quidis-
tants de la droite D et du point F ; on
peut aussi dcrire cet ensemble comme
le lieu des centres des cercles tangents
D passant par F .

Equation
La remarque prcdente nous amne travailler dans un repre orthonorm dont laxe
des x est laxe focal. Soit donc (O,~i,~j) un tel repre, (xF ,0) les coordonnes de F , x = xD

51
 MF
lquation de D dans ce repre. Lquation = e quivaut MF 2 = e2 MH 2 , soit
MH
encore :
(x xF )2 + y 2 = e2 (x xD )2 .

Si e = 1, cette quation scrit encore :

 
xD + xF
2(xF xD ) x = y2 ,
2

ce qui amne poser xF = p/2, xD = xF . Lquation scrit alors y 2 = 2px. Le rel p > 0
est appel paramtre de la parabole (cest la distance du foyer la directrice), lorigine O
sommet de la parabole (cest le seul point de la parabole situ sur laxe focal).
Si e 6= 1, lquation scrit :

(1 e2 )x2 + y 2 2x(xF e2 xD ) + x2F e2 x2D = 0 .

On est alors amen choisir lorigine O du repre de faon avoir xF e2 xD = 0, ce qui

revient dire que O est barycentre du sytme de points pondrs (F,1), (K, e2 ), o K
est le point dintersection de la directrice et de laxe focal. Le point O est aussi le milieu
du segment AA , o A et A sont les deux points de la conique situs sur laxe focal (ces
points sont les barycentres des systmes pondrs (F,1), (K,e) et (F,1), (K, e)). Si on
a
appelle a et a les abscisses de ces points, de sorte que xD = , xF = ae, lquation
e
scrit :
x2 y2
+ = 1.
a2 a2 (1 e2 )
On constate alors que laxe Oy est axe de symtrie et le point O centre de symtrie
de la conique. Lellipse et lhyperbole sont ainsi appeles coniques centre, ce qui les
distingue de la parabole, qui ne possde pas de centre de symtrie. On en dduit pour
ces coniques lexistence dun second couple foyer-directrice, symtrique du premier par
rapport au point O.
On est ensuite amen sparer les cas e < 1 et e > 1 :

Si e < 1 (cas
de lellipse), laxe Oy coupe la conique en deux points B et B , dordonnes
2
b, o b = a 1 e . Lquation de lellipse scrit alors :

x2 y 2
+ 2 = 1.
a2 b

Le foyer F a pour abscisse c = xF = ae = a2 b2 et la directrice D pour quation
x = a2 /c.
Si e > 1 (cas de lhyperbole), laxe Oy ne coupe pas la conique. On pose b = a e2 1.
Lquation de lhyperbole scrit alors :

x2 y 2
2 = 1.
a2 b

Le foyer F a pour abscisse c = ae = a2 + b2 et la directrice D pour quation x = a2 /c.

52
5.2 Dfinition bifocale des coniques centre

Lexistence de deux couples foyer-directrice pour les coniques centre permet den obtenir
une autre caractrisation. Si on appelle en effet F et F les foyers, D et D les directrices
correspondantes, H et H les projets dun point M de la conique sur D et D , on a les
relations MF = eMH, MF = eMH .
Lellipse est entirement incluse dans la bande verticale dlimite par ses deux directrices ;
il en rsulte que le point M appartient au segment HH , do MF + MF = e(MH +
MH ) = eHH = 2a. Lellipse est donc incluse dans lensemble des points M du plan
vrifiant MF + MF = 2a. Un calcul lmentaire permet de vrifier quelle est gale cet
ensemble.
Lhyperbole se compose au contraire de deux branches extrieures la bande verticale
dlimite par ses deux directrices. Il en rsulte que pour tout point M de lhyperbole,
on a |MF MF | = e|MH MH | = 2a. Lune des branches de lhyperbole est donc
incluse dans lensemble des points M du plan vrifiant MF MF = 2a et lautre dans
lensemble des points M vrifiant MF MF = 2a. Un calcul identique celui opr dans
le cas de lellipse permet ici encore de vrifier que lhyperbole est exactement lensemble
des points M du plan vrifiant |MF MF | = 2a. En rsum :

Proposition 5.2. Soient F et F deux points distincts du plan.

1. Pour tout rel a > F F /2, lensemble des points M du plan vrifiant MF +MF = 2a
est lellipse de foyers F et F et de grand axe 2a.

2. Pour tout rel positif a < F F /2, lensemble des points M du plan vrifiant |MF
MF | = 2a est lhyperbole de foyers F et F et de grand axe 2a.

Remarque : Le cercle peut apparatre ici comme le cas particulier de lellipse o les foyers
sont confondus. Il ne peut cependant pas tre dfini par foyer et directrice (on pourrait
seulement linterprter comme limite dune ellipse dont lexcentricit tendrait vers 0 et la
directrice serait rejete linfini).

53
Application : construction de lellipse par le procd dit
du jardinier. Il suffit dattacher les extrmits dune ficelle
aux foyers et de faire tourner.

5.3 Tangentes
Reprsentation paramtrique des coniques
Parabole : La parabole dquation y 2 = 2px admet la reprsentation paramtrique :
2
x = t
2p (t R) .

y=t

x2 y 2
Ellipse : Lellipse dquation + 2 = 1 admet la reprsentation paramtrique :
a2 b
(
x = a cos t
(t [0,2[) .
y = b sin t

x2 y2
Hyperbole : Lhyperbole dquation 2 2 = 1 admet la reprsentation param-
a b
trique : (
x = a ch t
(t R) .
y = b sh t
chaque signe correspondant la reprsentation de lune des deux branches.
   
a 3
Exercice 5.1. Montrer que x = , y = b tan t, t , , , est une autre reprsentation
cos t 2 2 2 2
paramtrique de lhyperbole.

Drivation vectorielle


Soit t 7 ~u(t) une fonction dun intervalle I de R dans un espace vectoriel E de dimension
finie n. On dit que cette fonction est drivable si toutes les coordonnes x1 (t), . . . ,xn (t)


de ~u(t) dans une base B = (~e1 , . . . ,~en ) de E le sont (cette proprit ne dpend pas de la
base). Le vecteur x1 (t)~e1 + + xn (t)~en est alors indpendant de la base. On le note ~u(t).
On vrifie immdiatement que si deux fonctions t 7 ~u(t) et t 7 ~v (t) dun intervalle I


de R dans un espace vectoriel euclidien E sont drivables, la fonction t 7 ~u(t) ~v (t) de
I dans R est drivable et que sa drive est t 7 ~u (t) ~v (t) + ~u(t) ~v (t). En particulier,
la fonction t 7 k~u(t)k2 a pour drive t 7 2~u(t) ~u (t). On en dduit (drivation dune
fonction compose) que la fonction t 7 k~u(t)k est drivable en tout point o elle ne

54
 ~u(t)
sannule pas et que sa drive en un tel point est gale ~u (t).
k~u(t)k
Une fonction t 7 M(t) dun intervalle I de R dans un espace affine E est dite drivable


sil existe un point O de E tel que la fonction t 7 OM(t) de I dans E soit drivable.


On note alors M (t) sa drive (il rsulte immdiatement de la relation de Chasles que ce
vecteur ne dpend pas du point O). La courbe de reprsentation paramtrique t 7 M(t)


admet alors en tout point de paramtre t o M (t) ne sannule pas une tangente de vecteur

directeur M (t).

Tangentes la parabole
Soit M = M(t) une reprsentation paramtrique de la parabole et H = H(t) le projet
orthogonal de M sur la directrice D. En drivant par rapport t la relation F M 2 HM 2 =

0, on obtient 2F M M 2HM (M H ) = 0. Mais HM H = 0 puisque le vecteur

HM est orthogonal D. Il en rsulte F H M = (F M HM) M = 0. La tangente en
M la parabole est donc la hauteur issue de M dans le triangle MF H. Ce triangle tant
isocle en M, cette tangente est aussi la mdiatrice de HF et la bissectrice intrieure de
langle en M.

Remarque : Il en rsulte que tout rayon lumineux pa-

rallle laxe dun miroir parabolique se rflchit en
un rayon passant par le foyer : un miroir parabolique
concentre donc la lumire au foyer.

Exercice 5.2. Soit M un point de la parabole, m

son projet orthogonal sur laxe, N le point din-
tersection de laxe et de la normale en M . Mon-
trer que la longueur mN (appele sous-normale) est
constante.

Tangentes aux coniques centre

Soit lellipse de foyers F et F et de demi-grand axe a. En drivant la relation F M +

!
FM FM

F M = 2a, on obtient de mme : + M = 0. Il en rsulte que la tan-
kF Mk kF Mk
gente en M lellipse est orthogonale la bissectrice intrieure en M du triangle MF F :
cest donc la bissectrice extrieure de langle en M de ce triangle.

55
Dans le cas de lhyperbole, on montre de mme, en drivant la relation |F M F M| = 0,
que la tangente en M est la bissectrice intrieure de langle en M du triangle MF F .

Gnration tangentielle des coniques

Soit D une droite du plan et F un point du plan nappartenant pas D. Lensemble des
mdiatrices des segments HF , quand H parcourt D est alors lensemble des tangentes
la parabole de foyer F et de directrice D. On dit que la parabole est lenveloppe de cette
famille de droites.

De mme, si F et F sont deux points

distincts du plan et C le cercle de centre
F et de rayon 2a, o a est un rel v-
rifiant F F < 2a, lensemble des mdia-
trices des segments HF , quand H par-
court C est lensemble des tangentes
lellipse de foyers F et F et de grand
axe 2a. Lellipse est donc lenveloppe
de cette famille de droites. Le cas de
lhyperbole est analogue (avec cette fois
F F > 2a).

5.4 Ellipse et cercle

Lellipse de reprsentation paramtrique x = a cos t, y = b sin t dans un repre orthonorm
est limage du cercle de reprsentation paramtrique x = a cos t, y = a sin t par laffinit
orthogonale de base Ox et de rapport b/a (cest aussi limage du cercle de reprsentation
paramtrique x = b cos t, y = b sin t par laffinit orthogonale de base Oy et de rapport
a/b). Cette proprit permet de dduire un certain nombre de proprits de lellipse de
proprits analogues pour le cercle : en effet une affinit, comme toute transformation
affine, conserve lalignement, les milieux, le contact (ce qui signifie quelle transforme la
tangente une courbe en la tangente la courbe image), et multiplie les aires algbriques
par le dterminant de sa partie linaire, qui est ici le rapport de laffinit.

56
Exercice 5.3. Construction de lellipse
par points et par tangentes.
Donner une construction par points et par
tangentes de lellipse de centre O, de grand
axe 2a et de petit axe 2b partir des
cercles de centre O et de rayons respectifs
a et b (on remarquera, pour construire les
tangentes, que tout point de la base dune
affinit est fixe par cette affinit).

Exercice 5.4. Diamtres conjugus.

Montrer que lensemble des milieux des cordes de lellipse


de direction donne D est le segment joignant les deux
points M1 et M2 de lellipse en lesquels la tangente a la


direction D. Que peut-on dire des milieux des cordes de
lellipse parallles M1 M2 ?

Exercice 5.5. Aire de lellipse.

Montrer que laire dlimite par lellipse de grand axe 2a et de petit axe 2b est ab.

Exercice 5.6. Construction de lellipse par le procd dit

de la bande de papier.
Sur un segment AB de longueur a+b (0 < b < a), on place
un point M tel que AM = b (et donc BM = a). Montrer
que le point M dcrit un quart dellipse quand A et B se
dplacent respectivement sur deux axes orthogonaux Ox
et Oy (on pourra montrer que le point M est limage du
point N (voir figure) par une affinit orthogonale de base
Ox).

Exercice 5.7. Montrer que la projection orthogonale dun cercle C de rayon R de lespace sur un plan
P non perpendiculaire au plan Q de C est une ellipse de demi grand axe R et de demi petit axe R cos ,
o est langle du plan P avec le plan Q.
(Indication : on se ramnera au cas o P passe par le centre de C, on appellera D la droite dintersection
des plans P et Q et on montrera que la restriction de la projection au plan Q est compose dune rotation
de lespace daxe D et dangle et dune affinit orthogonale de base D dans le plan P .)

5.5 Hyperbole rapporte ses asymptotes

x2 y2
Lhyperbole dquation = 1 dans un repre orthonorm R = (O,~i,~j) admet
a2 b2
b
comme asymptotes les droites dquations y = x.
a
57
 x y  x y  x y
Son quation scrit encore + = 1, soit, en posant X = et
a b a b a b
x y
Y = + , XY = 1. Mais X et Y sont les coordonnes dans le repre (non orthonorm)
a b
a b a b
R = (O, ~i ~j, ~i + ~j) du point de coordonnes (x,y) dans le repre R. Lquation

2 2 2 2
XY = 1 est donc celle de lhyperbole dans ce repre R port par les asymptotes.

Remarque : Dans le cas particulier o les asymptotes sont perpendiculaires, lhyperbole

est dite quilatre.
Une hyperbole est donc quilatre si et seulement si son excentricit
est gale 2.
Exercice 5.8. a) Montrer que toute droite pa-
rallle lune des asymptotes de lhyperbole (et
distincte de cette asymptote) coupe lhyperbole
en exactement un point.
b) Montrer que si une droite D coupe lhyper-
bole en deux points M et N et les asymptotes
en deux points P et Q, les segments M N et P Q
ont mme milieu (on crira une quation du se-
cond degr dont les abscisses des points M et
N (resp. P et Q) sont solutions et on valuera
la demi-somme de ces solutions).
c) En dduire une construction de lhyperbole
point par point connaissant les asymptotes et
un point.
d) Montrer que les milieux des cordes M N de
lhyperbole parallles une direction donne
appartiennent tous une mme droite passant
par le centre O de lhyperbole.
e) Soit T une tangente lhyperbole, R et S les
points dintersection de T avec les asymptotes.
Montrer que laire du triangle ORS ne dpend
pas de T .

5.6 Rduction des quations

On a vu la section 5.1 que toute conique admettait, dans un certain repre orthonorm,
une quation polynomiale du second degr. Cette proprit ne dpend en fait pas du
repre : une conique admet, dans tout repre cartsien du plan (non ncessairement or-
thonorm) une quation du second degr. Le but de cette section est de montrer que,
rciproquement, toute courbe plane admettant une quation du second degr est une
conique (ventuellement dgnre) et de ramener son quation, par un changement de
repre appropri, une des formes canoniques obtenues la section 5.1.
Exercice 5.9. Montrer quune courbe admettant une quation polynomiale du second degr dans un
repre cartsien (non ncessairement orthonorm) du plan admet une quation polynomiale du second
degr dans tout repre cartsien du plan.

On considre donc dans toute cette section une courbe plane , non vide et non rduite
un point, admettant dans un certain repre orthonorm R = (O,~i,~j) du plan une quation
du second degr, de la forme :

ax2 + 2bxy + cy 2 + 2dx + 2ey + f = 0 ,

58
o a, b, c, d, e, f sont 6 rels quelconques, a, b et c ntant pas simultanment nuls.

Recherche dun centre

Le point , de coordonnes (x0 ,y0 ) dans R, est centre de symtrie de si et seulement si
lquation de dans le repre R = (,~i,~j) ne comporte pas de termes du premier degr.
Les coordonnes (x ,y ) dans R du point M de coordonnes (x,y) dans R sont donnes
par x = x + x0 , y = y + y0 . Lquation de dans R scrit donc :
a(x + x0 )2 + 2b(x + x0 )(y + y0 ) + c(y + y0 )2 + 2d(x + x0 ) + 2e(y + y0 ) + f = 0 .
Cette quation ne comporte pas de termes du premier degr si et seulement si :
(
ax0 + by0 + d = 0
bx0 + cy0 + e = 0 .
Ces quations sont en gnral celles de deux droites. Trois cas sont alors possibles :
1. si b2 ac 6= 0, ces droites sont scantes, et admet un centre de symtrie et un
seul ;
2. si ces droites sont parallles et distinctes, nadmet pas de centre de symtrie ;
3. si ces droites sont confondues, tout point de cette droite est centre de symtrie pour
.
Dans le cas 1, est appele conique centre. Dans le cas 2, est une parabole. Dans le
cas 3, est runion de deux droites parallles (ventuellement confondues).
Dans le cas particulier o lune de ces quations nest pas celle dune droite, deux cas sont
distinguer :
si a = b = 0 et d 6= 0 (ou b = c = 0 et e 6= 0), est une parabole et nadmet pas de
centre de symtrie ;
si a = b = d = 0 (ou b = c = e = 0), est la runion de deux droites parallles
(ventuellement confondues) et admet une infinit de centres de symtrie.

Cas de la parabole
Dans le cas 2, b2 ac = 0 et ac 6= 0 (sinon on aurait a = b = 0 ou b = c = 0 et on
retomberait dans lun des cas particuliers tudis prcdemment)). En divisant lquation
par c, on se ramne une quation de la forme (y + bx)2 + 2dx + 2ey + f = 0. Par une
transformation orthogonale, on la met sous la forme y 2 + 2d x + 2e y + f = 0, puis, par
un changement dorigine, Y 2 = 2pX. La courbe est donc bien une parabole.

Coniques centre
Dans le repre R = (,~i,~j) dont lorigine est le centre de symtrie de , a comme
quation : ax2 + 2bx y + cy 2 + f = 0. Soient (X,Y ) les coordonnes dans le repre
~ J)
R = (,I, ~ dduit de R par rotation dangle du point de coordonnes (x ,y ) dans R .
On a : (
I~ = cos ~i + sin ~j ;
J~ = sin ~i + cos ~j .

59
et donc :
(
x = X cos Y sin ;
y = X sin + Y cos .

Lquation de dans R scrit donc :

a(X cos Y sin )2 +2b(X cos Y sin )(X sin +Y cos )+c(X sin +Y cos )2 +f = 0 .

Le coefficient de XY dans cette quation est :

2(c a) cos sin + 2b(cos2 sin2 ) = (c a) sin 2 + 2b cos 2 .

Les axes de ce nouveau repre sont des axes de symtrie pour si et seulement si ce

coefficient est nul, ce qui dtermine 2 modulo , et donc modulo , sauf dans le cas
2
a = c, b = 0 o toute droite passant par est axe de symtrie ( est dans ce cas un
cercle). On trouve donc bien dans le cas gnral deux axes de symtrie orthogonaux.
Lquation de dans le repre (,I, ~ J)
~ scrit : AX 2 + CY 2 + F = 0. Si A et C sont
distincts et de mme signe, cette quation est celle dune ellipse (il faut se rappeler quon
a suppos non vide et non rduite un point), si A = C celle dun cercle, et si A et C
sont de signes contraires, celle dune hyperbole.
En rsum, toute courbe plane (non vide et non rduite un point) admettant une
quation polynomiale du second degr est :

soit la runion de deux droites (ventuellement confondues) ; on appellera une telle

courbe conique dgnre ;
soit une parabole, une hyperbole, une ellipse ou un cercle ; on appellera ces courbes
coniques propres ou non dgnres.

5.7 Exercices
Exercice 5.10. Le plan est rapport un repre orthonorm. Ecrire lquation de lhyperbole H de foyer
F (3,2), de directrice D dquation x y + 1 = 0 et dexcentricit 2. Dterminer le centre de symtrie
de H, puis le second couple foyer-directrice (F ,D ).

Exercice 5.11. Intersection dune conique et dune droite.

Montrer que lintersection dune conique non dgnre et dune droite est constitue de 0, 1 ou 2 points.
Montrer que cette intersection est rduite un point si et seulement si la droite est tangente la conique,
lexception des deux cas suivants :

la conique est une parabole et la droite est parallle laxe ;

la conique est une hyperbole et la droite est parallle lune des asymptotes.

60
Exercice 5.12. Tangentes menes dun
point la parabole.
Construire la rgle et au compas les tan-
gentes la parabole passant par un point
P du plan (on discutera selon la posi-
tion du point). Dterminer lensemble des
points du plan do lon voit la parabole
sous un angle droit (i.e. tels que les deux
tangentes menes par ce point soient per-
pendiculaires).

61
Exercice 5.13. Ellipses et hyperboles homofocales. Soient F et F deux points distincts du plan. Montrer
que par tout point du plan ( lexception de cas particuliers que lon tudiera), il passe une et une seule
ellipse de foyers F et F et une et une seule hyperbole de foyers F et F , et que ces deux coniques se
coupent angle droit.

Exercice 5.14. Une proprit des tangentes aux co-

niques.
Soit une conique de foyer F , de directrice D et dexcen-
tricit e, M un point de , H sa projection orthogonale
sur D. On suppose que la tangente en M coupe la
directrice D en un point T .

a) Montrer que F M M T + e2 M H M T = 0 (on pourra
driver la relation F M 2 e2 M H 2 = 0).
b) En dduire que les droites F M et F T sont orthogonales

(on pourra calculer le produit scalaire F M F T ).

Exercice 5.15. Equation polaire dune conique.

Montrer que la conique dexcentricit e, de foyer O et de directrice D admet lquation polaire :
p
=
1 + e cos

dans un repre orthonorm (O,~i,~j) dans lequel D a comme quation x = d > 0, o p = ed est appel le
paramtre de la conique.
Exercice 5.16. Montrer que limage dune ellipse ou dun cercle par une transformation affine est une
ellipse ou un cercle.

Exercice 5.17. Ellipse de Steiner dun tri-

angle.
Soit ABC un triangle non aplati et G son centre
de gravit. Montrer quil existe une ellipse et
une seule tangente aux trois cts de ce triangle
en leurs milieux et que cette ellipse passe par les
milieux des segments GA, GB et GC. (Indica-
tion : on se ramnera par une transformation
affine au cas o le triangle est quilatral.)

62
Chapitre 6

Applications des nombres complexes la

gomtrie

6.1 Le plan complexe

Le corps C des nombres complexes est un espace vectoriel de dimension 2 sur R. Il est donc
muni dune structure naturelle de plan affine. La base canonique (1,i) de C et lorigine 0
constituent un repre cartsien naturel pour ce plan. On appellera ce plan plan complexe.
Rciproquement, le choix dun repre cartsien (O,~i,~j) permet didentifier tout plan affine
E R2 , ou encore C : au point M de coordonnes (x,y) on associe le nombre complexe
z = x + iy, quon appelle affixe de M. On peut galement dfinir laffixe dun vecteur :


lapplication qui au vecteur ~u = x~i + y~j de E associe le nombre complexe x + iy est un


isomorphisme despaces vectoriels, qui permet didentifier E C. Cela permet de ramener
certains problmes gomtriques des problmes dalgbre.
Exercice 6.1. Polygone des milieux (3).
Reprendre lexercice 2.11 (polygone des milieux) en traduisant le problme en un systme de n quations
linaires n inconnues dans C. Discuter le rang de ce systme selon la parit de n.
Exercice 6.2. Montrer quune application f du plan complexe dans lui-mme est affine si et seulement
si elle est de la forme f (z) = az + bz + c pour 3 nombres complexes a, b et c. Donner lexpression complexe
de f~, ainsi quune condition ncessaire et suffisante portant sur a et b pour que f soit bijective.

Mais lintrt du plan complexe en gomtrie vient surtout de ce quil

possde aussi une
structure euclidienne naturelle. En effet lapplication z 7 |z| = zz est une norme
euclidienne sur C et la base canonique (1,i) de C est orthonorme pour cette structure
euclidienne.
Exercice 6.3. Expliciter le produit scalaire do provient cette norme.

La distance de deux points A et B, daffixes respectives a et b, est alors d(A,B) = |b a|.

z2
Langle (~u1 ,~u2 ) de deux vecteurs non nuls daffixes respectives z1 et z2 est Arg .
z1
z2
En particulier, ces deux vecteurs sont proportionnels si et seulement si est rel, et
z1
z2
orthogonaux si et seulement si est imaginaire pur.
z1
Exercice 6.4. Montrer que quatre points distincts daffixes respectives z1 , z2 , z3 , z4 sont aligns ou
(z3 z1 )(z4 z2 )
cocycliques si et seulement si leur birapport est rel.
(z4 z1 )(z3 z2 )
Exercice 6.5. Montrer que tout cercle du plan complexe est dfini par une quation de la forme z z az
az + c = 0, o a est un nombre complexe et c un rel vrifiant c |a|2 < 0. Montrer que rciproquement
toute quation de ce type est celle dun cercle.
Exercice 6.6. Thorme de Ptolme.
Soient A, B, C, D quatre points du plan complexe, daffixes respectives a, b, c et d.

63
a) Montrer quon a toujours lingalit :

AC.BD AB.CD + AD.BC ()

(le produit des longueurs des diagonales dun quadrilatre est infrieur la somme des produits des
longueurs des cts opposs).
b) Montrer quon a galit dans () si et seulement si les quatre points A, B, C, D sont cocycliques ou
aligns dans cet ordre.

6.2 Similitudes
Dfinition et proprits gnrales
Dfinition 6.1. On appelle similitude dun espace affine euclidien E toute application
f de E dans E telle quil existe un rel k > 0 tel quon ait f (A)f (B) = kAB pour tout
couple (A,B) de points de E. Le nombre k est appel rapport de la similitude.
Une similitude de rapport 1 est une isomtrie. Une homothtie de rapport est une
similitude de rapport ||.
Proposition 6.2. Toute similitude est une transformation affine. Lensemble des simi-
litudes constitue un sous-groupe du groupe GA(E) des transformations affines de E. Les
homothties et les isomtries engendrent ce sous-groupe : plus prcisment, si f est une
similitude de rapport k et h une homothtie de rapport k (et de centre quelconque), f h1
est une isomtrie.
Une similitude f est dite directe si det f~ > 0, indirecte si det f~ < 0.

Il rsulte de la proposition 2.17 que toute similitude qui nest pas une isomtrie admet un
point fixe et un seul.
Exercice 6.7. Montrer que toute application linaire non nulle dun espace vectoriel euclidien dans
lui-mme qui prserve lorthogonalit est une similitude.

Similitudes du plan complexe

Proposition 6.3. Pour tout couple (a,b) C C, lapplication fa,b de C dans C dfinie
par fa,b (z) = az + b est une similitude directe de rapport |a|. Rciproquement, pour toute
similitude directe f du plan complexe, il existe un couple (a,b) C C et un seul tel que
f = fa,b .
Exercice 6.8. Montrer que toute similitude directe dun plan affine euclidien qui nest pas une isomtrie
est le produit commutatif dune homothtie de rapport positif et dune rotation de mme centre. Cette
dcomposition est unique.
Exercice 6.9. Expliciter la nature gomtrique de la similitude fa,b dfinie dans la proposition 6.3 (on
discutera selon les valeurs de a).
Exercice 6.10. Dterminer le produit de deux similitudes directes fa,b et fa ,b du plan complexe. Ce
produit est-il commutatif?
Proposition 6.4. Pour tout couple (a,b) C C, lapplication ga,b de C dans C dfinie
par ga,b (z) = az + b est une similitude indirecte de rapport |a|. Rciproquement, pour toute
similitude indirecte g du plan complexe, il existe un couple (a,b) C C et un seul tel
que g = ga,b .

64
Exercice 6.11. Montrer que toute similitude indirecte dun plan affine euclidien qui nest pas une
isomtrie est le produit commutatif dune homothtie de rapport positif et dune rflexion dont laxe
passe par le centre de lhomothtie. Cette dcomposition est unique.

6.3 Homographies
Dfinition et premires proprits
Dfinition 6.5. On appelle homographie toute application f de C dans C de la forme
az + b
f (z) = , o a, b, c et d sont quatre nombres complexes vrifiant ad bc 6= 0.
cz + d
Remarque : Le cas ad bc = 0 correspondrait une application constante. Cest pourquoi
on lcarte.
d
Cette application est dfinie sur C si c = 0, sur C priv du point sinon. Elle constitue
c
une bijection :
de C sur C si c = 0 ;
  nao
d
de C \ sur C \ sinon.
c c
Exercice 6.12. Dmontrer cette dernire assertion en explicitant lapplication rciproque de f (on mon-
trera que cest une homographie).

b
La sphre de Riemann C
Dans le cas o c nest pas nul, il est naturel de chercher prolonger f : en effet quand z
d a
tend vers , |f (z)| tend vers linfini, et quand |z| tend vers linfini, f (z) tend vers .
c c
On compltepourcela le plan complexe C en lui ajoutant un point linfini, not , et
d a
on dfinit f = et f () = si c nest pas nul (si c est nul, f est une similitude
c c
du plan complexe et on dfinit f () = ). Lapplication f ainsi prolonge est alors une
bijection de C b = C {} sur lui-mme.
Remarque : On peut munir C b dune topologie naturelle : une base de voisinages dun point
de C est constitue par les voisinages de ce point dans C ; une base de voisinages de
est constitue par les complmentaires des parties bornes de C. Lapplication f ainsi
prolonge est alors continue.
La compltion C b du plan complexe ainsi dfinie sappelle traditionnellement la sphre de
Riemann. Cette terminologie vient de ce quil existe une bijection naturelle de C b sur la
sphre unit dun espace vectoriel euclidien de dimension 3.
Soit en effet E un espace affine euclidien de dimension 3 rapport un repre orthonorm
(O,~i,~j,~k), S la sphre de centre O et de rayon 1, N le ple nord de cette sphre, i.e. le
point de coordonnes (0,0,1). On identifie le plan dquation z = 0 au plan complexe
en associant le nombre complexe x + iy au point de coordonnes (x,y,0). Lapplication
qui tout point M de ce plan associe le second point dintersection M de la droite
MN avec S dfinit une bijection de C sur S quon prolonge C b en posant () = N.

65
 b est appele
Cette bijection est un homomorphisme. La bijection rciproque de S sur C
projection strographique.
N

Exercice 6.13. 1) Donner les coordonnes du point (x + iy) pour tout x + iy C. Montrer que est
bijective en explicitant lapplication rciproque.
2) Montrer que limage de toute droite ou de tout cercle du plan complexe par est un cercle de S, i.e.
lintersection de S avec un plan.

Le groupe des homographies

Proposition 6.6. Les homographies constituent un sous-groupe du groupe des bijections
de Cb sur lui-mme. Ce groupe est engendr par les similitudes directes z 7 az + b et
1
lapplication z 7 .
z
Dmonstration : Il suffit dcrire, pour c 6= 0 :
az + b a bc ad
= + .
cz + d c c(cz + d)

Les similitudes directes constituent un sous-groupe du groupe des homographies. Ce sous-

groupe est le stabilisateur de , i.e. lensemble des homographies f qui vrifient f () =
.

Effet sur les droites et les cercles

On a vu lexercice 6.13 que les droites et les cercles du plan complexe correspondaient
par la projection strographique aux cercles de la sphre S, les droites correspondant plus
prcisment aux cercles de S passant par le ple N. On appellera donc dans ce paragraphe
b soit un cercle (au sens usuel) de C, soit une droite de C complte par le
cercle de C,
point .
Proposition 6.7. Toute homographie transforme un cercle de C b en un cercle de C.
b

Dmonstration : Il suffit, daprs la proposition 6.6, de le vrifier pour les similitudes et

1 1
pour lapplication z 7 . Pour les similitudes, cest clair, et pour lapplication z 7 ,
z z
il suffit dutiliser lquation complexe dun cercle (exercice 6.5) : limage par lapplication
1 a a 1
z 7 du cercle dquation zzazaz+c = 0 est le cercle dquation zz z z+ = 0
z c c c
66
si ce cercle ne passe pas par 0 (c 6= 0) et la droite dquation az +az 1 = 0 sinon. Limage
dune droite sobtient de la mme faon (cest une droite si la droite de dpart passe par
0, un cercle passant par 0 sinon).
Remarque : Une autre dmonstration consiste montrer que toute homographie conserve
le birapport et utiliser le rsultat de lexercice 6.4.

6.4 Exercices
Exercice 6.14. Donner une condition ncessaire et suffisante sur les affixes a, b, c de trois points A, B,
C du plan complexe pour que le triangle ABC soit quilatral.

Exercice 6.15. A lextrieur dun triangle

ABC, on construit trois carrs de bases les cts
et de centres P , Q, R. Montrer que les segments
AP et QR (resp. BQ et RP , CR et P Q) sont
orthogonaux et de mme longueur. En dduire
que les droites AP , BQ et CR sont concou-
rantes.

Exercice 6.16. On construit lextrieur dun pa-

ralllogramme ABCD quatre carrs de bases les c-
ts et de centres M , N , P , Q. Montrer que M N P Q
est un carr.

Exercice 6.17. Soient A et B deux points distincts du plan complexe, daffixes respectives a et b. On
identifie tout point M de ce plan son affixe z et on note f lapplication du plan dans lui-mme dfinie
za
par f (z) = .
zb
a) Dterminer, pour tout rel k > 0, lensemble des points M du plan dont laffixe z vrifie |f (z)| = k.
On donnera lquation complexe de cet ensemble et on montrera que cet ensemble est :
un cercle Ck centr sur la droite AB si k 6= 1 ;
la mdiatrice de AB si k = 1.
b) Interprter gomtriquement le rsultat prcdent (voir exercice 3.2).
c) Dterminer, pour tout rel , lensemble des points M du plan dont laffixe z vrifie Arg(f (z))
(mod ). On montrera que cet ensemble est :
un cercle passant par A et B priv des deux points A et B si 6 0 (mod ) ;

67
 la droite AB prive des deux points A et B si 0 (mod ).
d) Interprter gomtriquement ce rsultat (voir exercice 3.28).
e) Montrer que les familles de cercles Ck , k R+ et , ]0,[, sont deux faisceaux de cercles et que
tout cercle de lun de ces faisceaux est orthogonal tout cercle de lautre.

A B

68
Appendice

Rappels dalgbre linaire

A.1 Projections et symtries vectorielles

Soit E un espace vectoriel de dimension finie sur R et E 1 et E 2 deux sous-espaces



vectoriels supplmentaires de E . Tout vecteur ~u de E scrit de manire unique sous la



forme ~u = ~u1 + ~u2 , avec ~ui E i (i = 1,2). Les deux applications ~p1 et p~2 de E dans
lui-mme dfinies par p~i (~u) = ~ui (i = 1,2) sont linaires et vrifient les relations :
p~i p~i = p~i (i = 1,2) ;
p~1 p~2 = p~2 p~1 = 0, p~1 + p~2 = id
;
E



Ker ~p1 = Im p~2 = E 2 , Ker p~2 = Im p~1 = E 1 .



Elles sont appeles projection sur E 1 (resp. E 2 ) dans la direction (ou paralllement )



E 2 (resp. E 1 ).


Les deux applications ~s1 et ~s2 de E dans lui-mme dfinies par ~s1 (~u) = ~u1 ~u2 , ~s2 (~u) =



~u2 ~u1 sont appeles symtrie par rapport E 1 (resp. E 2 ) de direction (ou paralllement



) E 2 (resp. E 1 ).
Elles sont linaires, bijectives et vrifient les relations :
~si ~si = id
(i = 1,2) ;
E
~s1 = p~1 ~p2 = 2~p1 id
E
s2 = p~2 p~1 = 2~p2 id
, ~ ;
E
~s1 ~s2 = ~s2 ~s1 = id
, ~
E
s1 + ~s2 = 0.


Rciproquement, si p~ est une application linaire de E dans lui-mme vrifiant p~~p = p~, les


deux sous-espaces vectoriels Im ~p et Ker p~ de E sont supplmentaires et p~ est la projection
sur Im p~ paralllement Ker ~p.


De mme, si ~s est une application linaire de E dans lui-mme vrifiant ~s ~s = id (on
E
dit que ~s est involutive), ~s admet exactement les deux valeurs propres +1 et -1 (sauf si
~s = id , auquel cas elle nadmet quune valeur propre), et les noyaux des applications
E
linaires ~s id
et ~
E
s + id (i.e. les sous-espaces propres de ~
E
s correspondant ces deux


valeurs propres) sont des sous-espaces vectoriels supplmentaires de E ; ~s est alors la
symtrie par rapport au premier paralllement au second.

A.2 Transformations orthogonales

Dans toute cette partie, E est un espace vectoriel euclidien de dimension finie n.

69
Dfinition



Proposition A.1. Soit f~ une application linaire de E dans E . Les proprits suivantes
sont quivalentes :


1. f~ conserve le produit scalaire : f~(~u) f~(~v) = ~u ~v pour tout couple (~u,~v ) E E ;


2. f~ conserve la norme : kf~(~u)k = k~uk pour tout ~u E ;


3. il existe une base orthonorme de E dont limage par f~ est une base orthonorme ;


4. limage par f~ de toute base orthonorme de E est une base orthonorme ;


5. il existe une base orthonorme de E dans laquelle la matrice de f~ est orthogonale ;


6. la matrice de f~ dans toute base orthonorme de E est orthogonale.



Une application linaire de E dans E vrifiant ces proprits est appele transformation


orthogonale ou automorphisme orthogonal de E .
On rappelle quune matrice carre A dordre n est dite orthogonale si elle vrifie lune des
proprits quivalentes suivantes :
1. A tA = In ;
2. tAA = In ;
3. A est inversible et A1 = tA.
Il en rsulte immdiatement que toute matrice orthogonale a un dterminant gal 1
(attention : la rciproque est fausse : une matrice de dterminant 1 nest pas ncesaire-
ment orthogonale).
Une application dun espace vectoriel euclidien dans un autre qui conserve la norme nest
pas ncessairement linaire (donnez un exemple). Mais une application qui conserve le
produit scalaire lest automatiquement, comme le montre la proposition suivante.



Proposition A.2. Soit E un espace vectoriel euclidien et f~ une application de E dans

E qui conserve le produit scalaire : f~(~u) f(~

~ v ) = ~u ~v pour tout couple (~u,~v ) de vecteurs


de E . Alors f~ est linaire.

Dmonstration : La conservation du produit scalaire entrane :

kf~(~u + ~v ) f~(~u) f~(~v)k2 = kf(~

~ u + ~v)k2 + 2 kf(~
~ u)k2 + 2 kf~(~v )k2
~ u + ~v) f~(~u) 2f(~
2f(~ ~ u + ~v) f~(~v) + 2f~(~u) f~(~v)
= k~u + ~v k2 + 2 k~uk2 + 2 k~v k2
2(~u + ~v) ~u 2(~u + ~v) ~v + 2~u ~v
= k(~u + ~v ) ~u ~v k2
= 0,

do f~(~u + ~v) = f~(~u) + f~(~v) pour tout couple (,) de rels et tout couple (~u,~v ) de


vecteurs de E .

Le groupe orthogonal


Les transformations orthogonales dun espace affine euclidien E constituent un sous-




groupe du groupe GL( E ) des applications linaires bijectives de E dans E , appel groupe

70



orthogonal de E et not O( E ). Ce groupe est isomorphe au groupe multiplicatif On (R)


des matrices orthogonales dordre n coefficients rels, o n est la dimension de E . Les
transformations orthogonales de dterminant +1, dites directes ou positives, en consti-



tuent un sous-groupe, not O + ( E ) ou SO( E ) (groupe spcial orthogonal), isomorphe
au groupe multiplicatif SOn (R) des matrices orthogonales dordre n de dterminant +1.



On note O ( E ) lensemble des transformations orthogonales de E de dterminant -1
(transformations indirectes ou ngatives).

Orientation, dterminant dune famille de n vecteurs

On dfinit une relation binaire sur lensemble des bases orthonormes de E de la faon
suivante : soient B et B deux bases orthonormes ; il existe une transformation orthogonale


f~ O( E ) et une seule qui transforme B en B ; B et B sont en relation si et seulement


si f~ appartient O + ( E ) (on dit alors que B et B sont de mme sens). Cette relation


est une relation dquivalence qui divise lensemble des bases orthonormes de E en


exactement deux classes. Orienter E consiste choisir lune de ces classes : toutes les
bases orthonormes qui lui appartiennent sont dites directes, les autres indirectes.
Le dterminant dune famille de n vecteurs relativement une base B dun espace vectoriel

E de dimension n (non ncessairement euclidien) est par dfinition le dterminant de la

matrice carre dordre n dont les colonnes sont les coordonnes de ces vecteurs dans la
base B. Ce dterminant dpend de la base B. Plus prcisment, le dterminant dans une
base B dune famille de n vecteurs est gal au quotient du dterminant de cette famille
dans la base B par le dterminant de la matrice de passage de B B (ce qui montre que
le rapport des dterminants de deux familles de n vecteurs ne dpend pas de la base). Si

E est un espace vectoriel euclidien orient, les bases orthonormes directes jouent un rle
privilgi. Or le dterminant dune famille de n vecteurs dans une telle base est toujours le
mme, puisque la matrice de passage dune base orthonorme directe une autre est une
matrice orthogonale de dterminant +1. On dfinira donc le dterminant dune famille de
n vecteurs comme le dterminant de cette famille dans nimporte quelle base orthonorme
directe.


Remarque : Sans avoir supposer lespace vectoriel euclidien E orient, on remarque que
la valeur absolue du dterminant de n vecteurs est la mme dans toute base orthonorme


de E . Cette valeur absolue ne dpend pas de lordre dans lequel sont crits ces vecteurs
et reprsente, en dimension 2, laire du paralllogramme construit sur les 2 vecteurs, en
dimension 3, le volume du paralllipipde construit sur les 3 vecteurs.

Le groupe orthogonal en dimension 2

Dans cette partie, E est un plan vectoriel euclidien orient.
Proposition A.3. Toute matrice orthogonale A dordre 2 est de lune des deux formes
suivantes
 : 
a b
o a et b sont deux rels vrifiant a2 + b2 = 1 si det(A) = +1 ;
b a
 
a b
o a et b sont deux rels vrifiant a2 + b2 = 1 si det(A) = 1.
b a

71
  
cos sin
Proposition A.4. Lapplication qui un rel associe la matrice R =
sin cos
est un homomorphisme surjectif du groupe additif (R,+) sur le groupe multiplicatif SO2 (R).
Son noyau est le sous-groupe 2Z des multiples entiers de 2. Il en rsulte que SO2 (R)
est isomorphe au groupe additif (R/2Z,+) des rels modulo 2.



Un lment de O + ( E ) est appel rotation. Tout lment de O ( E ) est une rflexion
vectorielle (symtrie orthogonale par rapport une droite vectorielle).


Proposition A.5. Le groupe O + ( E ) des rotations vectorielles planes est commutatif,
isomorphe au groupe additif (R/2Z,+) des rels modulo 2.
Corollaire A.6. La matrice dune rotation vectorielle est la mme dans toute base or-
thonorme directe.
Dmonstration : Cela dcoule immdiatement de la commutativit de SO2 (R) ; en effet si
une rotation vectorielle a pour matrice A SO2 (R) dans une base orthonorme directe, sa
matrice dans une autre base orthonorme directe sera de la forme P 1 AP , o la matrice de
passage P appartient aussi SO2 (R) ; comme SO2(R) est ablien, on a : P 1 AP = A.
Il en rsulte que lisomorphisme de la proposition A.5 ne dpend pas du choix dune base
orthonorme directe.
Remarque : La rotation de matrice R dans une base orthonorme directe a pour matrice
R dans une base orthonorme indirecte. Changer lorientation du plan revient donc
changer le signe de .


Proposition A.7. Pour tout couple (~u,~v ) de vecteurs unitaires de E , il existe une rota-
tion vectorielle ~r et une seule transformant le premier en le second, i.e. vrifiant ~r(~u) = ~v .


Dmonstration : On complte ~u en une base orthonorme directe (~u,~u1 ) de E . Dans cette
base, ~v scrit ~v = a~u + b~u1 , o a et b sont deux rels vrifiant a2 + b2 = 1. Une rotation
vectorielle ~r vrifie ~r(~u) = ~v si et seulement si la premire colonne de sa matrice dans
cette base a pour coefficients a et b ; or il existe une et une seule matrice de SO2 (R) ayant
cette proprit.

Le groupe orthogonal en dimension 3

Dans cette partie, E est un espace vectoriel euclidien orient de dimension 3.


Proposition A.8. Toute transformation orthogonale f~ de E de dterminant +1 admet la
valeur propre +1. Lespace propre associ est, si f~ nest pas lidentit, une droite vectorielle

D . Le plan vectoriel P orthogonal D est stable par f~ et la restriction de f~ ce plan est



une rotation vectorielle de P . La matrice def~ dans toute baseorthonorme de E dont
1 0 0


le premier vecteur ~u appartient D scrit 0 cos sin pour un rel , unique

0 sin cos
modulo 2.


On dit alors que f~ est la rotation vectorielle daxe D (orient par le choix du vecteur
unitaire ~u) et dangle .


Remarque : Si on change lorientation de laxe D en prenant comme vecteur directeur
~u, langle est chang en son oppos.

72


Proposition A.9. Toute transformation orthogonale f~ de E de dterminant -1 admet
la valeur propre -1. Lespace propre associ est, si f~ est diffrente de id , une droite
E




vectorielle D . Le plan vectoriel P orthogonal D est stable par f et la restriction de f~
~



ce plan est une rotation vectorielle de P . Si cette rotation est lidentit de P , f~ est la



rflexion de plan P . Sinon, f~ est le produit commutatif dune rotation daxe D et de la



rflexion de plan P . La matrice de f~ dans toute base
orthonorme de E dont le premier
1 0 0


vecteur ~u appartient D scrit dans tous les cas 0 cos sin pour un rel ,
0 sin cos
unique modulo 2 (f~ est une rflexion si 0 modulo 2, id si modulo 2 ).
E

On dit, si f~ nest pas une rflexion, que f~ est une antirotation, ou encore une isomtrie
vectorielle gauche.

A.3 Angles de vecteurs et de droites

On se propose dans cette partie de dfinir les principales notions dangles utilises en
gomtrie plane. La notion premire sera celle dangle orient de vecteurs ou, ce qui revient
au mme, dangle orient de demi-droites vectorielles. En effet langle de deux vecteurs
~u ~v
non nuls ~u et ~v sera, par dfinition, langle des deux vecteurs unitaires et qui
k~uk k~v k
leur sont directement proportionnels ; or toute demi-droite vectorielle possde un vecteur
directeur unitaire et un seul, et tout vecteur non nul dfinit une demi-droite vectorielle de
manire unique. Langle de deux vecteurs non nuls ~u et ~v , ou langle des deux demi-droites
vectorielles R+~u et R+~v quils engendrent, sera donc simplement langle des vecteurs
~u ~v
unitaires et . Dans toute la suite, nous ne considrerons donc essentiellement que
k~uk k~v k
des vecteurs unitaires.
Deux approches sont proposes : la premire, rapide et concrte, consiste identifier un
angle et sa mesure, cest--dire considrer un angle orient de vecteurs comme une classe
dquivalence de rels modulo 2 ; la seconde, plus abstraite, dfinit un angle comme une
classe dquivalence de couples de vecteurs et permet de distinguer langle de sa mesure
(qui dpend de lorientation du plan, alors que langle lui-mme nen dpend pas). Les
deux approches reposent sur la mme ide : langle de deux vecteurs est langle de lunique
rotation qui transforme le premier en le second (lexistence et lunicit de cette rotation
sont assures par la proposition A.7).
Une remarque sur la terminologie : dans lexpression "angle orient de vecteurs", "orient"
ne se rfre pas lorientation du plan, mais lordre dans lequel sont crits les vecteurs
(langle (~v ,~u) est loppos de langle (~u,~v )). On verra par contre que cet ordre est indiffrent
quand on parle dangles gomtriques.

Angles : premire approche

Angles orients de vecteurs


Soient ~u et ~v deux vecteurs unitaires du plan vectoriel euclidien orient E . Il existe une
et une seule rotation vectorielle transformant ~u en ~v. La matrice de cette rotation est la

73
  
cos sin
mme dans toute base orthonorme directe et scrit R = , o le rel
sin cos
est uniquement dtermin modulo 2. On dfinit alors langle orient (~u,~v ) des deux
vecteurs comme la classe de dans R/2Z. On dira, pour abrger, quun angle orient
de deux vecteurs est un rel dfini modulo 2, et on appellera mesure principale de cet
angle lunique reprsentant de cette classe dans ] , + ].
Remarque : la matricede cette mme rotation dans toute base orthonorme indirecte est
cos sin
R = . Changer lorientation du plan change donc les angles en leurs
sin cos
opposs.

Angles particuliers Pour tout vecteur ~u, langle (~u,~u) est langle nul et langle (~u, ~u)
est langle plat, de mesure principale . Si ~u et ~v sont deux vecteurs orthogonaux, langle
(~u,~v ) est un angle droit, de mesure principale /2 ou /2.

Relation de Chasles De lgalit R R = R+ , rsulte immdiatement la relation

de Chasles :

(~u,~v ) + (~v ,w) ~ pour tout triplet (~u,~v ,w)

~ = (~u,w) ~ de vecteurs non nuls.

En particulier, les angles (~u,~v) et (~v,~u) sont opposs.

Action des transformations orthogonales sur les angles Il rsulte immdiatement

de la commutativit du groupe O + ( E ) que toute rotation vectorielle ~r conserve les angles :
en effet, lunique rotation ~r1 qui transforme ~u en ~v transforme aussi ~r(~u) en ~r(~v ), puisque
~r1 (~r(~u)) = ~r(~r1 (~u)) = ~r(~v)).
Une rflexion vectorielle ~s transforme par contre les angles en leurs opposs : (~s(~u),~s(~v )) =
(~u,~v ).
Exercice A.1. Dmontrer cette dernire proprit (on pourra remarquer que si ~r est une rotation et ~s
une rflexion, ~r ~s est une rflexion, do ~r ~s ~r ~s = id
).
E

Angles orients de droites

Une droite vectorielle a deux vecteurs directeurs unitaires et ces vecteurs sont opposs.
Pour dfinir langle orient de deux droites vectorielles, on a donc a priori le choix entre
quatre angles de vecteurs : (~u,~v ), (~u,~v ), (~u, ~v ) et (~u, ~v ) (en fait deux, puisque
(~u,~v ) = (~u, ~v) et (~u, ~v ) = (~u,~v )). Il faut identifier ces deux angles, qui diffrent
dun angle plat : langle orient de deux droites est donc un rel dfini modulo , i.e.
un lment de R/Z. La relation de Chasles est encore vraie pour les angles orients de
droites, qui sont galement conservs par toute rotation et transforms en leurs opposs
par les rflexions.

Angles gomtriques
Langle gomtrique de deux vecteurs ~u et ~v est simplement la valeur absolue de la mesure
principale de (~u,~v ). Cest donc un rel compris entre 0 et , et ce rel ne dpend pas de
lordre des deux vecteurs. De plus toute tranformation orthogonale (directe ou indirecte)

74
conserve les angles gomtriques. Par contre, on ne peut additionner sans restriction les
angles gomtriques : la relation de Chasles nest plus toujours vraie.
Exercice A.2. Montrer que langle gomtrique de deux vecteurs unitaires ~u et ~v est gal arccos(~u ~v ).

Bissectrices
Pour tout couple de vecteurs unitaires ~u et ~v, il existe une et une seule rflexion vectorielle
~s qui change ~u et ~v . Son axe est appel bissectrice du couple (~u,~v ) et est dirig par le
vecteur ~u + ~v si ~u et ~v ne sont pas opposs. Soit w ~ un vecteur directeur unitaire de cet
axe. On a alors : (~u,w) ~ v ), ou encore (~u,~v ) = 2(~u,w)
~ = (w,~ ~ et cette relation dtermine w~
uniquement modulo .

Compose de deux rflexions

Proposition A.10. Soient ~s1 et ~s2 deux rflexions vectorielles, daxes respectifs D 1 et

D 2 . La compose ~s2 ~s1 de ces deux rflexions est la rotation vectorielle dangle 2( D 1 , D 2 )



(langle de droites ( D 1 , D 2 ) est seulement dtermin modulo , mais 2( D 1 , D 2 ) est bien
dfini modulo 2 : cest un angle orient de vecteurs).

Angles : seconde approche

Angles orients de vecteurs


Soit U lensemble des vecteurs unitaires de E . Lide est la mme que prcdemment :
on voudrait que langle (~u1 ,~v1 ) soit gal langle (~u2 ,~v2 ) si cest la mme rotation qui
transforme, pour chacun de ces couples, le premier vecteur en le second. La procdure
standard pour cela est de dfinir une relation dquivalence sur lensemble U U des


couples de vecteurs unitaires de E :
Proposition A.11. La relation R dfinie sur lensemble U U des couples de vecteurs


unitaires de E par :

(~u1 ,~v1 )R(~u2 ,~v2 ) si et seulement si

il existe ~r O + ( E ) vrifiant ~r(~u1 ) = ~v1 et ~r(~u2) = ~v2 ()

est une relation dquivalence.

Remarque : On a vu (proposition A.7) quil existe toujours une rotation ~r1 et une seule
vrifiant ~r1 (~u1 ) = ~v1 et une rotation ~r2 et une seule vrifiant ~r2 (~u2 ) = ~v2 ; la relation ()
dit simplement que ~r1 = ~r2 .
Remarque : Cette relation est tout fait analogue celle qui dfinit lquipollence de
bipoints : si on veut dfinir les vecteurs partir des points, on dit que deux couples (A,B)
et (A ,B ) de points sont quipollents si cest la mme translation qui transforme A en B
et A en B .


Exercice A.3. Montrer, en utilisant la commutativit de O+ ( E ), que la relation () quivaut encore :


il existe ~r1 O+ ( E ) vrifiant ~r1 (~u1 ) = ~u2 et ~r1 (~v1 ) = ~v2 ().

75
 [
Dfinition A.12. On appelle angle de deux vecteurs unitaires ~u et ~v , et on note (~
u,~v ) la
classe dquivalence du couple (~u,~v ) pour la relation R.
\
On a donc bien (~ \
u2 ,~v2 ) si et seulement si () (ou ()), est vrifie.
u1 ,~v1 ) = (~

On a dfini un angle. On voudrait maintenant dfinir une addition sur lensemble A des


angles. Il suffit pour cela de transporter sur A la loi de composition naturelle sur O + ( E ).


Lensemble A est en effet en bijection naturelle avec O + ( E ) :


Proposition A.13. Lapplication qui une rotation ~r O + ( E ) associe langle (~u\ ,~r(~u))
+

ne dpend pas du choix du vecteur unitaire ~u U. Cest une bijection de O ( E ) sur A,
et la bijection rciproque associe un angle (~[u,~v ) lunique rotation ~r vrifiant ~v = ~r(~u)
(cette rotation ne dpend pas du reprsentant choisi pour langle).
Dfinition A.14. La somme (~ \ \
u2 ,~v2 ) de deux angles est langle (~u,~r\
u1 ,~v1 ) + (~ 2 ~
r1 (~u)),


o ~ri (i = 1,2) est lunique rotation de E vrifiant ~ri (~ui ) = ~vi .
On vrifie immdiatement que A muni de cette addition est un groupe ablien isomorphe


O + ( E ) (on a tout fait pour cela). On rcupre de plus immdiatement la relation de
Chasles :


Proposition A.15. Pour tout triplet (~u,~v ,w)
~ de vecteurs unitaires de E , on a :
[
(~ [
u,~v ) + (~
v ,w) [
~ = (~
u,w)
~ .
Dmonstration : Il suffit de remarquer que si ~r1 (~u) = ~v et ~r2 (~v ) = w,
~ alors ~r2 ~r1 (~u) =
w.
~

Angles particuliers. Langle nul est bien sr llment neutre du groupe (A,+) des
angles de vecteurs ; cest langle (~ [u,~u) pour tout vecteur unitaire ~u ; il correspond, dans
lisomorphisme prcdent, la rotation identit id . Un autre angle remarquable est
E
\ \
langle plat qui est langle (~u, ~u) = (~u,~u) pour tout vecteur unitaire ~u ; il correspond
la rotation vectorielle id ; cest lunique lment dordre 2 du groupe (A,+) : + =
E
0. Le groupe A possde en outre deux lments dordre 4, qui sont les angles droits : ce
[

u,~v ) et (~u\
sont les angles (~ , ~v) o (~u,~v) est une base orthonorme quelconque de E .

Angles gomtriques
Un angle gomtrique doit tre invariant par toute transformation orthogonale (et non plus
simplement par les seules rotations). On identifie donc cette fois deux couples de vecteurs
unitaires sil existe une transformation orthogonale f~ qui transforme le premier en le


second : (~u1,~v1 ) et (~u2 ,~v2 ) sont quivalents si et seulement si il existe f~ O( E ) vrifiant
f~(~u1 ) = ~u2 et f~(~v1 ) = ~v2 . Cela revient quotienter A par la relation dquivalence pour
laquelle deux angles sont quivalents sils sont gaux ou opposs.

Angles orients de droites

La manire naturelle de dfinir langle de deux droites vectorielles D1 et D2 est de prendre


\
un vecteur directeur unitaire ~ui sur chacune de ces droites et de dfinir (D1 ,D2 ) comme

76
tant (~\
u1 ,~u2 ). Comme une droite vectorielle possde deux vecteurs directeurs unitaires
opposs, on obtient ainsi a priori quatre valeurs, qui se rduisent en fait deux, puisque
(~u\
1, ~u2 ) = (~ \
u1 ,~u2 ) et (~ \u1 ,~u2 ) = (~u\
1, ~
u2 ). Il faut donc identifier ces deux valeurs,
ce qui se fait, ici encore, au moyen dune relation dquivalence. Cette relation consiste
identifier les angles (~ \
u1 ,~u2 ) et (~u\1, ~
u2), ou encore un angle et langle + : deux angles
sont donc en relation si et seulement si leur diffrence est 0 ou . Laddition des angles est
compatible avec cette relation, ce qui permet de dfinir sur lensemble quotient A de A
par cette relation dquivalence une addition qui fait de (A,+) un groupe ablien, appel
groupe des angles de droites. Ce groupe nest bien entendu rien dautre que le groupe
quotient du groupe ablien (A,+) par son seul sous-groupe deux lments, constitu
de langle nul et de langle plat. Il comporte lui-mme un seul lment dordre 2, langle
droit, qui est la classe des deux angles droits de vecteurs.

Mesure des angles

Rien de ce que nous avons fait jusquici ne fait appel lorientation de E : on peut parfai-
tement dfinir les angles et crire, par exemple, la relation de Chasles, sans avoir orient
le plan, et sans rien connatre non plus des fonctions trigonomtriques. Par contre, ds
quon veut mesurer les angles, lorientation du plan joue un rle essentiel. Lintroduction
de cette mesure des angles ncessite des outils danalyse : il faut connatre les fonctions cos
et sin et leurs proprits, ou, ce qui revient essentiellement au mme, la fonction t 7 eit
dune variable relle t, en particulier le fait que cette fonction dfinit un homomorphisme
du groupe additif (R,+) sur le groupe multiplicatif (U,) des nombres complexes de mo-
dule 1, dont le noyau est le sous-groupe 2Z. On en dduit un isomorphisme naturel du
groupe quotient (R/2Z,+) sur (U,), et donc sur le groupe SO2(R) des matrices or-
thogonales
 positives 
dordre 2 : cet isomorphisme associe la classe du rel la matrice
cos sin
R = .
sin cos
Or le choix dune orientation du plan permet didentifier une rotation vectorielle ~r et une
matrice de SO2(R) : on associe simplement ~r sa matrice dans nimporte quelle base
orthonorme directe (il faut se souvenir que cette matrice ne dpend pas du choix dune
telle base). On obtient ainsi, par composition, un isomorphisme du groupe (R/2Z,+) sur
le groupe (A,+) des angles de vecteurs, ce qui permet didentifier un angle et sa mesure,
qui est, par dfinition, llment de R/2Z qui lui correspond par cet isomorphisme. On
retombe ainsi sur la dfinition adopte dans la premire approche de la notion dangle
orient de vecteurs.
Cette mesure dpend de lorientation : en effet, si une rotation vectorielle ~r a comme ma-
trice R dans une base orthonorme directe, la matrice de ~r dans une base orthonorme
indirecte est R . Autrement dit, si un angle a pour mesure dans le plan orient, et si
on change lorientation du plan, la mesure de langle devient .
Si on veut mesurer les angles de droites, il faut factoriser lhomomorphisme de (R,+)
dans le groupe (A ,+) des angles de droites, de noyau Z, ce qui revient identifier des
rels diffrant dun multiple entier de . La mesure dun angle de droites est donc la
classe dquivalence dun rel modulo (cette mesure dpend, l encore, du choix dune
orientation).

77
Angles dans lespace
On ne peut, dans lespace vectoriel euclidien de dimension 3, mme orient, dfinir la
mesure dun angle orient de deux vecteurs, ou de deux droites. En effet lorientation
de lespace ninduit pas dorientation naturelle sur un plan de cet espace : on ne peut
donc distinguer entre un angle et son oppos (par contre, la mesure de langle dune
rotation est bien dfinie, condition davoir orient laxe de cette rotation : en effet une
orientation de laxe par le choix dun vecteur directeur unitaire ~u induit automatiquement
une orientation du plan vectoriel orthogonal cet axe (une base orthonorme (~v,w) ~ de
ce plan est directe si la base (~u,~v ,w)
~ de lespace est directe)). La notion la plus utile est
donc ici celle dangle gomtrique de deux vecteurs unitaires, la mesure de langle de deux
tels vecteurs ~u et ~v tant ici encore arccos(~u ~v ). Il ny a bien entendu plus non plus de
relation de Chasles pour ces angles.

78