Vous êtes sur la page 1sur 85

Universit Joseph Fourier Anne 2009-2010

Gomtrie
pour le CAPES de mathmatiques
version du 6 septembre 2009
Table des matires
Introduction 1
1 Espaces anes 3
1.1 Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Barycentres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Proprits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Sous-espaces anes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Caractrisation en termes de barycentres . . . . . . . . . . . . . . . . . . . 7
Paralllisme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Intersection, sous-espace engendr . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 Repres, quations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Coordonnes cartsiennes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Coordonnes barycentriques . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Topologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5 Convexit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Enveloppe convexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Demi-espaces, rgionnement . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6 Complment : calcul barycentrique . . . . . . . . . . . . . . . . . . . . . . 12
1.7 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2 Applications anes 17
2.1 Dnition et premires proprits . . . . . . . . . . . . . . . . . . . . . . . 17
Composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Caractrisation en termes de barycentres . . . . . . . . . . . . . . . . . . . 18
Image dun sous-espace ane . . . . . . . . . . . . . . . . . . . . . . . . . 18
Expression dans un repre . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2 Le groupe ane . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.3 Le groupe des homothties-translations . . . . . . . . . . . . . . . . . . . . 21
2.4 Projections, symtries, anits . . . . . . . . . . . . . . . . . . . . . . . . 22
2.5 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3 Espaces anes euclidiens 27
3.1 Gnralits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Orthogonalit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
i
Projection orthogonale sur un sous-espace ane . . . . . . . . . . . . . . . 28
Repres orthonorms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Rexions, 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 Dnition et premires proprits . . . . . . . . . . . . . . . . . . . . . . . 41
4.2 Dcomposition en produit de rexions . . . . . . . . . . . . . . . . . . . . 42
4.3 Classication des isomtries planes . . . . . . . . . . . . . . . . . . . . . . 42
4.4 Les isomtries de lespace . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Dplacements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Antidplacements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.5 Groupe disomtries conservant une gure . . . . . . . . . . . . . . . . . . 45
4.6 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
5 Coniques en gomtrie euclidienne 51
5.1 Dnition par foyer et directrice . . . . . . . . . . . . . . . . . . . . . . . . 51
Equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5.2 Dnition 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
5.5 Hyperbole rapporte ses asymptotes . . . . . . . . . . . . . . . . . . . . . 58
5.6 Rduction des quations . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Recherche dun centre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Cas de la parabole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Coniques centre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
5.7 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
6 Applications des nombres complexes la gomtrie 63
6.1 Le plan complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
6.2 Similitudes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Dnition et proprits gnrales . . . . . . . . . . . . . . . . . . . . . . . 64
Similitudes du plan complexe . . . . . . . . . . . . . . . . . . . . . . . . . 64
ii
6.3 Homographies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Dnition et premires proprits . . . . . . . . . . . . . . . . . . . . . . . 65
La sphre de Riemann

C . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Le groupe des homographies . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Eet sur les droites et les cercles . . . . . . . . . . . . . . . . . . . . . . . . 66
6.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
A Rappels dalgbre linaire 70
A.1 Projections et symtries vectorielles . . . . . . . . . . . . . . . . . . . . . . 70
A.2 Transformations orthogonales . . . . . . . . . . . . . . . . . . . . . . . . . 70
Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
Le groupe orthogonal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
Orientation, dterminant dune famille de n vecteurs . . . . . . . . . . . . 72
Le groupe orthogonal en dimension 2 . . . . . . . . . . . . . . . . . . . . . 72
Le groupe orthogonal en dimension 3 . . . . . . . . . . . . . . . . . . . . . 73
A.3 Angles de vecteurs et de droites . . . . . . . . . . . . . . . . . . . . . . . . 74
Angles : premire approche . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
Angles : seconde approche . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
Angles dans lespace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
iii
iv
Introduction
Ces notes ont t crites pour le cours de gomtrie de troisime anne de licence. Elles
recouvrent assez bien le programme de gomtrie de lcrit du CAPES, lexception du
chapitre de gomtrie direntielle. Elles peuvent galement tre utiles pour les preuves
orales : la gomtrie intervient en eet dans plus du tiers des sujets de ces preuves.
La gomtrie tient de fait une place importante dans les programmes des lyces et des
collges, tant pour son rle formateur (en particulier dans lapprentissage de la rigueur et
du raisonnement) que pour sa place dans lensemble des sciences et techniques. Elle permet
llve, en partant dobjets simples et intuitifs, de mettre en uvre des dmonstrations
signicatives et instructives.
La gomtrie est une discipline fort ancienne. Les lments dEuclide, qui ont des sicles
durant servi de base son enseignement, remontent en eet environ 300 ans avant notre
re, mais bien dautres textes plus anciens, issus de cultures direntes et nayant que peu
de liens entre elles, contiennent certains des rsultats que lon trouve dans ce trait. Le
succs rencontr par les lments tout au long des sicles tient en grande partie en ce quils
constituent la premire approche systmatique dune axiomatisation de la gomtrie :
partir dun nombre rduit de dnitions et daxiomes, on dmontre un grand nombre de
propositions et de thormes. Les notions de base pour Euclide sont le point, la droite, le
cercle, les longueurs, les angles. Ces notions sont aussi les notions de base de la gomtrie
enseigne au collge, puis au lyce. On introduit partir delles dautres notions, comme
celles de vecteur ou de transformation, qui jouent un rle essentiel dans beaucoup de
dmonstrations, et qui ont t gnralises par la suite et appliques des contextes
beaucoup plus abstraits. Beaucoup des notions fondamentales que vous avez tudies en
algbre (structures de groupe ou despace vectoriel) sont en eet issues, au moins en partie,
de la gomtrie lmentaire.
La position adopte dans ces notes est dirente : on y part des structures algbriques
que vous avez le plus tudies en licence (nombres rels, espaces vectoriels, groupes,. . .),
dont on suppose connues les proprits, et on dnit de manire axiomatique le cadre
de la gomtrie euclidienne (un espace ane euclidien) partir de ces notions, ce qui
permet dutiliser tous les rsultats (notamment dalgbre linaire) tablis en licence. On
rexamine ainsi les notions de gomtrie tudies au collge et au lyce la lumire des
connaissances de licence.
Si lalgbre joue un grand rle dans certaines des questions abordes et fournit des outils
trs ecaces pour rsoudre certains problmes, il ne faut jamais ngliger laspect intuitif
de la gomtrie lmentaire. Les gures jouent en eet un rle essentiel en gomtrie.
Si une gure ne constitue jamais en elle-mme une dmonstration, il est des cas o la
1
dmonstration se lit presque instantanment sur la gure, et dautres o la fausset dune
assertion saute aux yeux ds quon trace une gure. Il ne faut donc jamais hsiter tracer
une gure, mme trs rudimentaire, pour tudier un problme.
Si les gures les plus simples peuvent se tracer la main, des constructions plus compli-
ques ncessitent lusage dinstruments. Autrefois, ces instruments taient essentiellement
la rgle et le compas. Aujourdhui, des logiciels de gomtrie interactive permettent non
seulement de tracer une gure sur lcran de lordinateur et de limprimer, mais aussi de
la modier au gr de ses besoins en en faisant varier les paramtres (une gure destine
illustrer une situation gnrale ne doit par exemple jamais tre ralise dans un cas
particulier, o des proprits supplmentaires viennent interfrer avec celles que lon se
propose dillustrer). Il en existe de nombreux, tant libres que commerciaux. La plupart
des gures de ce cours ont t cres laide du logiciel libre de gomtrie interactive
GeoGebra, disponible gratuitement ladresse :
http://www.geogebra.at
Si le trac et lexploitation dune gure sont relativement aiss en gomtrie plane, ils le
sont souvent moins en gomtrie dans lespace. Lacquisition dune certaine forme din-
tuition ou de vision dans lespace, qui permet de tirer dune gure ncessairement
plane (une projection, en un sens prciser, dun objet de lespace) des renseignements
sur cet objet et dimaginer leet sur lui des transformations lmentaires de lespace, est
en eet 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 de nombreux livres traitant du sujet de ce cours. Pour nen citer que quelques-uns :
A. Gramain : Gomtrie lmentaire. Hermann, 1997.
Y. Ladegaillerie : Gomtrie pour le Capes de mathmatiques. Ellipses, 2002.
D.-J. Mercier : Cours de gomtrie, prparation au Capes et lagrgation. Publibook,
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 consultation de lun ou lautre de ces livres pourra vous aider en
complter les dmonstrations et leur lecture vous ouvrir certains aspects de la gomtrie
qui ne sont pas abords ici, faute de temps, et qui ne sont pas au programme du concours,
notamment la gomtrie projective, qui permet dclairer et de gnraliser nombre de
notions vues ici seulement dans le cadre un peu restrictif de la gomtrie ane.
Un certain nombre dexercices sont proposs, de niveau variable. Nessayez pas de tous
les rsoudre. Vous trouverez les corrigs de certains dentre eux, ainsi que des exercices
complmentaires accessibles en ligne, sur le site web de lInstitut Fourier ladresse :
http://www-fourier.ujf-grenoble.fr/enseignement/spip.php?rubrique27
2
Chapitre 1
Espaces anes
On sait bien quune fois quon a choisi un repre, le plan sidentie R
2
(resp. lespace de
dimension 3 R
3
), autrement dit un espace vectoriel de dimension 2 (resp. 3) sur R muni
dune base particulire (la base canonique de R
2
ou R
3
). On pourrait donc se contenter de
faire de la gomtrie dans R
2
ou dans R
3
. Cette identication repose pourtant sur le choix
dun repre et il est souvent plus agrable et plus clair de raisonner de manire intrinsque.
De plus, se xer 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 ane nest rien dautre que cela : un espace vectoriel
dont on aurait oubli o se trouve lorigine. Cette dnition 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 ane et que, inversement, tout espace ane peut sidentier un espace vectoriel
par le choix dune origine (mais cette identication dpend du choix de lorigine).
1.1 Dnition
Dnition 1.1. Soit

E un espace vectoriel rel. Un espace ane de direction

E est un
ensemble non vide E muni dune application (M, N)

MN de EE dans

E vriant :
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

OM de E dans

E est bijective.
Les lments de E sappellent des points, ceux de

E des vecteurs. On appelle dimension
de lespace ane E la dimension de lespace vectoriel

E.
Exemple fondamental : tout espace vectoriel est muni dune structure naturelle des-
pace ane sur lui-mme par lapplication (u, v) 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 x de

E et v dcrit un sous-espace vectoriel

F de

E, est un espace ane de direction



F .
3
Rciproquement, le choix dune origine per-
met de munir un espace ane dune structure
despace vectoriel : si O est lorigine, il sut
didentier un point M de E et le vecteur

OM.
Mais attention : cette structure dpend du choix
de lorigine ; on ne peut dnir la somme de deux
points dun espace ane sans se rfrer explicite-
ment une origine.
Exemples : La structure despace ane ne se rencontre pas quen gomtrie : elle
intervient 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 ane de direction lespace vectoriel des solutions du
systme homogne associ. De mme lensemble des solutions dune quation direntielle
linaire avec second membre constitue un espace ane de direction lespace vectoriel des
solutions du systme homogne associ, lensemble des suites vriant une relation de
rcurrence du type u
n+1
= au
n
+b constitue un espace ane de direction lespace vectoriel
des suites vriant la relation de rcurrence u
n+1
= au
n
, lensemble des fonctions f dune
variable relle vriant f(0) = 1 est un espace ane de direction lespace vectoriel des
fonctions nulles en 0.
Ce dernier exemple est un espace ane de dimension innie. Nous ne nous int-
resserons ici qu des espaces anes de dimension nie (principalement 2 ou 3). Dans
toute la suite de ce cours, espace ane signiera donc espace ane de di-
mension nie. On appellera droite (resp. plan) ane tout espace ane de dimension 1
(resp. 2) ; espace (sans autre qualicatif) dsignera souvent un espace ane de dimension
3.
On peut donner dautres dnitions dun espace ane. Lquivalence des dnitions pro-
poses ici est laisse en exercice.
Dnition 1.2. Soit

E un espace vectoriel rel. Un espace ane de direction

E est un
ensemble E muni dune application (M, u) M +u de E

E dans E vriant :
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 O +u de

E dans E est bijective.
Lapplication qui un point M associe le point M + u, o u est un vecteur x de

E,
sappelle translation de vecteur u et est note t
u
.
Dnition 1.3. Soit

E un espace vectoriel rel. Un espace ane de direction

E est un
ensemble E muni dun homomorphisme injectif u t
u
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 t
u
du vecteur u par cet homomorphisme est bien sr la translation de vecteur u :
on a donc t
u
(M) = M +u avec les notations prcdentes.
Exercice 1.1. Montrer lquivalence des trois dnitions prcdentes.
Exercice 1.2. Bipoints, quipollence.
Soit E un espace ane. On dnit 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

MN =

.
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 ane. Elle joue un rle identique
celui que tient la notion de combinaison linaire en algbre linaire.
Dnition
Dnition 1.4. Un systme de points pondrs dun espace ane E est une famille nie
(A
i
,
i
)
i=1,...,n
de couples (A
i
,
i
), o, pour tout i, A
i
est un lment de E et
i
un rel.
Le poids total du systme est le rel
n

i=1

i
.
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 :
f(M) =
n

i=1

MA
i
.
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 :
f(N) =
n

i=1

NA
i
=
n

i=1

i
(

NM +

MA
i
) =
_
n

i=1

i
_

NM +f(M).
Dnition 1.6. Soit (A
i
,
i
)
i=1,...,n
un systme de points pondrs dun espace ane E
de poids total non nul :
n

i=1

