© 2025 - Gérard Lavau - https://gerardlavau.

fr
Vous avez toute liberté pour télécharger, imprimer, photocopier ce cours et le diffuser gratuitement. Toute diffusion à
titre onéreux ou utilisation commerciale est interdite sans accord de l'auteur.
Si vous êtes le gestionnaire d'un site sur Internet, vous avez le droit de créer un lien de votre site vers mon site, à
condition que ce lien soit accessible librement et gratuitement. Vous ne pouvez pas télécharger les fichiers de mon site
pour les installer sur le vôtre.

GEOMETRIE AFFINE
PLAN
I : Espaces affines
1) Définition
2) Repère
3) Barycentres
II : Sous-espaces affines
1) Définitions
2) Equations et paramétrages
3) Coordonnées barycentriques
4) Intersections
III : Applications affines
1) Définition
2) Exemples
3) Propriété des applications affines
IV : Parties convexes
1) Définition
2) Convexes et applications affines
Exercices
1) Enoncés
2) Solutions

I : Espaces affines

1- Définition
Considérons l'ensemble des complexes C. Un complexe z = a + ib peut être considéré comme un
vecteur (on parle du vecteur d'affixe z) ou comme un point (on parle du point d'affixe z). Mais il
s'agit du même complexe z. Celui-ci peut donc, au gré de l'utilisateur, être un point ou un vecteur. Il
x
en est de même de R3 dont les éléments  y  peuvent être considérés comme les composantes d'un
z
vecteur ou les coordonnées d'un point. C'est seulement l'utilisateur qui va décider du regard qu'il
porte sur ce triplet. On peut évidemment généraliser ce point de vue à Rn, mais également à
n'importe quel espace vectoriel E.

Soit donc E un espace vectoriel sur R (ou plus généralement sur un corps quelconque). Nous
prendrons généralement E de dimension finie. Les éléments d'un espace vectoriel peuvent être
considérés évidemment comme des vecteurs, mais dans ce chapitre, nous allons également les
considérer comme des points. Se pose alors la question suivante : si a et b, éléments de E sont des

-1-
points, quel est le vecteur qui les relie ? Si on regarde ce qui ce passe dans R3, le vecteur reliant A
x  x'   x' – x 
 y  à B  y'  n'est autre que  y' – y , autrement dit, B – A. On procèdera de même dans le cas
     
z  z'   z' – z 
général. Dans E, le vecteur reliant a à b est le vecteur b – a. Pour conserver les notations usuelles en
géométrie, nous noterons les éléments de E avec une majuscule lorsqu'on les considère comme des

points (A et B). Le vecteur AB ou AB n'est autre que B – A.

On a alors les propriétés, bien connue en géométrie :

 La relation de Chasles : AB + BC = AC puisque B – A + C – B = C – A.
 Pour tout point O de E, l'application M  OM est bijective. Sa réciproque est l'application qui, à
un vecteur v de E associe le point M tel que OM = v, autrement dit, M – O = v, ce que nous noterons
aussi M = O + v et qui est le translaté de O par la translation de vecteur v.

Avec ce point de vue, E s'appelle espace affine. Si on souhaite distinguer E comme ensemble de
points, de E comme ensemble de vecteurs, il est loisible de prendre deux notations différentes, par
exemple (A) pour désigner l'espace affine, ensemble des points, en gardant la notation E pour
désigner l'espace vectoriel, ensemble des vecteurs. On dira alors que l'espace vectoriel E est la
direction de l'espace affine de (A).

On peut être plus formel encore en utilisant deux ensembles distincts, l'ensemble (A) des points et
l'ensemble E des vecteurs. On dit que l'ensemble non vide (A) est un espace affine de direction
vectorielle l'espace vectoriel E s'il existe une application qui, à tout couple (M, N) de (A)2 associe
un vecteur de E que l'on note MN. Cette application doit vérifier les deux propriétés énoncées
précédemment :
 (M, N, P)  (A)3, MN + NP = MP
 M  (A), l'application N  (A)  MN  E est bijective
Notre présentation précédente énonce qu'un espace vectoriel E est un espace affine ayant lui-même
comme direction vectorielle, et c'est ce cas que nous utiliserons dans la suite du chapitre.

2- Repère
Un repère de l'espace affine E est constitué d'un point arbitraire O de E et d'une base de l'espace
vectoriel E. Les coordonnées d'un point M de E dans ce repère sont les composantes du vecteur
OM dans cette base. Par exemple en dimension 3, soit (O, i, j, k) un repère de l'espace affine E. Les
composantes de M sont les réels (x, y, z) tels que :
OM = xi + yj + zk
M = O + xi + yj + zk

Rn dispose d'un repère canonique, à savoir l'origine O égal à l'élément nul, et la base canonique.
Un changement de repère consiste simultanément à changer d'origine et de vecteurs de base. En
gardant encore l'exemple de la dimension 3, si  est la nouvelle origine, de coordonnées (a, b, c) en
dimension 3 dans l'ancien repère, et si P est la matrice de passage de l'ancienne base (i, j, k) à la
nouvelle base (I, J, K), alors les nouvelles coordonnées se trouvent en écrivant :
M = OM – O
 XI + YJ + ZK = (x – a)i + (y – b)j + (z – c)k

-2-
 x – a X

 y – b = P Y

   
z–c Z
ce qui amène à résoudre un système.

EXEMPLE : la cycloïde.
 Dans le plan R2, on considère un cercle de centre O' de rayon R tangent à l'axe des x, qui roule
