Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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 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
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 =
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. 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) = |
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
, B le milieu de C
, et C le milieu de A
, B le milieu de B
, C le milieu de C
, et D le
milieu de D
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,
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
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
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(
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(
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) +
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
= (O
, B
) = (O
, e
1
, . . . , e
m
)
un repre cartsien de E
= AX + b, o A est
la matrice de
f dans les bases B et B
, X (resp. X
= 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
), on obtient X = AX
+b, o A
est la matrice de passage de la base B la base B
du nouveau repre 1
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
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).
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) =
OA) =
f(O)O +
OA, soit
encore (
f id
E
)(
OA) =
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
. Montrer que h h
OO
. Comparer h h
et h
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
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
: on a donc
MM
= 2
MM
. Lappli-
cation s de E dans lui-mme qui M associe M
dni par
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
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
?
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
, 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
0
appartient lhyperplan ane H
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
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
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
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
). Montrer que
AA
= minMM
[ M D, M
.
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
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
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,
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
sont
perpendiculaires en A et vrient (, D) + (, D
) = (
, D) + (
, D
) = 0 (galit
dangles orients de droites).
Les droites et
).
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
i,
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
et de rayons
R et R
. On note d = OO
[, 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
, 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
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
et de rayons R et R
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
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
OB,
OB,
OB,
AB,
AC) et (
DB,
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,
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,
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
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
.
b) Montrer que les points O, G et H sont aligns. Ecrire une relation entre les vecteurs
GH et
GO.
c) Soit
et O
, puis que
, B
et C
et
et
. Montrer que C
est un
rectangle. En dduire que C
et B
.
e) Montrer que le cercle
,
B
, C
, BC
et
CA
f
O
(u) =
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
= 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
et de vecteur v (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
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
non vide, G
+
et G
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
= f(A) et B
= f(B) (resp. A
= g(A) et B
, B
, C
.
b) On suppose que le triangle ABC a tous ses angles aigus. Montrer que les hauteurs AA
, BB
et CC
.
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
un cube de diagonales AA
, BB
, CC
, DD
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
, 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 et lautre dans
lensemble des points M vriant MF
[ = 2a. En rsum :
Proposition 5.2. Soient F et F
= 2a
est lellipse de foyers F et F
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). En particulier,
54
la fonction t |u(t)|
2
a pour drive t 2u(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).
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
= (
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
FM|
+
M
|
M|
_
= 0. Il en rsulte que
55
la tangente en M lellipse est orthogonale la bissectrice intrieure en M du triangle
MFF
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
(resp. M [MF MF
(resp. la mdiatrice de FF
ou la droite FF
prive du segment FF
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
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
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,
= (,
i,
, y
) dans 1
+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,
+ cy
2
+ f = 0. Soient (X, Y ) les coordonnes dans le repre
R = (,
I,
J) dduit de 1
, 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
, 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,
i,
i + y
j de
E associe le nombre complexe x + iy est un
isomorphisme despaces vectoriels, qui permet didentier
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
,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,
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
+
et
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 ;
2.
f conserve la norme : |
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) +
E dans
E, appel groupe
orthogonal de
E et not O(
E) ou SO(
f O(
; B et B
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
+
(
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 (
=
_
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
+
(
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
en B
.
Exercice A.3. Montrer, en utilisant la commutativit de 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
+
(
(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 (/
=
_
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