i
,= 0. On appelle barycentre de ce systme lunique point G
de E vriant
n

i=1

GA
i
=

0 .
Remarque : Le barycentre dun systme de points pondrs nest dni 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 aect de la somme des coecients
correspondants ( condition naturellement que cette somme ne soit pas nulle) ;
si G est le barycentre du systme de points pondrs (A
i
,
i
)
i=1,...,n
, on a, pour tout
point O de E :

OG =
n

i=1

OA
i
n

i=1

i
.
En particulier si
n

i=1

i
= 1, le barycentre G du systme vrie

OG =
n

i=1

OA
i
. On le
notera G =
n

i=1

i
A
i
. Mais attention : cette notation sera rserve un systme de points
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 ) vrie

AG = (1 )

AB,

BG =

AB (prendre
successivement O = A, puis O = B dans la formule prcdente).
Dnition 1.7. On appelle isobarycentre ou centre de gravit dune famille nie A
1
,
. . ., A
n
de points de E le barycentre de cette famille aecte 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 ane 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 ane. 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 anes
Dnition
Dnition 1.8. Une partie F dun espace ane E est un sous-espace ane sil existe
un point A de F tel que

F =

AM [ M F soit un sous-espace vectoriel de



E.
On montre alors que

BM [ M F =

F pour tout point B de F (si B F, les relations

BM =

AM

AB,

AB

F et le fait que

F soit un sous-espace vectoriel de

E montrent
6
que M appartient F si et seulement si

BM appartient

F ). Le sous-espace vectoriel

F de

E ne dpend donc pas du choix de A et est appel direction du sous-espace ane
F. La restriction de lapplication (M, N)

MN F F munit F dune structure
naturelle despace ane de direction

F . Sa dimension dim(F) est celle de

F .
Dnition 1.9. On appelle hyperplan dun espace ane E de dimension nie tout sous-
espace ane de dimension dim(E) 1 de E.
Un sous-espace ane 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, dnit un sous-espace ane quon notera Aff(A,

F ). En particulier, si u est un
vecteur non nul de

E, on notera D(A, u) la droite ane passant par A et de direction la
droite vectorielle Ru. De mme, si u et v sont 2 vecteurs linairement indpendants, on
notera P(A, u, v) le plan ane passant par A et de direction le plan vectoriel Ru Rv.
Exercice 1.4. Soient A et B deux points dun espace ane E et

F et

G deux sous-espaces vectoriels
de

E. Montrer que Aff(A,

F ) = Aff(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 ane E est un sous-espace ane
de E si et seulement si tout barycentre de points de F appartient F.
Dmonstration : Si F est un sous-espace ane de E et (A
i
,
i
)
i=1,...,n
un systme de points
pondrs de F de poids total non nul, le barycentre Gde ce systme vrie

AG =
n

i=1

AA
i
n

i=1

i
pour tout point A de E. Il en rsulte que

AG appartient

F , et donc que G appartient
F, si A appartient F, puisque

F est un sous-espace vectoriel de

E.
Rciproquement, si tout barycentre de points de F appartient F,

AM [ M F est
un sous-espace vectoriel de

E pour tout point A de F. En eet, si M et N sont des points
de F et et des rels, le point P de E dni par

AP =

AM +

AN est le barycentre
du systme pondr (A, 1 ), (M, ), (N, ) et appartient donc 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
Dnition 1.11. Deux sous-espaces anes F et G dun mme espace ane E sont dits
parallles sils ont mme direction :

F =

G.
Le paralllisme est une relation dquivalence sur lensemble des sous-espaces anes de E.
Deux sous-espaces anes parallles, au sens de cette dnition, ont mme dimension. Si
deux sous-espaces anes F et G dun mme espace ane E vrient

F

G, on dit que
7
F est parallle G (ou parfois faiblement parallle G) ; cette relation nest naturellement
pas symtrique.
Exercice 1.6. Montrer que deux sous-espaces anes parallles dun espace ane sont disjoints ou confon-
dus.
Intersection, sous-espace engendr
Proposition 1.12. Lintersection de toute famille de sous-espaces anes dun mme es-
pace ane est soit vide, soit un sous-espace ane de direction lintersection des directions
de ces sous-espaces anes.
Exercice 1.7. Soient A et B deux points dun espace ane E et

F et

G deux sous-espaces vectoriels
de

E. Montrer que Aff(A,

F ) Aff(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 ?
Exercice 1.8. Soient F et G deux sous-espaces anes dun espace ane E. On suppose que F G est
un sous-espace ane de E. Montrer que F G ou G F.
Cette stabilit par intersection nous permet de poser la dnition suivante :
Dnition 1.13. Soit A une partie non vide dun espace ane E. On appelle sous-espace
ane engendr par A le plus petit sous-espace ane de E contenant A. Cest lintersection
de tous les sous-espaces anes de E contenant A, et cest 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 didentier un espace ane
E de dimension n sa direction

E, cest--dire un espace vectoriel. Le choix dune
base B = (e
1
, . . . , e
n
) de

E permet didentier cet espace vectoriel R
n
. Le couple 1 =
(O, B) = (O, e
1
, . . . , e
n
) est appel repre cartsien de E. Pour tout point M de E, il
existe alors un unique n-uplet (x
1
, . . . , x
n
) de rels vriant

OM =
n

i=1
x
i
e
i
. Ces nombres
sont appels coordonnes cartsiennes de M dans le repre 1. 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 dni de manire intrinsque.
8
Equations de droites et de plans
Proposition 1.14. Soit E un espace ane de dimension n et 1 = (O, e
1
, . . . , e
n
) un
repre cartsien de E. Tout hyperplan H de E admet dans 1 une quation de la forme
a
0
+
n

i=1
a
i
x
i
= 0, o les a
i
sont des rels vriant (a
1
, . . . , a
n
) ,= (0, . . . , 0) ; cette quation
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
n

i=1
a
i
x
i
= 0 dans la base (e
1
, . . . , e
n
) de

E. Il en rsulte que deux hyperplans H et H

,
dquations respectives a
0
+
n

i=1
a
i
x
i
= 0 et a

0
+
n

i=1
a

i
x
i
= 0, sont parallles si et seulement
si les n-uplets (a
1
, . . . , a
n
) et (a

1
, . . . , a

n
) de rels sont proportionnels.
Une droite a donc, dans un repre cartsien du plan, une quation de la forme ax+by+c =
0, avec (a, b) ,= (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) ,= (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
Dnition 1.15. Soient D
1
et D
2
deux droites distinctes du plan, dquations respectives
f
1
(x, y) = a
1
x + b
1
y + c
1
= 0 et f
2
(x, y) = a
2
x + b
2
y + c
2
= 0 dans un repre cartsien
1. On appelle faisceau de droites engendr par D
1
et D
2
lensemble des droites du plan
ayant une quation de la forme f
1
(x, y) +f
2
(x, y) = 0, avec et rels.
Si D
1
et D
2
sont scantes en un point O, toute quation de la forme f
1
(x, y)+f
2
(x, y) =
0, avec (, ) ,= (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 D
1
et
D
2
sont parallles, ce faisceau est lensemble des droites qui leur sont parallles (il existe
dans ce cas, multiplication prs par un rel, un couple (, ) ,= (0, 0) et un seul tel que
lquation f
1
(x, y) + f
2
(x, y) = 0 ne soit pas celle dune droite). Cette caractrisation
montre en particulier que la dnition du faisceau engendr par deux droites ne dpend
pas du choix du repre 1.
On dnit 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 ane 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 coecients en imposant leur somme de valoir 1.
Proposition 1.16. Soient A
0
, . . . , A
n
n + 1 points dun espace ane E. Les deux pro-
prits suivantes sont quivalentes :
9
(i) les vecteurs

A
0
A
1
, . . . ,

A
0
A
n
sont linairement indpendants ;
(ii) aucun des points A
0
, . . . , A
n
nappartient au sous-espace ane engendr par les
autres.
Remarque : la condition (i) fait jouer un rle particulier A
0
; 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 A
0
par nimporte lequel des points A
i
.
Dnition 1.17. Des points A
0
, . . . , A
n
vriant les conditions prcdentes sont dits af-
nement indpendants. On dit aussi que la famille (A
0
, . . . , A
n
) est anement libre.
Une famille de points dun espace ane E est dite gnratrice si le sous-espace ane
engendr par cette famille est gal E.
Dnition 1.18. On appelle repre ane dun espace ane E toute famille gnratrice
et anement libre.
Proposition 1.19. Soient A
0
, . . . , A
n
n + 1 points dun espace ane E. Les proprits
suivantes sont quivalentes :
(i) (A
0
, . . . , A
n
) est un repre ane de E ;
(ii) n = dim(E) et aucun des points A
0
, . . . , A
n
nappartient au sous-espace ane de E
engendr par les autres ;
(iii) la famille

A
0
A
1
, . . . ,

A
0
A
n
est une base de

E ;
(iv) tout point M de E scrit de manire unique comme barycentre des points A
0
, . . . , A
n
aects de coecients de somme 1.
Un repre ane dun espace ane 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).
Dnition 1.20. Les coecients dnis dans la proprit (iv) sont appels coordonnes
barycentriques de M dans le repre ane (A
0
, . . . , A
n
).
Remarque : Le point M scrit donc M =
n

i=0

i
A
i
, avec
n

i=0

i
= 1. Par homognit du
barycentre, M est aussi barycentre du systme (A
i
,
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 ane (A
0
, . . . , A
n
) ; les
i
sont alors appels coordonnes barycentriques
rduites ou normalises de M dans ce repre.
Passage des coordonnes cartsiennes aux coordonnes barycentriques
Soit (A
0
, . . . , A
n
) un repre ane de E. La famille (A
0
,

A
0
A
1
, . . . ,

A
0
A
n
) est alors un
repre cartsien de E. On passe trs facilement des coordonnes cartsiennes dans ce
repre aux coordonnes barycentriques dans le repre initial : en eet lgalit

A
0
M =
n

i=1
x
i

A
0
A
i
signie exactement que M est le barycentre des A
i
aects des coecients
(1
n

i=1
x
i
, x
1
, . . . , x
n
).
Exercice 1.9. Coordonnes barycentriques et dterminants.
a) Soit E un plan ane, (A, B, C) un repre ane de E, M un point de E. Exprimer les coordonnes
barycentriques de M dans le repre ane (A, B, C) sous forme de dterminants faisant intervenir les
10
vecteurs

MA,

MB,

MC.
b) Donner des formules analogues pour un ttradre ABCD de lespace ane de dimension 3.
Remarque : Les coordonnes barycentriques dun point M du plan dans un repre ane (A, B, C) sont
donc proportionnelles aux aires algbriques des triangles MBC, MCA et MAB. Il faut remarquer que
la notion daire est une notion euclidienne : pour mesurer une aire, il faut avoir x 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 ane. On est ici
dans la mme situation que pour les mesures algbriques : une mesure algbrique sur un axe est dnie
en se rfrant un vecteur directeur, mais le rapport des mesures algbriques ne dpend pas du choix de
ce vecteur directeur.
Topologie
Lidentication dun espace ane E de dimension nie n R
n
par le choix dun repre
permet de dnir une topologie sur cet espace. Cette topologie est dnie par la distance
d dnie par d(A, B) = |

AB|, o | | est une norme quelconque sur



E (on rappelle que,
dans un espace vectoriel rel de dimension nie, toutes les normes sont quivalentes et
dnissent 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 ane toutes
les notions introduites dans le cours de topologie (ouverts, ferms, compacts, connexes,
. . .). En particulier, tout sous-espace ane est ferm et toute application ane (voir
chapitre 2) est continue. On tudiera plus en dtail au chapitre 3 les distances associes
un produit scalaire (distances euclidiennes) et les congurations gomtriques usuelles
qui leur sont attaches.
1.5 Convexit
Dnition
Dnition 1.21. Soient A et B deux points dun espace ane E. Le segment AB, not
[AB], est lensemble des barycentres de A et B aects de coecients tous deux positifs,
i.e. [AB] = A + (1 )B [ [0, 1].
Dnition 1.22. Une partie C dun espace ane 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 ane dun espace ane (en particulier lespace lui-mme)
est convexe ; un segment, une demi-droite sont convexes (si A est un point dun espace
ane 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
dnition quivalente :
Proposition 1.23. Une partie C dun espace ane E est convexe si et seulement si tout
barycentre de points de C aects de coecients tous positifs appartient C.
Proposition 1.24. Toute intersection de convexes est convexe.
11
Enveloppe convexe
Cette stabilit par intersection nous permet, comme dans le cas des sous-espaces anes,
de poser la dnition suivante :
Dnition 1.25. Soit A une partie non vide dun espace ane 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
aects de coecients tous positifs.
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 ane de dimension n et H un hyper-
plan ane, H spare lespace en deux, comme le montre la proposition suivante :
Proposition 1.26. Soit E un espace ane et H un hyperplan ane de E. La relation
1 dnie par : A1B 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 1, on dit que A et B sont du mme ct de H.
Si f(x
1
, . . . , x
n
) = a
0
+
n

i=1
a
i
x
i
= 0 est une quation cartsienne de H, ces demi-espaces
correspondent aux points vriant f(x
1
, . . . , x
n
) > 0 (resp. f(x
1
, . . . , x
n
) < 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 ane (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 dnis 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 (A
i
,
i
)
i=1,...,n
est un systme de points pondrs dun espace ane E de
poids total
n

i=1

i
= 1, le point G dni par

OG =
n

i=1

OA
i
ne dpend pas du choix de O
(ce point nest autre que le barycentre du sytme de points pondrs). On peut donc le
noter sans ambigut G =
n

i=1

i
A
i
.
De mme si (A
i
,
i
)
i=1,...,n
est un systme de points pondrs de poids total
n

i=1

i
= 0, le
vecteur u dni par u =
n

i=1

OA
i
ne dpend pas du choix de O. On peut donc le noter
12
u =
n

i=1

i
A
i
. Le cas le plus simple est celui o n = 2,
1
= 1 et
2
= 1 : A
1
A
2
est
alors le vecteur

A
2
A
1
.
On dnit 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
G =
1
3
A +
1
3
B +
1
3
C =
1
3
A +
2
3
_
1
2
B +
1
2
C
_
=
1
3
A +
2
3
A

o A

=
1
2
B +
1
2
C est le milieu de BC (cette galit ne fait que reter lassociativit
du barycentre). Plus gnralement, si (A
i
,
i
)
i=1,...,n
est un systme de points pondrs
de poids total
n

i=1

i
= 1, ce qui permet de dnir G =
n

i=1

i
A
i
, et si chacun des points
A
i
scrit lui-mme sous la forme A
i
=
m

j=1

i,j
B
j
, o B
1
, . . . , B
m
sont m points de E et
m

j=1

i,j
= 1 pour tout i, on peut crire G =
m

j=1
_
n

i=1

i,j
_
B
j
, la somme des coecients
des B
j
dans le membre de droite valant toujours 1.
De mme, si
n

i=1

i
= 1 et
n

i=1

i
= 0, on a lgalit :
n

i=1
(
i
+
i
)A
i
=
n

i=1

i
A
i
+
n

i=1

i
A
i
.
La somme de gauche
n

i=1
(
i
+
i
)A
i
reprsente un point M, la premire somme du membre
de droite un point N et la seconde un vecteur u : lgalit scrit alors M = N +u, ce qui
signie que M est limage de N par la translation de vecteur u, ce que lon peut encore
crire M N = u.
Il faut cependant prendre garde une chose : la notation
n

i=1

i
A
i
ne reprsente un point
ou un vecteur que si la somme des coecients est gale 0 ou 1 :
n

i=1

i
= 1 ou
n

i=1

i
= 0.
Une expression telle que 2A 3B, ou A + B, ou
1
2
A, ne reprsente ni un point ni un
vecteur.
1.7 Exercices
Exercice 1.11. Soit (A
i
,
i
)
iI
, o I est un ensemble ni, un systme de points pondrs dun espace
ane E de poids total nul :

iI

i
= 0.
a) Montrer que le vecteur u =

iI

i

OA
i
ne dpend pas du point O.
b) Soit J une partie de I telle que

iJ

i
,= 0, G
1
le barycentre de la famille (A
i
,
i
)
iJ
et G
2
celui de
la famille (A
i
,
i
)
iI\J
. Montrer que le vecteur

G
1
G
2
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

et un seul tel que A soit le milieu de


13
B

, B le milieu de C

, et C le milieu de A

. Indiquer une construction gomtrique de ce triangle.


b) Soit ABCD un quadrilatre. Donner une condition ncessaire et susante pour quil existe un qua-
drilatre A

tel que A soit le milieu de A

, B le milieu de B

, C le milieu de C

, et D le
milieu de D

. Ce quadrilatre, sil existe, est-il unique ?


Exercice 1.13. Soient D
1
, . . . , D
n
n droites dun espace ane E. On suppsoe D
i

D
j
non vide pour
tout couple (i, j). Montrer quil existe, soit un point commun toutes les droites D
i
, soit un plan de E
les contenant toutes.
Exercice 1.14. Soient, dans le plan ane rapport un repre cartsien, D
1
, D
2
, D
3
trois droites,
dquations a
i
x+b
i
y +c
i
= 0, i = 1, 2, 3, dterminant un triangle non aplati ABC. Donner lquation de
la parallle D
i
mene par le sommet oppos du triangle ABC.
Exercice 1.15. Thorme de Mnlas.
Soient A, B, C trois points non aligns du plan ane, M =
_
_

1

1

1

2

2

2

3

3

3
_
_
une matrice coecients
rels telle que la somme des coecients de chaque ligne soit gale 1. On note, pour i = 1, 2, 3, P
i
=

i
A+
i
B+
i
C le point de coordonnes barycentriques rduites (
i
,
i
,
i
) dans le repre ane (A, B, C).
a) Exprimer le dterminant det(

P
1
P
2
,

P
1
P
3
) des
deux vecteurs

P
1
P
2
et

P
1
P
3
relativement la base
(

AB,

AC) en fonction du dterminant de la matrice


M.
b) Donner une condition ncessaire et susante sur
la matrice M pour que les trois points P
1
, P
2
, P
3
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 :
PB
PC
QC
QA
RA
RB
= 1 .
Exercice 1.16. Soit, dans le plan ane, ABC un
triangle non aplati. On note A
1
le symtrique de B
par rapport C, B
1
le symtrique de C par rap-
port A, C
1
le symtrique de A par rapport B,
A
2
(resp. B
2
, C
2
) le point dintersection de la droite
BC (resp. CA, AB) avec la droite B
1
C
1
(resp. C
1
A
1
,
A
1
B
1
) (voir gure).
a) Donner les coordonnes barycentriques des points
A
1
, B
1
et C
1
dans le repre ane A, B, C.
b) Comparer les dterminants det(

A
1
B
1
,

A
1
C
1
) et
det(

AB,

AC).
c) Donner les coordonnes barycentriques des points
A
2
, B
2
et C
2
dans le repre ane A, B, C et dans
le repre ane A
1
, B
1
, C
1
.
d) En dduire que les trois triangles ABC, A
1
B
1
C
1
et A
2
B
2
C
2
ont le mme centre de gravit.
e) Expliquer comment on peut reconstruire le tri-
angle ABC partir du seul triangle A
1
B
1
C
1
et jus-
tier cette construction.
14
Exercice 1.17. a) Soient C et C