sans glisser sur cet axe dans le sens des x croissant. On appelle  l'angle dont la roue a tourné et on
cherche les coordonnées du point M qui était initialement en O, lorsque O' se trouvait sur l'axe Oy.
On dispose de deux repères : (O, i, j) considéré comme fixe, et (O', u, v), lié à la roue, considéré
comme mobile.
y

M
u
O'
j
v

O i I x

Initialement, pour  = 0, OO' = Rj, M = O, O'M = Ru = –Rj, puis, à un instant ultérieur :

u = –sin(i – cos(j,
v = cos(i – sin(j
où  est l'angle entre u et –j. Par ailleurs, la condition de roulement sans glissement s'exprime par le
fait que OO' est égal à Rj + Ri. R est en effet la longueur de l'arc IM et elle est égale à celle du
segment [OI].
Si on possède les notions de centre instantané de rotation et de vecteur instantané de rotation (voir
une annexe du chapitre Applications linéaires dans L1/LINEF.PDF pour cette dernière), on peut le
prouver comme suit. Le centre instantané de rotation du cercle est le point de contact I du cercle
avec l'axe des abscisses. Si on plonge le plan dans un espace de dimension 3 en complétant la base
(i, j) en une base orthonormée directe (i, j, k), le vecteur de rotation instantanée est, compte tenu du
. .
sens de déplacement du cercle – k, où  désigne la dérivée de  par rapport au temps. La vitesse du
. .
point O' est donc égale à – k  IO' = Ri donc l'abscisse de O' est R. Ainsi :
OM = OO' + O'M = Rj + Ri + R(– sin(i – cos(j)
 x = R – Rsin()
donc  .
 y = R – Rcos()

-3-
3- Barycentres
PROPOSITION
Soit (Ai) une famille de n points d'un espace affine et (i) n réels. Alors :
n n
i) Si  i = 0, l'expression  i MAi ne dépend pas de M
i=1 i=1

n n
ii) Si  i  0, alors il existe un unique point G tel que i GAi = 0. G s'appelle barycentre
i=1 i=1

des points Ai affecté des coefficients i, ou barycentre des (Ai, i).

Démonstration :
n n n
 i)  i MAi =  i (Ai – M) =  i Ai ne dépend pas de M.
i=1 i=1 i=1

n
 ii) Notons  =  i :
i=1

n n n n
1
 i GAi = 0   i (Ai – G)   i Ai – G = 0  G =  i Ai
i=1 i=1 i=1  i=1

Si le lecteur a un doute sur la validité du calcul qui précède, il prendra une origine arbitraire O et
écrira.
n n n n
1
 i GAi = 0   i (OAi – OG)   i OAi – OG = 0  OG =  i OAi
i=1 i=1 i=1  i=1

Comme l'expression finale ne dépend pas de O, il est inutile d'écrire le O. L'expression trouvée pour
G entraîne également que le barycentre est inchangé lorsque l'on multiplie tous les i par une même
constante non nulle. En particulier, on peut diviser tous les i par leur somme, et se ramener ainsi à
des i dont la somme vaut 1. G prend alors la forme simple :
n
G =  i Ai
i=1

Dans un repère, en dimension 3, si les coordonnées des Ai valent (xi, yi, zi), alors celles de G valent :
n n n
1 1 1
xG =  i xi, yG =  i yi zG =   i zi
 i=1  i=1  i=1
Si tous les coefficients sont égaux, on parle d'isobarycentre.

EXEMPLES :
n n
 D'après (i), si  i = 0,  i Ai désigne un vecteur. Ainsi :
i=1 i=1

B – A = AB
3B – A – 2C = (B – A) + 2(B – C) = AB+ 2CB

-4-
 n n
D'après (ii), si  i = 1,  i Ai désigne un point, le barycentre des (Ai, i).
i=1 i=1

A+B
G= est le milieu de [AB]. On a :
2
A+B B – A AB A+B
AG = G – A = –A= = =B– = B – G = GB
2 2 2 2
n
Dans les autres cas, la notation  i Ai n'a pas de sens.
i=1

 Quant t varie de 0 à 1, le point A + tAB décrit le segment [AB] en partant de A pour t = 0 et en

arrivant à B pour t = 1. On a aussi :
A + tAB = A + t(B – A) = (1 – t)A + tB, barycentre de (A, 1 – t) et (B, t)
n
 Soit (i)1in une famille de réels non nuls tels que  i = 0. Alors A1 est barycentre des (Aj, j),
i=1

2  j  n, si et seulement si pour tout i, Ai est barycentre des (Aj, j), j  i, si et seulement si

n
 j Aj = 0 (vecteur nul). En effet :
j=1

A1 est barycentre des (Aj, j), 2  j  n

n n
  j A1 =  j Aj
j=2 j=2

n n n
 – 1 A1 =  j Aj car  i = 0 donc  j = – 1
j=2 i=1 j=2

n
  j Aj = 0
j=1

  i, – i Ai =  j Aj
ji

  i,  j Ai =  j Aj car – i =  j
ji ji ji

 Ai est barycentre des (Aj, j), j  i

 Le centre de gravité en physique est un barycentre (voir plus bas).


 L'indice des prix est un barycentre portant sur plusieurs centaines de produits. Ai est le prix du
produit n°i, et i son coefficient de pondération. On a par exemple :
n
 i = 10000
i=1

i = 60 pour le pain
= 84 pour la viande de boeuf
-5-
 = 23 pour les vêtements de dessus pour enfants
= 18 pour les appareils de cuisson
= 272 pour les automobiles neuves
...
Ces différents produits sont également regroupés par grandes catégories. On agrège les données
relatives à la viande de boeuf, porc, volaille, etc. pour affecter un prix et un coefficient de
pondération à une rubrique viande. On agrège ensuite les données relatives aux viandes, légumes,
fruits frais, etc. pour affecter un prix et un coefficient de pondération à une rubrique alimentation.
On obtient ainsi des rubriques alimentation affecté du coefficient 1499, habillement affecté du
coefficient 493, logement affecté du coefficient 1357, etc. Cette procédure relève de la propriété
d'associativité du barycentre décrite ci-après : la grande catégorie aura pour coefficient la somme
des coefficients des sous-catégories qui la composent, et le prix moyen qui lui sera attribué sera le
barycentre des prix des sous-catégories qui la composent avec leur coefficients respectifs.

ASSOCIATIVITE DU BARYCENTRE
Soit G barycentre des (Ai, i)iI. On partitionne l'ensemble I des indices en k parties disjointes Ii, ...,
Ik, de façon que, pour tout i, le barycentre Gi des (Aj, j)jIi soit défini (il suffit pour cela que la
somme mi des j pour j élément de Ii soit non nulle). Alors G est le barycentre des (Gi,mi)i{1..k}

Démonstration :
k
 On a en effet, en supposant que  j =  mi = 1 :
jI i=1

k k
 k
 mi Gi =  (mi  mj Aj) =   j Aj =  j Aj = G
i=1 i=1 jIi i i=1 jIi jI

Cette propriété facilite parfois le calcul du barycentre en fractionnant les difficultés.

EXEMPLE :
A+B+C
 Soit un triangle ABC. Son isobarycentre est G = . Soit M le milieu de [AB]. On a
3
A+B 2M + C
M= et G = , barycentre de M affecté du coefficient 2 et de C affecté du coefficient 1.
2 3
2
La relation trouvée montre que G se situe au du segment [MC], du côté de M. (MC) est la
3
médiane du triangle issue de C. Ceci constitue aussi une démonstration du fait que, dans un triangle,
les trois médianes se coupent en un point, qui est l'isobarycentre des trois sommets.

 Soit un triangle ABC. Où situer le barycentre de (A, 1), (B, –1), (C, 1) ? On a :
G = A – B + C = C + BA translaté de C du vecteur BA
Mais aussi, en posant M le milieu de [AC], G = 2M – B, barycentre de (M, 2) et (B, –1). On a BG =
2BM

-6-
 A
G
M

BARYCENTRE EN PHYSIQUE
n
La propriété  i GAi = 0 joue un rôle fondamental en mécanique, lorsque les coefficients i
i=1

représentent les masses mi des points Ai. En effet, dans bien des cas, un ensemble de points
matériels peut être remplacé par le barycentre. Cela apparaît dans les théorèmes de Koenig.

Théorème de Koenig pour le moment cinétique :

Le moment cinétique par rapport à un point O d'un système de n points matériels Ai de masse mi,
animés d'une vitesse Vi dans un repère donné vaut :
n
LO =  OAi  mi Vi
i=1

n
=  (OG + GAi)  mi Vi
i=1

n n
=  OG  mi Vi +  GAi  mi Vi
i=1 i=1

n n
= OG   mi Vi +  GAi  mi Vi
i=1 i=1

n n
Or de l'égalité  mi GAi = 0, on tire, en dérivant par rapport au temps :  mi (Vi – VG) = 0 où VG est
i=1 i=1

la vitesse du point G. Donc :

n n n
 mi Vi =  mi VG = M VG en notant M =  mi
i=1 i=1 i=1

Ainsi :
n
LO = OG  M VG +  GAi  mi Vi
i=1

= OG  M VG + LG
Le moment cinétique du système par rapport à O est la somme du moment cinétique de G auquel on
attribue la masse totale M par rapport à O, et du moment cinétique du système par rapport à G. A

-7-
noter que ce dernier peut être calculé à l'aide des vitesses initiales Vi aussi bien qu'à l'aide des
vitesses relatives au point G, vi = Vi – VG, puisque :
n n
 GAi  mi vi =  GAi  mi (Vi – VG)
i=1 i=1

n n
=  GAi  mi Vi –  mi GAi  VG
i=1 i=1

n
= LG puisque  mi GAi = 0
i=1

Théorème de Koenig pour l'énergie cinétique

Avec les notations précédentes, l'énergie du système dans le repère considéré vaut :
1 n 1 n

2 i=1
mi Vi2 =  mi (vi +VG)2
2 i=1

1 n 1 n n
= 
2 i=1
mi vi2 +  mi VG2 +  mi <vi,VG> où < , > désigne le produit scalaire
2 i=1 i=1

1 n 1 n n
= 
2 i=1
mi vi2 +  mi VG2 + <  mi vi,VG>
2 i=1 i=1

n
d n
or  mi vi =  mi GAi = 0
i=1 dt i=1

1 n 1 n 1 n 1 n 1
donc 
2 i=1
mi Vi2 =  mi vi2 +  mi VG2 =  mi vi2 + MVG2
2 i=1 2 i=1 2 i=1 2
L'énergie cinétique du système est égal à la somme de l'énergie cinétique du barycentre G auquel on
attribue la masse totale M, et de l'énergie cinétique du système dans le repère lié à G.

II : Sous-espaces affines

1- Définitions
DEFINITION
Soit M0 un point de E et F un sous-espace vectoriel de E. On appelle sous-espace affine ou variété
linéaire affine passant par M0 de direction F l'ensemble des points M tels que M0M appartienne à
F. On le note M0 + F.

Si F est une droite vectorielle engendrée par V, M0 + F est appelée droite affine et est égal à
{M |    R, M0M = V} = {M0 + V |   R}.

Si F est un plan vectoriel engendré par (U, V), M0 + F est dit plan affine et est égal à
{M |  (, )  R2, M0M = U + V} = {M0 + U + V | (, )  R2}.

-8-
Si F = {0}, alors M0 + F = {M0}.

Si F = E, alors M0 + F = E

EXEMPLES :
 Considérons E l'espace vectoriel des fonctions de classe C (vu également comme espace affine).
E n'est pas de dimension finie, mais cela importe peu ici. Lorsque l'on résout une équation
différentielle linéaire à second membre nul, on trouve que l'ensemble F des solutions est un espace
vectoriel de dimension égale à l'ordre de l'équation différentielle. C'est une droite vectorielle pour
une équation différentielle du premier ordre, un plan vectoriel pour une équation différentielle du
second ordre. Par exemple, y" – 3y' + 2y = 0 admet pour solutions les fonctions y : x  ex + e2x,
  R,   R Lorsque le second membre est non nul, la solution générale s'obtient en ajoutant à la
solution générale de l'équation homogène (i.e. sans second membre) une solution particulière de
1
l'équation avec second membre. Par exemple, y" – 3y' + 2y = 1 admet comme solution particulière
2
1
et ses solutions sont + ex + e2x,   R,   R. Soit (A) l'ensemble des solutions avec second
2
membre, et y0 un élément particulier de (A). (A) et F sont tous deux inclus dans l'espace E des
fonctions. Dans l'exemple précédent :
1
(A) = { + ex + e2x,   R,   R}
2
1
y0 =
2
F = {ex + e2x,   R,   R}
1
On constate que (A) est le sous-espace affine de E passant par la solution particulière y0 = et de
2
direction F. F étant de dimension 2, (A) est un plan affine. Dans cet exemple, soit  l'application de
E dans E définie par (y) = y" – 3y' + 2y. On a F = Ker() et (A) = –1({1}).

 Plus généralement, soit  : Rn  Rp une application linéaire et B un vecteur de Im(. Alors
l'ensemble –1({B}) des éléments X tels que (X) = B est un sous-espace affine (A) de direction le
sous-espace vectoriel F égal à Ker(). En effet, si X0 est un élément donné de A, alors :
X  (A)  (X) = B = (X0)  (X – X0) = 0  X – X0  F
Donc (A) = X0 + F. Ainsi, (X) = B est l'équation d'un sous-espace affine (s'il y a au moins une
solution), alors que l'équation sans second membre associée (X) = 0 est l'équation de la direction
vectorielle de ce sous-espace affine.

La dimension du sous-espace affine est celle de sa direction vectorielle. Une droite affine est de
dimension 1, un plan affine est de dimension 2.

Le sous-espace affine ne dépend pas du point M0 qui a servi à le définir. Si M0' est un autre point de
ce sous-espace, on a M0M0' vecteur de F donc :
M  M0 + F
  u  F, M = M0 + u
  u  F, M = M0' + u – M0M0'
  v  F, M = M0' + v avec v = u – M0M0'

-9-
 M  M0 ' + F

Deux sous-espaces affines M0 + F et M1 + F de même direction F sont dits parallèles. Les éléments
de M1 + F sont de la forme M1 + u, u élément de F, qu'on peut également écrire M0 + M0M1 + u. On
obtient un élément de M0 + F si et seulement si M0M1 est élément de F. Les deux sous-espaces
affines sont alors confondus, sinon, ils sont disjoints. Il est facile de vérifier que la relation de
parallélisme est une relation d'équivalence. On la note //. (Voir L1/ENSEMBLE.PDF).

Dans un sens étendu, on dit qu'un sous-espace affine M0 + F est parallèle à un sous-espace affine M1
+ G si F  G. Ainsi, une droite affine est parallèle à un plan affine si la direction vectorielle de la
droite est incluse dans la direction vectorielle du plan. Dans ce sens étendu, la relation de
parallélisme est une relation d'ordre.

2- Equations et paramétrages
Un repère est choisi. Il faut noter que les seules propriétés affines concernent le parallélisme ou les
barycentres, et ne font aucunement intervenir la notion d'angles. Il est donc inutile de choisir
systématiquement des repères orthonormés.

a) Droites en dimension 2 :
Une droite affine (D) est définie par deux points distincts A et B, ou par un point et un vecteur
directeur V (base de la droite vectorielle direction de (D)). Le premier cas se ramène au second en
posant AB = V. Si (a, b) sont les coordonnées de A dans le repère choisi, et (u, v) les composantes
de V, alors :
M(x, y)  (D)   , M = A + V   , x = a + u, y = b + v.
Cela est une représentation paramétrique de (D), de paramètre . Inversement, étant donné une
représentation paramétrique d'une droite, on trouve un point quelconque de cette droite en prenant
une valeur arbitraire pour , et un vecteur directeur de cette droite en prenant les composantes u et
v, en facteur du paramètre. Si on élimine , alors on obtient une équation de (D) :
M(x, y)  (D)  vx – uy = va – ub

Une méthode directe d'écriture de l'équation consiste à écrire que AM et v sont liés et donc que :
det(AM, V) = 0
 x – a u 
On retrouve en effet  y – b v = 0 = (x – a)v – (y – b)u.
 

Inversement, ax + by + c = 0 est l'équation d'une droite à condition que (a, b)  (0, 0). Un vecteur
directeur est alors donné par (–b, a).

b) Plans en dimension 3 :
On se donne maintenant trois points non alignés, ou de manière équivalente un point A et deux
vecteurs U et V non colinéaires. Alors :
M  (P)   ,  , AM = U + V  (AM, U, V) liés  det(AM, U, V) = 0
En utilisant des coordonnées, on obtient une représentation paramétrique du plan sous la forme
d'un système de trois équations aux deux paramètres  et . Cette représentation est cependant peu
pratique, car pour savoir si un point appartient à (P), on est contraint de résoudre un système. Il est
donc plus pratique d'utiliser directement la relation det(AM, U, V) = 0 qui donne une équation du
plan.
- 10 -
EXEMPLE :
 On se donne A(1, 1, 1), B(2, 3, 4) et C(2, 0, 1). Nous prendrons U = AB de composantes (1, 2, 3)
et V = AC = (1, –1, 0). M(x, y, z) appartient au plan si et seulement si :
det(AM, U, V) = 0
x – 1 1 1 
  y – 1 2 –1  = 0 qu'on développe par rapport à la première colonne
 
z – 1 3 0 
 3(x – 1) + 3(y – 1) – 3(z – 1) = 0
 x+y–z=1
On s'assure qu'il n'y a pas d'erreurs de calcul en vérifiant que A, B et C satisfont cette équation.

On aurait pu aussi résoudre le système M = A + U + V :

x=1++
 ,    y = 1 + 2 – 
 z = 1 + 3
z–1
 =
3
 
 ,   = x – z – 2


3 3
x+y–z–1=0
 x+y–z=1

Quant au plan vectoriel direction du plan affine, son équation est obtenue en supprimant les termes
constants : x + y – z = 0. En effet, un vecteur W appartient à ce plan vectoriel si et seulement si
det(W, U, V) = 0 et le calcul est identique au précédent, mais sans constante.

On aurait donc pu procéder également comme suit : chercher d'abord l'équation du plan vectoriel,
puis ajuster la constante du second membre. Or, si on munit l'espace d'une structure euclidienne, on
1  1   3 
a det(W, U, V) = 0 = <W, U  V> avec U  V =  2    –1  =  3  vecteur normal au plan
 3   0   –3 
vectoriel, donc l'équation du plan vectoriel est x + y – z = 0, donc l'équation du plan affine est
x + y – z = 1, la constante étant obtenue avec l'un quelconque des points A, B, C.

c) Droites en dimension 3 :
La situation décrite en a) se généralise à la dimension 3, (et même à n'importe quelle dimension).
On se donne A(a, b, c) et V(u, v, w). Alors :
M(x, y, z)  (D)   , x = a + u, y = b + v, z = c + w
Si l'on élimine , on obtient un système de deux équations indépendantes, chacune d'elles étant en
fait l'équation d'un plan. La droite est alors vue comme intersection de deux plans.

Inversement, si on se donne une droite par un système de deux équations, ces deux équations ne
doivent pas être celles de deux plans parallèles. Les équations homogènes (obtenues en annulant les
seconds membres) ne doivent donc pas représenter la même direction plane vectorielle. Pour cela, il
faut et il suffit que ces deux équations homogènes ne soient pas proportionnelles. Considérons le
système :

- 11 -
  ax + by + cz = d

 a'x + b'y + c'z = d'
Il est extrêmement rapide de trouver un vecteur directeur de la droite vectorielle. Celle-ci ayant pour
 ax + by + cz = 0
équation  a'x + b'y + c'z = 0 , il suffit de prendre :

 a   a' 
 b    b' 
   
 c   c' 
On peut en effet vérifier que le vecteur obtenu vérifie les équations homogènes. On peut aussi
considérer que l'espace est muni d'un produit scalaire pour lequel la base dans laquelle on travaille
est orthonormée. Dans ce cas, le vecteur (a, b, c) est orthogonal au premier plan, et le vecteur
(a', b', c') est orthogonal au deuxième. Un vecteur directeur de la droite doit appartenir aux deux
plans vectoriels donc doit être orthogonal à ces deux vecteurs. Il suffit de prendre le produit
vectoriel.

3- Coordonnées barycentriques
PROPOSITION
Soient (Ai)1in une famille de points d'un espace affine. L'ensemble des barycentres de ces points
affectés de coefficients quelconques forme un sous-espace affine appelé sous-espace affine
engendré par les (Ai). Ce sous-espace affine est le sous-espace affine passant par l'un de ces points
et de direction le sous-espace vectoriel engendré par les vecteurs (A1A2, ..., A1An). C'est le plus
petit sous-espace affine contenant la famille de points (Ai).

Démonstration :
 Notons (B) le sous-espace affine passant par A1 et de direction F le sous-espace vectoriel
engendré par (A1A2, ..., A1An). Soit (C) l'ensemble des barycentres des Ai.
n n
Si G est barycentre des (Ai, i), avec  i = 1, alors G =  iAi donc :
i=1 i=1

n n
A1G =  i A1Ai =  i A1Ai est élément de F
i=1 i=2

ce qui prouve que G est élément de (B). Donc (C)  (B).

Réciproquement, si M est élément de (B), alors il existe des i, 2  i  n, tels que :
n
A1 M =   i A1 Ai
i=2

Si l'on pose 1 = 1 – 2 – ... – n, alors l'égalité précédente est équivalente à écrire que M est
barycentre des (Ai, i), 1  i  n. Donc (B)  (C).
Ainsi (B) = (C).

Enfin, montrons que (B) est le plus petit sous-espace affine contenant les Ai. Soit (D) un sous-
espace affine contenant les Ai. Alors les AiAj appartient à la direction de (D), donc F est inclus dans
la direction de (D). Donc A1 + F est inclus dans (D), donc (B) est inclus dans (D).

DEFINITION
- 12 -
Soient (Ai)1in une famille de points d'un espace affine. Si les vecteurs (A1A2, ..., A1An) sont
linéairement indépendants, on dit que les points Ai sont affinement indépendants.

La définition ne dépend pas de l'ordre des points et A1 ne joue pas de rôle privilégié. En effet,
(A1A2, A1A3 .., A1An) est libre si et seulement si (A2A1,A2A3,..., A2An) est libre car ces deux
systèmes engendrent le même sous-espace vectoriel. On peut donc échanger les rôles de A1 et A2, et
plus généralement de A1 et de n'importe quel Ai.

EXEMPLE
 Deux points A et B sont affinement indépendants si et seulement si ils sont distincts. Dans ce cas,
le barycentre G de (A, 1 – t) et (B, t), t  R, décrit la droite (AB) :
G = (1 – t)A + tB = A + t(B – A) = A + tAB donc AG = tAB

 Dans un plan, trois points sont affinement indépendants si et seulement si ils sont non alignés.

PROPOSITION
Soient (Ai)1in une famille de points d'un espace affine, affinement indépendants. Alors tout point
M du sous-espace affine engendré s'écrit de manière unique comme barycentre des Ai avec des
coefficients i de somme 1. Les i s'appellent coordonnées barycentriques de M relativement aux
Ai.

Démonstration :
 On sait déjà que M peut s'écrire comme barycentre des Ai et on peut supposer que la somme des
coefficients i vaut 1. Il reste à montrer l'unicité de la décomposition. Supposons donc que l'on ait :
n n
M =  i Ai avec  i = 1
i=1 i=1

n n
et M =  i Ai avec  i = 1
i=1 i=1

n n
alors A1M =  i A1Ai et A1M =  i A1Ai, donc en retranchant membre à membre :
i=2 i=2

n
0 =  (i – i) A1Ai
i=2

Comme le système (A1A2 A1A3 .., A1An) est libre, on a i – i = 0 pour 2  i  n et donc i = i.
n n
Comme  i = 1 =  i, on a également 1 = 1. D'où l'unicité.
i=1 i=1

Si M a pour coordonnées barycentriques les i, et si N a pour coordonnées barycentriques les i,
alors le barycentre M + N (avec  +  = 1) a pour coordonnées barycentriques les i + i. Il
suffit d'appliquer la propriété d'associativité du barycentre aux deux familles (Ai, i)1in et
(Ai, i)1in. Ainsi, le calcul suivant est valide :

- 13 -
 n n
M =  i Ai et N =  i Ai
i=1 i=1

n
 M + N =  (i + i)Ai
i=1

On voit donc que le calcul barycentrique avec les coordonnées barycentriques est formellement
comparable à du calcul vectoriel. La seule différence est que la somme des coefficients utilisés vaut
1.

EXEMPLES :
 Soient deux points A et B distincts et M un élément de la droite (AB). Il existe un t unique tel
que :
M = (1 – t)A + tB
ou AM = tAB

AM
ou t = –

AB
Les coordonnées barycentriques de M par rapport à A et B sont 1 – t et t.

Dans la notation ci-dessus, AB désigne la mesure algébrique du couple (A, B). Il s'agit de la
composante du vecteur AB suivant un vecteur directeur de la droite (AB). Cette mesure dépend du

AM
vecteur directeur choisi, mais le quotient –  n'en dépend pas, car le changement de vecteur
AB
 
directeur aura pour conséquence de changer AM et AB par un même facteur.
Lorsque t décrit l'intervalle [0, 1], M décrit le segment [AB]. t représente la proportion prise par le
segment [AM] relativement à [AB].

M 1–t
A
t

 Nous donnerons une interprétation géométrique des coordonnées barycentriques d'un point M du
plan relativement à trois points non alignés A, B, C plus loin dans le chapitre.

 Le théorème de Ménélaus (fin du Ier siècle)

Il s'énonce :
Soit un triangle ABC, et trois points distincts de A, B et C : P sur (AB), Q sur (BC) et R sur (AC).

- 14 -
 P

B
Q

C
A R

Alors P, Q et R sont alignés si et seulement si :

  
PA QB RC
–
  –   –
 =1
PB QC RA

Pour montrer que cette condition est nécessaire, on peut raisonner sur les coordonnées
barycentriques de P, Q et R, relativement à A, B et C. Il existe p et q tels que :
P = pA + (1 – p)B ou pAP + (1 – p)BP = 0
Q = qB + (1 – q)C ou qBQ + (1 – q)CQ = 0
Si P, Q et R sont alignés, alors R appartient au sous-espace affine engendré par P et Q, donc est
barycentre de P et Q. Il existe  tel que :
R = P + (1 – )Q = pA + ((1 – p) + (1 – )q)B + (1 – )(1 – q)C
Mais R est aligné avec A et C donc est barycentre de A et C. Il existe r tel que :
R = (1 – r)A + rC ou (1 – r)AR + rCR = 0
donc, d'après l'unicité des coordonnées barycentriques relativement à A, B, C :
 1 – r = p
 0 = (1 – p) + (1 – )q .

 r = (1 – )(1 – q)
q (1 – p)(1 – q) pq
On en déduit que  = – , puis r = et 1 – r = –
1–p–q 1–p–q 1–p–q
  
PA 1 – p QB 1 – q RC 1–r
Par ailleurs : –
 = – , –
 = – et –
 =– r
p q
PB QC RA
  
PA QB RC 1–p1–q1–r 1–p1–q pq
donc –   –   –  =– p = =1
q r p q (1 – p)(1 – q)
PB QC RA

La réciproque se montre de la façon suivante. Curieusement, on va utiliser le sens direct du

théorème :
Soient P, Q, R trois points vérifiant la relation, et soit R' l'intersection de (PQ) et (AC). Il s'agit de
montrer que R = R'. Mais P, Q et R' sont alignés donc vérifient la relation de Ménélaus d'après le
sens direct démontré précédemment. Si R' = (1 – r')A + r'C, on aura donc simultanément :
1–p1–q1–r 1 – p 1 – q 1 – r'
– =1 et – =1
p q r p q r'
1 – r 1 – r'
donc = donc r = r', donc R = R'.
r r'

- 15 -
Un cas intéressant se produit lorsque l'un des points, P par exemple, s'éloigne indéfiniment sur sa

PA
droite, (AB). A la limite, (QR) devient parallèle à (AB) et –
 tend vers 1, de sorte qu'on obtient à la
PB
   
QB RC QB RA
limite –
  – = 1, ou bien – = – . On obtient alors le théorème de Thales.
QC RA QC RC

4- Intersections
PROPOSITION
Soit (B) et (C) deux sous-espaces affines de direction respectives F et G. Alors, ou bien
(B)  (C) = , ou bien (B)  (C) est un sous-espace affine de direction F  G.

Démonstration :
 En effet, si M0 est un point de (B)  (C), alors (B)  (C) = {M | M0M  F  G}.

APPLICATION :
 Dans l'espace affine de dimension 3, soit (D) une droite parallèle à un plan (P) et à un plan (P').
Alors (D) est parallèle à (P)  (P'). En effet, soit  la droite vectorielle direction de (D),  le plan
vectoriel direction de (P) et ' le plan vectoriel direction de (P'). On a    et   ' donc
    '. Mais   ' est la direction vectorielle de (P)  (P'). Donc (D) est parallèle à
(P)  (P').

PROPOSITION
Soit F et G deux sous-espaces vectoriels de l'espace vectoriel E, et soit (B) et (C) deux sous-espaces
affines de directions respectives F et G.
(i) Si F et G sont en somme directe, alors (B)  (C) est vide ou réduit à un point.
(ii) Si E = F + G, alors (B)  (C)  
(iii) Si E = F  G, alors (B)  (C) est un point

Démonstration :
 (i) (B)  (C), s'il est non vide, est de direction F  G = {0}. Or un sous-espace affine de
direction {0} est réduit à un point.

 (ii) Soit b élément de (B) et c élément de (C). Puisque E = F + G, le vecteur c – b se décompose

en la somme u + v, u  F, v  G :
c–b=u+v
 c–v=b+u
c – v est élément de (C) et b + u est élément de (B). Les deux éléments étant égaux, on a trouvé un
élément de (B)  (C)

 (iii) On applique (i) et (ii).

Le cas typique de (iii) est donné par l'espace de dimension 3, avec F droite vectorielle non incluse
dans le plan vectoriel G. Toute droite de direction F intersecte tout plan de direction G (auquel elle
n'est pas parallèle) en un point unique. Ou encore, en dimension 3, toute droite non parallèle à un
plan intersecte ce plan en un point unique.
- 16 -
III : Applications affines

1- Définition
Une application affine f est une application d'un espace affine (X) dans un espace affine (Y) et qui
préserve la structure de ces espaces. Cela signifie en particulier que le parallélisme et les propriétés
barycentriques devront être conservés.

Soit un parallélogramme ABCD et soit U un vecteur égal à AB et à CD. La conservation du

parallélisme se traduit par le fait que, (AB) et (CD) étant deux droites parallèles (respectivement
(AC) et (BD)), il doit en être de même de leurs images. Ainsi le parallélogramme ABCD doit être
transformé en un parallélogramme f(A)f(B)f(C)f(D). Cela signifie entre autre que les vecteurs
f(A)f(B) et f(C)f(D) sont égaux. Le vecteur ainsi obtenu ne dépend donc que de U et non d'un
couple de points particuliers représentant ce vecteur. Nous le noterons donc (U), définissant ainsi
une application  depuis la direction vectorielle de (X) à valeurs dans la direction vectorielle de
(Y). Nous obtenons donc la relation :
f(A)f(B) = (AB)

D f(A)
B
(U) f(B)
U f(C)

C f(D)
A

On a alors, en utilisant la relation de Chasles :

f(A)f(C) = (AC)
= (AB + BC) d'une part
et f(A)f(C) = f(A)f(B) + f(B)f(C)
= (AB) + (BC) d'autre part
donc on doit avoir, en posant U = AB et V = BC :
(U + V) = (U) + (V)

La conservation du barycentre signifie que, si G est barycentre de (A, ) et (B, 1 – ), alors f(G) est
barycentre de (f(A), ) et (f(B), 1 – ). Nous avons donc :
G = A + (1 – )B  f(G) = f(A) + (1 – )f(B)
ou encore
GB = AB  f(G)f(B) = f(A)f(B) donc (GB) = (AB)
donc on doit avoir (AB) = (AB) ou (U) = (U)

Il résulte des propriétés précédentes que  est linéaire. Nous posons donc :

DEFINITION
Une application f d'un espace affine (X) de direction E dans un espace affine (Y) de direction F est
une application affine s'il existe une application linéaire  de E dans F telle que :
 M  (X),  N  (X), f(M)f(N) = (MN)
- 17 -
Dans la plupart des cas, nous prendrons (X) = (Y) et donc E = F.

CONSEQUENCES :
 i) La connaissance de f ne nécessite que la connaissance de l'image d'un point M donné par f et
l'image d'une base de E par . La définition donnée est en effet équivalente à :
f(N) = f(M) + (MN)
permettant de déterminer l'image de n'importe quel point N, ou encore, si on pose U = MN et donc
N=M+U:
f(M + U) = f(M) + (U)
Cette dernière relation est facile à retenir : f s'applique sur les points et  sur les vecteurs.

 ii) Si l'on se donne, par exemple en dimension 2, un repère (O, i, j), alors f(N) = f(O) + (ON),
donc toute application affine est de la forme analytique suivante :
 x' = ax + by + c

 y' = dx + ey + g

partie image
linéaire de O par f
image de ON
par 

Ce qui distingue l'expression d'une application affine de celle d'une application linéaire, c'est
l'apparition des constantes c et g. On obtient l'expression de l'application linéaire à partir de celle de
l'application affine en supprimant ces constantes.

PROPOSITION
i) La composée f2 o f1 de deux applications affines f1 et f2, associées aux applications
linéaires 1 et 2 est une application affine associée à l'application linéaire 2 o 1.
ii) Une application affine f est bijective si et seulement si son application linéaire associée 
est bijective. Dans ce cas f–1 est affine et associée à l'application linéaire –1.