deux convexes
dun espace ane E. Montrer que lensemble des mi-
lieux des segments MM

, 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 MM

, quand M parcourt le segment [AB] et


M

le segment [CD].
Exercice 1.18. Quadrilatres.
a) Soient A, B, C, D quatre points trois trois non aligns du plan ane 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
B
C
D
A
B
C D
A
B
C D
Exercice 1.19. Soit 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.20. Thorme de Carathodory.
a) Soient A
0
, A
1
, , A
m
m+ 1 points anement dpendants dun espace ane E. Montrer quil existe
m + 1 rels
0
,
1
, ,
m
, non tous nuls, de somme nulle, tels que le vecteur
m

i=0

OA
i
soit nul pour
tout point O de E.
b) En dduire que tout barycentre coecients tous positifs des A
i
peut scrire comme barycentre
coecients tous positifs de m de ces points.
c) En dduire le thorme de Carathodory : tout point de lenveloppe convexe dune partie dun espace
ane de dimension n est barycentre coecients tous positifs de n + 1 points de cette partie.
d) En dduire que lenveloppe convexe dun compact dun espace ane de dimension nie est compacte.
15
16
Chapitre 2
Applications anes
2.1 Dnition et premires proprits
Dnition 2.1. Soient E et F deux espaces anes. Une application f de E dans F est
dite ane 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 innit 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 ane 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 anes, 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 ane
f de E dans F de partie linaire

f vriant f(A) = A

.
Exemples :
toute translation est une application ane dapplication linaire associe lidentit ;
une application f de R dans R est ane 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 ane sur lui-mme ; toute application linaire de E dans lui-mme est alors
ane, et gale sa partie linaire ; de fait, toute application ane de E dans lui-mme
est compose dune application linaire et dune translation, puisque, si f est ane, 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 eet, on peut bien dnir, 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 sut que cette application soit linaire pour un point O de E
pour que f soit ane comme le montre la proposition suivante :
Proposition 2.2. Soient E et F deux espaces anes et f une application de E dans F.
On suppose quil existe un point O de E tel que lapplication

f
O
prcdemment dnie soit
linaire. Alors f est ane 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 anes est une application ane, 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 ane en la composant
( droite ou gauche) avec une translation.
Caractrisation en termes de barycentres
Proposition 2.4. Une application f dun espace ane E dans un espace ane F est
ane si et seulement si elle conserve les barycentres, i.e. si et seulement si, pour tout
systme (A
i
,
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(A
i
),
i
)
i=1,...,n
.
Dmonstration : Si f est ane et si G est le barycentre du systme (A
i
,
i
)
i=1,...,n
, lgalit
n

i=1

f(G)f(A
i
) =
n

i=1

f(

GA
i
) =

f
_
n

i=1

GA
i
_
=

f(

0

E
) =

0

F
montre que f(G) est le barycentre du systme (f(A
i
),
i
)
i=1,...,n
.
Rciproquement, montrons que si f conserve les barycentres lapplication

f
O
considre
la proposition 2.2 est linaire pour tout point O de E. Soient donc M et N deux points
de E, et deux scalaires et P le point de E dni par

OP =

OM +

ON. Le point
P est le barycentre du systme pondr (O, 1 ), (M, ), (N, ). Il en rsulte que
f(P) est le barycentre du systme pondr (f(O), 1 ), (f(M), ), (f(N), ), do

f(O)f(P) =

f(O)f(M) +

f(O)f(N), ce qui montre que



f
O
est linaire.
Corollaire 2.5. Limage (resp. limage rciproque) dun convexe par une application af-
ne est un convexe.
Image dun sous-espace ane
Proposition 2.6. Soient E et F deux espaces anes, et f une application ane de E
dans F. Limage f(G) par f dun sous-espace ane G de E est un sous-espace ane de
F, de direction limage

f(

G) de

G par

f.
De mme, limage rciproque f
1
(H) par f dun sous-espace ane H de F est, soit vide,
soit un sous-espace ane de E de direction

f
1
(

H).
En particulier :
Corollaire 2.7. Toute application ane conserve lalignement et le paralllisme.
Proposition 2.8. Une application ane est injective (resp. surjective, bijective) si et
seulement si sa partie linaire lest. Il en rsulte quune application ane dun espace
ane E de dimension nie dans lui-mme est bijective si et seulement si elle est injective
(resp. surjective).
18
Expression dans un repre
Repre cartsien
Proposition 2.9. Soient E et E

deux espaces anes, de dimensions respectives n et m,


1 = (O, B) = (O, e
1
, . . . , e
n
) un repre cartsien de E, 1

= (O

, B

) = (O

, e

1
, . . . , e

m
)
un repre cartsien de E

, et f une application ane de E dans E

. Les coordonnes dans


1

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 1 (resp. 1

), et b le vecteur colonne des coordonnes de f(O)


dans 1

. Rciproquement, toute application de E dans E

donne par de telles formules


est ane.
Remarque : Dans le cas o E

= E et f = id
E
, ces formules ne sont autres que les
formules de changement de repre : si 1 = (O, B) = (O, e
1
, . . . , e
n
) et 1

= (O

, B

) =
(O

, e

1
, . . . , e

n
) sont deux repres cartsiens de E, et si X (resp. X

) est le vecteur colonne


des coordonnes dun point M dans le repre 1 (resp. 1

), 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 1

dans lancien repre 1. Il sut pour le voir dappliquer


les formules prcdentes en prenant f = id
E
, lespace E tant au dpart muni du repre
1

, et larrive du repre 1. 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.
Dnition 2.10. On appelle forme ane (ou fonction ane) sur un espace ane E
toute application ane de E dans R.
Lapplication linaire associe une forme ane sur E est donc une forme linaire sur

E. Une forme ane f sur E sexprime en coordonnes cartsiennes par : f(M) = a


0
+
a
1
x
1
+ +a
n
x
n
, o les a
i
sont des rels, et les x
i
les coordonnes de M. Lensemble des
points o une forme ane non constante f sannule est un hyperplan ane de direction
ker

f. Plus gnralement, toutes les lignes de niveau dune telle forme sont des hyperplans
anes parallles.
Repre ane
Proposition 2.11. Soit E et F deux espaces anes, (A
0
, . . . , A
n
) un repre ane de
E, (A

0
, . . . , A

n
) une famille de n + 1 points de F, o n = dim(E). Alors il existe une
application ane f et une seule de E dans F qui vrie f(A
i
) = A

i
pour tout i =
0, 1, . . . , n. De plus f est :
injective si et seulement si la famille (A

0
, . . . , A

n
) est anement libre ;
surjective si et seulement si la famille (A

0
, . . . , A

n
) engendre F ;
bijective si et seulement si la famille (A

0
, . . . , A

n
) est un repre ane de F.
Limage f(M) par f du point M =
n

i=0

i
A
i
, o
n

i=0

i
= 1, est le point M

=
n

i=0

i
A

i
de
F.
En particulier deux applications anes qui concident sur un repre ane sont gales :
Corollaire 2.12. Soient E et F deux espaces anes, f et g deux applications anes de E
dans F, et (A
0
, . . . , A
n
) un repre ane de E. Si f(A
i
) = g(A
i
) pour tout i = 0, 1, . . . , n,
alors f = g.
19
2.2 Le groupe ane
Dnition 2.13. Soit E un espace ane. On appelle transformation ane de E toute
application ane bijective de E dans lui-mme. Les transformations anes de E consti-
tuent un groupe pour la composition ; ce groupe est appel groupe ane de E, et not
GA(E).
Proposition 2.14. Lapplication f

f est un homomorphisme surjectif du groupe
ane 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 ane, f une transformation ane de E et u un vecteur de

E. Montrer que f t
u
f
1
est une translation et prciser son vecteur.
b) En dduire que le centre du groupe ane est rduit lidentit.
Stabilisateur dun point Le groupe ane GA(E) de E opre sur E par lapplication
(f, M) f(M). Rappelons quon appelle alors stabilisateur dun point O de E le sous-
groupe Stab(O) de GA(E) constitu des transformations anes f laissant xe 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