Démonstration :
 i) Posons M' = f1(M), M" = f2(M'), et de même pour N. On a alors :
M"N" = f2(M')f2(N') = 2(M'N') = 2(f1(M)f1(N)) = 2(1(MN))
= (2 o 1)(MN)

 ii) On a plus précisément :

 f surjective   surjective
Soit f surjective. Soit V = AB un vecteur de l'ensemble d'arrivée. Il existe M et N tels que f(M) = A
et f(N) = B. D'où (MN) = f(M)f(N) = AB = V donc V admet un antécédent par .  est surjective.
Inversement, soit  surjective, et A un point de l'espace affine d'arrivée. Soit N un point quelconque
de l'espace de départ et B = f(N).  étant surjective, il existe un vecteur U tel que (U) = AB.
Posons M tel que MN = U. On a alors :
(U) = AB  (MN) = AB  f(M)f(N) = AB
et comme f(N) = B, on a f(M) = A. A admet donc un antécédent par f et f est surjective.

- 18 -
 f injective   injective
Soit f injective et U est tel que (U) = 0. Si U = AB, alors f(A)f(B) = 0, donc f(A) = f(B) et f étant
injective, on en déduit que A = B et que U = 0. Ainsi,  est injective.
Réciproquement, si f(M) = f(N), alors f(M)f(N) = 0 = (MN) et  étant injective, on en déduit que
MN = 0, et donc que M = N.

Montrons maintenant que f–1 est affine, associée à –1 :

f–1(M)f–1(N) = (–1 o f–1(M)f–1(N)) = –1(f(f–1(M))f(f–1(N)))
= –1(MN)

Il résulte de ce qui précède que l'ensemble des applications affines d'un espace affine dans lui-même
est stable par o, et que l'ensemble des applications affines bijectives forme un groupe, appelé
groupe affine. L'application identique en est l'élément neutre, application affine dont l'application
linéaire associée est également l'application identique. On note GA(E) le groupe affine de E. La
proposition que nous venons d'énoncer signifie que l'application qui, à f élément de GA(E), associe
 élément de GL(E) est un morphisme de groupes. (Voir L2/GROUPES.PDF pour la définition
d'un morphisme de groupes).

2- Exemples
 L'application identique f = Id est une application affine associée à l'application vectorielle  = Id.

 Inversement, si  = Id, quelles sont les applications affines f qui lui sont associées ? Si  = Id,
alors on a :
f(M)f(N) = MN
 f(N) – f(M) = N – M
 f(N) – N = f(M) – M
 Nf(N) = Mf(M)
Cela signifie qu'il existe un vecteur U tel que, pour tout M, Mf(M) = U ou encore f(M) = M + U. f
est la translation de vecteur U.
Nous avons montré qu'une application affine est associée à l'application linéaire Id si et seulement si
c'est une translation.

 Soient f et g sont deux applications affines associées à la même application linéaire . Soit O un
point quelconque et t la translation de vecteur U = g(O)f(O). U ne dépend pas de O et f = t o g. En
effet, si O' est un autre point, alors :
g(O)f(O) – g(O')f(O') = f(O) – g(O) – f(O') + g(O')
= f(O) – f(O') + g(O') – g(O)
= f(O')f(O) + g(O)g(O')
= (O'O) + (OO')
= (O'O + OO')
= (0) = 0
Puis, pour tout M :
(t o g)(M) = t(g(M)) = t(g(O) + (OM))
= g(O) + (OM) + g(O)f(O)
= f(O) + (OM)
= f(M)

- 19 -
 Soit  = Id. Le cas  = 1 est traité en ii). Si  = 0, alors on a :
 M,  N, f(M)f(N) = 0
  M,  N, f(M) = f(N) et f est constante. Nous supposerons désormais   0.

Supposons   1 et   0.  est une homothétie vectorielle de rapport . Alors, on a :

f(M)f(N) = MN (*)
Cherchons les points fixes N, tels que N = f(N), s'il en existe. Prenons une origine arbitraire M = O
et écrivons :
f(O)N = ON
 N – f(O) = (N – O)
f(O) –  O ) et (O, –  )
1 1
 N= barycentre de (f(O),
1– 1– 1– 1–
Il existe donc un unique point fixe que nous noterons désormais . Si nous remplaçons M par 
dans (*), nous obtenons :
f(N) =  N
ou bien f(N) =  +  N, ce qui définit parfaitement f à partir de N. f est une homothétie affine de
centre  et de rapport .  est le seul point fixe. L'identité peut être assimilée à une homothétie de
centre quelconque de rapport 1. Tous les points sont invariants dans ce cas.

L'ensemble des homothéties vectorielles de rapport non nul, muni de la composition des
applications, forme un groupe isomorphe à (R*,). L'ensemble des applications affines qui leur sont
associées, muni de la composition des applications, forme donc aussi un groupe. Cet ensemble est
constitué des homothéties de centre quelconque, de rapport non nul (y compris l'identité), et des
translations. Ce groupe s'appelle groupe des homothéties-translations. La nature de la composée
de deux de ces applications se trouvent en regardant la composée des applications linéaires
associées.
TranslationDeU o TranslationDeV = TranslationDe(U + V)
Translation o HomothétieDeRapport= HomothétieDeRapport
HomothétieDeRapport o HomothétieDeRapport = HomothétieDeRapport() si 1
HomothétieDeRapport o HomothétieDeRrapport(1/) = Translation

On peut chercher des sous-groupes du groupe des homothéties-translations en cherchant des sous-
groupes du groupe des homothéties vectorielles, ou même de R*, par isomorphisme :
R* {homothéties {homothéties–translation}
vectorielles}

{1} {Id} {translation}

{±1} {±Id} {symétries centrales

translations}
etc...

EXEMPLE : théorème de Ménélaus – deuxième méthode.

 Rappelons-le : soit un triangle ABC, et trois points distincts de A, B et C : P sur (AB), Q sur
(BC) et R sur (AC). Alors P, Q et R sont alignés si et seulement si :

- 20 -
   
PA QB RC
–
  –
  –
 =1
PB QC RA
P

B
Q

C
A R

Donnons une autre démonstration de la nécessité de la condition.

On considère :

PA
u homothétie de centre P de rapport –  . On a u(B) = A
PB

QB
v homothétie de centre Q de rapport –  . On a v(C) = B
QC

RC
w homothétie de centre R de rapport –  . On a w(A) = C
RA
h = u o v o w est donc une homothétie-translation. Comme A est invariant par h, il s'agit d'une
  
PA QB RC
homothétie. Son rapport est le produit des rapports de chaque homothétie, à savoir –   –  –.
PB QC RA
Si les points P, Q et R sont alignés, la droite (PQR) est globalement invariante par l'homothétie h
car elle l'est par u, v et w, puisqu'elle contient le centre de chacune de ces homothéties. Or A, centre
de h n'étant pas sur cette droite, la seule possibilité pour qu'elle soit invariante est que h = Id. Son
  
PA QB RC
rapport est donc égal à 1. Donc –   –   – =1
PB QC RA

 Supposons que E = F  G. Soit (B) un sous-espace affine de direction F et (C) de direction G.

(B)  (C) est réduit à un point que nous noterons O (cf II-4). Pour tout M de E, en décomposant le
vecteur OM en sa composante sur F et sur G, on obtient P tel que :
OM = OP + PM, OP  F et PM  G.
P est donc élément de (B) puisque O  (B) et OP  F. L'application f qui à M associe P s'appelle
projection affine sur (B) parallèlement à (C) (ou parallèlement à G puisque seule la direction de
(C) a une importance). Il s'agit d'une application affine. En effet, si N se projette en Q, on a :
ON = OQ + QN
donc MN = PQ + QN – PM

F G

- 21 -
ce qui signifie que f(M)f(N) = PQ est l'image de MN par la projection vectorielle  sur F
parallèlement à G.

(C)
M

(B)
O P

Inversement, si  est la projection vectorielle sur F parallèlement à G, peut–on en déduire que toute
application affine f associée est une projection ? Pas nécessairement, comme le montre l'exemple
suivant :
E est le plan muni d'une base (i, j).
F est la droite engendrée par i
G est la droite engendrée par j
O est un point quelconque de E
 x' = x + 1
f est l'application définie analytiquement par  y' = 0

f est la composée d'une projection et d'une translation.

 Supposons que E = F  G. Soit (B) de direction F et (C) de direction G, O l'unique intersection

de (B) et (C). Pour tout point M, il existe P tel que :
OM = U + V de façon que U  F et V  G
OP = U – V
L'application f qui à M associe P s'appelle symétrie affine par rapport à (B) parallèlement à (C) (ou
parallèlement à G puisque seule la direction de (C) a une importance). Il s'agit d'une application
affine. En effet, si N admet pour image Q, on a :
ON = W + Z avec W  F et Z  G
OQ = W – Z
 MN = W – U + Z – V

F G
et PQ = W – U – Z – V

F G
ce qui signifie que f(M)f(N) = PQ est l'image de MN par la symétrie vectorielle  par rapport à F
parallèlement à G.

- 22 -
 (C)
M

O (B)

Inversement, si  est la symétrie vectorielle sur F parallèlement à G, comme pour la projection, on

ne peut en déduire que toute application affine f associée est une symétrie. On peut prendre un
exemple analogue à celui de la projection :
E est le plan muni d'une base (i, j).
F est la droite engendrée par i
G est la droite engendrée par j
O est un point quelconque de E
 x' = x + 1
f est l'application définie analytiquement par  y' = –y

1
f est la composée de la symétrie par rapport à Ox et de la translation de vecteur  0 , parallèle à Ox.
 
Il n'y a aucun point invariant. On dit que f est une symétrie glissée. Plus généralement, on peut
montrer que toute application affine associée à une symétrie vectorielle est une symétrie glissée,
composée d'une symétrie et d'une translation parallèlement au sous-espace affine stable par la
symétrie (cette translation pouvant également être réduite à l'identité, la symétrie glissée étant alors
simplement une symétrie affine). Voir L2/GEOMEUCL.PDF pour le cas particulier où les symétries
sont des symétries orthogonales en dimension 2 ou 3, mais le raisonnement tenu peut s'adapter au
cas général.

 La symétrie et la projection entrent dans un cadre plus général.

Supposons toujours que E = F  G. Soit (B) de direction F et (C) de direction G, et O le point
intersection de (B) et (C). Soit  un réel. Pour tout point M, il existe P tel que :
OM = U + V de façon que U  F et V  G
OP = U + V
Le cas  = 0 correspond à la projection sur (B) parallèlement à (C). Le cas  = 1 correspond à
l'application identique. Le cas  = –1 correspond à la symétrie par rapport à (B) parallèlement à (C).
Le cas où F = {0} et donc (B) est un point O correspond à l'homothétie de centre O et de rapport .
Le cas où G = {0} correspond à l'identité. Le cas général s'appelle affinité de rapport  par rapport à
(B) (ou de base (B)), parallèlement à (C). Il s'agit d'une application affine. En effet, si N admet pour
image Q, on a :
ON = W + Z avec W  F et Z  G
OQ = W + Z
 MN = W – U + Z – V

F G
et PQ = W – U + (Z – V)

- 23 -
 F G
ce qui signifie que f(M)f(N) = PQ est l'image de MN par l'affinité vectorielle  de rapport 
relativement à F parallèlement à G.

(C)
P

O (B)

affinité de rapport 2 de base (B) parallèlement à (C)

EXEMPLE 1 :
 Dans l'espace de dimension 3 muni d'un repère (O, i, j, k), on demande l'expression analytique de
l'affinité de rapport –2 relativement au plan (B) d'équation 2x + y – z = 3 et parallèlement à la droite
(C) de vecteur directeur V (1,0,1).
On peut déjà constater que la droite n'est pas contenue dans le plan, puisque, pour V, x = 1, y = 0 et
z = 1 donc 2x + y – z  0. Soit un point M(x, y, z). On cherche une représentation paramétrique de la
droite passant par M et de vecteur directeur V. L'intersection de cette droite avec le plan (B) donne
le point projeté N de M. Il est alors facile d'appliquer un rapport d'affinité. La représentation de la
droite est :
X=x+
Y=y

Z=z+
Le projeté N de M sur (B) parallèlement à (C) vérifie les équations ci-dessus ainsi que celle de (B) :
2X + Y – Z = 3
d'où –2x – y + z + 3 = . Les coordonnées de N sont donc :
X=–x–y+z+3
N :  Y = y
 Z = –2x – y + 2z + 3
Le vecteur NM a donc pour composantes :
 2x + y – z – 3
NM :  0
 2x + y – z – 3
L'image P de M par l'affinité vérifie : NP = –2NM. Le vecteur NP a donc pour composantes :
 – 4x – 2y + 2z + 6
NP :  0
 – 4x – 2y + 2z + 6
Le point P cherché a donc pour coordonnées :
 – 5x – 3y + 3z + 9
P :  y
 – 6x – 3y + 4z + 9

EXEMPLE 2 :

- 24 -
 Dans l'espace de dimension 3 muni d'un repère (O, i, j, k), on demande de montrer que
x  – 2 + x + 2y + 2z 
l'application affine définie par : M =  y   P =  2 – 2x + 5y + 2z  est une affinité, de déterminer
z  – 4 + 2x – 2y + z 
sa base, sa direction, son rapport.

Cherchons les points invariants. Ils vérifient :

y+z=1
 x – 2y – z = 1   x = 2 + y
 z=1–y
x–y=2
 1 
Il s'agit de la base, droite (B) de vecteur directeur  1  et passant par le point (2,0,1).
 –1 
Si l'application est une affinité, tous les vecteurs PM doivent appartenir à un même plan vectoriel,
supplémentaire de la direction de la droite (B). Le vecteur PM a pour composantes :
 2 – 2y – 2z 
PM =  –2 + 2x – 4y – 2z 
 4 – 2x + 2y 
et appartient au plan vectoriel d'équation X = Y + Z. Il est bien supplémentaire de la droite
 1 
Vect( 1 ). C'est la direction de l'affinité.
 –1 
Le plan affine passant par M et de direction le plan précédent a pour équation X – Y – Z = x – y – z.
Il coupe la droite (B) en un point N = (X, Y, Z) tel que :
X–Y–Z=x–y–z
X=2+Y

Z=1–Y
X=1+x–y–z
 Y=–1+x–y–z

Z=2–x+y+z
On a alors :
 –1+y+z 
NM =  1 – x + 2y + z 
 –2+x–y 
 –1+y+z 
NP = 3  1 – x + 2y + z  = 3 NM
 –2+x–y 
Le rapport de l'affinité est 3.

3- Propriétés des applications affines

PROPOSITION :
Soit f une application affine et  l'application linéaire associée à f. Alors :
i) Si (A) est un sous-espace affine de l'ensemble de départ de direction F, alors f(A) est un
sous-espace affine de l'ensemble d'arrivée de direction (F).
ii) Si (B) est un sous-espace affine de l'ensemble d'arrivée de direction G, et si f–1(B) est non
vide, c'est un sous-espace affine de l'ensemble de départ de direction –1(G).
iii) Si (B) est parallèle à (C) alors f(B) est parallèle à f(C)
iv) Si G est le barycentre des (Ai,i)iI, alors f(G) est le barycentre des (f(Ai),i)iI.
- 25 -
On ne sera pas surpris des propriétés iii) et iv) puisque nous avons introduit la définition des
applications affines à partir de ces propriétés.

Démonstration :
 i) En effet, si M0 est un point donné de (A), d'image f(M0) dans f(A), alors f(A) est le sous-espace
affine passant par f(M0) de direction (F), car :
N  f(A)
  M  (A), N = f(M)
  U  F, M = M0 + U et N = f(M)
  U  F, N = f(M0 + U)
  U  F, N = f(M0) + (U)
  V  (F), N = f(M0) + V

 ii) Soit M0 un point de f–1(B). Alors :

N  f–1(B)
 f(N)  (B)
 f(M0)f(N)  G
 (M0N)  G
 M0N  –1(G)

 iii) Supposons (B) de direction F et (C) de direction G.

(B) // (C)
 F=G
 (F) = (G)
 f(B) // f(C)

 iv) On peut supposer que  i = 1. On a :

iI

 i GAi = 0
iI

 ( i GAi) = (0) = 0

iI

  i (GAi) = 0
iI

  i f(G)f(Ai) = 0
iI

 f(G) est barycentre des (f(Ai),i)

Cette dernière propriété se traduit donc de la façon suivante :

- 26 -
 Si  i = 1, alors f( iAi) =  if(Ai)
iI iI iI

Formellement, les notations sont analogues à une notion de linéarité, mais elles s'utilisent ici sur une

application affine qui s'applique sur des points et uniquement si  i = 1.

iI

REMARQUE :

 Nous avons vu que, si  i = 0, alors  iAi est un vecteur. Il a donc une image par . Quelle
iI iI

est cette image ? Prenons un point O quelconque. On a :

 iAi =  iAi –  iO =  iOAi

iI iI iI iI

donc, en utilisant la linéarité de  :

( iAi) =  i (OAi) =  i f(O)f(Ai) =  i f(Ai) –  i f(O) =  i f(Ai)

iI iI iI iI iI iI

Ainsi :

Si  i = 0, alors ( iAi) =  i f(Ai)

iI iI iI

La relation de linéarité ci-dessus ne s'utilise que si  i = 0,  s'appliquant sur les vecteurs de f sur
iI

les points.

EXEMPLES ET APPLICATIONS :
 Le théorème de Thalès
Soit ABC un triangle et (IJ) une droite parallèle à (BC) coupant (AB) en I et (AC) en J. Alors :
 
IA JA
–
 = – 
IB JC

- 27 -
 B

A
C J

I appartenant à (AB), il existe un réel  tel que I soit barycentre de (A, ) et B(1 – ) :
I = A + (1 – )B
Considérons la projection sur (AC) parallèlement à (BC). B a pour image C et I a pour image J,
donc :
J = A + (1 – )C
Ces deux relations donnent respectivement :
0 = IA + (1 – )IB et 0 = JA + (1 – )JC
 
IA 1 –  JA
donc –  = –  = – 
IB JC

 Coordonnées barycentriques dans le plan. Soient trois points A, B, C non alignés et M un

point du plan, ayant pour coordonnées barycentriques ,  et  relativement à A, B et C :
M = A + B + C avec  +  +  = 1
Projetons M sur (AB) parallèlement à (AC). C se projette en A et le projeté de M est :
M1 = ( + )A + B = (1 – )A + B
Si M est intérieur à (ABC), M1 appartient au segment [AB] et  est la proportion occupé par [AM1]
au sein de ce segment.

C
 

 
M B

M2
 
M1

A
Projetons maintenant M sur (AB) parallèlement à (BC). On obtient cette fois :
M2 = A + ( + )B = A + (1 – )B
 est la proportion du segment [M2B] au sein du segment [AB].
Par différence,  est la proportion du segment [M1M2] au sein du segment [AB].
On peut de même projeter M sur les autres côtés, faisant apparaître les coordonnées barycentriques
,  et  sur chacun d'eux.
- 28 -
 Le théorème de Céva (1648-1734).
Il s'énonce :
Soit ABC un triangle, P élément de (BC), Q élément de (AC) et R élément de (AB).

R
P

B B
P
R
C C
A Q A Q

Les droites (AP), (BQ) et (CR) sont concourantes ou parallèles si et seulement si on a :

  
PB QC RA
–
  –
  –  = –1
PC QA RB

Si les droites sont parallèles, le théorème de Thalès dans le triangle ACP coupé par la droite (BQ)
 
PB AQ
donne – = –
 , et le théorème de Thalès dans le triangle ACR coupé par la droite (BQ) donne
PC AC
 
QC BR
–
 = –
 donc :
AC AR
         
PB QC RA AQ QC RA QC RA BR RA
– 
   –  – = –
   –  – = – –
   – = – –
  –
 =–1
PC QA RB AC QA RB AC RB AR RB

Supposons maintenant les droites sécantes. Soit H intersection des trois droites. Notons x, y, z les
coordonnées barycentriques de H relativement à (A, B, C). On a :
H = xA + yB + zC avec x + y + z = 1
Considérons la projection sur (BC) parallèlement à (AH). A et H se projettent en P, d'où, en utilisant
la conservation du barycentre par une projection :
P = xP + yB + zC
y z
 P= B+ C
1–x 1–x
 0 = yPB + zPC

PB z
 –
 =–y
PC
et de même pour les autres points :
- 29 -
 
QC x
–
 =–z
QA

RA y
–
 =–x
RB

yzx
Le produit demandé vaut – = – 1.
xyz
La réciproque se traite d'une façon analogue à celle du théorème de Ménélaus. Supposons que deux
des trois droites se coupent (sinon elles sont toutes trois parallèles), par exemple (AP) et (BQ). Soit
H le point d'intersection. Soit R' l'intersection de (CH) et (AB). Le sens direct du théorème de Céva
     
PB QC R'A PB QC RA
donne –   –  –
 = –1, alors que l'hypothèse de la réciproque est –
  –
  – = –1. On en
PC QA R'B PC QA RB
 
R'A RA
déduit que –  = –
 et donc que R = R'. Donc (CR) = (CR') = (CH). Les trois droites initiales
R'B RB
(AP), (BQ), (CR) sont donc sécantes en H.

 Le théorème de Céva permet de retrouver facilement que les trois médianes du triangle sont
   
concourantes. En effet, P, Q, R étant les milieux des côtés, on a QC = – QA, PB = – PC,
 
RA = – RB, donc :
  
PB QC RA
–
  –
  –  = –1
PC QA RB

 Il permet de retrouver le fait que les trois hauteurs du triangle sont concourantes. En effet, si
,  et  sont les angles en A, B et C, et a, b, c les longueurs des côtés opposés à A, B et C, alors P,
Q, R étant les pieds des hauteurs, on a :
 
PC = bcos() et PB = – ccos()

PB c cos()
donc –  = – b cos()
PC
 
QC a cos() RA b cos()
De même, –  = – c cos() et – = – a cos()
QA RB
  
PB QC RA
Donc –  –  –  = –1.
PC QA RB

 Les bissectrices intérieures sont concourantes. En effet, soit O l'intersection des bissectrices en
A et B. O appartenant à la bissectrice de A est à égale distance r de (AB) et de (AC). Appartenant à
la bissectrice de (AB) et (BC), il est à égale distance de (AB) et (BC). Cette distance est donc aussi
r. Par conséquent, O est à égale distance r de (AC) et (BC) donc appartient à la bissectrice de (AC)
- 30 -
et (BC). Etant à égale distance des trois côtés, O est le centre du cercle inscrit dans le triangle. r est
le rayon de ce cercle.
On peut aussi utiliser le théorème de Céva pour le montrer. Soient P, Q, R les intersections des
bissectrices issues de A, B, C avec leur côté opposé. Soient a, b, c les longueurs des côtés opposés à
 
PB c QC a
A, B, C. Dans le chapitre L2/GEOMEUC.PDF, on montre que –  = – b. On a de même –  =–b
PC QA
   
RA b PB QC RA
et –
 = – a donc –   –  – = –1.