f
Stab(O) est un isomorphisme de Stab(O) sur le groupe linaire GL(

E).
Exercice 2.2. Soit E un espace ane, O un point de E et f un lment de GA(E). Montrer que
lapplication g 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 xes dune transformation ane
Proposition 2.16. Lensemble Fix(f) des points xes dune transformation ane f de
E est, soit vide, soit un sous-espace ane de direction ker(

f id

E
) (cest--dire le sous-
espace propre de

f associ la valeur propre 1).
En particulier :
Proposition 2.17. Soit f une transformation ane dun espace ane E. Les deux pro-
prits suivantes sont quivalentes :
(i) f admet un point xe et un seul ;
(ii) 1 nest pas valeur propre de

f.
Dmonstration : Limplication (i) (ii) rsulte immdiatement de la proposition prc-
dente. Montrons que si 1 nest pas valeur propre de

f, i.e. si

f id

E
est injective, alors
f admet un point xe et un seul. Soit O une origine dans E. Un point A est xe par f
si et seulement si

f(O)f(A) =

f(O)A, i.e. si et seulement si



f(

OA) =

f(O)O +

OA, soit
encore (

f id

E
)(

OA) =

f(O)O. Lapplication linaire



f id

E
tant injective, elle est
bijective et cette dernire relation dtermine un point A et un seul.
20
Remarque : Toute transformation ane est compose dune transformation ane ayant
un point xe et dune translation. Plus prcisment, si f est une transformation ane de E
et O un point de E, g = t

f(O)O
f appartient au stabilisateur de O et lon a f = t

Of(O)
g.
2.3 Le groupe des homothties-translations
Soit E un espace ane, O un point de E et k un rel non nul. Lhomothtie h
O,k
de
centre O et de rapport k est lapplication qui tout point M de E associe le point
M

= h
O,k
(M) dni par

OM

= k

OM. On vrie immdiatement que h


O,k
est une
transformation ane dapplication linaire associe lhomothtie vectorielle k id

E
de
rapport k, i.e. lapplication linaire qui un vecteur u de

E associe le vecteur ku, et que
si k est dirent de 1, O est le seul point xe de h
O,k
(si k = 1, h
O,k
est lidentit).
La proposition 2.17 montre que, rciproquement, toute transformation ane f de partie
linaire

f = k id

E
, avec k ,= 1, admet un point xe O et un seul ; il en rsulte aussitt
que f est lhomothtie de centre O et de rapport k. Les homothties direntes de
lidentit sont donc exactement les transformations anes dont la partie linaire est une
homothtie vectorielle de rapport dirent de 0 et de 1.
Proposition 2.18. Lensemble des homothties et des translations dun espace ane
E constitue un sous-groupe du groupe ane de E, appel groupe des homothties-
translations.
Plus prcisment, la compose de deux homothties est une homothtie de rapport le
produit des rapports si ce produit est dirent de 1, une translation si ce produit est gal
1. La compose dune homothtie et dune translation est une homothtie de mme
rapport.
Remarque : Le groupe des homothties-translations est parfois aussi appel groupe des
dilatations (mais il faut se mer : 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 ane. Montrer que deux homothties de mme rapport sont conjugues dans le groupe ane.
En particulier, toutes les symtries centrales (homothties de rapport -1) sont conjugues dans le groupe
ane.
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 susante


pour que deux homothties commutent.
La proposition suivante caractrise gomtriquement les lments de ce sous-groupe :
Proposition 2.19. Une transformation ane 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 ane transforme des droites parallles en des droites parallles ;
mais seules les homothties et les translations transforment toute droite en une droite
parallle.
21
2.4 Projections, symtries, anits
Soit E un espace ane, F un sous-
espace ane 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
F

Aff(M,

G) de F et du sous-espace
ane Aff(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 vriant

MM


G). On
peut donc dnir 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

= 2

MM

. 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 dnit lanit de base F, de direction

G
et de rapport comme lapplication qui au point M associe le point M

dni par

M. La projection et la symtrie sont donc des cas particuliers danits


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

E
. On parle alors de symtrie
centrale.
Proposition 2.20. Soit F un sous-espace ane dun espace ane 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 ane, dapplication
linaire associe la projection vectorielle p sur

F paralllement

G (resp. la symtrie
vectorielle s = 2 pid

E
par rapport

F paralllement

G). Plus gnralement, lanit
f de base F, de direction

G et de rapport est une application ane, dapplication linaire


associe

f = p +(id

E
p).
Remarque : Le sous-espace F ne sut 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 anes euclidiens, on verra quil existe une direction privilgie : celle de
lorthogonal 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 anits.
La partie directe du thorme de Thals ne fait que traduire ce caractre ane des
projections :
22
Exercice 2.5. Le thorme de Thals.
a) Soient
A
,
B
,
C
trois droites parallles distinctes
dun plan ane P. On suppose que ces droites coupent
deux droites D et D

respectivement en A, B, C et A

,
B

, C

. Montrer que :
AB
AC
=
A

; .
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 vrie. Quelle rciproque peut-on
noncer ?
Exercice 2.6. Caractrisation des projections et des symtries.
a) Montrer quune application ane f dun espace ane E dans lui-mme est une projection (resp. une
symtrie) si et seulement si elle vrie f f = f (resp. f f = id
E
).
b) Montrer quune application ane f dun espace ane E dans lui-mme est une projection (resp. une
symtrie) si et seulement si elle vrie les deux proprits suivantes :
sa partie linaire

f est une projection (resp. une symtrie) vectorielle ;
elle possde au moins un point xe.
Exercice 2.7. Conjugue dune projection ou dune symtrie.
Soit p une projection (resp. s une symtrie) dans un espace ane E et f GA(E) une transformation
ane 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. Soit, dans le plan ane E, ABCD et A

deux paralllogrammes non aplatis et


A

un quadrilatre non aplati qui nest pas un paralllogramme. Existe-t-il :


a) une transformation ane de E qui transforme ABCD en A

?
b) une transformation ane de E qui transforme A

en ABCD?
Exercice 2.9. Soient A et B deux points dun espace ane E et f lapplication de E dans E qui tout
point M de E associe le point f(M) dni par

Mf(M) = 4

AM 2

BM .
a) Comparer les vecteurs

f(M)f(N) et

MN pour tout couple (M, N) de points de E.
b) En dduire que f est ane. Expliciter sa partie linaire.
c) En dduire la nature gomtrique de f. Prciser ses points xes.
Exercice 2.10. Montrer quune application dun espace ane E dans lui-mme qui commute avec toute
translation est une translation.
Exercice 2.11. Soit ABCD un quadrilatre non aplati du plan ane P. Donner une condition ncessaire
et susante sur ce quadrilatre pour quil existe une transformation ane f de P vriant f(A) = B,
f(B) = C, f(C) = D, f(D) = A.
Exercice 2.12. Montrer quune gure admettant deux centres de symtrie distincts admet une innit
de centres de symtrie. Montrer quune telle gure ne peut tre borne.
Exercice 2.13. Polygone des milieux (2).
Etant donns n points B
1
, . . . , B
n
du plan ane E, peut-on toujours trouver n points A
1
, . . . , A
n
de E
tels que B
i
soit, pour tout i = 1, . . . , n, le milieu de A
i
A
i+1
(avec la convention A
n+1
= A
1
) ? (Voir
lexercice 1.12 pour les cas n = 3 ou 4.) Donner une construction gomtrique des points A
i
partir des
points B
i
lorsque la solution existe.
Indication : on pourra considrer la compose des symtries de centres B
1
, B
2
, . . .,B
n
.
23
Exercice 2.14. 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
IL
JL
JK
= 1 .
Exercice 2.15. Un cas particulier du thorme de Desargues.
Montrer que deux triangles non aplatis du plan ane se dduisent lun de lautre par une homothtie ou
une translation si et seulement si leurs cts sont deux deux parallles.
Exercice 2.16. Un problme de construction.
Soient D
1
et D
2
deux droites scantes du plan
ane E et M un point de E nappartenant
aucune de ces droites. On suppose que le point
O dintersection de D
1
et D
2
est situ hors du
cadre de la gure. Donner une construction de
la droite OM (on pourra sinspirer de la gure
de droite).
24
Exercice 2.17. 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 :
PB
PC
QC
QA
RA
RB
= 1 .
Indication : pour la partie directe, on pourra
projeter sur une droite (par exemple BC) dans
la direction de la droite PQR.
Exercice 2.18. Le thorme de Mnlas en dimension quelconque.
Soit (A
0
, A
1
, . . . , A
n
) un repre ane dun espace ane E de dimension n. On pose A
n+1
= A
0
. Soit,
pour i = 0, . . . , n, M
i
un point de la droite A
i
A
i+1
distinct de A
i
et A
i+1
. Montrer que les points M
i
(i = 0, . . . , n) appartiennent un mme hyperplan si et seulement si :
n

i=0
M
i
A
i
M
i
A
i+1
= 1
(on considrera les composes des homothties de centre M
i
transformant A
i
en A
i+1
).
Exercice 2.19. 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 :
PB
PC
QC
QA
RA
RB
= 1 .
Indication : dans le cas des droites concourantes, on pourra par exemple appliquer le thorme de Mn-
las des triangles et des scantes bien choisis.
Exercice 2.20. Un cas particulier du tho-
rme de Pappus.
Soient D et D

deux droites du plan ane, 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.
25
Exercice 2.21. 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.22. Anits et transvections.
Soit (A
0
, . . . , A
n
) un repre ane dun espace ane E de dimension n et A

0
un point de E nappartenant
pas lhyperplan ane H engendr par A
1
, . . ., A
n
.
a) Montrer quil existe une transformation ane f de E et une seule qui laisse xe tout point de H et
transforme A
0
en A

0
.
b) On suppose que A

0
nappartient pas lhyperplan ane H

parallle H passant par A


0
. Montrer
que f est une anit de base H dont on prcisera la direction.
c) On suppose que A

0
appartient lhyperplan ane H

parallle H passant par A


0
. Montrer quil
existe une fonction ane sur E nulle sur H telle que

Mf(M) = (M)

A
0
A

0
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.23. Soit, dans lespace ane de dimension 3 rapport un repre cartsien (O,

i,

j,

k), f la
transformation dnie par les quations :
x

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

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

= (x 2y +z + 1)/2 .
Dterminer les points xes, puis la nature gomtrique de f.
26
Chapitre 3
Espaces anes euclidiens
3.1 Gnralits
Dnition 3.1. On appelle espace ane euclidien tout espace ane dont la direction est
un espace vectoriel euclidien, i.e. un espace vectoriel muni dun produit scalaire euclidien.
Un espace ane euclidien est naturellement muni dune distance d, appele distance eucli-
dienne, dnie par d(A, B) = |

AB| =
_

AB

AB. Conformment un usage solidement


tabli, on notera systmatiquement AB la distance d(A, B).
Cette distance vrie 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 ane euclidien E et b et c deux rels positifs
vriant b + c = BC. Montrer quil existe un et un seul point A de E vriant AB = c et AC = b. En
particulier le milieu I de BC est lunique point de E vriant IB = IC =
1
2
BC.
Exercice 3.2. Fonction scalaire de Leibniz.
Soit (A
i
,
i
)
i=1,...,n
un systme de points pondrs dun espace ane euclidien E. On dnit une fonction
de E dans R par (M) =
n

i=1

i
MA
2
i
.
a) On suppose
n

i=1

i
,= 0. Montrer que (M) =
_
n

i=1

i
_
MG
2
+(G), o G est le barycentre du systme
pondr (A
i
,
i
)
i=1,...,n
.
En particulier, si I est le milieu dun segment AB, on obtient lidentit de la mdiane :
MA
2
+MB
2
= 2MI
2
+ 2AI
2
= 2MI
2
+
AB
2
2
.
b) On suppose
n

i=1

i
= 0. Montrer que (M) = 2

MN u + (N) pour tout couple (M, N) de points de


E, o le vecteur u =
n

i=1

NA
i
ne dpend pas du point N.
c) Application : Soient A et B deux points dun plan ane euclidien E et k un rel non nul. Dterminer
lensemble des points M de E vriant MA
2
+MB
2
= k (resp. MA
2
MB
2
= k,
MA
MB
= k).
Orthogonalit
Dnition 3.2. Deux sous-espaces anes F et G dun espace ane 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 ane 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

= minMM

[ M D, M

et que le couple de points (A, A

) est le seul 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 ane euclidien E quidistants de deux points distincts A
et B est lhyperplan ane 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 vriant MA > MB
et lensemble des points M de E vriant MA < MB.
Exercice 3.7. Caractrisation dun point par ses distances aux points dun repre ane.
Montrer quun point dun espace ane euclidien E est entirement dtermin par ses distances aux points
dun repre ane de E.
Projection orthogonale sur un sous-espace ane
Si F est un sous-espace ane dun espace ane 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) = minMN [ 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 ane est une application ane. Cette ap-
plication ane est 1-lipschitzienne : pour tout couple (M, N) de points de E, les images
M

et N

de ces points vrient M

MN.
Exercice 3.8. Montrer que, rciproquement, toute projection ane 1-lipschitzienne est une projection
orthogonale.
Exercice 3.9. Montrer que deux droites orthogonales de lespace ane 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 ane euclidien E de dimension 3, D une droite dnie par un point A et un vecteur
directeur u (resp. P un plan dni 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 ane 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. vriant MP = d(M, C) = infMQ [
Q C. Montrer que ce point P est lunique point de C vriant

PM

PQ 0 pour tout point Q de


C et que lapplication qui M associe P est 1-lipschitzienne. Montrer que cette application est ane
si et seulement si C est un sous-espace ane de E (cest alors la projection orthogonale sur C dnie
prcdemment).
Repres orthonorms
Un repre 1 = (O, B) dun espace ane E est dit orthonorm ou orthonormal si la base
B de

E est orthonorme.
La distance de deux points M et N, de coordonnes respectives (x
1
, . . . , x
n
) et (y
1
, . . . , y
n
)
dans un repre orthonorm, scrit MN =
_
(x
1
y
1
)
2
+ + (x
n
y
n
)
2
.
Equation dun hyperplan, distance dun point un hyperplan. Si H est un
hyperplan de E dni par un point A et un vecteur normal n (i.e. un vecteur non nul de

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


d(M, H) =
[n

AM[
|n|
.
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 x
A
) +
b(yy
A
) = 0, ou encore : ax+by+c = 0, avec c = ax
A
by
A
, si n = a

i+b

j, et dans le cas
de lespace rapport un repre orthonorm (O,

i,

j,

k) : a(xx
A
)+b(yy
A
)+c(zz
A
) = 0,
ou encore : ax +by +cz +d = 0, avec d = ax
A
by
A
cz
A
, 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 :
d(M, D) =
[ax +by +c[

a
2
+b
2
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 :
d(M, P) =
[ax +by +cz +d[

a
2
+b
2
+c
2
.
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.
Rexions, bissectrices
Dnition 3.3. On appelle, dans un espace ane euclidien, symtrie orthogonale par
rapport un sous-espace ane F la symtrie par rapport F dans la direction

F

. On
appelle rexion toute symtrie orthogonale par rapport un hyperplan.
29
Une rexion 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 rexion) conserve
les distances. Dans le plan, une rexion conserve les angles gomtriques et change les
angles orients (de droites ou de demi-droites) en leurs opposs.
Exercice 3.12. Rexion changeant deux points.
Montrer quil existe une et une seule rexion changeant deux points distincts donns. Son hyperplan
est lhyperplan mdiateur de ces deux points.
Exercice 3.13. Montrer que le produit de deux rexions dhyperplans parallles est une translation de
vecteur orthogonal aux deux hyperplans de ces rexions. Rciproquement, montrer que toute translation
peut se dcomposer en produit de deux rexions dhyperplans orthogonaux son vecteur, lun de ces
hyperplans pouvant tre choisi arbitrairement et lautre tant alors uniquement dtermin.
Exercice 3.14. Montrer quune symtrie ane dun espace ane 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
ane euclidien. Il existe une et une seule rexion changeant ces deux demi-droites. Son
axe passe par A et tout vecteur directeur u de cet axe vrie (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 ane euclidien scantes en A. Il


existe exactement deux rexions changeant ces deux droites. Leurs axes et

sont
perpendiculaires en A et vrient (, 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
Dnition 3.8. Soit E un plan ane 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 vriant OM = R.
Si E est un espace ane 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

MA

MB = 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 +Rcos t
y = b +Rsin t
(t [0, 2[)
Son quation cartsienne scrit (xa)
2
+(y b)
2
= R
2
, et est donc de la forme x
2
+y
2

2ax 2by +c = 0, o c = a
2
+b
2
R
2
. Rciproquement, une quation de cette forme est
celle dun cercle si a
2
+ b
2
c 0 (si a
2
+ b
2
c = 0, ce cercle est rduit un point ; si
a
2
+b
2
c < 0, lensemble des points la vriant est vide).
Intersection dune droite et dun cercle, tangentes
Proposition 3.9. Soit, dans le plan ane 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 dnition de la tangente, particulire au cercle, concide avec la dni-
tion usuelle de la tangente une courbe paramtre comme position limite dune scante,
comme on le vrie immdiatement en partant de la reprsentation paramtrique.
Exercice 3.18. Soit, dans lespace ane 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. Donner
une construction de ces tangentes.
31
Exercice 3.20. Montrer que, dans le plan ane euclidien rapport un repre orthonorm la tangente
en M
0
(x
0
, y
0
) au cercle dquation x
2
+y
2
2ax 2by +c = 0 a pour quation x
0
x +y
0
y a(x +x
0
)
b(y +y
0
) +c = 0.
Exercice 3.21. Position relative de deux cercles.
Soient C et C

deux cercles distincts du plan ane 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
R
2
et ne dpend donc pas de la droite D. Ce nombre est
appel puissance de M par rapport au cercle C et not p
C
(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
R
2
.
Ce nombre permet de situer le point M par rapport au cercle. Plus prcisment :
M est extrieur au cercle si et seulement si p
C
(M) > 0 ;
M appartient au cercle si et seulement si p
C
(M) = 0 ;
M est intrieur au cercle si et seulement si p
C
(M) < 0.
En particulier, si le point M est extrieur au cercle, on a p
C
(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 x
2
+ y
2
2ax 2by + c = 0 est
p
C
(M) = x
2
+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) OO
2
= R
2
+R
2
;
(iii) p
C
(O

) = R
2
;
(iv) p
C
(O) = R
2
.
Axe radical de deux cercles
Proposition 3.11. Soient C et C

deux cercles distincts du plan ane 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 x
2
+y
2
2ax 2by +c = 0 et x
2
+y
2
2a

x 2b

y +c

= 0. Vrier que cet axe


radical est perpendiculaire la droite des centres.
Faisceaux linaires de cercles
Dnition 3.12. Soient C
1
et C
2
deux cercles non concentriques du plan ane euclidien.
On appelle faisceau de cercles engendr par C
1
et C
2
lensemble des cercles C du plan tels
que laxe radical de C et C
1
soit gal laxe radical de C
1
et C
2
.
Proposition 3.13. Soient C
1
et C
2
deux cercles non concentriques du plan ane eucli-
dien rapport un repre orthonorm, dquations respectives f
1
(x, y) = 0 et f
2
(x, y) = 0.
Le faisceau de cercles engendr par C
1
et C
2
est lensemble des cercles du plan dquation
f
1
(x, y) + (1 )f
2
(x, y) = 0, pour R.
On a suppos ici les quations normalises (les coecients de x
2
et y
2
gaux 1). Lqua-
tion f
1
(x, y) f
2
(x, y) = 0 est alors lquation de laxe radical de deux quelconques des
cercles du faisceau.
Exercice 3.24. On suppose les cercles C
1
et C
2
scants en A et B. Montrer que le faisceau de cercles
engendr par C
1
et C
2
est exactement lensemble des cercles du plan passant par A et B.
Exercice 3.25. On suppose les cercles C
1
et C
2
tangents en un point A. Montrer que le faisceau de
cercles engendr par C
1
et C
2
est exactement lensemble des cercles du plan tangents en A C
1
et C
2
.
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 dnie modulo 2).
Dmonstration : Soit s
1
(resp. s
2
) la r-
exion daxe la mdiatrice
1
de AB
(resp. la mdiatrice
2
de AC). La com-
pose s
2
s
1
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 rsulte
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, T
1
et T
2
les tangentes en B ces cercles. Lexercice
3.27 montre que T
1
= T
2
. 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 ane euclidien orient et un rel. Dterminer lensemble des
34
points M du plan tels que la mesure de langle orient de vecteurs (

MA,

MB) soit congrue modulo


(resp. modulo 2). En dduire lensemble des points M du plan tels que la mesure de langle gomtrique

AMB soit gale .


3.4 Gomtrie du triangle
Dans toute cette partie, triangle signie 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 : a
2
= b
2
+c
2
2bc cos

A.
En particulier, un triangle ABC est rectangle en A si et seulement si on a a
2
= b
2
+ c
2
(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 ane euclidien orient, laire algbrique dun triangle ABC est, par dni-
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 dnition, la valeur absolue de son aire algbrique.
Exercice 3.33. Soit, dans le plan ane euclidien orient, ABC un triangle. Montrer que laire algbrique
de ce triangle est gale :
1
2
det(

AB,

AC) =
1
2
det(

BC,

BA) =
1
2
det(

CA,

CB)
=
1
2
AB.AC sin (

AB,

AC) =
1
2
BC.BAsin (

BC,

BA) =
1
2
CA.CBsin (

CA,

CB) .
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 ane 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
Dnition 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

. Les
hauteurs du triangle initial ABC
sont les mdiatrices du triangle
A

: elles sont donc concou-


rantes.
Exercice 3.35. Autre dmonstration.
a) Montrer que, pour tout quadruplet A, B, C, M de points dun espace ane euclidien E, on a (relation
de Stewart) :

MA

BC +

MB

CA+

MC

AB = 0 .
b) Retrouver ainsi le fait que les hauteurs dun triangle sont concourantes.
36
Exercice 3.36. Autre dmonstration.
Soient BB
1
et CC
1
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, B
1
, C
1
, H dune part, et B, C,
B
1
, C
1
dautre part, sont cocycliques.)
Solution :
(AH, BC) = (AH, AB) + (AB, BC) (relation de Chasles)
= (AH, AC
1
) + (AB, BC)
= (B
1
H, B
1
C
1
) + (AB, BC) (les points A, B
1
, C
1
, H sont cocycliques)
= (B
1
B, B
1
C
1
) + (AB, BC)
= (CB, CC
1
) + (AB, BC) (les points B, C, B
1
, C
1
sont cocycliques)
= (AB, CC
1
) (relation de Chasles)
Bissectrices, cercles inscrit et exinscrits
Dnition 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 justie cette terminologie :
Proposition 3.20. La bissectrice intrieure en A dun triangle ABC coupe le ct BC
en un point A
1
(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 A

1
qui est le barycentre du systme pondr (B, b), (C, c). Les
points A
1
et A

1
sont donc les deux points de la droite BC vriant :
A
1
B
A
1
C
=
A

1
B
A

1
C
=
AB
AC
.
Exercice 3.37. Interprter cette dernire relation en faisant intervenir les aires des triangles AA
1
B et
AA
1
C (resp. AA

1
B et AA

1
C).
Corollaire 3.21. Les bissectrices intrieures dun triangle ABC sont concourantes en
un point de coordonnes barycentriques (a, b, c) dans le repre ane 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
cts.
37
3.5 Exercices
Exercice 3.38. Soient, dans lespace ane euclidien de dimension 3, D
1
, D
2
, D
3
trois droites deux
deux orthogonales se rencontrant en un point O. Un plan P ne passant pas par O rencontre ces trois
droites en des points A, B, C. Soit H le projet orthogonal de O sur P. Montrer que H est lorthocentre
du triangle ABC.
Exercice 3.39. 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.40. Soit A
1
A
2
. . . A
n
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.41. Soit dans le plan ane 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 h
G,1/2
de centre G et de rapport 1/2 transforme le triangle ABC en le
triangle A

.
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

et O

son centre. Montrer que

est limage de par


lhomothtie h
G,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

et

, puis les vecteurs

et

. Montrer que C

est un
rectangle. En dduire que C

et B

sont des diamtres du cercle

.
e) Montrer que le cercle

passe par les pieds des hauteurs du triangle ABC.


38
Exercice 3.42. 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.43. Montrer que si un quadrilatre convexe
ABCD possde un cercle inscrit, il vrie AB + CD =
BC +DA.
Exercice 3.44. Droites de Simson et de Stei-
ner.
Soit ABC un triangle du plan ane 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.45. Soit ABC un triangle et A

,
B

, C

trois points situs respectivement sur les


cts BC, CA et AB de ce triangle et di-
rents des sommets. Montrer que les cercles cir-
conscrits aux trois triangles AB

, BC

et
CA

ont un point commun.


Exercice 3.46. Soit, dans le plan ane eucli-
dien rapport un repre orthonorm, ABC
un triangle non isocle et f
A
(x, y) = 0 lqua-
tion normale de la droite BC normalise par
f
A
(x
A
, y
A
) > 0. On note de mme f
B
(x, y) = 0
et f
C
(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 f
A
, f
B
et f
C
. 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 f
A
, f
B
et f
C
).
Exercice 3.47. Lespace est rapport un repre orthonorm. Donner lexpression en coordonnes de
la rexion par rapport au plan P dquation x y +z + 5 = 0.
Exercice 3.48. Lespace est rapport un repre orthonorm. Donner des quations de la perpendicu-
laire commune aux droites D
1
dquations
_
x +y z 1 = 0
2x +y +z = 0
et D
2
dtermine par le point A
2
de coordonnes (1, 0, 1) et le vecteur directeur v
2
de composantes
(1, 1, 0). Calculer la distance de ces deux droites.
40
Chapitre 4
Isomtries
4.1 Dnition et premires proprits
Dnition 4.1. Soient E et F deux espaces anes euclidiens. On appelle isomtrie
de E dans F toute application f de E dans F qui conserve la distance, i.e. qui vrie
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 dnition. Cela rsultera en fait de la proposition fondamentale suivante :
Proposition 4.2. Toute isomtrie est une application ane.
Dmonstration : Soit O un point de E et

f
O
lapplication de

E dans

F dnie 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
2
_
f(O)f(A)
2
+f(O)f(B)
2
f(A)f(B)
2
_
=
1
2
_
OA
2
+OB
2
AB
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 ane, de partie linaire

f
O
.
Nous nous intresserons essentiellement ici aux isomtries dun espace ane euclidien E
dans lui-mme. Ces isomtries constituent un sous-groupe Is(E) du groupe GA(E) des
transformations anes de E, appel groupe des isomtries de E.
Proposition 4.3. Soient E un espace ane euclidien et f une transformation ane de
E. Alors f est une isomtrie si et seulement si sa partie linaire

f est une transformation
orthogonale.
Dnition 4.4. Une isomtrie f dun espace ane 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.
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.
41
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 rexions
Lemme 4.5. Soit f une isomtrie de E dirente de lidentit. Alors il existe une r-
exion s telle que dim(Fix(s f)) > dim(Fix(f)).
(Si f na pas de point xe, il faut comprendre que s f a au moins un point xe.)
Dmonstration : Soit A un point de E tel que f(A) ,= A et s la rexion par rapport
lhyperplan mdiateur H de Af(A). Tout point xe M de f appartient H, puisque
Mf(A) = f(M)f(A) = MA, et est donc xe par s f. Comme A nappartient pas
H et est xe par s f, Fix(s f) est un sous-espace ane de E contenant strictement
Fix(f).
On en dduit immdiatement, par rcurrence sur la dimension du sous-espace des points
xes, que les rexions engendrent le groupe des isomtries. Plus prcisment :
Thorme 4.6. Toute isomtrie f dun espace ane euclidien E de dimension n peut se
dcomposer en produit de k rexions, avec k np, o p est la dimension du sous-espace
des points xes de f (p = 1 si f na pas de point xe).
Cette dcomposition nest pas unique, mais la parit du nombre k de rexions y inter-
venant lest, puisque le dterminant de

f est (1)
k
.
4.3 Classication 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 xe 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 rexion vectorielle. Soit

D son axe.
Si f admet un point xe A, f est la rexion 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 xe et
soit donc une rexion s
D
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 = t
u
s
D
= t
v
t
w
s
D
. On peut alors
dcomposer t
w
sous la forme t
w
= s
D
s
D
, o D

est une droite parallle D (cf. exercice


3.13). Il en rsulte f = t
v
s
D
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
s
D
une symtrie
glisse, o D est une droite ane et v un vecteur
de

D. Montrer que t
v
et s
D
commutent. En
dduire lexpression de f f, puis lunicit de
la dcomposition de f.
Invariants dpl/antidpl nature gomtrique
plan dplacement identit
droite antidplacement rexion
point dplacement rotation
dplacement translation
antidplacement symtrie glisse
Classication des isomtries planes
4.4 Les isomtries de lespace
Dplacements
Soit f un dplacement de lespace ane 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 xe A : dans ce cas f est une rotation daxe D et dangle , o D
est la droite ane 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 xe ; il existe alors un vecteur u tel que t
u
f admette un
point xe 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 = t
u
r = t
v
t
w
r ; mais
t
w
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 ; t


w
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 = t
u
r un vissage, o r est une rotation daxe D et u un vecteur non nul de

D.
a) Montrer que D = M E [

Mf(M)

D.
b) Montrer que D = M E [ Mf(M) = infAf(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.
Vissage
Antirotation
Antidplacements
La partie linaire

f dun antidplacement f est soit une rexion vectorielle, soit une
antirotation vectorielle (isomtrie vectorielle gauche). Si

f est une rexion vectorielle, on
montre comme dans le cas des antidplacements du plan que f est soit une rexion, soit
une symtrie glisse (produit commutatif dune rexion et dune translation de vecteur
parallle au plan de la rexion). 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 xe et un seul ; f est donc
encore une antirotation (produit commutatif dune rotation et dune rexion de plan
orthogonal laxe de la rotation).
Invariants dpl/antidpl nature gomtrique
espace dplacement identit
plan antidplacement rexion
droite dplacement rotation
point antidplacement antirotation
dplacement vissage ou translation
antidplacement symtrie glisse
Classication des isomtries de lespace
44
4.5 Groupe disomtries conservant une gure
Proposition 4.7. Soit E un espace ane euclidien et A une partie non vide de E.
Lensemble G des isomtries f de E qui conservent A (i.e. qui vrient 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 s f est une telle bijection). En


particulier, si G
+
est ni et G

non vide, G
+
et G

ont le mme nombre dlments.


Remarque : Lensemble des isomtries f de E qui vrient 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 ni, puisque dans ce cas f(A) = A pour toute isomtrie f
vriant f(A) A.
Proposition 4.8. Soit E un espace ane euclidien et A une partie nie non vide de E.
Toute isomtrie de E qui conserve A laisse xe 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 ni du groupe des isomtries dun espace ane euclidien E. Montrer
quil existe un point de E xe par tout lment de G.
Exemple : le groupe didral D
n
. Cest le groupe des isomtries planes conservant
un polygone rgulier convexe A
0
A
1
. . . A
n1
n cts. Son sous-groupe des dplacements
D
+
n
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 D

n
sont les n rexions
daxes les droites OA
k
(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 D
3
des isomtries du triangle quilatral est isomorphe au groupe
des permutations de trois lments.
Exercice 4.6. Soit r une rotation engendrant D
+
n
et s un lment quelconque de D

n
. Montrer que r et
s vrient les relations r
n
= s
2
= id, srs = r
1
, et engendrent D
n
.
Exercice 4.7. Soit A
0
A
1
. . . A
n1
un polygone rgulier
convexe et A
k
0
A
k
1
. . . A
k
n1
un polygone rgulier toil
ayant les mmes sommets (il existe donc un entier m pre-
mier avec n tel que k
i
k
0
+ 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
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 gure ci-contre :
les rotations de centre O et dangle 2/3 conservent les som-
mets du polygone OABC mais pas ce polygone.
O
B C
A
45
4.6 Exercices
Exercice 4.8. Soit (A, B) et (A

, B

) deux couples de points distincts du plan ane euclidien vriant


AB = A

. Montrer quil existe un et seul dplacement f (resp. un et un seul antidplacement g) du


plan vriant 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 ane euclidien et A

, B

, C

les pieds des hauteurs.


a) Montrer que les cts du triangle ABC sont des bissectrices du triangle A

.
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

.
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 PQR et f = s
AB
s
CA
s
BC
la compose des rexions daxes ces cts. Montrer que f est une symtrie glisse laissant globalement
invariante la droite PR. 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 ane 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 PI +IQ.
Exercice 4.11. Problme de Fagnano.
Soit ABC un triangle du plan ane euclidien dont tous les angles sont aigus. On cherche dterminer
un triangle de primtre minimal inscrit dans le triangle ABC, cest--dire un triangle PQR dont les
sommets P, Q et R appartiennent respectivement aux cts BC, CA et AB du triangle et tel que la
somme PQ+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 PQR soit solution de ce problme, alors les cts du triangle ABC
sont les bissectrices extrieures du triangle PQR. 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, P
1
et P
2
les symtriques de P par
rapport AB et AC. Montrer que les points P
1
, R, Q et P
2
sont aligns et que le primtre du triangle
PQR est gal P
1
P
2
. 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 ane 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

) dnies par :
_

_
x

=
x +y

2 z 3 +

2
2
y

=
x +y +

2 z 1

2
2
z

2 x

2 y + 2 +

2
2
(on prcisera les lments caractristiques de cette transformation).
Exercice 4.14. Lespace ane 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

) dnies par :
_

_
x

=
x 2y 2z 1
3
y

=
2x +y 2z + 5
3
z

=
2x 2y +z + 2
3
(on prcisera les lments caractristiques de cette transformation).
Exercice 4.15. Soit E un espace ane euclidien de dimension 3, (O,

i,

j,

k) un repre orthonorm de E,
A, B, C les points de E dnis par

OA =

i,

OB =

j,

OC =

k. Dterminer le groupe G des isomtries de
E laissant globalement invariant lensemble O, A, B, C. Prciser la nature gomtrique des lments de
G et crire les matrices de leurs parties linaires dans la base (

i,

j,

k) de

E. Montrer que G est isomorphe
au groupe des permutations de trois lments.
Exercice 4.16. Soit E un espace ane euclidien de dimension 3,

i,

j,

k une base orthonorme de
lespace vectoriel

E associ, A et B deux points de E vriant

AB =

k. On note D
1
la droite de vecteur
directeur

i passant par A, D
2
la droite de vecteur directeur

j passant par B, et, pour i = 1, 2, s
i
le
retournement daxe D
i
.
a) Ecrire les matrices des parties linaires de s
1
, s
2
, s
2
s
1
et s
1
s
2
dans la base (

i,

j,

k).
b) Montrer que f = s
2
s
1
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 s
1
et s
2
. Montrer quil existe une
droite de E globalement invariante par tout lment de G.
e) Dcrire gomtriquement tous les lments de G.
Exercice 4.17. 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 o
4
des permutations de quatre lments. On considre
47
donc un ttradre rgulier ABCD de lespace ane 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 xe par tout lment de G.
b) Montrer que tout lment g de G induit une permutation (g) des sommets du ttradre et que
lapplication ainsi dnie est un homomorphisme injectif du groupe G dans le groupe o 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 rexion changeant les points A et B et laissant xes 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 o 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.18. Isomtries du cube, du ttradre et de loctadre.
Soit ABCDA

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 o 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) Identier les lments de G
+
et montrer que est un isomorphisme de G
+
sur o.
d) En considrant la symtrie centrale de centre le centre du cube, montrer que G est isomorphe au
produit direct de o par un groupe 2 lements.
e) Soit T
1
= ACD

et T
2
= A

DB les deux ttradres rguliers dont les artes sont les diagonales
des faces du cube. Montrer que lensemble G
1
des lments de G qui conservent T
1
est un sous-groupe
de G, et que G est runion disjointe de G
1
et de lensemble G
2
des lments de G qui changent T
1
et
T
2
. 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 T
1
et de T
2
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.19. Isomtries de lhlice circulaire.
Soit, dans lespace ane euclidien E de dimension 3 rapport un repre orthonorm (O,

i,

j,

k), H
48
lhlice circulaire de reprsentation paramtrique x = Rcos t, y = Rsin 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 t +b ou t 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
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-
nition 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 ane 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 Dnition par foyer et directrice
Dnition 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 vrient
MF
MH
= e, o H est le projet orthogonal de M sur D. Si e < 1, la conique est appele
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, (x
F
, 0) les coordonnes de F, x = x
D
51
lquation de D dans ce repre. Lquation
MF
MH
= e quivaut MF
2
= e
2
MH
2
, soit
encore :
(x x
F
)
2
+y
2
= e
2
(x x
D
)
2
.
Si e = 1, cette quation scrit encore :
2(x
F
x
D
)
_
x
x
D
+x
F
2
_
= y
2
,
ce qui amne poser x
F
= p/2, x
D
= x
F
. 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 ,= 1, lquation scrit :
(1 e
2
)x
2
+y
2
2x(x
F
e
2
x
D
) +x
2
F
e
2
x
2
D
= 0 .
On est alors amen choisir lorigine O du repre de faon avoir x
F
e
2
x
D
= 0, ce qui
revient dire que O est barycentre du sytme de points pondrs (F, 1), (K, e
2
), 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
appelle a et a les abscisses de ces points, de sorte que x
D
=
a
e
, x
F
= ae, lquation
scrit :
x
2
a
2
+
y
2
a
2
(1 e
2
)
= 1 .
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
b, o b = a

1 e
2
. Lquation de lellipse scrit alors :
x
2
a
2
+
y
2
b
2
= 1 .
Le foyer F a pour abscisse c = x
F
= ae =

a
2
b
2
et la directrice D pour quation
x = a
2
/c.
Si e > 1 (cas de lhyperbole), laxe Oy ne coupe pas la conique. On pose b = a

e
2
1.
Lquation de lhyperbole scrit alors :
x
2
a
2

y
2
b
2
= 1 .
Le foyer F a pour abscisse c = ae =

a
2
+b
2
et la directrice D pour quation x = a
2
/c.
52
5.2 Dnition bifocale des coniques centre
Lexistence de deux couples foyer-directrice pour les coniques centre permet den obtenir
une autre caractrisation. Si on appelle en eet 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
vriant MF +MF

= 2a.
Rciproquement, si un point M du plan de coordonnes (x, y) vrie MF + MF

= 2a,
on dduit de la relation
(MF MF

)(MF +MF

) = MF
2
MF
2
= [(x c)
2
+y
2
] [(x +c)
2
+y
2
] = 4cx
que MF MF

= 2ex, do MF = a ex, et MF
2
= (x c)
2
+ y
2
= (a ex)
2
,
soit x
2
(1 e
2
) + y
2
= b
2
puisque ec = a et a
2
b
2
= c
2
, ou encore, en divisant par b
2
,
x
2
a
2
+
y
2
b
2
= 1, ce qui montre que lensemble des points M du plan vriant MF +MF

= 2a
est inclus dans lellipse.
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 vriant MF MF

= 2a et lautre dans
lensemble des points M vriant MF

MF = 2a. Un calcul identique celui opr dans


le cas de lellipse permet ici encore de vrier que lhyperbole est exactement lensemble
des points M du plan vriant [MF MF

[ = 2a. En rsum :
Proposition 5.2. Soient F et F

deux points distincts du plan.


1. Pour tout rel a > FF

/2, lensemble des points M du plan vriant MF+MF

= 2a
est lellipse de foyers F et F

et de grand axe 2a.


2. Pour tout rel positif a < FF

/2, lensemble des points M du plan vriant [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 dni par foyer et directrice (on pourrait
53
seulement linterprter comme limite dune ellipse dont lexcentricit tendrait vers 0 et la
directrice serait rejete linni).
Application : construction de lellipse par le procd dit
du jardinier. Il sut dattacher les extrmits dune celle
aux foyers et de faire tourner.
5.3 Tangentes
Reprsentation paramtrique des coniques
Parabole : La parabole dquation y
2
= 2px admet la reprsentation paramtrique :
_
_
_
x =
t
2
2p
y = t
(t R) .
Ellipse : Lellipse dquation
x
2
a
2
+
y
2
b
2
= 1 admet la reprsentation paramtrique :
_
x = a cos t
y = b sin t
(t [0, 2[) .
Hyperbole : Lhyperbole dquation
x
2
a
2

y
2
b
2
= 1 admet la reprsentation param-
trique :
_
x = a ch t
y = b sh t
(t R) .
chaque signe correspondant la reprsentation de lune des deux branches.
Exercice 5.1. Montrer que x =
a
cos t
, y = b tan t, t
_

2
,

2
_

2
,
3
2
_
, est une autre reprsentation
paramtrique de lhyperbole.
Drivation vectorielle
Soit t u(t) une fonction dun intervalle I de R dans un espace vectoriel

E de dimension
nie n. On dit que cette fonction est drivable si toutes les coordonnes x
1
(t), . . . , x
n
(t)
de u(t) dans une base B = (e
1
, . . . , e
n
) de

E le sont (cette proprit ne dpend pas de la
base). Le vecteur x

1
(t)e
1
+ +x

n
(t)e
n
est alors indpendant de la base. On le note u

(t).
On vrie immdiatement que si deux fonctions t u(t) et t v(t) dun intervalle I
de R dans un espace vectoriel euclidien

E sont drivables, la fonction t u(t) v(t) de
I dans R est drivable et que sa drive est t u

(t) v(t) +u(t) v

(t). En particulier,
54
la fonction t |u(t)|
2
a pour drive t 2u(t) u

(t). On en dduit (drivation dune


fonction compose) que la fonction t |u(t)| est drivable en tout point o elle ne
sannule pas et que sa drive en un tel point est gale
u(t)
|u(t)|
u

(t).
Une fonction t M(t) dun intervalle I de R dans un espace ane E est dite drivable
sil existe un point O de E tel que la fonction t

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 M(t)
admet alors en tout point de paramtre t o

(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 FM
2
HM
2
=
0, on obtient 2

FM

HM (

) = 0. Mais

HM

= 0 puisque le vecteur

HM est orthogonal D. Il en rsulte



FH

= (

FM

HM)

= 0. La tangente en
M la parabole est donc la hauteur issue de M dans le triangle MFH. 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 rchit 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


FM +F

M = 2a, on obtient de mme :


_

FM
|

FM|
+

M
|

M|
_

= 0. Il en rsulte que
55
la tangente en M lellipse est orthogonale la bissectrice intrieure en M du triangle
MFF

: cest donc la bissectrice extrieure de langle en M de ce triangle.


Dans le cas de lhyperbole, on montre de mme, en drivant la relation [FM F

M[ = 0,
que la tangente en M est la bissectrice intrieure de langle en M du triangle MFF

.
Les ellipses (resp. les hyperboles) de foyers F et F

xs sont donc les lignes de niveau


de la fonction M MF + MF

(resp. M [MF MF

[). Par tout point du plan


nappartenant pas au segment FF

(resp. la mdiatrice de FF

ou la droite FF

prive du segment FF

) passe donc une et une seule ellipse (resp. hyperbole) de foyers


F et F

. Il rsulte de la dmonstration prcdente que ces deux coniques se coupent


angle droit, puisque les deux bissectrices en M du triangle MFF

sont perpendiculaires
(les gradients des deux fonctions considres sont en tout point orthogonaux). Les ellipses
et les hyperboles de foyers xs constituent donc deux familles de courbes orthogonales.
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
56
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-


riant FF

< 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
FF

> 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 lanit
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 lanit 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 eet une anit, comme toute transformation
ane, conserve lalignement, les milieux, le contact (ce qui signie 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 lanit.
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
anit est xe par cette anit).
57
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 M
1
et M
2
de lellipse en lesquels la tangente a la
direction

D. Que peut-on dire des milieux des cordes de
lellipse parallles M
1
M
2
?
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 gure) par une anit 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 Rcos ,
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 anit orthogonale de base D dans le plan P.)
5.5 Hyperbole rapporte ses asymptotes
Lhyperbole dquation
x
2
a
2

y
2
b
2
= 1 dans un repre orthonorm 1 = (O,

i,

j) admet
comme asymptotes les droites dquations y =
b
a
x.
Son quation scrit encore
_
x
a

y
b
__
x
a
+
y
b
_
= 1, soit, en posant X =
x
a

y
b
et
Y =
x
a
+
y
b
, XY = 1. Mais X et Y sont les coordonnes dans le repre (non orthonorm)
1

= (O,
a
2

i
b
2

j,
a
2

i +
b
2

j) du point de coordonnes (x, y) dans le repre 1. Lquation


58
XY = 1 est donc celle de lhyperbole dans ce repre 1

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 MN et PQ
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 MN 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 1 = (O,

i,

j) du plan une quation


du second degr, de la forme :
ax
2
+ 2bxy +cy
2
+ 2dx + 2ey +f = 0 ,
o a, b, c, d, e, f sont 6 rels quelconques, a, b et c ntant pas simultanment nuls.
59
Recherche dun centre
Le point , de coordonnes (x
0
, y
0
) dans 1, est centre de symtrie de si et seulement si
lquation de dans le repre 1

= (,

i,

j) ne comporte pas de termes du premier degr.


Les coordonnes (x

, y

) dans 1

du point M de coordonnes (x, y) dans 1 sont donnes


par x = x

+x
0
, y = y

+y
0
. Lquation de dans 1

scrit donc :
a(x

+x
0
)
2
+ 2b(x

+x
0
)(y

+y
0
) +c(y

+y
0
)
2
+ 2d(x

+x
0
) + 2e(y

+y
0
) +f = 0 .
Cette quation ne comporte pas de termes du premier degr si et seulement si :
_
ax
0
+by
0
+d = 0
bx
0
+cy
0
+e = 0 .
Ces quations sont en gnral celles de deux droites. Trois cas sont alors possibles :
1. si b
2
ac ,= 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 ,= 0 (ou b = c = 0 et e ,= 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 innit de centres de symtrie.
Cas de la parabole
Dans le cas 2, b
2
ac = 0 et ac ,= 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

+2e

+f

= 0, puis, par
un changement dorigine, Y
2
= 2pX. La courbe est donc bien une parabole.
Coniques centre
Dans le repre 1

= (,

i,

j) dont lorigine est le centre de symtrie de , a comme


quation : ax
2
+ 2bx

+ cy
2
+ f = 0. Soient (X, Y ) les coordonnes dans le repre
R = (,

I,

J) dduit de 1

par rotation dangle du point de coordonnes (x

, y

) dans
1

. On a :
_

I = cos

i + sin

j ;

J = sin

i + cos

j .
60
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 coecient de XY dans cette quation est :
2(c a) cos sin + 2b(cos
2
sin
2
) = (c a) sin 2 + 2b cos 2 .
Les axes de ce nouveau repre sont des axes de symtrie pour si et seulement si ce
coecient est nul, ce qui dtermine 2 modulo , et donc modulo

2
, sauf dans le cas
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.
61
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).
Exercice 5.13. 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

FM

MT + e
2

MH

MT = 0 (on pourra
driver la relation FM
2
e
2
MH
2
= 0).
b) En dduire que les droites FM et FT sont orthogonales
(on pourra calculer le produit scalaire

FM

FT).
Exercice 5.14. 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.15. Montrer que limage dune ellipse ou dun cercle par une transformation ane est une
ellipse ou un cercle.
Exercice 5.16. 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
ane 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 ane. 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 didentier tout plan ane


E R
2
, ou encore C : au point M de coordonnes (x, y) on associe le nombre complexe
z = x + iy, quon appelle axe de M. On peut galement dnir laxe 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 didentier

E C. Cela permet de ramener


certains problmes gomtriques des problmes dalgbre.
Exercice 6.1. Polygone des milieux (3).
Reprendre lexercice 2.13 (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 ane si et seulement
si elle est de la forme f(z) = az +b z +c pour 3 nombres complexes a, b et c. Donner lexpression complexe
de

f, ainsi quune condition ncessaire et susante 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 eet lapplication z [z[ =

z z 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, daxes respectives a et b, est alors d(A, B) = [b a[.
Langle (u
1
, u
2
) de deux vecteurs non nuls daxes respectives z
1
et z
2
est Arg
_
z
2
z
1
_
.
En particulier, ces deux vecteurs sont proportionnels si et seulement si
z
2
z
1
est rel, et
orthogonaux si et seulement si
z
2
z
1
est imaginaire pur.
Exercice 6.4. Montrer que quatre points distincts daxes respectives z
1
, z
2
, z
3
, z
4
sont aligns ou
cocycliques si et seulement si leur birapport
(z
3
z
1
)(z
4
z
2
)
(z
4
z
1
)(z
3
z
2
)
est rel.
Exercice 6.5. Montrer que tout cercle du plan complexe est dni par une quation de la forme z za z
az +c = 0, o a est un nombre complexe et c un rel vriant 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, daxes 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
Dnition et proprits gnrales
Dnition 6.1. On appelle similitude dun espace ane 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 ane. Lensemble des simi-
litudes constitue un sous-groupe du groupe GA(E) des transformations anes 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 h
1
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 xe 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 f
a,b
de C dans C dnie
par f
a,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 = f
a,b
.
Exercice 6.8. Montrer que toute similitude directe dun plan ane 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 f
a,b
dnie dans la proposition 6.3 (on
discutera selon les valeurs de a).
Exercice 6.10. Dterminer le produit de deux similitudes directes f
a,b
et f
a

,b
du plan complexe. Ce
produit est-il commutatif ?
Proposition 6.4. Pour tout couple (a, b) C

C, lapplication g
a,b
de C dans C dnie
par g
a,b
(z) = a z +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 = g
a,b
.
64
Exercice 6.11. Montrer que toute similitude indirecte dun plan ane euclidien qui nest pas une
isomtrie est le produit commutatif dune homothtie de rapport positif et dune rexion dont laxe
passe par le centre de lhomothtie. Cette dcomposition est unique.
6.3 Homographies
Dnition et premires proprits
Dnition 6.5. On appelle homographie toute application f de C dans C de la forme
f(z) =
az +b
cz +d
, o a, b, c et d sont quatre nombres complexes vriant ad bc ,= 0.
Remarque : Le cas adbc = 0 correspondrait une application constante. Cest pourquoi
on lcarte.
Cette application est dnie sur C si c = 0, sur C priv du point
d
c
sinon. Elle constitue
une bijection :
de C sur C si c = 0 ;
de C
_

d
c
_
sur C
_
a
c
_
sinon.
Exercice 6.12. Dmontrer cette dernire assertion en explicitant lapplication rciproque de f (on mon-
trera que cest une homographie).
La sphre de Riemann

C
Dans le cas o c nest pas nul, il est naturel de chercher prolonger f : en eet quand z
tend vers
d
c
, [f(z)[ tend vers linni, et quand [z[ tend vers linni, f(z) tend vers
a
c
.
On complte pour cela le plan complexe C en lui ajoutant un point linni, not , et
on dnit f
_

d
c
_
= et f() =
a
c
si c nest pas nul (si c est nul, f est une similitude
du plan complexe et on dnit f() = ). Lapplication f ainsi prolonge est alors une
bijection de

C = C sur lui-mme.
Remarque : On peut munir

C 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 du plan complexe ainsi dnie sappelle traditionnellement la sphre de
Riemann. Cette terminologie vient de ce quil existe une bijection naturelle de

C sur la
sphre unit dun espace vectoriel euclidien de dimension 3.
Soit en eet E un espace ane 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 identie 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 dnit une bijection de C sur S quon prolonge

C en posant () = N.
Cette bijection est un homomorphisme. La bijection rciproque de S sur

C est appele
projection strographique.
65
N
M
M
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

C sur lui-mme. Ce groupe est engendr par les similitudes directes z az + b et
lapplication z
1
z
.
Dmonstration : Il sut dcrire, pour c ,= 0 :
az +b
cz +d
=
a
c
+
bc ad
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 vrient f() =
.
Eet 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
cercle de

C, soit un cercle (au sens usuel) de C, soit une droite de C complte par le
point .
Proposition 6.7. Toute homographie transforme un cercle de

C en un cercle de

C.
Dmonstration : Il sut, daprs la proposition 6.6, de le vrier pour les similitudes et
pour lapplication z
1
z
. Pour les similitudes, cest clair, et pour lapplication z
1
z
,
il sut dutiliser lquation complexe dun cercle (exercice 6.5) : limage par lapplication
z
1
z
du cercle dquation z za z az+c = 0 est le cercle dquation z z
a
c
z
a
c
z+
1
c
= 0
si ce cercle ne passe pas par 0 (c ,= 0) et la droite dquation az+ a z1 = 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).
66
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 susante sur les axes 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 PQ) sont orthogonaux et de
mme longueur. En dduire que les droites AP, BQ et CR sont concourantes.
Exercice 6.16. On construit lextrieur dun paralllogramme ABCD quatre carrs de bases les cts
et de centres M, N, P, Q. Montrer que MNPQ est un carr.
Exercice 6.17. On construit, lextrieur
dun quadrilatre convexe ABCD, quatre tri-
angles rectangles isocles APB, BQC, CRD et
DSA.
1) Exprimer les axes p, q, r, s des points P,
Q, R, S en fonction des axes a, b, c, d des
points A, B, C, D.
2) Que peut-on dire des segments PR et QS ?
Exercice 6.18. Soit ABCD un quadrilatre convexe dont les diagonales AC et BD sont perpendiculaires
en un point O. Montrer que les symtriques P, Q, R, S de O par rapport aux cts AB, BC, CD, DA
de ce quadrilatre sont cocycliques. (On considrera un repre orthonorm dorigine O dont les axes sont
ports par les diagonales AC et BD et on dterminera limage par lapplication z
1
z
des cercles de
centres A, B, C, D passant par O.)
Exercice 6.19. Deux cercles C
1
et C
2
de centres O
1
et O
2
sont tangents intrieurement en A. On
considre le cercle de diamtre BC, o B et C sont les points diamtralement opposs A sur C
1
et C
2
,
67
et on construit partir de ce cercle une famille de cercles deux deux tangents entre eux et tangents
C
1
et C
2
. Montrer que les points de contact de ces cercles entre eux sont situs sur un mme cercle
tangent en A aux deux cercles C
1
et C
2
. (Indication : on pourra transformer la gure par lapplication
z
1
z
, le point A tant choisi comme origine du repre.)
Exercice 6.20. Soient A et B deux points distincts du plan complexe, daxes respectives a et b. On
identie tout point M de ce plan son axe z et on note f lapplication du plan dans lui-mme dnie
par f(z) =
z a
z b
.
a) Dterminer, pour tout rel k > 0, lensemble des points M du plan dont laxe z vrie [f(z)[ = k.
On donnera lquation complexe de cet ensemble et on montrera que cet ensemble est :
un cercle C
k
centr sur la droite AB si k ,= 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 laxe z vrie 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 , 0 (mod ) ;


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 C
k
, k R

+
et

, ]0, [, sont deux faisceaux de cercles et que


tout cercle de lun de ces faisceaux est orthogonal tout cercle de lautre.
68
A B
69
Appendice
Rappels dalgbre linaire
A.1 Projections et symtries vectorielles
Soit

E un espace vectoriel de dimension nie 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 = u
1
+ u
2
, avec u
i


E
i
(i = 1, 2). Les deux applications p
1
et p
2
de

E dans
lui-mme dnies par p
i
(u) = u
i
(i = 1, 2) sont linaires et vrient 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 p
1
= 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 s
1
et s
2
de

E dans lui-mme dnies par s
1
(u) = u
1
u
2
, s
2
(u) =
u
2
u
1
sont appeles symtrie par rapport

E
1
(resp.

E
2
) de direction (ou paralllement
)

E
2
(resp.

E
1
).
Elles sont linaires, bijectives et vrient les relations :
s
i
s
i
= id

E
(i = 1, 2) ;
s
1
= p
1
p
2
= 2 p
1
id

E
, s
2
= p
2
p
1
= 2 p
2
id

E
;
s
1
s
2
= s
2
s
1
= id

E
, s
1
+s
2
= 0.
Rciproquement, si p est une application linaire de

E dans lui-mme vriant 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 vriant s s = id

E
(on
dit que s est involutive), s admet exactement les deux valeurs propres +1 et -1 (sauf si
s = id

E
, auquel cas elle nadmet quune valeur propre), et les noyaux des applications
linaires s id

E
et s + id

E
(i.e. les sous-espaces propres de 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 nie n.
Dnition
Proposition A.1. Soit

f une application linaire de

E dans

E. Les proprits suivantes
sont quivalentes :
70
1.

f conserve le produit scalaire :

f(u)

f(v) = u v pour tout couple (u, v)

E

E ;
2.

f conserve la norme : |

f(u)| = |u| 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 vriant ces proprits est appele transformation
orthogonale ou automorphisme orthogonal de

E.
On rappelle quune matrice carre A dordre n est dite orthogonale si elle vrie lune des
proprits quivalentes suivantes :
1. A
t
A = I
n
;
2.
t
AA = I
n
;
3. A est inversible et A
1
=
t
A.
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 :
|

f(u +v)

f(u)

f(v)|
2
= |

f(u +v)|
2
+
2
|

f(u)|
2
+
2
|

f(v)|
2
2

f(u +v)

f(u) 2

f(u +v)

f(v) + 2

f(u)

f(v)
= |u +v|
2
+
2
|u|
2
+
2
|v|
2
2(u +v) u 2(u +v) v + 2u v
= |(u +v) u v|
2
= 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 ane euclidien

E constituent un sous-
groupe du groupe GL(

E) des applications linaires bijectives de

E dans

E, appel groupe
orthogonal de

E et not O(

E). Ce groupe est isomorphe au groupe multiplicatif O


n
(R)
des matrices orthogonales dordre n coecients rels, o n est la dimension de

E. Les
71
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 SO
n
(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 dnit 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 dnition 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 dnira 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
b a
_
o a et b sont deux rels vriant a
2
+b
2
= 1 si det(A) = +1 ;

_
a b
b a
_
o a et b sont deux rels vriant a
2
+b
2
= 1 si det(A) = 1.
Proposition A.4. Lapplication qui un rel associe la matrice R

=
_
cos sin
sin cos
_
72
est un homomorphisme surjectif du groupe additif (R, +) sur le groupe multiplicatif
SO
2
(R). Son noyau est le sous-groupe 2Z des multiples entiers de 2. Il en rsulte
que SO
2
(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 rexion


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 SO
2
(R) ; en eet si
une rotation vectorielle a pour matrice A SO
2
(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 SO
2
(R) ; comme SO
2
(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. vriant r(u) = v.
Dmonstration : On complte u en une base orthonorme directe (u, u
1
) de

E. Dans cette
base, v scrit v = au + bu
1
, o a et b sont deux rels vriant a
2
+ b
2
= 1. Une rotation
vectorielle r vrie r(u) = v si et seulement si la premire colonne de sa matrice dans
cette base a pour coecients a et b ; or il existe une et une seule matrice de SO
2
(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 de

f dans toute base orthonorme de

E dont
le premier vecteur u appartient

D scrit
_
_
1 0 0
0 cos sin
0 sin cos
_
_
pour un rel , unique
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.
73
Proposition A.9. Toute transformation orthogonale

f de

E de dterminant -1 admet
la valeur propre -1. Lespace propre associ est, si

f est dirente de id

E
, 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 . Si cette rotation est lidentit de

P ,

f est la
rexion de plan

P . Sinon,

f est le produit commutatif dune rotation daxe

D et de la
rexion de plan

P . La matrice de

f dans toute base orthonorme de

E dont le premier
vecteur u appartient

D scrit dans tous les cas
_
_
1 0 0
0 cos sin
0 sin cos
_
_
pour un rel ,
unique modulo 2 (

f est une rexion si 0 modulo 2, id



E
si modulo 2 ).
On dit, si

f nest pas une rexion, 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 dnir les principales notions dangles utilises en go-
mtrie plane. La notion premire sera celle dangle orient de vecteurs ou, ce qui revient
au mme, dangle orient de demi-droites vectorielles. En eet langle de deux vecteurs
non nuls u et v sera, par dnition, langle des deux vecteurs unitaires
u
|u|
et
v
|v|
qui
leur sont directement proportionnels ; or toute demi-droite vectorielle possde un vecteur
directeur unitaire et un seul, et tout vecteur non nul dnit 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 uni-
taires
u
|u|
et
v
|v|
. Dans toute la suite, nous ne considrerons donc essentiellement que
des vecteurs unitaires.
Deux approches sont proposes : la premire, rapide et concrte, consiste identier 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, dnit 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 indif-
frent 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
74
mme dans toute base orthonorme directe et scrit R

=
_
cos sin
sin cos
_
, o le rel
est uniquement dtermin modulo 2. On dnit 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 dni modulo 2, et on appellera mesure principale de cet
angle lunique reprsentant de cette classe dans ] , +].
Remarque : la matrice de cette mme rotation dans toute base orthonorme indirecte est
R

=
_
cos sin
sin cos
_
. Changer lorientation du plan change donc les angles en leurs
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
+
, rsulte immdiatement la relation
de Chasles :
(u, v) + (v, w) = (u, w) pour tout triplet (u, v, 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 eet, lunique rotation r
1
qui transforme u en v transforme aussi r(u) en r(v), puisque
r
1
(r(u)) = r(r
1
(u)) = r(v)).
Une rexion 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 rexion, r s est une rexion, 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 dnir 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 identier ces deux angles, qui dirent
dun angle plat : langle orient de deux droites est donc un rel dni 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 rexions.
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)
conserve les angles gomtriques. Par contre, on ne peut additionner sans restriction les
angles gomtriques : la relation de Chasles nest plus toujours vraie.
75
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 rexion 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) = ( w, v), ou encore (u, v) = 2(u, w) et cette relation dtermine w
uniquement modulo .
Compose de deux rexions
Proposition A.10. Soient s
1
et s
2
deux rexions vectorielles, daxes respectifs

D
1
et

D
2
. La compose s
2
s
1
de ces deux rexions 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
dni modulo 2 : cest un angle orient de vecteurs).
Angles : seconde approche
Angles orients de vecteurs
Soit | lensemble des vecteurs unitaires de

E. Lide est la mme que prcdemment :
on voudrait que langle (u
1
, v
1
) soit gal langle (u
2
, v
2
) 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 dnir une relation dquivalence sur lensemble | | des
couples de vecteurs unitaires de

E :
Proposition A.11. La relation 1 dnie sur lensemble | | des couples de vecteurs
unitaires de

E par :
(u
1
, v
1
)1(u
2
, v
2
) si et seulement si
il existe r O
+
(

E) vriant r(u
1
) = v
1
et r(u
2
) = v
2
()
est une relation dquivalence.
Remarque : On a vu (proposition A.7) quil existe toujours une rotation r
1
et une seule
vriant r
1
(u
1
) = v
1
et une rotation r
2
et une seule vriant r
2
(u
2
) = v
2
; la relation ()
dit simplement que r
1
= r
2
.
Remarque : Cette relation est tout fait analogue celle qui dnit lquipollence de
bipoints : si on veut dnir 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 r
1
O
+
(

E) vriant r
1
(u
1
) = u
2
et r
1
(v
1
) = v
2
().
Dnition 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 1.
76
On a donc bien

(u
1
, v
1
) =

(u
2
, v
2
) si et seulement si () (ou ()), est vrie.
On a dni un angle. On voudrait maintenant dnir une addition sur lensemble / des
angles. Il sut pour cela de transporter sur / la loi de composition naturelle sur O
+
(

E).
Lensemble / est en eet 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 |. Cest une bijection de O
+
(

E) sur /,
et la bijection rciproque associe un angle

(u, v) lunique rotation r vriant v = r(u)
(cette rotation ne dpend pas du reprsentant choisi pour langle).
Dnition A.14. La somme

(u
1
, v
1
) +

(u
2
, v
2
) de deux angles est langle

(u, r
2
r
1
(u)),
o r
i
(i = 1, 2) est lunique rotation de

E vriant r
i
(u
i
) = v
i
.
On vrie immdiatement que / 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 sut de remarquer que si r
1
(u) = v et r
2
(v) = w, alors r
2
r
1
(u) =
w.
Angles particuliers. Langle nul est bien sr llment neutre du groupe (/, +) des
angles de vecteurs ; cest langle

(u, u) pour tout vecteur unitaire u; il correspond, dans
lisomorphisme prcdent, la rotation identit id

E
. Un autre angle remarquable est
langle plat qui est langle

(u, u) =

(u, u) pour tout vecteur unitaire u; il correspond
la rotation vectorielle id

E
; cest lunique lment dordre 2 du groupe (/, +) : + =
0. Le groupe / possde en outre deux lments dordre 4, qui sont les angles droits : ce
sont les angles

(u, v) et

(u, 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 identie donc cette fois deux couples de
vecteurs unitaires sil existe une transformation orthogonale

f qui transforme le premier
en le second : (u
1
, v
1
) et (u
2
, v
2
) sont quivalents si et seulement si il existe

f O(

E)
vriant

f(u
1
) = u
2
et

f(v
1
) = v
2
. Cela revient quotienter /par la relation dquivalence
pour laquelle deux angles sont quivalents sils sont gaux ou opposs.
Angles orients de droites
La manire naturelle de dnir langle de deux droites vectorielles

D
1
et

D
2
est de prendre
un vecteur directeur unitaire u
i
sur chacune de ces droites et de dnir

(

D
1
,

D
2
) comme
tant

(u
1
, u
2
). Comme une droite vectorielle possde deux vecteurs directeurs unitaires
77
opposs, on obtient ainsi a priori quatre valeurs, qui se rduisent en fait deux, puisque

(u
1
, u
2
) =

(u
1
, u
2
) et

(u
1
, u
2
) =

(u
1
, u
2
). Il faut donc identier ces deux valeurs,
ce qui se fait, ici encore, au moyen dune relation dquivalence. Cette relation consiste
identier les angles

(u
1
, u
2
) et

(u
1
, u
2
), ou encore un angle et langle + : deux angles
sont donc en relation si et seulement si leur dirence est 0 ou . Laddition des angles est
compatible avec cette relation, ce qui permet de dnir sur lensemble quotient /

de /
par cette relation dquivalence une addition qui fait de (/

, +) un groupe ablien, appel


groupe des angles de droites. Ce groupe nest bien entendu rien dautre que le groupe
quotient du groupe ablien (/, +) 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 dnir 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 e
it
dune variable relle t, en particulier le fait que cette fonction dnit un homomorphisme
du groupe additif (R, +) sur le groupe multiplicatif (U, ) des nombres complexes de
module 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 SO
2
(R) des matrices
orthogonales positives dordre 2 : cet isomorphisme associe la classe du rel la matrice
R

=
_
cos sin
sin cos
_
.
Or le choix dune orientation du plan permet didentier une rotation vectorielle r et une
matrice de SO
2
(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 (/, +) des angles de vecteurs, ce qui permet didentier un angle et sa mesure,
qui est, par dnition, llment de R/2Z qui lui correspond par cet isomorphisme. On
retombe ainsi sur la dnition adopte dans la premire approche de la notion dangle
orient de vecteurs.
Cette mesure dpend de lorientation : en eet, 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 (/

, +) des angles de droites, de noyau Z, ce qui revient identier des


rels dirant 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).
78
Angles dans lespace
On ne peut, dans lespace vectoriel euclidien de dimension 3, mme orient, dnir la
mesure dun angle orient de deux vecteurs, ou de deux droites. En eet 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 dnie, condition davoir orient laxe de cette rotation : en eet 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.
79