RB PC QA RB
Ci-dessous, on a également tracé les droites reliant les sommets A, B, C du triangle aux points de
contact D, E, F avec les côtés (BC), (AC) et (AB). On constate que ces trois droites sont
concourantes en un point, appelé point de Gergonne du triangle. En effet, (BD) et (BF) sont les
deux tangentes au cercle inscrit issues de B donc BD = BF. On a de même CD = CE et AF = AE. Il
suffit alors d'appliquer le théorème de Céva :
  
DB EC FA DB EC FA BD CE AF
–
  –   –
 = (– DC) (– EA)(– FB) = – BF CD AE = – 1
DC EA FB

E
Q
R

O
F

B D P C

IV : Parties convexes

1- Définition
DEFINITION
Une partie C d'un espace affine (A) est dite convexe si, pour tout point M et N de C, le segment
[MN] est inclus dans C.

Le segment [MN] est défini comme étant l'ensemble des barycentres de M et N à coefficients
positifs ou nuls M + (1 – )N,   [0, 1].

EXEMPLES : Un disque, un sous-espace affine, un demi-plan sont des convexes.

- 31 -
 N

PROPOSITION
Soit (Ci)iI une famille d'ensembles convexes. Alors  Ci est un convexe.
iI

Démonstration :
 Soient M et N deux points de  Ci. Alors, pour tout i, [MN]  Ci donc [MN]   Ci
iI iI

2- Convexes et applications affines

PROPOSITION
Soit f une application affine.
i) Soit C une partie convexe de l'ensemble de départ. Alors f(C) est convexe.
ii) Soit C une partie convexe de l'ensemble d'arrivée. Alors f–1(C) est convexe.

Démonstration :
 i) Soient M et N éléments de f(C). Il existe A et B éléments de C tels que M = f(A) et N = f(B).
Pour tout  élément de [0, 1], on a :
G = M + (1 – )N
= f(A) + (1 – )f(B)
= f(A + (1 – )B)
= f(g)
avec g = A + (1 – )B  C car C est convexe, donc G  f(C). On a bien prouvé que f(C) est
convexe.

 ii) Soient A et B éléments de f–1(C). Pour tout élément de [0, 1], on a :

g = A + (1 – )B
 f(g) = f(A + (1 – )B)
= f(A) + (1 – )f(B) avec f(A)  C et f(B)  C
donc f(g)  C car C est convexe, donc g  f–1(C). On a bien prouvé que f–1(C) est convexe.

3- Enveloppe convexe
DEFINITION
Soient M1, M2, .., Mn n points d'un espace affine. On appelle enveloppe convexe de ces points
l'ensemble des barycentres à coefficients positifs ou nuls de ces points :
n n
C = {M |  1  0, 2  0, ..., n  0,  i = 1 et M =  iMi}
i=1 i=1

- 32 -
PROPOSITION
L'enveloppe convexe de M1, M2, .., Mn est le plus petit convexe contenant les points M1, M2, .., Mn.

Démonstration :
 Montrons que C est convexe. Si A et B sont deux éléments de C, on a :
n
A =  i Mi
i=1

n
B =   i Mi
i=1

n n
avec chaque i et chaque i positif ou nul, et  i =  i = 1. Un point P du segment [AB] s'écrit,
i=1 i=1

avec 0    1 :
P = A + (1 – )B
n
=  (i + (1 – )i) Mi
i=1

Tous les coefficients i + (1 – )i sont positifs ou nul et leur somme vaut 1, donc P appartient à C
et C est convexe.

 Montrons que si D est un convexe possédant tous les points Mi, alors D contient C. On montre
cette dernière propriété par récurrence sur le nombre n de points Mi dont C est l'enveloppe convexe.

Pour n = 2, si D possède deux points M1 et M2, il contient [M1M2] puisqu'il est convexe. Mais
[M1M2], ensemble des barycentres à coefficients positifs ou nuls de M1 et M2, est l'enveloppe
convexe C de M1 et M2. Donc D contient C.

Supposons la propriété vraie pour n – 1 points et soit D convexe possédant M1, ..., Mn. Soit
n
M =  i Mi un barycentre à coefficients positifs ou nuls des Mi. Il s'agit de montrer que D possède
i=1

M. Si n est nul, il suffit d'appliquer directement l'hypothèse de récurrence. Sinon, M est barycentre
n–1
i
de Mn affecté du coefficient n, et de N =  Mi affecté du coefficient 1 – n. Comme N est
i=1 1 – n
baycentre de M1, M2, ..., Mn–1 à coefficients positifs ou nuls, N appartient à D en appliquant
l'hypothèse de récurrence, et comme M appartient au segment [NMn] et que D est convexe, M
appartient bien à D.

Exercices

1- Enoncés
Exo.1) Soit M un point intérieur à un triangle ABC. On note a, b, c les aires des triangles BMC,
AMC et AMB. Quel est le barycentre des points (A,a), (B,b) et (C,c) ?

- 33 -
Exo.2) a) Dans le plan, soient trois points A, B, C non alignés, D un point de la droite (AB), E un
point de (AC), F intersection de (CD) et (BE) (lorsqu'elle existe). Soient I, J, K milieux respectifs de
[BC], [DE], [AF]. Montrer que I, J, K sont alignés.
b) Soient A, B, C trois points non alignés, et  une droite sécante en R à (AB), en Q à (AC)
et en P à (BC). Soient I, J, K trois points tels que ARIQ, BRJP et CQKP soient des
parallélogrammes. Montrer que I, J, K sont alignés.

7x – 2y + 1
 x'  
 
x 3 
Exo.3) Montrer que l'application affine suivante  y    y'  = – 4x + 5y + 8 est la composée
     
 3 
d'une affinité et d'une translation parallèlement à la base de l'affinité.

Exo.4) Dans R3, soit (P) le plan affine d'équation 2x – y – 3z + 6 = 0 et V le vecteur de composantes
3
 2 .
 
1
a) Déterminer l'expression analytique de la projection sur (P) parallèlement à V.
 x + 2y – z – 1 =0
b) Quelle est l'image de la droite d'équation  x – y – 2z = 0 par cette projection ?


Exo.5) a) Montrer que l'application affine suivante f, qui à M(x, y) associe M'(x', y'), est une
affinité :
 x' = 4x3 – 3y + 13

 y' = – 2x + 5y – 2
 3 3 3
 x' = 3x + 4y + 2z – 4
b) Même question pour M(x, y, z)  M'(x', y', z') avec  y' = – 2x – 3y – 2z + 4
 z' = 4x + 8y + 5z – 8

Exo.6) Soit f une application affine telle, pour toute droite (D), f(D) est une droite parallèle à (D).
Quelle est la nature de f ?

Exo.7) Dans un espace affine, soit f une application affine telle que :  M, f 2(M) est milieu de
[Mf(M)]. Quelle est la nature de f ?

Exo.8) Soient f et g deux applications affines bijectives d'un espace affine, associées aux deux
automorphismes  et , et O un point de cet espace. Soit a = Of(O), b = Og(O) et M = fgf–1g–1(O).
Exprimer OM en fonction de , , a et b.

Exo.9) Soit (A,B,C) un triangle et (a,b,c) élément de R3 tel que a + b + c  –1. Soit f l'application
qui à tout point M associe le barycentre de (A, a), (B, b), (C, c) et (M, 1). Quelle est la nature de f ?

Exo.10) Soit (A) un espace affine de direction E, et G un sous-groupe du groupe affine. On pose
L = {x  E | tx  G} où tx désigne la translation de vecteur x.
a) Montrer que L est un sous-groupe de (E, +)
- 34 -
 b) Montrer que, pour toute application affine f élément de G, associée à l'application linéaire
, et tout élément x de L, on a (x) élément de L.
(Voir L1/ENSEMBLE.PDF pour la définition d'un sous-groupe)

Exo.11) a) Soient M0, M1, ..., Mn n + 1 points d'un espace affine de dimension n. Pour tout
 1 
i  [[ 0, n ]] , on notera  M  la colonne constituée du nombre 1 et des coordonnées de Mi dans un
 i
repère donné. Montrer que M0, M1, ..., Mn sont affinement indépendants si et seulement si :
 1   1 
det( M , ...,  M )  0
 0  n
b) Soient M0, M1, ..., Mn n + 1 points affinement indépendants. Sur chaque droite (MiMi+1) on
choisit un point Pi (avec la convention Mn+1 = M0). Soit i les réels tels que MiPi = i MiMi+1,
0  i  n. Montrer que les (Pi) sont dans le même hyperplan (sous-espace affine de dimension n – 1)
n n
si et seulement si  (1 – i) + (–1)n i = 0.
i=0 i=0

Exo.12) Dans un espace affine de dimension 3, soient trois points A, B, C non alignés contenus
dans un plan (P). Soit S un point extérieur à (P), A' un point de (SA) distinct de A et de S, (P') un
plan passant par A', auquel (BC) est parallèle, et sécant à (P) suivant une droite (D) ne contenant pas
A. Soit E l'intersection de (D) et (AB), et F l'intersection de (D) et (AC).
a) Si (A'E) est parallèle à (SB), montrer que (A'F) est parallèle à (SC).
b) Dans le cas contraire, soit B' l'intersection de (A'E) et (BS) et C' l'intersection de (A'F) et
(SC). Montrer que (BC), (D) et (B'C') sont parallèles.

Exo.13) Dans l'espace affine de dimension 3, soient (D) et (D') deux droites sécantes en O, et ()
une droite sécante en I au plan (D,D'), en dehors de (D) et (D'). Soient A et B deux points de (),
distincts entre eux et distincts de I. Un plan (P) variable, contenant (), coupe (D) en M et (D') en
M'.
a) Montrer que, si M  M', (MM') passe par un point fixe.
b) Déterminer la nature de l'ensemble des intersections des droites (AM) et (BM').

Exo.14) Dans le plan affine, Soient deux droites sécantes (D1) et (D2), I et J deux points distincts.
Construire un triangle ABC tels que : A  (D1), B  (D2), I est le milieu de [AC], J est le milieu de
[BC].

- 35 -
 (D2)

I
(D1)

Exo.15) Soit f une application affine d'un espace affine de dimension finie dans lui-même. Soit 
l'application linéaire associée à f. On pose :
Inv(f) = {M | f(M) = M}.
On suppose Inv(f)  . Soit t une translation de vecteur U parallèlement à Inv(f).
a) Montrer que (U) = U.
b) Montrer que f o t = t o f.
c) Dans le cas où Inv(f) = , montrer qu'il existe U  0, (U) = U.

Exo.16) Pour chacune des figures suivantes représentant en perspective sur une surface plane une
figure de l'espace, utiliser une règle et un crayon pour tracer l'intersection demandée :
a) ABCD est un tétraèdre, I  (AB), J  (AC), K  (AD). On demande l'intersection des
deux plans (IJK) et (BCD).
A

I K
D

J
B

C
b) ABCD est un tétraèdre, I  (ABC), J  (AD), K  (CD). On demande l'intersection du
plan (IJK) avec le plan (BCD).

- 36 -
 A

I
J
D
K
B

c) ABCD est un tétraèdre, I  (ABC), J  (ABD), K  (ACD). On demande l'intersection du

plan (IJK) avec le plan (BCD).

I J
D
K
B

C
d) ABCD est un tétraèdre, I  (AB), J  (ACD). On demande l'intersection de la droite (IJ)
avec le plan (BCD).

I
J D

C
e) ABCD est un tétraèdre, I  (ABC), J  (ACD). On demande l'intersection de la droite (IJ)
avec le plan (BCD).
A

I
J D

C
f) ABCD est un polygone plan, S un point hors de ce plan, I  (SA), J  (SB), K  (SC). On
demande de tracer les intersections du plan (IJK) avec les faces du polyèdre SABCD.
- 37 -
 S
I
K
D
C

A J

B
g) On se donne un parallélépipède ABCDEFGH, I  (AD), J  (AB), K  (AE). Tracer le
point R intersection de la droite (CG) et du plan (IJK).
D C
I

H G

A J B
K

E F
h) On se donne un parallélépipède ABCDEFGH, I  (AE). Tracer le point R intersection de
la droite (IC) et du plan (BDG).

D C

H G

A B
I

E F

Exo.17) Soit P un polynôme à coefficients complexes, de degré supérieur ou égal à 2. Montrer que
les zéros de P' sont dans l'enveloppe convexe des zéros de P.

Exo.18) Dans le plan, déterminer un triangle ABC dont on connaît les milieux des côtés A', B', C'.
Plus généralement, soit I1, I2 ..., In n points. Peut–on trouver un polygone à n côtés dont les milieux
sont ces n points ?
- 38 -
Exo.19) Soient six points A, B, C, M, P, Q tels que (AP), (BQ), (CM) soient parallèles, et que (AQ),
(BM) et (CP) soient parallèles. Montrer que (AM), (BP) et (CQ) sont concourantes.

A P

Q B

M C

2- Solutions
Sol.1) Il s'agit du point M lui-même. Prenons un repère tel que B = (0, 0), A = (0, 1) et C = (1, 0).
Prenons comme unité de mesure d'aire la quantité det(BC, BA). Si M = (x, y) dans ce repère, alors :
1 1  –x 1 – x  y
a = det(MB, MC) =  –y –y  =
2 2  2
1 1  1 – x –x  1 – x – y
b = det(MC, MA) =  –y 1 – y  =
2 2  2
1 1 –x –x  x
c = det(MA, MB) =  1 – y –y  =
2 2  2
1 1
On a a + b + c = = det(BC, BA), de sorte que le barycentre est :
2 2
yA + (1 – x – y)B + xC = (x, y) = M

Sol.2) On invite le lecteur à tracer les figures au moyen d'un logiciel de géométrie, tel que
Geogebra.
a) On peut travailler dans le repère (A, AB, AC). Dans celui-ci, A = (0, 0), B = (1, 0),
C = (0, 1). Soient d et e tels que D a pour coordonnées (d, 0), E a pour coordonnées (0, e).
La droite (CD) a pour équation x + dy = d, (BE) a pour équation y + ex = e. F vérifie ces deux
d – de e – de
équations et a pour coordonnées ( , ).
1 – de 1 – de

- 39 -
 1 1 d e 1 d – de 1 e – de 1
I, J, K ont pour coordonnées ( , ), ( , ) ( , ) et l'on a IJ = (d – 1, e – 1) alors que
2 2 2 2 2 1 – de 2 1 – de 2
1
IK = (d – 1, e – 1). Les deux vecteurs sont colinéaires donc I, J, K sont alignés.
2(1 – de)

E
K C
J

F I
D
B

b) Prendre un repère (A, AB, AC). Dans ce repère :

0 1 0
A =  0 , B =  0 , C =  1 
     
Soient x et y tels que :
x 0
R =  0 , Q =  y 
   
 xx––xyy   x   x – 1 + xx––xyy   xx––xyy 
 
d'où l'on tirera P = xy – y , I =  y , J =
 , K =  
     xy – y  y – 1 + xy – y 
 x–y   x–y   x–y 
y  1 – x  1 – x
IJ = , JK =  y – 1 
x–y  y – 1   
IJ et JK sont colinéaires, donc I, J, K sont alignés.

()

Q I
A R B

J P

- 40 -
Cet exercice est une variante d'un théorème plus général de géométrie projective, le théorème de
Pappus (voir L3/GEOMPROJ.PDF).

7x – 2y
 x'  
 
x 3 
Sol.3) Etudions d'abord l'application linéaire  associée :  y    y'  = – 4x + 5y et montrons
     
 3 
7x – 2y
x 
 
3 
qu'il s'agit d'une affinité vectorielle. Les vecteurs invariants vérifient  y  = – 4x + 5y soit 2x = y.
   
 3 
Ce sera la direction de la base de l'affinité. C'est parallèlement à cette droite que s'effectue la
translation.
Pour trouver la droite parallèlement à laquelle on effectue une affinité de rapport , on cherche les
vecteurs non nuls vérifiant :
 7x –3 2y   x 
  =  
 – 4x + 5y  y
 3 
 (7 – 3)x – 2y = 0
C'est équivalent au système  . Pour avoir une solution non nulle, il est
 – 4x + (5 – 3)y = 0
nécessaire et suffisant que le déterminant du système soit nul, ce qui donne l'équation :
(7 – 3)(5 – 3) – 8 = 0
 92 – 36 + 27 = 0
 2 – 4 + 3 = 0
  = 1 ou  = 3
Le cas  = 1 correspond à la base de l'affinité, déjà vue. Pour  = 3, le système a pour solution la
droite x + y = 0. C'est la direction de l'affinité. 3 sera le rapport de l'affinité.
Il reste donc à trouver a et b tels que l'équation de la base soit y = 2x + a, la translation étant de
1
vecteur b 2 , colinéaire à la base.
 
Soit M = (x, y) un point quelconque, N = (x", y") l'intersection de la base et de la direction. On doit
avoir :
 y" = 2x" + a

 x" + y" = x + y
ce qui donne :
 x" = x + 3y – a

 y" = 2x + 2y + a
 3
L'image de M par l'affinité est P = (x'", y'") tel que NP = 3NM, ou encore P = 3M – 2N, ce qui
donne :
 x''' = 7x – 2y3 + 2a

 y''' = – 4x + 5y – 2a
 3

- 41 -
 1
On effectue enfin la translation de vecteur b 2  et on doit trouver l'image M' = (x', y') donnée par
 
l'énoncé :
 x' = 7x – 2y3 + 2a + b = 7x – 2y +1
 3
 y' = – 4x + 5y – 2a + 2b = – 4x + 5y + 8
 3 3

 2a3 + b = 13
On a donc nécessairement
 donc b = 1 et a = – 1.
 – 2a + 2b = 8
 3 3
Conclusion : la base de l'affinité a pour équation y = 2x – 1, la direction est la droite x + y = 0, le
1
rapport de l'affinité est  = 3, la translation se fait selon le vecteur  2 .
 

Sol.4) a) Soit M = (x, y, z) un point quelconque. Son projeté est de la forme M + V et doit vérifier
l'équation de (P), ce qui donne 2(x + 3) – (y + 2) – 3(z + ) + 6 = 0, donc :
 = – 2x + y + 3z – 6
 – 5x + 3y + 9z – 18 
donc le projeté est  – 4x + 3y + 6z – 12 
 – 2x + y + 4z – 6 
b) Il suffit de chercher l'image de deux points de la droite, par exemple (2, 0, 1) et (–3, 1, –2). Les
images sont respectivement (– 19, – 14, – 6) et (– 18, – 9, – 7). L'image cherchée est donc la droite
 1 
passant par (– 18, – 9, – 7) et de vecteur directeur  5 . Ce vecteur est aussi l'image du vecteur
 –1 
 –5 
directeur de la droite initiale  1  par l'application linéaire associée à la projection, de matrice
 –3 
 – 5x + 3y + 9z 
 – 4x + 3y + 6z .
 
 – 2x + y + 4z 

Sol.5) a) On cherche d'abord les points invariants par f. Ils vérifient x – y + 1 = 0 et forment une
droite affine (D). Ce sera la base de l'affinité. On montre ensuite que, pour tout M, MM' garde une
direction fixe :
x – y + 1  1 
MM' =
3  –2 
 1 
de direction la droite G engendrée par  –2 . Ce sera la direction de l'affinité. Cette direction n'est
 
pas celle de (D). On projette M sur (D) parallèlement à G. Soit M"(x", y") ce projeté. Il vérifie
 x" – x   1 
x" – y" + 1 = 0 et  ,  y" – y  =   –2  donc x" = x + , y" = y – 2, x – y + 1 + 3 = 0, donc
   
x–y+1 x – y + 1  1 
=– , M"M = et M"M' = 2M"M. Le rapport de l'affinité est 2.
3 3  –2 

- 42 -
 b) En procédant comme ci-dessus, on trouvera qu'il s'agit de l'affinité de base le plan
 1 
d'équation x + 2y + z = 2, de direction la droite engendrée par  –1  et de rapport 3.
 2 

Sol.6) Si  est l'application linéaire associée à f, cela signifie que, pour tout vecteur u, (u) est
colinéaire à u :  u,  , (u) = u. En fait,  ne dépend pas de u car si u et v sont deux vecteurs
linéairement indépendants, alors on doit avoir simultanément :
 , (u) = u.
 , (v) = v.
 , (u + v) = (u + v)
Mais on a aussi (u + v) = (u) + (v) = u + v = u + v donc  =  = .
Par ailleurs, si v est proportionnel à u non nul, alors :
 , v = u et (v) = (u) = (u) = u = v
Ainsi  est une homothétie vectorielle de rapport , donc f est une translation ou une homothétie.

Sol.7) Montrons que f est l'identité, ou une homothétie ou une affinité. Soit  l'application linéaire
associée à f. Alors, d'après l'hypothèse, pour tout M et tout N de E :
1 1 1 1
f 2(M) = M + f(M) et f 2(N) = N + f(N)
2 2 2 2
1 1
donc f 2(M)f 2(N) = MN + f(M)f(N)
2 2
1 1
donc 2(MN) = MN + (MN)
2 2
1 1
donc 2 = Id + 
2 2
1 1
donc 2 –  – Id = 0
2 2
1
donc ( + Id) o ( – Id) = 0
2
Cas.1) Si  – Id = 0, alors  = Id, f est une translation :  u,  M, f(M) = M + u. Mais alors
1 1 1
f 2(M) = M + 2u et la relation f 2(M) = M + f(M) devient 2u = u donc u = 0 et f = Id.
2 2 2
1 1
Cas.2) Si  + Id = 0, alors  est une homothétie vectorielle de rapport – donc f est une
2 2
homothétie affine de même rapport.
1
Cas.3) Si  – Id  0 et  + Id  0, considérons les deux sous-espaces vectoriels Ker( – Id) et
2
1
Ker( + Id).
2
Ces deux sous-espaces vectoriels sont en somme directe. En effet :
1 x
x  Ker( – Id)  Ker( + Id)  (x) = x = –  x = 0
2 2
Leur somme est égal à l'espace tout entier. En effet :
2 1 2
 x, x = ( + Id)(x) – ( – Id)(x)
3 2 3

- 43 -
 2 1 2 1
avec ( + Id)(x)  Ker( – Id) et – ( – Id)(x)  Ker( + Id), comme on le voit en utilisant le
3 2 3 2
1 1
fait que ( + Id) o ( – Id) = ( – Id) o ( + Id) = 0.
2 2
1
Montrons que f est une affinité parallèlement à Ker( + Id) et de base une droite de direction
2
Ker( – Id). Remarquons qu'il existe au moins un point O invariant par f. Prenons pour cela M
1 2 1 2
quelconque et vérifions que M + f(M), barycentre de (M, ) et de (f(M), ) est invariant. On a :
3 3 3 3
1 2 1 2 1 2 1 1 1 2
f( M + f(M)) = f(M) + f 2(M) = f(M) + ( M + f(M)) = M + f(M)
3 3 3 3 3 3 2 2 3 3
1 2
Il suffit alors de prendre pour O un quelconque de ces points M + f(M).
3 3
Vérifions que l'ensemble des points invariants est la droite O + Ker( – Id)
M invariant
 f(M) = M
 f(O)f(M) = OM
 (OM) = OM
 ( – Id)(OM) = 0
 OM  Ker( – Id)
 M  O + Ker( – Id)
O + Ker( – Id) est la base de notre affinité.
1 2
Vérifions ensuite que, pour tout M, P = M + f(M) est le projeté de M sur la base parallèlement à
3 3
1 1 2
Ker( + Id). On a déjà vu que P = M + f(M) est invariant, donc il appartient à la base. On a
2 3 3
ensuite :
1 2 2
PM = M – P = M – ( M + f(M)) = (M – f(M))
3 3 3
2
= (OM – f(O)f(M)) car f(O) = O
3
2
= (Id – )(OM)
3
1 2 1 1
et ( + Id)(PM) = ( + Id)(Id – )(OM) = 0 car ( + Id) o ( – Id) = 0.
2 3 2 2
1
On a ainsi montré que PM était élément de la direction Ker( + Id).
2
Pour montrer que f est une affinité, il reste à vérifier que :  , Pf(M) = PM
1 2
Pf(M) = f(M) – P = f(M) – ( M + f(M))
3 3
1
= (f(M) – M)
3
alors que
1 2 2
PM = (M – ( M + f(M)) = (M – f(M))
3 3 3
Ainsi :

- 44 -
 1
Pf(M) = – PM
2
1
Le rapport de l'affinité est –
2

Sol.8) OM = Of(O) + f(O)fgf–1g–1(O)

= a + (Ogf–1g–1(O))
= a + (Og(O) + g(O)gf–1g–1(O))
= a + (b) + (g(O)gf–1g–1(O))
= a + (b) + (Of–1g–1(O))
= a + (b) + (f–1f(O)f–1g–1(O))
= a + (b) + –1(f(O)g–1(O))
= a + (b) + –1(– Of(O) + Og–1(O))
= a + (b) – –1(a) + –1(Og–1(O))
= a + (b) – –1(a) + –1(g–1g(O)g–1(O))
= a + (b) – –1(a) + –1–1(g(O)O)
= a + (b) – –1(a) – –1–1(b)

1
Sol.9) f(M) = G = (aA + bB + cC + M).
a+b+c+1
Si a + b + c = 0, alors G = M + aA + bB + cC. f est la translation de vecteur aA + bB + cC
aA + bB + cC
Sinon, soit  = . On a :
a+b+c
1
G= ((a + b + c) + M)
a+b+c+1
1 1
donc G = ((a + b + c) + M) – G = M. f est l'homothétie de centre
a+b+c+1 a+b+c+1
1
 de rapport .
a+b+c+1

Sol.10) a) L est non vide car, puisque Id = t0 appartient à G, 0 appartient à L. Si x et y appartiennent

à L, alors tx et ty appartiennent à G, donc txty–1 aussi, mais txty–1 = tx–y donc x – y  L.
b) Il s'agit de montrer que t(x) est un élément de G. Or, pour tout M :
t(x)(M) = M + (x) = f(f–1(M) + x) = (f o tx o f–1)(M)
Comme f, tx et f–1 sont tous éléments de G, t(x) = f o tx o f–1 l'est aussi donc (x)  L.

Sol.11) a) On a :
M0, M1, ..., Mn sont affinement indépendants
 det(M0M1, M0M2, ..., M0Mn)  0
 det(M1 – M0, M2 – M0, ..., Mn – M0)  0
 1   0   0 
 det( M ,  M – M , ...,  M – M )  0
 0  1 0   n 0
en formant une colonne de n + 1 termes commençant par 1 à gauche
et en complétant la première ligne par des 0. Le déterminant (n + 1)  (n + 1)
obtenu est égal au précédent.

- 45 -
  1   1 
 det( M , ...,  M )  0 en ajoutant la première colonne à toutes les autres.
 0  n
b) Pour tout i, on a Pi = (1 – i)Mi + iMi+1, et :
(P0, ..., Pn) appartiennent à un hyperplan
 (P0, ..., Pn) ne sont pas affinement indépendants
1 1
 det( P , ...,  P ) = 0
 0  n
 1   1   1 
 det( ,  , ...,  ) = 0
 (1 – 0)M0 + 0M1   (1 – 1)M1 + 1M2   (1 – n)Mn + nM0 
 1   1   1   1   1   1 
 det((1 – 0) M  + 0 M ,(1 – 1) M  + 1 M , ..., (1 – n) M  + n M ) = 0
 0  1  1  2  n  0
 1   1   1   1   1 
 (1 – 0) det( M , (1 – 1) M  + 1 M , ..., (1 – n) M  + n M )
 0  1  2  n  0
 1   1   1   1   1 
+ 0 det( M ,(1 – 1) M  + 1 M , ..., (1 – n) M  + n M ) = 0
 1  1  2  n  0
en utilisant la linéarité du déterminant par rapport à la première colonne
 1  1   1 
 (1 – 0)(1 – n)...(1 – 1) det( M , M , ...,  M )
 0  1  n
 1   1   1 
+ 01...n det( M ,  M , ...,  M ) = 0
 1  2  0
en utilisant la linéarité par rapport à chaque colonne, de droite à gauche pour le premier
terme, et de gauche à droite pour le second, et le fait qu'un déterminant est nul s'il contient
deux colonnes identiques
 1  1   1 
 ((1 – 0)(1 – n)...(1 – 1) + (–1)n 01...n) det( M , M , ...,  M ) = 0
 0  1  n
en utilisant le caractère alterné dans le second déterminant
 (1 – 0)(1 – 1)...(1 – n) + (–1)n 012...n = 0
On pourra vérifier que, pour n = 2, la condition énoncée correspond exactement à celle du théorème
de Ménélaus.

Sol.12) Dans la figure ci-dessous, (P') est en rouge. (P) et (P') sont bien distincts car A' appartient
(P')  (SA) et est distinct de A = (P)  (SA). (P)  (P') est une droite ; c'est la droite (D). (BC) est
parallèle à (P)  (P') = (D). On est donc certain que (D) coupe (AB) en un point E, sinon, dans le
plan (P), on aurait (AB) parallèle (D) donc à (BC) et comme B est commun à (AB) et (BC), cela
voudrait dire que (AB) = (BC) et donc que A, B et C sont alignés, contrairement à l'hypothèse. De
même, (D) coupe (AC) en F. E et F sont distincts, car si on avait E = F, ce point commun serait
élément de (AB)  (AC) et serait donc égal à A, or il est supposé que A  (D).
a)

- 46 -
 S

A'
C
F
A
E
B

Si (A'E) est parallèle à (SB), le plan (SBC) est parallèle à (P'). En effet, la direction vectorielle de
(P') est engendrée par les vecteurs indépendants A'E et EF, et donc par les deux vecteurs SB et BC
qui leur sont colinéaires. Donc la direction vectorielle de (P') est aussi celle du plan (SBC). Il en
résulte que (A'F), incluse dans (P') et donc parallèle à (P'), est aussi parallèle à (SBC). Comme (A'F)
est incluse dans (SAC) et donc parallèle à ce plan, (A'F) est parallèle à (SBC)  (SAC) = (SC).
b)
S

C
A'
F
A C'
B
E

B'

(D) étant incluse dans (P'), E et F sont éléments de P', comme A', donc (A'E) et (A'F) sont incluses
dans (P'), donc B' et C' sont éléments de (P'), donc (B'C') est inclus dans (P') et donc parallèle à (P').
B' et C' sont aussi éléments du plan (SBC) donc (B'C') = (P')  (SBC). Or (BC) est parallèle à (P') et
à (SBC) dans lequel il est contenu, donc (BC) est parallèle à (P')  (SBC) donc est parallèle à
(B'C'). Dans le préambule de la solution, on a déjà montré que (BC) // (D).
Cet exercice est un cas particulier d'un théorème plus général de géométrie projective, appelé
théorème de Desargues (voir L3/GEOMPROJ.PDF).

Sol.13) a) Dans la figure ci-dessous, on reprèsente en rouge les éléments qui sont dans le plan (P).
M et M' appartiennent à (P) ainsi qu'au plan (D, D'), de même que I. Les deux plans ne sont pas
parallèles car sinon, () serait parallèle au plan (D, D') et ne pourrait être une droite sécante à ce

- 47 -
plan. Donc (P)  (D, D') est une droite qui contient M, M' et I. Donc, si M  M', cette droite n'est
autre que (MM'), et elle contient le point fixe I.
On ne peut avoir M = M' que lorsque le plan (P) est le plan (OAB).

()

(D') A

M'

B N

O (D) M

b) Soit N l'intersection de (AM) et (BM'). N appartient à (AM) donc au plan (A, D) qui contient le
point A et la droite (D). Il appartient aussi au plan (B, D'). Ces deux plans possèdent le point O,
intersection de (D) et (D') en commun, et sont distincts, sinon A et B seraient éléments du plan
(D, D') et la droite () ne serait pas sécantes à (D, D'). Donc (A, D)  (B, D') est une droite (en bleu
sur la figure) et N est élément de cette droite. N est différent de A, sinon A serait élément de (B, D')
donc () = (AB) serait inclus dans (B, D') donc I appartiendrait à (D'). De même, N est différent de
B.
Réciproquement, soit N un point quelconque de la droite (A, D)  (B, D'). Soit M l'intersection de
(AN) avec (D) et M' l'intersection de (BN) avec (D'). Deux cas particulier se rencontrent : celui où
(AN) est parallèle à (D), ou (BN) parallèle à (D'). En dehors de ces deux cas, N est l'intersection de
(AM) et (BM'). L'ensemble des intersections est donc la droite (A, D)  (B, D') privée
éventuellement d'au plus deux points.

Sol.14) Prendre (D3) la droite symétrique de (D1) par rapport à I, (D4) la droite symétrique de (D2)
par rapport à J, C l'intersection de (D2) et (D4), A l'intersection de (CI) et (D1), B l'intersection de
(CJ) et (D2).

- 48 -
 (D4) B

J (D2)

C (D3)

I
(D1) A

Sol.15) a) U est supposé appartenir à la direction vectorielle de Inv(f), donc :

 A  Inv(f),  B  Inv(f), U = AB
donc (U) = (AB) = f(A)f(B) = AB = U
b) Pour tout point M, on a :
(f o t)(M) = f(M + U) = f(M) + (U) = f(M) + U = (t o f)(M)
c) Montrons plutôt la contraposée : si  n'admet aucun vecteur invariant non nul, alors f
admet au moins un point invariant. Résolvons donc l'équation f(M) = M. L'hypothèse se traduit par
le fait que Ker(Id – ) = {0}, et,  étant un endomorphisme dans un espace vectoriel de dimension
finie, Id –  est bijective. Soit O un point quelconque. On a :
f(M) = M
 Of(M) = OM
 Of(O) + f(O)f(M) = OM
 Of(O) + (OM) = OM
 Of(O) = (Id – )(OM)
 OM = (Id – )–1(Of(O))
M existe donc (et de plus est unique).

Sol.16) En rouge, on donne les constructions intermédiaires et en bleu, la construction finale

demandée. Le lecteur doit comprendre dans quel ordre sont effectuées les constructions
intermédiaires :
a)
A

I K F
D

B J

C E
Si on complète la figure en traçant (JK) et (CD), on obtient le théorème de Desargues qui stipule
que l'intersection de ces deux droites est alignée avec E et F. (Voir L3/GEOMPROJ.PDF).
- 49 -
 b)
A

I
J
D

K
B

C
c)
A

I J
D
K
B

C
Si on efface les côtés du tétraèdre ABCD, on obtient une figure comparable à celle du a).
d)
A

I
J D

F
B

C
e)
A

I
J D

G
B

f)

- 50 -
 S
I
K
D
C

A J

g)

D C
I

H G

A J B
K

E F

h)
D C

R
H G

A B
I

E F
Sol.17) Factorisons P sur C :
- 51 -
 n k
P =   (X – ai) i
i=1

n k –1 n k
donc P' =   ki (X – ai) i  (X – aj) j
i=1 j=1, ji

Soit z une racine complexe de P'. Si z est égal à l'un des ai, z appartient à l'enveloppe convexe des ai.
Sinon on a :
n k –1 n k
  ki (z – ai) i  (z – aj) j = 0
i=1 j=1, ji

n
k
  z –i a P(z) = 0
i=1 i

n
k
  z –i a = 0 puisqu'on a supposé P(z)  0
i=1 i

n
(–z – a–i) = 0
ki
  2
i=1 z – ai
n
ki
  2
(z – ai) = 0
i=1 z – ai
n n
ki ki
  2
z=
2
ai
i=1 z – ai i=1 z – ai
n
ki ki
Posons i le quotient de par  . Les i sont positifs ou nuls, de somme 1, et l'on a :
2 2
z – ai i=1 z – ai
n
z =  i ai
i=1

donc z appartient à l'enveloppe convexe des ai.

Ce résultat peut être vu comme une formulation du théorème de Rolle au cas complexe.

Sol.18) On traite directement le cas général.

Soit M0 un sommet arbitraire. On définit M1 = 2I1 – M0, M2 = 2I2 – M1, ..., Mk = 2Ik – Mk–1, ...,
Mn–1 = 2In–1 – Mn–2, Mn = 2In – Mn–1 de facon que Ik soit le milieu de [Mk–1Mk] pour k variant de 1 à
n. On souhaite que Mn = M0. Or, par récurrence :
Mk = 2Ik – 2Ik–1 + 2Ik–2 – ... + 2(–1)k–1I1 + (–1)kM0
donc Mn = 2In – 2In–1 + 2In–2 – ... + 2(–1)n–1I1 + (–1)nM0
donc ou bien n est impair et alors on prend M0 = In – In–1 + In–2 – ... + I1 (dans le cas du triangle, on
part de A = M0 = A' – B' + C')
ou bien n est pair et selon que In – In–1 + In–2 + ... – I1 = 0 ou pas, M0 est quelconque ou au
contraire n'existe pas.

- 52 -
 B
I4 M3
A' M0
A I1 I3
B'
M2
C' M1 I2
C
Sol.19) On peut prendre un repère tel que A = (0, 0), P = (1, 0), C = (1, 1), B = (a, b) et donc
M = (a, 1) et Q = (0, b). Les équations des trois droites (AM), (BP) et (CQ) sont :
Eq(AM) : x – ay = 0
Eq(BP) : bx – (a – 1)y = b
Eq(CQ) : (b – 1)x + y = b
On remarque que Eq(CQ) = Eq(BP) – Eq(AM) donc les trois équations sont liées, et le point
intersection de (AM) et (BP) appartient aussi à (CQ).

- 53 -