Plan Et Espace

Universit Joseph Fourier, Grenoble Maths en Ligne
Plan et espace
Eric Dumas, Emmanuel Peyre et Bernard Ycart
Ce chapitre est pour lessentiel une rvision des programmes de gomtrie de vos
annes de collge et de lyce. Il a pour but de vous prparer voir la gomtrie dans
un cadre plus gnral que celui des dimensions 2 et 3. Au passage, nous introduirons
quelques notions importantes, en particulier pour la physique, comme les dterminants
et le produit vectoriel.
Table des matires

1 Cours 1
1.1 Points, vecteurs et coordonnes . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Espaces vectoriels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Dterminants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4 Espaces affines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5 Combinaisons linaires et barycentres . . . . . . . . . . . . . . . . . . . 10
1.6 Droites et plans . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.7 Produit scalaire et orthogonalit . . . . . . . . . . . . . . . . . . . . . . 15
1.8 Produit vectoriel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.9 Systmes de coordonnes . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2 Entranement 26
2.1 Vrai ou faux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.2 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.3 QCM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.4 Devoir . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.5 Corrig du devoir . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3 Complments 44
3.1 La gomtrie du triangle . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2 La proposition xxxii . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.3 Les Sangakus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.4 La rgle de Sarrus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.5 Les godsiens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.6 Le cinquime postulat . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
19 novembre 2014
Maths en Ligne Plan et espace UJF Grenoble
1 Cours
1.1 Points, vecteurs et coordonnes
Une des difficults de la gomtrie est de bien comprendre la diffrence entre les
points et les vecteurs. On vous a appris que les points sont fixs et les vecteurs
sont libres (dtre translats nimporte o dans le plan ou dans lespace). Cette
vision des choses est largement suffisante pour vous permettre deffectuer des calculs,
et vous pouvez vous en contenter pour linstant. Nous dcrirons la section suivante
le formalisme mathmatique de ces notions.
Un espace vectoriel est un ensemble de vecteurs muni de deux oprations, laddi-
tion et la multiplication par un rel. Ce sont bien celles que vous connaissez et leurs
proprits vous sont familires (figure 1).
(3/2) v
u+v
v
u u
Figure 1 Addition de deux vecteurs et multiplication dun vecteur par un rel.
Laddition et la multiplication par un rel induisent la notion de combinaison li-

naire. Si ~u et ~v sont deux vecteurs, les combinaisons linaires de ~u et ~v sont les vecteurs
de la forme ~u + ~v , o et sont deux rels quelconques. On dit que ~u et ~v sont
lis si une de leurs combinaisons linaires est gale au vecteur nul (not ~0) sans que les
coefficients et soient tous les deux nuls. Cest quivalent dire que lun des deux
vecteurs est gal au produit de lautre par un rel : on dit aussi que les deux vecteurs
sont colinaires.
Une droite vectorielle est un espace vectoriel contenant des vecteurs non nuls, dans
lequel tous les vecteurs sont colinaires entre eux. Dans une droite vectorielle tout
vecteur non nul constitue une base. Soit D une droite vectorielle et ~ une base de D.
Pour tout vecteur ~u de D, il existe un rel x unique tel que ~u = x~.
Un plan vectoriel est un espace vectoriel contenant deux vecteurs non colinaires, et
dans lequel tout vecteur est combinaison linaire de ces deux vecteurs. Soit P un plan
vectoriel. Tout couple de vecteurs de P non colinaires est une base du plan vectoriel.
Soit (~, ~) une base de P . tout vecteur ~u de P correspond un couple unique de rels
(x, y) tel que
~u = x~ + y~ .
Les deux rels x, y sont les coordonnes du vecteur ~u dans la base (~, ~).
1
Laddition et la multiplication des vecteurs se traduisent par les mmes oprations

sur les coordonnes.
Proposition 1. Soit (~, ~) une base du plan vectoriel. Soient ~u et ~v deux vecteurs,
dont les coordonnes respectives dans la base (~, ~) sont (xu , yu ) et (xv , yv ). Soient et
deux rels quelconques. Les coordonnes du vecteur ~u + ~v dans la base (~, ~) sont
(xu + xv , yv + yv ).
~u + ~v = (xu + xv )~ + (yu + yv )~ .
Soit E un espace vectoriel. Un espace affine E est un ensemble de points. On suppose

dfinie une application de E E vers E, qui un couple (A, B) associe un vecteur, not
AB. Voyez le couple (A, B) comme une localisation dans lespace affine du vecteur, A
tant lorigine et B lextrmit. Au sens de laddition des vecteurs, la relation suivante,
dite relation de Chasles, est vraie pour tous points A, B, C de lespace affine E.

AB + BC = AC .

Si de plus pour tout A, lapplication de E vers E qui B associe AB est bijective, on
dit que lespace vectoriel E et lespace affine E sont associs, ou bien que E est dirig
par E.

Lorsque AB = ~u, on crit :
B = A + ~u ,
malgr le risque de confusion avec laddition des vecteurs. Cet abus de notation sera
justifi plus loin.
Soit A un point dun espace affine E, ~u un vecteur non nul de E, et B = A + ~u.

La droite affine passant par A et B est lensemble des points M tels que AM = ~u,
quand parcourt R.
D = { M = A + ~u , R } .

Le segment [A, B] est lensemble des points M tels que AM = ~u, quand
parcourt lintervalle [0, 1].
[A, B] = { M = A + ~u , [0, 1] } .

Le milieu du segment [A, B] est le point M tel que AM = (1/2)~u.
1
M = A + ~u .
2
2
La droite vectorielle
D = { ~u , R } ,
est associe la droite affine
D = {A + ~u , R } .
Le plan vectoriel
P = { ~u + ~v , (, ) R2 } ,
est associ au plan affine
P = {A + (~u + ~v ) , (, ) R2 } .
Dans le plan, deux droites affines sont diriges par une mme droite vectorielle si
et seulement si elles sont parallles (dintersection vide) ou confondues. Par un point
donn, passe une unique droite dont un vecteur directeur est donn, et donc une unique
parallle une droite donne : cest le fameux cinquime postulat dEuclide.
Il est possible de choisir une mme origine O pour les reprsentants de tous les

vecteurs : chaque vecteur ~u on associe alors lunique point A tel que OA = ~u. On
dfinit ainsi une bijection de lensemble des vecteurs vers lensemble des points.

Si ~u = AB, la relation de Chasles justifie la notation B = A + ~u, puisqualors

OB = OA + AB = OA + ~u ,
au sens de laddition des vecteurs.

La donne dune origine O et dune base de lespace vectoriel E constitue un repre
de lespace affine associ : tout point A de E est repr de faon unique par les coor-

donnes du vecteur OA dans la base. Par exemple si le plan affine P est muni dun
repre (O,~, ~), tout point A du plan correspond le couple unique de rels (x, y) qui

sont les coordonnes du vecteur OA dans la base (~, ~).
1.2 Espaces vectoriels

Nous donnons ici, sans dmonstrations, un rsum (trop) rapide de la thorie des
espaces vectoriels de dimension finie. Ces notions seront reprises en dtail dans un autre
chapitre.
Un espace vectoriel est un ensemble sur lequel sont dfinies ;
une addition interne (on peut ajouter entre eux deux lments de lensemble),
une multiplication externe (on peut multiplier un lment de lensemble par un
nombre rel).
Ces deux oprations doivent vrifier certaines proprits de compatibilit qui sont lis-
tes dans la dfinition 1. Pour la multiplication externe, lensemble des rels peut tre
remplac par nimporte quel ensemble de nombres muni dune addition et dune mul-
tiplication (par exemple C), sans changer aucun des noncs qui suivent.
3
Dfinition 1. Soit E un ensemble non vide. On dit que E est un espace vectoriel sur
R si E est muni dune addition et dune multiplication externe vrifiant les proprits
suivantes. (
E E E
Addition :
(~v , w)
~ 7 ~v + w ~
1. Associativit : ~u, ~v , w
~ E , ~u + (~v + w)~ = (~u + ~v ) + w
~
2. lment neutre : ~e E , ~v E , ~v + ~e = ~e + ~v = ~v
3. Oppos : ~v E , ~v 0 E , ~v + ~v 0 = ~v 0 + ~v = ~e
4. Commutativit : ~v , w ~ E , ~v + w
~ =w ~ + ~v
Ces proprits font de (E, +) un groupe commutatif.
(
R E E
Multiplication externe :
(, ~v ) 7 ~v
5. Associativit : , R , ~v E , ( ~v ) = () ~v
6. lment neutre : ~v E , 1 ~v = ~v
7. Distributivit (1) : , R , ~v E , ( + ) ~v = ~v + ~v
8. Distributivit (2) : R , ~v , w
~ E , (~v + w)
~ = ~v + w ~
En utilisant les proprits de la dfinition, on dmontre que :
1. le produit par le rel 0 dun vecteur ~v quelconque est llment neutre pour
laddition :
~v E , 0 ~v = ~e ,
2. le produit par le rel 1 dun vecteur ~v quelconque est son oppos pour laddition :
~v E , ~v + (1) ~v = ~e .
En consquence, on note ~0 llment neutre pour laddition (quon appelle le vecteur
nul) et ~v loppos de ~v .
Lexemple fondamental est lensemble des n-uplets de rels :
Rn = { (x1 , . . . , xn ) , x1 , . . . , xn R } .
Lensemble des n-uplets de rels (couples pour n = 2, triplets pour n = 3, . . . ), est
muni de laddition et de la multiplication par un rel, coordonne par coordonne.
Addition : (1, 2, 3, 4) + (3, 1, 2, 2) = (4, 1, 1, 6)
Multiplication externe : (2)(3, 1, 2, 2) = (6, 2, 4, 4)
Le singleton contenant seulement le vecteur nul est un espace vectoriel particulier, dont
on convient quil est de dimension 0. Tous les espaces vectoriels considrs dans la suite
sont supposs contenir au moins un vecteur non nul.
La notion de combinaison linaire, que nous avons rappele dans le cas de deux
vecteurs, est loutil de base des espaces vectoriels. Dans tout ce qui suit, n dsigne
un entier strictement positif. Une combinaison linaire de n vecteurs se dfinit comme
suit.
4
Dfinition 2. Soient ~u1 , . . . , ~un n vecteurs dans un espace vectoriel. On appelle com-
binaison linaire des vecteurs ~u1 , . . . , ~un tout vecteur scrivant :
n
X
i ~ui = 1~u1 + + n~un ,
i=1
o 1 , . . . , n sont des rels.
Un sous-espace dun espace vectoriel E est un sous-ensemble qui est lui-mme un

espace vectoriel pour les oprations de E. Pour quun sous-ensemble soit un sous-
espace, il est ncessaire et suffisant quil contienne toutes les combinaisons linaires
dun nombre quelconque de ses vecteurs.
Dfinition 3. Soit E un espace vectoriel, F un sous-ensemble de E. On appelle sous-

espace engendr par F lensemble des combinaisons linaires de vecteurs de F .
Tout sous-espace contenant F , contient ncessairement le sous-espace engendr par

F.
Dfinition 4. Soit E un espace vectoriel, ~u1 , . . . , ~un n vecteurs de E.

1. On dit que (~u1 , . . . , ~un ) est une famille gnratrice de E si le sous-espace vectoriel
quelle engendre est gal E lui-mme.
n
~v E , (1 , . . . , n ) Rn ,
X
~v = i ~ui
i=1
2. On dit que E est de dimension finie sil est engendr par une famille finie de
vecteurs. Un sous-espace dun espace vectoriel de dimension finie, est lui-mme
de dimension finie.
3. On dit que (~u1 , . . . , ~un ) est une famille libre si la seule combinaison linaire nulle
a tous ses coefficients nuls.
n
i ~ui = ~0 = (1 = . . . = n = 0)
X
i=1
Une famille qui nest pas libre est dite lie.

4. On dit que (~u1 , . . . , ~un ) est une base de E si cest une famille la fois gnratrice
et libre.
Deux vecteurs lis sont colinaires, trois vecteurs lis sont dits coplanaires.
Rappelons que deux vecteurs ~u et ~v sont colinaires si et seulement sil existe un
nombre rel tel que ~u = ~v ou ~v = ~u. Plus gnralement, si n 2, une famille
(u1 , . . . , un ) est lie si et seulement sil existe i {1, . . . , n} tels que ui soit combinaison
linaire de la famille (u1 , . . . , ui1 , ui+1 , . . . , un ).
5
Thorme 1. Dans un espace vectoriel de dimension finie, contenant des vecteurs non
nuls, il existe une infinit de bases et toutes les bases ont le mme cardinal.
Par dfinition, le nombre dlments commun de toutes les bases est la dimension
de lespace.
Les coordonnes dun vecteur sont dfinies grce au rsultat suivant.
Thorme 2. Soit E un espace vectoriel de dimension n et (~u1 , . . . , ~un ) une base de
E. Pour tout ~v E, il existe un unique n-uplet de rels (x1 , . . . , xn ) tel que :
n
X
~v = xi~ui .
i=1
Les rels x1 , . . . , xn sont les coordonnes de ~v dans la base (~u1 , . . . , ~un ).

Le n-uplet (x1 , . . . , xn ) est un lment de lespace vectoriel Rn . Dans Rn , la base la
plus naturelle est constitue des n-uplets dont une seule coordonne vaut 1, les autres
tant nulles.
(1, 0, . . . , 0) , (0, 1, . . . , 0) , . . . , (0, 0, . . . , 1) .
On appelle cette base, la base canonique. Constatez avec soulagement que les coordon-
nes du n-uplet (x1 , . . . , xn ) dans la base canonique sont les n rels x1 , . . . , xn .
1.3 Dterminants
Dans cette section, nous dfinissons la notion de dterminant, puis nous en d-
duisons un critre pratique pour reconnatre une base, dans un espace vectoriel de
dimension 2 ou 3. Nous commenons par la dimension 2.
Dfinition 5. Soit E un espace vectoriel de dimension 2 et soit B = (~, ~ ) une base de
E. Soient ~u = x1~ + y1~ et ~v = x2~ + y2~ des lments de E. On appelle dterminant
de (~u, ~v ) dans la base B le nombre rel :

x x2
1
DetB (~u, ~v ) = = x1 y 2 y 1 x2 .
y1 y2

Proposition 2. Soit B = (~, ~ ) une base de E. Le dterminant vrifie les assertions

suivantes :
a) Pour tout vecteur ~u de E,
DetB (~u, ~u) = 0 .
b) Pour tous vecteurs ~u, ~v de E,
DetB (~u, ~v ) = DetB (~v , ~u) .
6
c) Soient ~u, ~v et w
~ des lments de E, et des nombres rels.
DetB (~u, ~v + w)
~ = DetB (~u, ~v ) + DetB (~u, w),
~
DetB (~u + ~v , w)
~ = DetB (~u, w)
~ + DetB (~v , w);
~
d) Si B 0 = (~0 , ~0 ) est une base de E, alors :
DetB (~u, ~v ) = DetB0 (~u, ~v ) DetB (~0 , ~0 ) .
Dmonstration : Soient x1 et y1 deux rels.

x x1
1
= x1 y 1 y 1 x1 = 0 .
y1 y1

Donc, pour tout ~u de E, DetB (~u, ~u) = 0, ce qui dmontre a). De mme, la relation

x x1 x x
2 1 2
= x2 y1 y2 x1 =
y2 y1 y1 y2

entrane lassertion b).

Soient x1 , x2 , x3 , y1 , y2 , y3 , et des nombres rels. Lassertion c) dcoule des
galits :

x
1 x2 + x3
= x1 (y2 + y3 ) y1 (x2 + x3 )
y1 y2 + y3

= (x1 y2 y1 x2 ) + (x1 y3 y1 x3 )

x x x x
1 2 1 3
= + .
y1 y2 y1 y3
Reprenons les notations de lassertion d). Soient x01 , y10 (resp. x02 , y20 ) les coordonnes
de ~u (resp. ~v ) dans la base B 0 .
~u = x01~0 + y10 ~0 et ~v = x02~0 + y20 ~0 .
En appliquant c), b) et a) on obtient :
DetB (~u, ~v ) = DetB (x01~0 + y10 ~0 , x02~0 + y20 ~0 )

= x01 DetB (~0 , x02~0 + y20 ~0 ) + y10 DetB (~0 , x02~0 + y20 ~0 )
= x01 y20 DetB (~0 , ~0 ) + y10 x02 DetB (~0 ,~0 )
= DetB0 (~u, ~v ) DetB (~0 , ~0 ) .

Corollaire 1. Soit B = (~, ~ ) une base de E. Pour tous ~u, ~v de E, DetB (~u, ~v ) = 0 si
et seulement si ~u et ~v sont colinaires.
7
Dmonstration : Si ~u et ~v sont colinaires, alors il existe R tel que ~u = ~v ou

~v = ~u. Dans les deux cas, il rsulte des assertions a) et c) de la proposition que
DetB (~u, ~v ) = 0.
Si ~u et ~v ne sont pas colinaires, alors la famille B 0 = (~u, ~v ) est une base de E. Par
la relation d), on obtient que :

1 0
DetB0 (~, ~)DetB (~u, ~v ) = DetB (~, ~) = =1.

0 1

Par consquent, DetB (~u, ~v ) 6= 0.
Passons maintenant la dimension 3. Soit E un espace vectoriel de dimension 3

(par exemple E = R3 ). Soient ~u, ~v et w~ des vecteurs de E. La famille (~u, ~v , w)
~ est lie
si et seulement si les trois vecteurs sont coplanaires, ou encore si et seulement si un de
ces vecteurs est une combinaison linaire des deux autres.
Dfinition 6. Soit B = (~, ~, ~k) une base de lespace vectoriel E. Soient ~u1 , ~u2 et ~u3
des vecteurs de E. Pour i {1, 2, 3}, on note (xi , yi , zi ) des coordonnes de ~ui dans la
base B. On appelle dterminant de (~u1 , ~u2 , ~u3 ) dans la base B le nombre rel :

x x2 x3
1
DetB (~u1 , ~u2 , ~u3 ) = y1 y2 y3

z1 z2 z3
= x1 y2 z3 + x2 y3 z1 + x3 y1 z2 z1 y2 x3 z2 y3 x1 z3 y1 x2

y y x x x x
2 3 2 3 2 3
= x1 y1 + z1
z2 z3 z2 z3 y2 y3
Pour calculer le dterminant de trois vecteurs, on peut utiliser la rgle de Sarrus : on

rcrit les deux premires lignes du dterminant en dessous de celui-ci, puis on effectue
tous les produits en diagonale. On affecte du signe + les diagonales descendantes, du
signe les diagonales montantes, et on ajoute le tout (figure 2). Par exemple :

1 2 3

2 1 1
= +(2) + (12) + (+6) (9) (2) (+8) = 5
3 2 2

Proposition 3. Soit B = (~, ~, ~k) une base de lespace vectoriel E. Le dterminant de

trois vecteurs de E vrifie les assertions suivantes :
a) Soient ~u et ~v des lments de E.
DetB (~u, ~u, ~v ) = DetB (~u, ~v , ~u) = DetB (~u, ~v , ~v ) = 0.
b) Soient ~u, ~v et w
~ des lments de E.
~ = DetB (~v , ~u, w)
DetB (~u, ~v , w) ~ = DetB (~v , w,
~ ~u).
8
z1 y2 x3
x1 x2 x3 x1 z2 y3
y1 y2 y3
y1 x2 z3
z1 z2 z3
x1 x2 x3 + x1 y2 z3
y1 y2 y3 + y1 z2 x3
+ z1 x2 y3
Figure 2 Rgle de Sarrus.
c) Soient ~u, ~v , w
~ et ~x des lments de E, et des nombres rels. Les relations
suivantes sont vraies.
DetB (~u + ~v , w,
~ ~x) = DetB (~u, w,
~ ~x) + DetB (~v , w,
~ ~x)
DetB (~u, ~v + w,~ ~x) = DetB (~u, ~v , ~x) + DetB (~u, w,
~ ~x)
DetB (~u, ~v , w
~ + ~x) = DetB (~u, ~v , w)
~ + DetB (~u, ~v , ~x) .
d) Si B 0 = (~0 , ~0 , ~k 0 ) est une base de E, alors pour tout triplet (~u, ~v , w) ~ de vecteurs
de E,
DetB (~u, ~v , w) ~ DetB (~0 , ~0 , ~k 0 ) .
~ = DetB0 (~u, ~v , w)
Dmonstration : Ces assertions se montrent par des calculs lmentaires comme dans
le cas du dterminant de deux vecteurs.
Corollaire 2. Soit B = (~, ~, ~k) une base de E. Pour tout triplet (~u, ~v , w)
~ de vecteurs
de E, DetB (~u, ~v , w)
~ = 0 si et seulement si les vecteurs ~u, ~v et w
~ sont coplanaires.
1.4 Espaces affines

Passons maintenant la dfinition dun espace affine.
Dfinition 7. Soit E un espace vectoriel sur R. On appelle espace affine de direction
E un ensemble E non vide, muni dune application
E E E

(A, B) 7 AB
telle que :
9

1. pour tout A E, lapplication qui B associe AB est bijective : pour tout ~u E,

il existe un unique B E, tel que AB = ~u. On le note B = A + ~u ;
2. la relation de Chasles est vrifie.

A, B, C E , AB + BC = AC .
Soient A, C deux points de E, ~u un vecteur de E. Notons B = A + ~u et D = C + ~u.

Les couples de points (A, B) et (C, D) sont dits quipollents : les 4 points A, B, D, C
forment un paralllogramme (ses diagonales se coupent en leur milieu : figure 3).
A
D
Figure 3 Couples de points quipollents.
La relation dquipollence est une relation dquivalence sur lensemble E E des

couples de points de lespace affine. tout vecteur ~u de E correspond une classe
dquivalence de couples et une seule :
~u {(A, B) E E , B = A + ~u } .
Ceci dfinit une bijection entre lensemble quotient de E E par la relation dquipol-
lence, et lespace vectoriel associ E.
tout vecteur correspond une classe dquivalence de couples de points quipol-

lents. Etant donn un couple de points (A, B), le vecteur AB peut donc tre interprt
comme la classe dquivalence de (A, B) pour la relation dquipollence.
1.5 Combinaisons linaires et barycentres

Soit E un espace vectoriel, et E un espace affine de direction E. Rappelons que la
combinaison linaire des n vecteurs ~u1 , . . . , ~un affects des coefficients rels 1 , . . . , n
est le vecteur : n X
i ~ui .
i=1
10
Passons de lespace vectoriel lespace affine, cest--dire des vecteurs aux points.
Ds quune origine O a t choisie, on peut associer n points A1 , . . . , An et n rels

1 , . . . , n le point M tel que OM soit la combinaison linaire :
n
X
OM = i OAi .
i=1
La proposition suivante montre que ce point M ne dpend pas du choix de lorigine,

quand la somme des coefficients vaut 1.
Proposition 4. Soient A1 , . . . , An n points dans un espace affine E, 1 , . . . , n n rels
tels que 1 + + n = 1. Soit O un point de E, et M le point dfini par :
n
X
OM = i OAi .
i=1
Pour tout point O0 de E,

X n
O0 M = i O0 Ai .
i=1
Dmonstration : Il suffit dutiliser la relation de Chasles :

n n
i O0 Ai = i (O0 O + O0 Ai )
X X
i=1 i=1
n 0 n
! !
X X
= i OO+ i OAi
i=1 i=1

= O0 O + OM = O0 M .

Vous avez sans doute reconnu dans la proposition prcdente la notion de bary-
centre dune famille de points affects de coefficients (ou pondrations). Elle vous a t
prsente comme suit.
Dfinition 8. Soient A1 , . . . , An n points dans un espace affine E, 1 , . . . , n n rels
tels que 1 + + n 6= 0. On appelle barycentre des points A1 , . . . , An affects des
pondrations 1 , . . . , n le point M tel que pour tout point O :
n
!
1 X
OM = P i OAi . (1)
i i=1
En remplaant O par M dans (1), on obtient

n

i M Ai = ~0 .
X
i=1
11
Le barycentre M est le seul point de lespace tel que la combinaison linaire des vecteurs
M Ai affects des coefficients i soit nulle.

Quand les coefficients i sont tous gaux, on parle disobarycentre. En physique, la
notion de barycentre se rfre des coefficients tous positifs, que lon comprend comme
des masses places aux points A1 , . . . , An . Le barycentre, ou centre de gravit, est un
point dquilibre pour lensemble des masses. Insistons sur le fait que dans la dfinition
8, les coefficients sont de signe quelconque.
Proposition 5. Soient A, B deux points distincts dun espace affine. La droite affine
passant par A et B est lensemble des barycentres de A et B, affects de coefficients
et tels que + 6= 0.
Dmonstration : La droite passant par A et B peut tre vue comme la droite passant

par A de vecteur directeur AB :

D = { A + AB , R } .
Soit O une origine quelconque. Le point M appartient la droite D si et seulement si

OM = OA + AB = (1 )OA + OB ,
pour un certain rel . Donc M est le barycentre de A et B affects des coefficients

(1 ) et . Rciproquement, si M est le barycentre de A et B affects des coefficients
1 et 2 , alors :
1
OM = (1 OA + 2 OB)
1 + 2
1
= (1 OA + 2 (OA + AB))
1 + 2
2
= OA + AB .
1 + 2

De faon analogue, lensemble des barycentres de 3 points est le plan passant par
ces 3 points.
Proposition 6. Soient A, B, C trois points non aligns dun espace affine. Le plan
affine contenant A, B et C est lensemble des barycentres de A, B, C affects de
coefficients , , tels que + + 6= 0.
1.6 Droites et plans

Cette section rappelle les quations des droites et des plans. Nous commenons par
la dimension 2, et considrons un plan affine P et son plan vectoriel associ P .
12
Soit A un point de P et ~u un vecteur non nul de P . La droite de vecteur directeur

~u passant par A est lensemble des points A + ~u, o parcourt R.
D = {A + ~u , R} .
Supposons le plan muni dun repre (O,~, ~). Notons xA et yA les coordonnes de A
dans le repre (O,~, ~), xu et yu les coordonnes de ~u dans la base (~, ~). Les coordonnes
x, y de M = A + ~u sont : (
x = xA + xu
(2)
y = yA + yu .
Les quations ci-dessus sont les quations paramtriques de la droite D. On obtient son
quation implicite (on dit aussi cartsienne ) en notant que le point M appartient
~ et ~u sont colinaires, ce qui se traduit,
la droite D si et seulement si les vecteurs AM
laide du dterminant par lquation :

x x xu
A
=0,

y yA yu

cest--dire :
yu x xu y (yu xA xu yA ) = 0 .
La proposition suivante montre que, rciproquement, toute quation de ce type dfinit
bien une droite.
Proposition 7. Soient a et b deux rels, dont un au moins est non nul. Pour tout rel
c lensemble des points de coordonnes (x, y) telles que :
ax + by + c = 0 , (3)
est une droite dont un vecteur directeur a pour coordonnes (b, a).
Dmonstration : Sans perte de gnralit, nous pouvons supposer a 6= 0. Soit A un

point dont les coordonnes (xA , yA ) vrifient (3) (par exemple xA = c/a et yA = 0).
Nous devons dmontrer que, pour tout point M dont les coordonnes vrifient (3), le

vecteur AM et le vecteur ~u de coordonnes (b, a) sont colinaires. Ecrivons :
ax +by +c = 0
axA +byA +c = 0 ,
et soustrayons les deux quations. On obtient :
a(x xA ) + b(y yA ) = 0 .

Les coordonnes du vecteur AM sont (x xA , y yA ). Posons = a et = y yA .
On vrifie que
(x xA ) + (b) = 0 et (y yA ) + (a) = 0 ,
13
soit

AM + ~u = ~0 .

Rciproquement, soit M un point tel que AM et ~u sont colinaires. Soient x et y les
coordonnes de M : il existe un rel tel que,
x xA = b et y yA = a .
Ceci entrane :
a(x xA ) + b(y yA ) = 0 ,
et donc :
ax + by + c = 0 .

En dimension 3 un plan est dtermin par un point A et deux vecteurs ~u, ~v non
colinaires.
P = { A + ~u + ~v , , R } .
Soit (O,~, ~, ~k) un repre de lespace. Les trois coordonnes dun point du plan P
scrivent :
x = xA + xu + xv

y = yA + yu + yv (4)

z = zA + zu + zv .
Ce sont les quations paramtriques du plan P. Pour obtenir son quation implicite, il
faut liminer et dans les quations paramtriques. Cest moins facile quen dimen-
sion 2. Lexpression des trois coefficients a, b, c ci-dessous peut paratre arbitraire, mais
vous y reconnatrez en fait trois dterminants. Nous expliquerons plus loin leur sens
mathmatique.
a = yu zv yv zu , b = zu xv zv xu , c = xu yv xv yu . (5)
Lemme 1. Pour tous rels xu , yy , zu , xv , yv , zv , si a, b, c sont dfinis par (5), alors :
axu + byu + czu = 0 et axv + byv + czv = 0 . (6)
Dmonstration : La vrification, laisse au lecteur, est un peu fastidieuse, mais elle ne

prsente aucune difficult.
Multiplions les quations paramtriques (4) respectivement par a, b et c, et ajoutons
les trois : daprs le lemme 1 et disparaissent et on obtient :
ax + by + cz (axA + byA + czA ) = 0 .
Rciproquement, toute quation du type ax + by + cz + d = 0 dfinit bien un plan, que

nous caractriserons la section suivante.
14
En dimension 3, les quations paramtriques de la droite
D = { A + ~u , R } ,
sont sans surprise :

x = xA + xu
y = yA + yu (7)

z = zA + zu .
Pour liminer et obtenir des quations implicites, nous pouvons appliquer la technique
dj utilise en dimension 2, par exemple aux deux premires quations, ensuite aux
deux dernires. Voici le rsultat.
(
yu x xu y (yu xA xu yA ) = 0
zu y yu z (zu yA yu zA ) = 0 .
Les deux quations obtenues sont les quations de deux plans dont la droite D est
lintersection. Evidemment elles nont rien duniques. Il existe une infinit de manires
dexprimer une droite comme intersection de deux plans.
1.7 Produit scalaire et orthogonalit

Commenons par la dfinition dun produit scalaire.
Dfinition 9. Soit E un espace vectoriel. Soit S une application de E E dans R.
On dit que lapplication S est un produit scalaire si elle est :
1. symtrique : pour tous vecteurs ~u, ~v ,
S(~u, ~v ) = S(~v , ~u) ;
2. bilinaire : pour tous vecteurs ~u, ~v , w

~ et tous rels , ,
S(~u, (~v + w))

~ = S(~u, ~v ) + S(~u, w)
~
S((~u + ~v ), w)
~ = S(~u, w)~ + S(~v , w)
~ ;
3. dfinie positive : pour tout vecteur ~u,
S(~u, ~u) 0 et S(~u, ~u) = 0 ~u = ~0 .
Observez que si S est symtrique, et linaire par rapport lune des composantes,
elle est ncessairement linaire par rapport lautre.
Soit E un espace vectoriel de dimension n, muni dune base (~u1 , . . . , ~un ). Soient ~u
et ~v deux vecteurs de E.
n
X n
X
~u = xi ~ui et ~v = yi ~ui
i=1 i=1
15
On appelle produit scalaire de ~u et ~v relatif la base (~u1 , . . . , ~un ), et on note ~u ~v la

somme des produits deux deux des coordonnes.
n
X
~u ~v = xi y i .
i=1
Il est immdiat de vrifier que le produit scalaire relatif une base, vrifie bien la
dfinition 9. On dmontre que si S est un produit scalaire au sens de la dfinition 9,
sur un espace de dimension finie, alors il existe une base B telle que S soit le produit
scalaire relatif la base B. En dimension finie, quitte changer de base, on se ramne
donc toujours au cas o le produit scalaire est la somme des produits deux deux des
coordonnes. Nous noterons donc dsormais ~u ~v le produit scalaire de deux vecteurs,
comme vous en avez lhabitude.
Dans un espace vectoriel, la donne dun produit scalaire induit les notions dor-
thogonalit, et de norme.
Dfinition 10. Soit E un espace vectoriel muni dun produit scalaire.

1. On dit que deux vecteurs ~u et ~v de E sont orthogonaux si leur produit scalaire
est nul.
2. On appelle norme dun vecteur ~u de E, et on note k~uk la racine carre du produit
scalaire de u par lui mme.
k~uk = ~u ~u .
Comme consquence du fait quun produit scalaire est dfini positif, la norme dun
vecteur ne peut tre nulle que si ce vecteur est nul. De mme, si deux vecteurs sont la
fois orthogonaux et colinaires alors lun dentre eux est le vecteur nul ; ou de manire
quivalente, si deux vecteurs non nuls sont orthogonaux, ils ne sont pas colinaires.
Considrons un espace vectoriel de dimension n, muni dune base (~u1 , . . . , ~un ) et
notons ~u ~v le produit scalaire relatif cette base.
Dans la base (~u1 , . . . , ~un ), le vecteur ~ui a toutes ses coordonnes nulles, sauf la i-
ime qui vaut 1. On vrifie donc immdiatement que ~ui a pour norme 1 et que ~ui et ~uj
sont orthogonaux pour i 6= j. On dit que la base est orthonorme.
Dfinition 11. Soit E un espace vectoriel de dimension n, muni dun produit scalaire.
On dit que la base (~u1 , . . . , ~un ) est orthonorme, si les vecteurs sont orthogonaux deux
deux, et chacun deux est de norme 1.
(
0 si i 6= j
i, j = 1, . . . , n , ~ui ~uj =
1 si i = j .
Tel que nous lavons dfini, le produit scalaire semble dpendre de la base. La
proposition suivante montre que si on remplace la base initiale par une autre base
orthonorme, le produit scalaire garde la mme criture.
16
Proposition 8. Soient ~u et ~v deux vecteurs dun espace vectoriel E de dimension n,

et ~u ~v leur produit scalaire relatif la base (~u1 , . . . , ~un ). Soit (~u01 , . . . , ~u0n ) une autre
base orthonorme. Soient (x01 , . . . , x0n ) et (y10 , . . . , yn0 ) les coordonnes respectives de ~u
et ~v dans cette nouvelle base. Alors :
n
x0i yi0 .
X
~u ~v =
i=1
Dmonstration : En utilisant la bilinarit :

n
! n
x0 ~u0 y 0 u~0j
X X
~u ~v = i i j
i=1
j=1
n n
x0i yj0 ~u0i ~u0j
X X
=
i=1 j=1
n
x0i yi0 ,
X
=
i=1
car puisque la base est orthonorme,
~u0i ~u0i = 1 et ~u0i ~u0j = 0 si i 6= j .

Voici un rsultat souvent utile, lingalit de Cauchy-Schwarz.
Thorme 3. Soit ~u et ~v deux vecteurs.
|~u ~v | k~uk k~v k , (8)
lgalit ayant lieu si et seulement si ~u et ~v sont colinaires.
Dmonstration : Soit x un rel quelconque. Calculons le produit scalaire du vecteur

x~u + ~v par lui-mme, en utilisant la bilinarit et la symtrie :
(x~u + ~v ) (x~u + ~v ) = x2 (~u ~u) + 2x(~u ~v ) + (~v ~v )
Cette expression est un polynme du second degr en x. Or pour tout x, il prend

une valeur positive ou nulle. Son discriminant ne peut pas tre strictement positif, car
sinon le polynme aurait deux racines relles entre lesquelles il prendrait des valeurs
ngatives. Ecrire que le discriminant est ngatif ou nul donne :
(~u ~v )2 (~u ~u) (~v ~v ) ,
soit
(~u ~v )2 k~uk2 k~v k2 ,
17
ce qui entrane (8). Lgalit a lieu si et seulement si le trinme admet une racine double
x, valeur pour laquelle x~u + ~v est le vecteur nul.
Passons maintenant lespace affine. Rappelons quun repre est constitu dune
origine O et dune base de lespace vectoriel associ. Dire quon munit lespace dun
repre orthonorm, cest supposer implicitement quon dispose dun produit scalaire,
pour lequel les vecteurs de la base sont orthogonaux deux deux, et de norme 1. Ceci
permet de dfinir la distance euclidienne.
Dfinition 12. Soit E un espace affine, muni dun repre orthonorm. On appelle
distance euclidienne de deux points A et B, et on note d(A, B), la norme du vecteur
AB.
Vous apprendrez plus tard quil existe de multiples manires de dfinir une dis-
tance dans un espace. Pour linstant, nous nutiliserons que celle-ci, et nous omettrons
ladjectif euclidienne .
Lingalit de Cauchy-Schwarz montre que le rapport entre le produit scalaire de
deux vecteurs non nuls et le produit de leurs normes est compris entre 1 et 1. Ce
rapport est interprt comme le cosinus de langle que forment les deux vecteurs.

OA OB = d(O, A)d(O, B) cos(AOB)
[ . (9)
Cette interprtation permet de retrouver tous les rsultats classiques de la gomtrie

plane ; par exemple le thorme suivant, dit thorme dAl-Kashi (figure 4).

Thorme 4. Soient A, B, C trois points du plan et langle des deux vecteurs AB,
AC.
d2 (B, C) = d2 (A, B) + d2 (A, C) 2d(A, B)d(A, C) cos() .
Le cas particulier o le triangle est rectangle en A (cos() = 0) est le thorme du
regrett Pythagore.
Dmonstration : La relation de Chasles donne :

BC = AC AB .
En utilisant la bilinarit du produit scalaire, on crit :

kBCk2 = (AC AB) (AC AB)

= kACk2 2(AB AC) + kABk2

= kACk2 2kABk kACk cos() + kABk2 .

Dfinir rigoureusement la notion dangle de deux vecteurs pose un problme de

choix dorientation. En dimension 2 les angles sont mesurs de 0 2, dans le sens
18
b
c
B C
a
Figure 4 Le thorme dAl-Kashi : a2 = b2 + c2 2bc cos().
trigonomtrique. En dimension 3, parler dangle dans un plan suppose quon a dfini

une orientation du plan, ce qui peut se faire si on a dfini une orientation de lespace,
et une orientation normale du plan.
Deux ensembles de vecteurs sont dits orthogonaux si tout vecteur de lun est or-
thogonal tout vecteur de lautre. Nous examinons le cas particulier de deux droites
vectorielles dans un plan. Observons que, du fait de la bilinarit, si deux vecteurs sont
orthogonaux, tout vecteur colinaire lun est orthogonal tout vecteur colinaire
lautre.
~u ~v = 0 = , R , (~u) (~v ) = (~u ~v ) = 0 .
Rciproquement, lensemble des vecteurs du plan, orthogonaux un vecteur donn est
une droite vectorielle.
Dfinition 13. On dit que deux droites du plan affine sont orthogonales (ou perpen-
diculaires) si tout vecteur directeur de lune est orthogonal tout vecteur directeur de
lautre.
La projection orthogonale utilise le fait quil existe une seule perpendiculaire une
droite donne passant par un point extrieur cette droite (figure 5).
Dfinition 14. Soit D une droite et A un point du plan, nappartenant pas D. on

appelle projection orthogonale de A sur D le point dintersection de D avec la droite
orthogonale D passant par A. On appelle distance du point A la droite D la distance
du point sa projection orthogonale sur la droite.
On tend cette dfinition de faon vidente aux points de D : la projection ortho-

gonale dun point de D sur D est le point lui-mme, et sa distance D est nulle. Le
thorme de Pythagore entrane que la distance dun point une droite est la plus
petite des distances de ce point un point de la droite. Dans le cas o la droite est
dfinie par une quation implicite, la distance dun point cette droite se calcule trs
simplement.
19
Proposition 9. Considrons le plan muni dun repre orthonorm (O,~, ~). Soit D la
droite dquation implicite ax + by + c = 0, et A le point de coordonnes (xA , yA ). La
distance du point A la droite D est :
|axA + byA + c|
.
a2 + b 2
Dmonstration : Si A D la distance est nulle, et la formule est vraie. Supposons

maintenant que le point A nappartienne pas la droite D (figure 5). Le vecteur
de coordonnes (a, b), que nous noterons ~n, est orthogonal au vecteur de coordonnes
(b, a), qui est un vecteur directeur de la droite (~n pour normal : un autre synonyme
dorthogonal). Notons H la projection orthogonale de A sur D. Tout point M de la
droite vrifie :

AM ~n = (HM HA) ~n = HA ~n ,

car HM et ~n sont orthogonaux. Comme HA et ~n sont colinaires, la valeur absolue de
leur produit scalaire est le produit des normes. On obtient donc :

|AM ~n| = kHAk k~nk .

Par dfinition, kHAk est la distance de A la droite, et k~nk = a2 + b2 . Il reste

valuer le produit scalaire de AM par ~n.

AM ~n = a(xM xA ) + b(xM xA ) = (axA + bxA + c) ,
car axM + bxM + c = 0. Do le rsultat.
A D
H
M
Figure 5 Projection orthogonale dun point sur une droite.
Les notions de projection orthogonale et de distance sont dfinies de la mme faon

en dimension 3. Soient deux vecteurs ~u et ~v , non colinaires, et P le plan vectoriel
quils engendrent.
P = { ~u + ~v , , R } .
Nous avons introduit la section prcdente les trois coefficients :
a = yu zv yv zu , b = zu xv zv xu , c = xu y v xv y u .
20
Ce sont trois dterminants. Puisque ~u et ~v ne sont pas colinaires, la proposition 1

entrane que a, b, c ne sont pas tous les trois nuls. Les deux relations :
axu + byu + czu = 0 et axv + byv + czv = 0
montrent que le vecteur ~n de coordonnes (a, b, c) est orthogonal ~u et ~v (voir lemme

1). La bilinarit du produit scalaire entrane que ~n est orthogonal tout vecteur de
P . Rciproquement, tout vecteur orthogonal ~n est combinaison linaire de ~u et ~v , et
donc appartient P .
Proposition 10. Dans un espace affine de dimension 3, lensemble des points de

coordonnes x, y, z tels que :
ax + by + cz + d = 0 ,
est un plan affine, dont le plan vectoriel associ est lensemble des vecteurs orthogonaux
au vecteur ~n, de coordonnes (a, b, c).
Soit P un plan affine dans un espace de dimension 3, et A un point nappartenant

pas P. La projection orthogonale de A sur P est lintersection avec P de la droite
passant par A et de vecteur directeur ~n (la perpendiculaire P passant par A). La
distance dun point un plan dfini par une quation implicite se calcule par une
formule analogue celle de la proposition 9.
Proposition 11. Considrons un espace affine E de dimension 3, muni dun repre

orthonorm (O,~, ~, ~k). Dans ce repre, soit P le plan dquation implicite ax + by +
cz + d = 0, et A le point de coordonnes (xA , yA , zA ). La distance du point A au plan
P est :
|axA + byA + czA + d|
.
a2 + b 2 + c 2
1.8 Produit vectoriel

Nous utilisons nouveau les dterminants. La dfinition 5 semble dpendre du choix
dune base particulire. Nous ne considrons ici que des bases orthonormes. Observons
que DetB (~u, ~v ) est le produit scalaire du vecteur ~u par le vecteur ~v 0 , de coordonnes
(y2 , x2 ). Or ~v 0 est lun des deux vecteurs orthogonaux ~v , de mme norme que ~v .
La proposition 8 montre que le produit scalaire, et donc lorthogonalit et la norme ne
dpendent pas de la base orthonorme dans laquelle on crit les vecteurs. Ceci entrane
que le calcul de DetB0 (~u, ~v ) donnera soit le mme rsultat, soit loppos, si on exprime
les vecteurs dans une autre base orthonorme B 0 . Ceci permet de dfinir lorientation
du plan, partir dune seule base de rfrence. Nous supposons dsormais que le plan
est muni dune base orthonorme B, et nous omettons lindice B dans lcriture des
dterminants.
21
Dfinition 15. Soient ~u et ~v deux vecteurs non colinaires. On dit du couple (~u, ~v )
quil est une base directe si DetB (~u, ~v ) > 0.
Observons que si (~u, ~v ) est une base directe, alors (~v , ~u) ne lest pas, daprs le point
b) de la proposition 2.
La valeur du dterminant sinterprte gomtriquement grce la formule suivante,
qui se dduit immdiatement de (9).

Det(OA, OB) = d(O, A)d(O, B) sin(AOB)
[ .
On en dduit que la valeur absolue du dterminant est laire du paralllogramme de

sommets O, A, B, A + OB (figure 6).
B

O A
Figure 6 La valeur absolue du dterminant est laire du paralllogramme.
Nous avons dj rencontr des dterminants pour tablir lquation implicite dun
plan dans lespace.
Dfinition 16. Dans un espace affine de dimension 3 muni dun repre orthonorm,
considrons deux vecteurs ~u et ~v . On appelle produit vectoriel de ~u et ~v et on note
~u ~v , le vecteur de coordonnes a, b, c dfinies par :
a = yu zv yv zu , b = zu xv zv xu , c = xu y v x v y u .
Pour calculer le produit vectoriel ~u ~v , retenez que sa premire coordonne est le

dterminant des deux dernires coordonnes de ~u et ~v , puis crivez les deux coordonnes
suivantes en permutant deux fois circulairement x y z x.
Les proprits du produit vectoriel en dimension 3 rappellent celles du dterminant
en dimension 2.
Proposition 12.
1. Le produit vectoriel est chang en son oppos si on permute les deux vecteurs
~u, ~v E , ~u ~v = ~v ~u ;
22
2. le produit vectoriel est bilinaire
~u, ~v , w
~ E , , R ,
~u (~v + w)
~ = ~u ~v + ~u w
~;
(~u + ~v ) w
~ = ~u w
~ + ~v w
~;
3. Le produit vectoriel ~u~v est le vecteur nul si et seulement si ~u et ~v sont colinaires.
Nous avons dj observ que le vecteur ~u ~v est orthogonal ~u et ~v (lemme 1).
Sa norme est la surface du paralllogramme construit partir des deux vecteurs (cf.
figure 6).
Passons maintenant la dimension 3. Soit E un espace vectoriel de dimension 3
muni dune base orthonorme B = (~, ~, ~k). Nous continuons omettre lindice B dans
lcriture des dterminants. La proposition suivante consiste simplement crire la
dfinition 6 laide des produits scalaire et vectoriel.
Proposition 13. Soient ~u, ~v , w
~ trois vecteurs. Le dterminant de ~u, ~v , w
~ est :
~ = ~u (~v w)
Det(~u, ~v , w) ~ .
~ = ~u (~v w)
Lexpression Det(~u, ~v , w) ~ permet de donner une interprtation gom-
trique du dterminant en dimension 3, analogue la dimension 2 : la valeur absolue du

dterminant de 3 vecteurs OA , OB, OC est le volume du paralllpipde de sommets

O, A, B, C, A+OB, A+OC, B+OC, A+OB+OC (figure 7). Le signe est positif si les 3
vecteurs sont orients dans le sens direct (comme sur la figure 7), ngatif sil est orient
dans le sens indirect (rappelons que le dterminant change de signe si on permute 2
des 3 vecteurs). Le signe du dterminant permet donc dorienter une base quelconque,
par rapport une base de rfrence. Lorientation de la base de rfrence se fait selon
la rgle du bonhomme dAmpre, autrement nomm tire-bouchon de Maxwell.
Dfinition 17. Soit E un espace vectoriel de dimension 3, muni dune base (~, ~, ~k).
~ trois vecteurs non coplanaires. On dit du triplet (~u, ~v , w)
Soient ~u, ~v , w ~ quil est une
base directe si Det(~u, ~v , w)
~ > 0.
1.9 Systmes de coordonnes

En dimension 2, il faut voir un systme de coordonnes comme une application de
lensemble des couples de rels R2 (ou un de ses sous-ensembles) vers lensemble des
points du plan : un couple de rels lapplication associe un point du plan et un seul.
Moyennant le choix dun repre orthonorm (O,~, ~), lapplication qui un couple de
rels (x, y) associe le point A du plan tel que :

OA = x~ + y~ ,
23
O A
Figure 7 La valeur absolue du dterminant est le volume du paralllpipde.
est une application de R2 vers le plan. Cette application est bijective : tout point du
plan correspond un unique couple de rels.
De mme dans un espace de dimension 3 muni dun repre (O,~, ~, ~k), lapplication
qui un triplet de rels (x, y, z) associe le point A tel que :

OA = x~ + y~ + z~k ,
est une bijection de R3 vers lespace. Ces applications sont les systmes de coordonnes
cartsiennes.
On rencontre souvent en physique des situations o les calculs seffectuent plus sim-
plement en utilisant dautres systmes de coordonnes. Nous allons prsenter les plus
courants : les coordonnes polaires dans le plan, les coordonnes cylindriques et sph-
riques en dimension 3. Elles sont dfinies par rfrence aux coordonnes cartsiennes.
Les coordonnes polaires sont la traduction gomtrique de la forme trigonom-
trique des nombres complexes. Supposons le plan muni dun repre (O,~, ~). Voici lap-
plication qui aux coordonnes polaires associe les coordonnes cartsiennes (figure 8).
R+ [0, 2[ R2
(, ) 7 (x, y)
x = cos , y = sin .
Les rels et sont le module et largument de laffixe du point de coordonnes
cartsiennes (x, y) : est la distance de lorigine au point et est langle orient

entre le vecteur ~ et le vecteur A . Observons que lapplication ainsi dfinie nest pas
(tout fait) bijective : tout couple (x, y) a un antcdent unique, sauf (0, 0) qui a
pour antcdents tous les couples (0, ). Si on la restreint aux valeurs de strictement
positives, lapplication dfinie ci-dessus est bien une bijection de ]0, +[[0, 2[ vers
le plan priv de lorigine.
Les coordonnes cylindriques remplacent les deux premires des trois coordonnes
cartsiennes par les coordonnes polaires correspondantes, en conservant la troisime
(figure 9)
R+ [0, 2[R R3
(, , z) 7 (x, y, z)
x = cos , y = sin .
24
Figure 8 Coordonnes polaires dun point du plan.
Cette application nest toujours pas une bijection, puisque limage rciproque de (0, 0, z)
est lensemble des triplets de la forme (0, , z), [0, 2[.
y

x
Figure 9 Coordonnes cylindriques dun point de lespace.
Les coordonnes sphriques suivent la mme logique que les coordonnes polaires :
la premire des trois est la distance de lorigine au point. Les deux autres sont deux
angles, correspondant la longitude et la co-latitude terrestres (figure 10).
R+ [0, 2[[0, ] R3
(r, , ) 7 (x, y, z)
x = r sin cos , y = r sin sin , z = r cos .
Cette application nest pas plus bijective que les prcdentes (la latitude et la longitude
ne sont pas dfinies de faon unique au centre de la terre).
25
r
y

x
Figure 10 Coordonnes sphriques dun point de lespace.
2 Entranement
2.1 Vrai ou faux
Vrai-Faux 1. Soit ~u un vecteur non nul dans un espace vectoriel et A un point dun
espace affine associ. On pose B = A+~u et C = A~u. Parmi les affirmations suivantes,
lesquelles sont vraies, lesquelles sont fausses, et pourquoi ?

1. Les vecteurs AB et AC sont gaux.

2. Les vecteurs BA et AC sont gaux.

3. (A, AB, AC) est un repre affine.

4. (A, AB) est un repre affine de la droite passant par B et C.
5. Le point B est le milieu du segment [AC].
6. Le point B est un barycentre de A et C.
7. Le point A est lisobarycentre de B et C.
8. C = B + 2~u.

9. A = C + 12 CB.

10. AB = ~u + 2CA.
Vrai-Faux 2. Soient A, B, C trois points dun plan affine P. Parmi les affirmations
suivantes, lesquelles sont vraies, lesquelles sont fausses, et pourquoi ?

1. Si les vecteurs AB et AC forment une famille libre, alors (A, AB, AC) est un
repre de P.

2. Si B 6= C alors (A, AB, AC) est un repre de P.

3. Si (A, AB, AC) est un repre de P, alors (C, AB, AC) est un repre de P.

4. Si (A, AB, AC) est un repre de P, alors (C, BC, AB) est un repre de P.

5. (B, AB, BA) est un repre de P.
26

6. Si (A, AB, AC) est un repre de P, alors C est un barycentre de A et B.

7. (A, AB, AC) est un repre de P, si et seulement si C nest pas un barycentre
de A et B.
8. Lisobarycentre de A, B, C appartient une droite passant par C et le milieu
du segment [A, B].
9. Lisobarycentre de A, B, C appartient une droite passant par B et le milieu
du segment [A, B].
10. Lisobarycentre de A, B, C appartient la droite joignant B au milieu du

segment [A, B] si et seulement si (A, AB, AC) nest pas un repre de P.
Vrai-Faux 3. On note F lensemble des points M dun espace affine E de dimension

3 dont les coordonnes (x, y, z) dans un repre (O,~, ~, ~k) de E vrifient x + 2y + 3 =
0. Parmi les affirmations suivantes, lesquelles sont vraies, lesquelles sont fausses, et
pourquoi ?
1. F est une droite affine.
2. F contient le point O.
3. Si F contient un point M , alors il contient le point M + ~k.
4. ~k appartient lespace vectoriel associ F.
5. ~ + 2~ appartient au plan vectoriel associ F.
6. 2~ ~ 3~k appartient au plan vectoriel associ F.
7. (2~ ~, 3~k) est une base du plan vectoriel associ F.
8. (2~ ~ + 3~k, 4~ + 2~ 6~k) est une base du plan vectoriel associ F.
Vrai-Faux 4. On considre un espace vectoriel E, muni dun repre orthonorm. Soient

~u et ~v deux vecteurs de E. Parmi les affirmations suivantes, lesquelles sont vraies,
lesquelles sont fausses, et pourquoi ?
1. Si ~u et ~v sont orthogonaux, alors (~u, ~v ) est une famille libre dans E.
2. Si ~u et ~v sont colinaires, alors ~u ~v = k~uk k~v k.
3. Si k~uk = k~v k et ~u ~v = k~uk2 , alors ~u = ~v .
4. ~u (~u ~v ) = k~uk2 k~v k2
5. (~v ~u) (~u ~v ) = k~uk2 k~v k2
6. (~u + ~v ) (~u ~v ) = k~uk2 k~v k2
7. ~u + ~v et ~u ~v sont orthogonaux si et seulement si k~uk = k~v k.
8. Si k~u ~v k = 0 alors k~uk = k~v k = 0.
9. Si k~u + ~v k = 0 alors k~uk = k~v k.
27
Vrai-Faux 5. Dans un espace affine euclidien de dimension 3, que lon munit dun repre
orthonorm (O,~, ~, ~k), on note P le plan dquation implicite 2x + 2y + z + 3 = 0, et H
la projection orthogonale de O sur P. Parmi les affirmations suivantes, lesquelles sont
vraies, lesquelles sont fausses, et pourquoi ?
1. O P.
2. le vecteur de coordonnes (2, 2, 1) appartient lespace vectoriel associ P.
3. Toute droite de vecteur directeur (2, 2, 1) est perpendiculaire P.
4. H est le point de coordonnes (2, 2, 1).

5. La distance de O P est la norme du vecteur OH.
6. La distance de O P vaut 1.
7. Le vecteur de coordonnes (1, 0, 2) appartient lespace vectoriel associ
P.
8. La distance de O la droite passant par H dont un vecteur directeur a pour
coordonnes (1, 0, 2) est strictement suprieure 1.
9. Il existe une droite dans P telle que la distance de O cette droite soit
strictement infrieure 1.
Vrai-Faux 6. On considre deux plans P1 et P2 dans un espace affine de dimension 3.

On note P1 et P2 les plans vectoriels associs. Parmi les affirmations suivantes, lesquelles
sont vraies, lesquelles sont fausses, et pourquoi ?
1. Lintersection de P1 et P2 est une droite affine si et seulement si P1 et P2 sont
distincts.
2. Si P1 P2 = , alors la distance P2 dun point M de P1 ne dpend pas de
M.
3. Il se peut que tout vecteur de P1 soit orthogonal tout vecteur de P2 .
4. Si P2 contient lensemble des vecteurs orthogonaux P1 alors P1 et P2 sont
parallles ou confondus.
5. Si P2 contient lensemble des vecteurs orthogonaux P1 alors P1 contient
lensemble des vecteurs orthogonaux P2 .
6. Sil existe deux droites perpendiculaires, une dans P1 , lautre dans P2 , alors
P1 contient lensemble des vecteurs orthogonaux P2 .
7. Si P1 P2 6= , alors pour toute droite de P1 , il existe une droite de P2 , telle
que ces deux droites sont perpendiculaires.
Vrai-Faux 7. Soient ~u et ~v deux vecteurs quelconques dans un espace vectoriel de

dimension 3. Parmi les affirmations suivantes, lesquelles sont vraies, lesquelles sont
fausses, et pourquoi ?
1. ~u (~u ~v ) = 0.
28
2. Si (~u ~v ) (~u ~v ) = ~0 alors ~u = ~v .

3. Si k~u ~v k = k~uk k~v k alors ~u ~v = 0.
4. Si ~u (~u ~v ) est colinaire ~v , alors ~u ~v = 0.
5. Si ~u (~u ~v ) = ~0, alors ~u ~v = 0.
6. Si ~u (~u ~v ) = ~0, alors ~u ~v = ~0.
7. Si ~u ~v = k~uk k~v k alors ~u ~v = k~uk ~v .
8. Si ~u ~v = k~uk k~v k alors ~u ~v = ~0.
Vrai-Faux 8. Soient ~u, ~v et w

~ trois vecteurs quelconques dans un espace vectoriel de
dimension 3. Parmi les affirmations suivantes, lesquelles sont vraies, lesquelles sont
fausses, et pourquoi ?
1. Det(~u, ~v , w)
~ = Det(w,
~ ~u, ~v ).
2. Det(~u, ~v , w)
~ = Det(w,
~ ~v , ~u).
3. Det(~u + ~v , ~v , w)
~ = Det(~u, ~v , w).
~
4. Det(~u + ~v , ~v , ~u + ~v + w)
~ = Det(~u, ~v , w).
~
5. Det(~u + ~v , ~v + w,
~ ~u + 2~v + w)
~ = Det(~u, ~v , w).
~
6. Det(~u + 2~v , ~v , ~u + 2~v + w)
~ = Det(~u, ~v , w).
~
7. Det(~u + ~v , ~v + w,
~ ~u + w)
~ = 2Det(~u, ~v , w).
~
2.2 Exercices
Exercice 1. Soient D1 et D2 deux droites dans le plan, donnes par leurs quations im-
plicites ou paramtriques. Dterminer si les droites sont scantes, parallles ou confon-
dues. Dans le cas ou elles sont scantes, donner les coordonnes de leur point dinter-
section.
D1 : 3x + 5y 2 = 0 ; D2 : x 2y + 3 = 0 .
D1 : 2x 4y + 1 = 0 ; D2 : 5x + 10y + 3 = 0 .
( (
x = 3 + 4 x = 5
D1 : ; D2 : .
y = 2 y = 2 + 3
( (
x = 1 + 2 x = 3 4
D1 : ; D2 : .
y = 2 3 y = 1 + 6
(
x = 2+
D1 : x 2y + 3 = 0 ; D2 : .
y = 3 2
(
x = 1 4
D1 : 3x 2y + 1 = 0 ; D2 : .
y = 2 6
29
Exercice 2. Soit A un point du plan, donn par ses coordonnes dans un repre ortho-
norm (O,~, ~). Soit ~u un vecteur non nul, dtermin par ses coordonnes dans la base
(~, ~). On considrera les cas suivants.
A : (1, 1) , ~u : (1, 0) .
A : (2, 1) , ~u : (3, 1) .
A : (0, 1) , ~u : (1, 2) .
A : (3, 1) , ~u : (1, 1) .
1. Donner des quations paramtriques et implicites de la droite D passant par A,
admettant ~u comme vecteur directeur.
2. Donner des quations paramtriques et implicites de la droite D0 passant par A,
et perpendiculaire D.
Exercice 3. On considre trois points A, B, C non aligns dun plan affine. On note D1
(respectivement D2 , D3 ) la droite (B, C) (respectivement (A, C), (A, B)).

1. Montrer que (A, AB, AC) est un repre du plan.

2. Donner les quations des 3 droites D1 , D2 , D3 , dans le repre (A, AB, AC).
3. Donner les quations des 3 mdianes du triangle ABC dans le mme repre.
4. Donner les coordonnes de lisobarycentre de A, B, C dans le mme repre, et
vrifier quil est le point dintersection des trois mdianes.

5. Montrer que (B, BA, BC) est un repre du plan et dterminer lensemble des

points ayant les mmes coordonnes dans les deux repres (A, AB, AC) et

(B, BA, BC).
6. Soit D une droite du plan affine, dont une quation implicite dans le repre

(A, AB, AC) est ax + by + c. A quelles conditions portant sur les rels a, b, c la
droite D est-elle scante avec les trois droites D1 , D2 et D3 ?
On suppose ces conditions ralises et on note I (respectivement J, K) le point
dintersection de D avec D1 (respectivement D2 , D3 ).
7. On appelle diagonales les segments [A, I], [B, J], [C, K]. Donner les coordon-

nes des milieux des 3 diagonales dans le repre (A, AB, AC), et vrifier que ces
trois points sont aligns.
Exercice 4. Soient A, B, C trois points du plan affine, donns par leurs coordonnes
dans un repre (O,~, ~). On considrera les cas suivants.
A : (0, 0) , B : (0, 1) , C : (1, 0) .
A : (0, 3) , B : (2, 0) , C : (0, 2) .
A : (1, 0) , B : (1, 0) , C : (2, 3) .
A : (2, 0) , B : (1, 4) , C : (4, 3) .
30
1. Donner des quations paramtriques et implicites des trois droites passant par
(A, B), (A, C), (B, C).
2. Donner des quations paramtriques et implicites des trois mdianes du triangle
ABC et vrifier que lisobarycentre G de A, B, C est leur point dintersection.
3. Donner des quations paramtriques et implicites des trois hauteurs du triangle
ABC. Vrifier quelles sont concourantes et donner les coordonnes de leur point
dintersection H.
4. Donner des quations paramtriques et implicites des trois mdiatrices du triangle
ABC. Vrifier quelles sont concourantes et donner les coordonnes de leur point
dintersection M .

5. Vrifier que les trois points G, H, M sont aligns et que M H = 3M G.
Exercice 5. Soient A, B, C, D quatre points dun plan affine. Soient I, J, K, L, M, N les
milieux respectifs des segments [A, B], [B, C], [C, D], [D, A], [A, C], [B, D].
1. Montrer que les segments [I, K], [J, L] et [M, N ] ont le mme milieu.
2. Montrer que le quadrilatre de sommets I, J, K, L est un paralllogramme.
Exercice 6. Dans un plan affine, muni dun repre orthonorm, on considre deux
droites scantes, D1 et D2 , donnes par leurs quations implicites :
a1 x + b1 y + c1 = 0 et a2 x + b2 y + c2 = 0
1. Soit M un point quidistant des deux droites D1 et D2 . Quelle quation vrifient
les coordonnes (x, y) de M ?
2. En dduire que lensemble des points quidistants de D1 et D2 est la runion de
deux droites 1 et 2 , dont on donnera une quation implicite.
3. Vrifier que 1 et 2 sont orthogonales.
4. Pour i = 1, 2, soit ~ui un vecteur directeur de Di , ~vi un vecteur directeur de i .
On suppose que ces 4 vecteurs ont tous la mme norme. Montrer que :
|u~1 v~1 | = |u~2 v~1 | et |u~1 v~2 | = |u~2 v~2 |
5. Donner des quations paramtriques et implicites des droites 1 et 2 dans les

cas suivants.
D1 : x = 1 ; D2 : y = 1 .
D1 : x + y = 2 ; D2 : x y = 2 .
D1 : x + y = 2 ; D2 : y = 1 .
D1 : 2x + y = 3 ; D2 : x 2y = 1 .
Exercice 7. Soit a, b deux rels. Soit D1 la droite dquation 2x + ay 1 = 0 et D2 la
droite dquations paramtriques x = b , y = , R. Discuter suivant les valeurs
de a et b si D1 et D2 sont scantes, parallles ou confondues.
31
Exercice 8. On considre le triangle ABC dont les cts ont pour quations (AB) :
x + 2y = 3, (AC) : x + y = 2, (BC) : 2x + 3y = 4.
1. Donnez les coordonnes des points A, B, C.
2. Donnez les coordonnes des milieux A0 , B 0 , C 0 de (BC), (AC) et (AB) respecti-
vement.
3. Donnez une quation de chaque mdiane et vrifiez quelles sont concourantes.
Exercice 9. Soit A un point donn par ses coordonnes dans un repre orthonorm
(O,~, ~, ~k). Soit ~u un vecteur non nul donn par ses coordonnes dans la base (~, ~, ~k).
On considrera les cas suivants.
A : (1, 0, 0) , ~u : (1, 1, 1) .
A : (1, 1, 1) , ~u : (1, 1, 1) .
A : (1, 0, 0) , ~u : (1, 1, 1) .
A : (1, 2, 3) , ~u : (3, 2, 1) .
1. Donner des quations paramtriques et implicites pour la droite D, de vecteur
directeur ~u, passant par A.
2. Donner des quations paramtriques et implicites pour le plan P passant par A
et orthogonal D.
3. Calculer la distance de O P et de O D.
Exercice 10. Soient A, B, C, D quatre points dun espace affine de dimension 3, muni
dun repre orthonorm (O,~, ~, ~k). Les points sont donns par leur coordonnes. On
considrera les cas suivants.
A : (0, 0, 0) , B : (1, 0, 0) , C : (0, 1, 0) , D : (0, 0, 1) .
A : (0, 0, 0) , B : (1, 0, 0) , C : (1, 1, 0) , D : (1, 1, 1) .

A : (1, 0, 0) , B : (1, 2, 1) , C : (1, 1, 2) , D : (2, 1, 1) .
A : (1, 2, 3) , B : (1, 3, 2) , C : (3, 1, 2) , D : (3, 3, 3) .

1. Vrifier que (A, AB, AC, AD) est un repre.

2. On pose A0 = A + AB + AC + AD. Calculer les coordonnes de A0 . Vrifier que

(A0 , A0 B, A0 C, A0 D) est un repre.

3. Donner les coordonnes de A0 dans le repre (A, AB, AC, AD).
4. Dterminer des quations paramtriques et implicites des 3 plans, contenant res-
pectivement (A, B, C), (A, B, D), (A, C, D), dans le repre (O,~, ~, ~k).
5. Dterminer des quations paramtriques et implicites des 3 plans, contenant res-

pectivement (A, B, C), (A, B, D), (A, C, D), dans le repre (A0 , A0 B, A0 C, A0 D).
32
6. En supposant le repre (O,~, ~, ~k) orthonorm, calculer la distance de A0 chacun

des trois plans de la question prcdente.
7. Calculer la distance de A0 chacune des 3 droites, contenant respectivement
(A, B), (A, C), (A, D).
8. Reprendre les questions 3 7 en changeant les rles de A et A0 .
Exercice 11. Soient P1 et P2 deux plans non parallles et A un point nappartenant ni
P1 ni P2 dans un espace de dimension 3, muni dun repre orthonorm. Les deux
plans sont donns par des quations implicites et A par ses coordonnes. On note D la
droite intersection de P1 et P2 . On considrera les cas suivants.
P1 : z = 0 ; P2 : y = 0 , A : (1, 1, 1) .
P1 : x + y = 0 ; P2 : x + z + 1 = 0 , A : (1, 1, 1) .
P1 : x + y + z + 2 = 0 ; P2 : 2x y + 3z 4 = 0 , A : (2, 1, 0) .
P1 : 2x + y z 2 = 0 ; P2 : x + 3y + 7z 11 = 0 , A : (1, 2, 1) .
P1 : 2x y + 1 = 0 ; P2 : 3y z 2 = 0 , A : (3, 1, 2) .
P1 : x + y + z 1 = 0 ; P2 : x + y z + 1 = 0 , A : (1, 1, 2) .
1. Vrifier que P1 et P2 ne sont pas parallles.
2. Donner des quations paramtriques de P1 et P2 .
3. Donner des quations paramtriques de D.
4. Donner des quations paramtriques et implicites de la droite orthogonale P1
passant par A.
5. Donner des quations paramtriques et implicites de la droite orthogonale P2
passant par A.
6. Donner des quations paramtriques et implicites du plan orthogonal D passant
par A.
7. Calculer la distance de A P1 , puis P2 , puis D.
Exercice 12. Soient ~u, ~v , w,
~ trois vecteurs dtermins par leurs coordonnes dans un
repre orthonorm (O,~, ~, ~k). On considrera les cas suivants.
~u : (1, 0, 0) , ~v : (1, 1, 0) , ~ : (1, 1, 1) .

w
~u : (0, 2, 2) , ~v : (1, 0, 1) , ~ : (1, 2, 0) .

w
~u : (0, 2, 1) , ~v : (2, 1, 1) , ~ : (1, 2, 1) .
w
~u : (1, 1, 2) , ~v : (1, 2, 1) , ~ : (2, 1, 1) .
w
~u : (1, 2, 3) , ~v : (4, 5, 6) , ~ : (7, 8, 9) .
w
~u : (1, 3, 2) , ~v : (5, 3, 4) , ~ : (2, 3, 1) .
w
33
1. Calculer les trois produits scalaires ~u ~v , ~u w,

~ ~v w.
~
2. Calculer les trois produits vectoriels ~u ~v , ~u w,
~ ~v w.
~
3. Calculer les trois produits scalaires ~u (~v w),
~ ~v (w
~ ~u), w
~ (~u ~v ).
4. Calculer le dterminant Det(~u, ~v , w)
~ par la rgle de Sarrus.
Exercice 13. Procd dorthonormalisation de Gram-Schmidt. Soient ~u, ~v , w,

~ trois vec-
teurs non coplanaires, donns par leurs coordonnes dans un repre orthonorm
(O,~, ~, ~k). On considrera les cas suivants.
~u : (1, 0, 0) , ~v : (1, 1, 0) , ~ : (1, 1, 1) .

w
~u : (0, 2, 2) , ~v : (1, 0, 1) , ~ : (1, 2, 0) .

w
~u : (0, 2, 1) , ~v : (2, 1, 1) , ~ : (1, 2, 1) .
w
~u : (1, 3, 2) , ~v : (5, 3, 4) , ~ : (2, 3, 1) .
w
1. Calculer k~uk. On pose ~u0 = (1/k~uk)~u. Calculer les coordonnes de ~u0 .
2. On pose :
~v1 = ~v (~u0 ~v )~u0 ,
puis ~v 0 = (1/k~v1 k)~v1 . Calculer les coordonnes de ~v 0 .
3. On pose :

=w
w ~ (~u0 w)~
~ u0 (~v 0 w)~
~ v0 ,
1
~ 0 = (1/k
puis w k)
w ~ 0.
1 w1 . Calculer les coordonnes de w
4. Vrifier que (~u0 , ~v 0 , w

~ 0 ) est une base orthonorme.
5. Dmontrer que si (~u, ~v , w) ~ est une base quelconque de lespace vectoriel, alors
(~u0 , ~v 0 , w
~ 0 ) est une base orthonorme.
Exercice 14. Soit A un point dun espace de dimension 3, donn par ses coordonnes
dans un repre orthonorm (O,~, ~, ~k). On considrera les cas suivants.
A : (1, 0, 0) , A : (0, 1, 0) ,
A : (0, 0, 1) , A : (1, 0, 0) ,

A : (1, 0, 1) , A : (1, 1, 0) , A : (1, 1, 2) , A : (1, 1, 2) ,

A : (1, 1, 6) , A : (1, 3, 2) , A : ( 3, 1, 2) , A : ( 3, 3, 2) .
1. Donner les coordonnes cylindriques de A.
2. Donner les coordonnes sphriques de A.
34
2.3 QCM
Donnez-vous une heure pour rpondre ce questionnaire. Les 10 questions sont
indpendantes. Pour chaque question 5 affirmations sont proposes, parmi lesquelles 2
sont vraies et 3 sont fausses. Pour chaque question, cochez les 2 affirmations que vous
pensez vraies. Chaque question pour laquelle les 2 affirmations vraies sont coches
rapporte 2 points.
Question 1. Soit ~u un vecteur non nul dans un espace vectoriel, et A un point dans
un espace affine associ. On pose B = A + 2~u et C = A ~u.
A La droite passant par A de vecteur directeur ~u contient les points B et C.
B Il existe une unique droite passant par A et de vecteur directeur ~u.
C A est le milieu du segment [B, C].
D Il existe un unique plan passant par les trois points A, B et C.

E Le vecteur AB + 2AC est un vecteur directeur de la droite (AB).
A A = C ~u.
B B = C + 3~u.

C C = A + BA.

D CA = ~u.

E BA = 2~u.
Question 3. Soit E un espace vectoriel de dimension 3, et B = (~, ~, ~k) une base de E.
A DetB (~,~, ~k) = 1.
B DetB (~, ~k,~) = 1.
C DetB (~,~ + 2~, ~k) = 1.
D DetB (~ + ~k,~ + 2~, ~k 2~) = 0.
E Det(~ + ~,~ + ~k, ~ + ~k) = 0.
A A est le barycentre de B et C affects des coefficients respectifs 1 et 2.
B B est le barycentre de A et C affects des coefficients respectifs 2 et 1.
C C est le barycentre de A et B affects des coefficients respectifs 2 et 1.
D A est lisobarycentre de B et C.
E B est le barycentre de A et C affects des coefficients respectifs 3 et 2.
Question 5. Dans un espace affine de dimension 3, muni dun repre (O,~, ~, ~k), on
considre le plan affine P dquation 2x y + z = 3.
A La droite passant par le point de coordonnes (1, 2, 0), de vecteur directeur
~ + 2~ ne coupe pas le plan P.
35
B La droite passant par le point de coordonnes (1, 2, 3), de vecteur directeur

~ + 2~ coupe le plan P en un point et un seul.
C La droite passant par le point de coordonnes (1, 2, 3), de vecteur directeur
~ + 2~ + 3~k ne coupe pas le plan P.
D La droite passant par le point de coordonnes (1, 2, 0), de vecteur directeur
~ + 2~ + 3~k coupe le plan P en un point et un seul.
E La droite passant par le point de coordonnes (1, 0, 1), de vecteur directeur ~+2~
ne coupe pas le plan P.
considre le point A de coordonnes (1, 0, 1) le vecteur ~u = ~ + ~k et la droite affine D
passant par A et de vecteur directeur ~u.
A La droite D est contenue dans le plan dquation x+ z = 0.
x = 1+

B La droite D admet pour quations paramtriques y = 0 , R.

z = 1+
C La droite D contient le point O.
D La droite D ne coupe pas le plan dquation x( z = 0.
xz = 0
E La droite D admet pour quations implicites
x+y+z = 2.
considre le point A de coordonnes (1, 0, 1) le vecteur ~u = ~ + ~k, et le plan affine P
passant par A et de vecteurs directeur ~u et ~.
A Le plan P contient la droite passant par lorigine et par le point de coordonnes
(1, 1, 1).
x = 1+

B Le plan P admet pour quations paramtriques y = , R.

z = 1+
C Le plan P contient la droite passant par A, de vecteur directeur ~ + ~.
D Le plan P ne rencontre pas la droite passant par le point de coordonnes
(0, 0, 1), et de vecteur directeur ~.
E Le plan P est parallle au plan passant par O, de vecteurs directeurs ~ et ~k.
considre le plan affine P dquation implicite x + z = 2.
A Le plan vectoriel associ P contient le vecteur ~.
B Le vecteur ~ + ~k est un vecteur normal au plan P.
C Le plan P contient la droite passant par O, de vecteur directeur ~.
D Le plan contient la droite passant par le point de coordonnes (1, 0, 1), de
vecteur directeur ~ + ~k.
E Toute droite affine de vecteur directeur ~ ~k est contenue dans le plan P.
36
Question 9. Dans un espace affine euclidien de dimension 3, muni dun repre orho-
norm (O,~, ~, ~k), on considre le plan affine P dquation implicite x + z = 2.
A La distance de O au plan P vaut 1.
B Toute droite de vecteur directeur ~ + ~k est perpendiculaire au plan P.
C La distance de O au point de coordonnes (2, 0, 0) est gale la distance de O
P.
D La distance de O la droite passant par les points (2, 0, 0) et (0, 0, 2) est
strictement suprieure la distance de O P.
E La projection orthogonale de O sur le plan P est le point de coordonnes (1, 0, 1).
Question 10. On considre un espace affine euclidien de dimension 3, muni dun repre
orhonorm (O,~, ~, ~k).
A (~ + ~) ~ = ~k.
B (~ + ~) (~ ~) = ~k.
C (~ +~) ~ = ~k.
D ~ (~ + ~) ~k = 1.

E ~ (~ + ~) (~ + ~ + ~k) = 1.
Rponses : 1AB 2BD 3BD 4AE 5AD 6BC 7AD 8AB 9BE 10AE
2.4 Devoir
Essayez de bien rdiger vos rponses, sans vous reporter ni au cours, ni au corrig. Si
vous souhaitez vous valuer, donnez-vous deux heures ; puis comparez vos rponses avec
le corrig et comptez un point pour chaque question laquelle vous aurez correctement
rpondu.
Questions de cours :
1. Soient ~u = (x1 , y1 ) et ~v = (x2 , y2 ) deux vecteurs de R2 , muni de sa base canonique.
Dmontrer que si ~u et ~v sont colinaires, alors Det(~u, ~v ) = 0.
2. Soient ~u = (x1 , y1 , z1 ) et ~v = (x2 , y2 , z2 ) deux vecteurs de R3 , muni de sa base
canonique. Dmontrer que si ~u et ~v sont colinaires, alors ~u ~v = 0.
3. Soient ~u = (x1 , y1 , z1 ) et ~v = (x2 , y2 , z2 ) deux vecteurs de R3 , muni de sa base ca-
nonique. Dmontrer que le vecteur ~u ~v est orthogonal au plan vectoriel engendr
par ~u et ~v .
~ trois vecteurs de R3 , muni de sa base canonique. En utilisant
4. Soient ~u, ~v et w
lexpression du dterminant laide du produit scalaire et du produit vectoriel,
dmontrer que si ~u, ~v et w
~ sont coplanaires, alors Det(~u, ~v , w)
~ = 0.
5. On pose ~u = (1, 0, 1), ~v = (1, 2, 1), w
~ = (0, 1, 1). Calculer le dterminant de
ces trois vecteurs par la rgle de Sarrus, puis vrifier que chacun des trois vecteurs
est orthogonal au produit vectoriel des deux autres.
37
Exercice 1 : On considre un espace affine de dimension 3, muni du repre orthonorm

(O,~, ~, ~k). Dans cet espace, on considre le plan P dquation 2x + y 2z = 4, et
les points A de coordonnes (3, 2, 6), B de coordonnes (1, 2, 4) et C de coordonnes
(4, 2, 5).
1. Vrifier que le plan P est lunique plan contenant les points A, B et C.
2. Calculer les distances d(A, B), d(A, C) et d(B, C) et dmontrer que le triangle
ABC est rectangle.
3. Donner les coordonnes dun vecteur ~n, normal au plan P. Vrifier que les trois

produits vectoriels AB AC, BA BC et CA CB sont colinaires au vecteur
~n.
4. Calculer la distance de O au plan P.
5. Ecrire un systme dquations paramtriques de la droite D passant par O et
orthogonale au plan P.
6. Soit K la projection orthogonale de O sur P. Calculer les coordonnes de K, puis

la norme du vecteur OK. Retrouver le rsultat de la question 4.
7. Soit G le barycentre des points O, A, B, C, munis des poids respectifs 3, 1, 1, 1.
Dterminer les coordonnes de G, puis la distance de G au plan P .
8. On note I le centre de gravit du triangle ABC. Dmontrer que G est le milieu
du segment [O, I].
9. Soit lensemble des points M de lespace, vrifiant :

k 3M O + M A + M B + M C k = 6 .
Montrer que lintersection de avec P est un cercle, dterminer son centre et son
rayon.
Exercice 2 : On considre un espace affine de dimension 3, muni dun repre ortho-
norm (O,~, ~, ~k). Soit A le point de coordonnes (0, 1, 1) dans le repre (O,~, ~, ~k). Soit
~u le vecteur de coordonnes (3, 1, 0) dans la base (~, ~, ~k).
1. Donner des quations paramtriques et implicites de la droite D passant par A
et admettant ~u comme vecteur directeur.
2. Donner des quations paramtriques et une quation implicite du plan P passant
par A et orthogonal D.
3. Calculer la distance de O P et la distance de O D.
4. Soit P 0 le plan passant par 0 et parallle P. Soit A0 lintersection de P 0 avec D.
Justifier, sans calculs, le fait que la distance de O A0 est gale la distance de
O la droite D.
5. Soit I la projection orthogonale de O sur le plan P. Calculer les coordonnes de
I.
38
6. Dmontrer que les 4 points O, A, A0 , I sont dans un mme plan, et que le quadri-
latre OAA0 I est un rectangle.
2.5 Corrig du devoir

Questions de cours :
1. Par dfinition, le dterminant Det(~u, ~v ) vaut x1 y2 x2 y1 . Supposons que ~u et ~v
soient colinaires. Si ~u = ~0, alors Det(~u, ~v ) = 0. Sinon, il existe R tel que
~v = ~u, donc x2 = x1 et y2 = y1 . Dans ce cas,
x1 y2 x2 y1 = x1 y1 x1 y1 = 0 .
2. Considrons les vecteurs de R2 dfinis comme suit.
~ua = (y1 , z1 ) , ~ub = (x1 , z1 ) , ~uc = (x1 , y1 ) ,
~va = (y2 , z2 ) , ~vb = (x2 , z2 ) , ~vc = (x2 , y2 ) .
Par dfinition, le produit vectoriel de ~u par ~v est :

~u ~v = Det(~ua , v~a ) , Det(~ub , ~vb ) , Det(~uc , ~vc ) .
Si ~u et ~v sont colinaires, alors ~ua et ~va le sont aussi, et galement u~b et ~vb , ainsi
que u~c et ~vc . Donc les trois coordonnes de ~u ~v sont nulles, daprs la question
prcdente.
3. Nous devons montrer que ~u ~v est orthogonal tous les vecteurs de la forme
~u + ~v , o et sont deux rels quelconques. Pour montrer que deux vecteurs
sont orthogonaux, nous devons montrer que leur produit scalaire est nul. Par la
bilinarit du produit scalaire, il suffit de montrer que :
~u (~u ~v ) = 0 et ~u (~u ~v ) = 0
Cest une vrification facile.
~u (~u ~v ) = x1 (y1 z2 y2 z1 ) + y1 (x2 z1 x1 z2 ) + z1 (x1 y2 x2 y1 ) = 0 ,
~v (~u ~v ) = x2 (y1 z2 y2 z1 ) + y2 (x2 z1 x1 z2 ) + z2 (x1 y2 x2 y1 ) = 0 .
4. Si ~u, ~v et w
~ sont coplanaires, alors lun des trois vecteurs est combinaison linaire
des deux autres. Sans perte de gnralit, nous allons supposer quil existe deux
rels et , tels que ~u = ~v + w.~ Ecrivons :
Det(~u, ~v , w)
~ = Det(~v + w, ~ ~v , w)
~
= ~ + Det(w,
Det(~v , ~v , w) ~ ~v , w)
~
= ~v (~v w)
~ + w ~ (~v w)
~
= 0,
daprs la question prcdente.
39
5. On trouve Det(w, ~ = 0. Le calcul est inutile, il suffit dobserver que ~u ~v =

~ ~v , w)
2w.
~ En effectuant le calcul des produits vectoriels, on trouve :
~u ~v = (2, 2, 2) , ~u w
~ = (1, 1, 1) , ~v w
~ = (1, 1, 1) .
Les produits scalaires suivants sont bien nuls.
(~u ~v ) w
~ = (~u w)
~ ~v = (~v w)
~ ~u = 0 .
Exercice 1 :
1. Nous devons dabord vrifier que les trois points appartiennent au plan P :
2 3 + 2 2 = 4 , 2 1 + 2 2 = 4 , 2 4 2 2 = 4 .
Nous devons ensuite montrer que les 3 points ne sont pas aligns, ce qui se vrifie

par exemple en montrant que les deux vecteurs AB et AC ne sont pas colinaires.
Il suffit pour cela de calculer leur produit vectoriel, et de vrifier quil est non
nul.

AB AC = (2, 0, 2) (1, 4, 1) = (8, 4, 8) 6= ~0 .
2.

d2 (A, B) = kABk2 = 8 , d2 (A, C) = kACk2 = 18 , d2 (B, C) = kBCk2 = 26 .

Donc d(A, B) = 2 2, d(A, C) = 3 2 et d(B, C) = 26. Puisque d2 (AB) +
d2 (AC) = d2 (BC), le triangle ABC est rectangle en A, daprs le thorme de
Pythagore.
3. Le plan affine P est associ au plan vectoriel P , dquation 2x + y 2z = 0. Cette
quation traduit le fait que tout vecteur directeur de P, de coordonnes x, y, z, est
orthogonal au vecteur ~n de coordonnes 2, 1, 2, qui est donc un vecteur normal
au plan P. En effectuant les produits vectoriels, on trouve :

AB AC = (8, 4, 8) = 4~n ,

BA BC = (8, 4, 8) = 4~n ,

CA CB = (8, 4, 8) = 4~n .
4. En appliquant la formule,
4 4
d(O, P) = = .
9 3
5. La droite D a pour vecteur directeur ~n. Tout point M , sil appartient D, est

tel que OM est colinaire ~n, dont les coordonnes x, y, z de M vrifient :

x = 2
y = , R.
z = 2

40
6. Le point K est lintersection de la droite D avec le plan P. Nous devons donc

trouver le rel tel que :
2(2) + 2(2) = 4 ,
soit = 4/9. Le point K a pour coordonnes 8/9, 4/9, 8/9. La norme du

vecteur OK est telle que :
2 2 2 2
8 4 8 4

kOKk2 = + + = .
9 9 9 3
La distance d(O, K), qui est aussi la distance de O au plan P, vaut 4/3.
7. Par dfinition,
1 ~

OG = 3 0 + OA + OB + OC .
6
4 1 5
On en dduit les coordonnes de G : , , . Pour calculer la distance de G au
3 3 2
plan P, on applique la formule :

4
2 3 + 13 2 52 + 4 2
d(G, P) = = .
22 + 1 + 22 3
8. Le centre de gravit du triangle ABC est tel que :

1

OI = OA + OB + OC = 2 OG .
3

Donc OG = (1/2)OI : G est le milieu du segment [O, I].
9. Le point G est tel que, pour tout point M de lespace :
1

MG = 3M O + M A + M B + M C .
6
Donc est lensemble des points M de lespace tels que :

kM Gk = 1 .
Cest la sphre de centre G et de rayon 1. Nous avons vu que la distance de G au

plan P est 2/3, donc infrieure au rayon de la sphre. Donc lintersection de et
P est non vide : cest bien un cercle. Son centre est la projection
orthogonale de
2 2
G sur P . Son rayon r est tel que r + (2/3) = 1, soit r = 5/3.
Exercice 2 : Considrons un espace affine de dimension 3, muni dun repre ortho-
norm (O,~, ~, ~k). Soit A le point de coordonnes (0, 1, 1) dans le repre (O,~, ~, ~k). Soit
~u le vecteur de coordonnes (3, 1, 0) dans la base (~, ~, ~k).
41

1. Soit M un point de D. Le vecteur AM est colinaire au vecteur ~u. Donc les
coordonnes x, y, z de M vrifient :

x = 3

y = 1+ , R.

z = 1
Ce sont les quations paramtriques de la droite D. Pour obtenir des quations
implicites, il faut liminer dans les quations ci-dessus :
(
x 3y = 3
z = 1.
2. Le plan P admet ~u comme vecteur normal. Nous devons trouver deux vecteurs
non colinaires, et orthogonaux au vecteur ~u. Par exemple : (1, 3, 0) et (0, 0, 1).

Tout point M de P est tel que AM est combinaison linaire de ces deux vecteurs.
Ses coordonnes x, y, z vrifient donc :

x =
y = 1 3 , , R .

z = 1+
Pour lquation implicite, nous savons que ~u est un vecteur normal P, qui admet
donc une quation du type 3x + y = d. Pour dterminer d, il suffit dcrire que
A vrifie lquation. On trouve ainsi lquation 3x + y = 1.
3. La distance de O P se calcule par la formule :
1 1
d(O, P) = 2 = .
3 +1 10
La distance de O D peut se dduire du thorme de Pythagore, puisque
d2 (O, A) = d2 (O, P) + d2 (O, D). On trouve :
1 19
d2 (O, D) = d2 (O, A) d2 (O, P) = 2 = .
10 10
q
Donc la distance de 0 D est de 19/10.

4. Par construction, le vecteur OA0 appartient au plan vectoriel associ P, ainsi
qu P 0 . Il est donc orthogonal la droite D. Donc A0 est la projection orthogonale
de O sur D, donc la distance de O A0 est gale la distance de O la droite D.
5. Considrons la droite D0 , passant par O et perpendiculaire au plan P (figure 11).
Un systme dquations paramtriques de cette droite est :

x = 3

y = , R.

z = 0
La projection orthogonale de O sur P est lintersection de la droite D0 avec le
plan P. elle a pour coordonnes 3/10, 1/10, 0.
42
D D
P A O
A I
P
Figure 11 Plans et droites parallles.
6. Par construction, les plans P et P 0 sont parallles. Considrons les trois points

O, A, A0 . Par construction, les vecteurs OA0 et AA0 sont orthogonaux, donc non
colinaires. Il existe donc un unique plan passant par O, A, A0 . Ce plan contient
toute droite, passant par un de ses points, et parallle D, en particulier D0 . Il

contient donc I. Les vecteurs A0 A et OI sont gaux, donc le quadrilatre OAA0 I

est un paralllogramme. De plus, OA0 et AA0 sont orthogonaux, donc cest un
rectangle.
43
3 Complments
3.1 La gomtrie du triangle
Les lments dEuclide, crits au iiie sicle avant notre re, contenaient dj de
nombreux rsultats sur la gomtrie des triangles. Les formulations dEuclide sont trs
diffrentes des ntres, car il ne disposait pas des fonctions trigonomtriques et raisonnait
uniquement en termes de longueurs et daires. De plus il ntait pas question de traiter
les quantits ter comme des quantits ngatives ajouter. Pour cette raison, les
propositions 12 et 13 du livre II des lments, sparent le cas dun triangle obtusangle
(ayant un angle obtus) et celui dun triangle acutangle (dont tous les angles sont aigus).
La proposition 12 est nonce comme suit. Avec un peu de rflexion, vous devriez
pouvoir y reconnatre le thorme dAl-Kashi.
Dans les triangles obtusangles, le carr du ct qui soutient langle obtus est plus
grand que les carrs des deux autres cts, de la quantit de deux fois le rectangle form
dun des cts contenant langle obtus, savoir celui sur le prolongement duquel tombe
la hauteur, et de la ligne prise en-dehors entre le pied de la hauteur et langle obtus.
Lastronome et mathmaticien Al-Battani gnralisa le rsultat dEuclide la gomtrie
sphrique au dbut du xe sicle, ce qui lui permit deffectuer des calculs de distance
angulaire entre toiles. Ghiyath Al-Kashi, mathmaticien de lcole de Samarcande,
mit le thorme sous une forme utilisable pour la triangulation, au cours du xve sicle.
A
Y
Z
B C
Figure 12 Le thorme de Napolon.
Le thorme suivant, na t attribu (faussement) Napolon Bonaparte quau

dbut du vingtime sicle. Il a t maintes fois redcouvert, et on ignore sil tait ou
non connu des grecs.
44
Thorme 5. Soit ABC un triangle quelconque. Soient X, Y, Z les isobarycentres des

3 triangles quilatraux extrieurs au triangle ABC, construits sur chacun des trois
cts. Le triangle XY Z est quilatral (figure 12).
Il est connu que Napolon se piquait de mathmatiques, et quil a eu plusieurs
conversations avec Laplace et Lagrange. Sur ses capacits relles, les avis divergent,
selon linterprtation de ce que lui aurait dit Laplace, lors dun dner le 11 dcembre
1797. Voici deux versions.
1. H. Poincar : Nous attendions tout de vous, Gnral, sauf des leons de go-
mtrie
2. H.S.M. Coxeter et S.L. Greitzer : The last thing we want from you, General,
is a lesson in geometry
Cette anecdote a t si souvent rapporte quil peut tre utile dcouter un tmoin :
Dubois-Aym (17791846) 1 .
Entour dartistes et de savants, il [Bonaparte] en retira un clat de savoir
qui blouit toujours la multitude. LInstitut, selon lancienne coutume de
toutes les acadmies, dappeler dans leur sein des hommes puissants pour
sen faire un appui, llut membre de la section de mcanique la place de
Carnot proscrit, et il tira habilement parti de cette couronne acadmique
dont le faux clat blouit ses soldats et sembla llever au-dessus de tous
les autres gnraux, ses rivaux de gloire.
Je me rappelle qu cette poque, Bonaparte, entretenant un jour le clbre
Laplace et quelques autres membres de lInstitut dun nouvel ouvrage, in-
titul Geometria del compasso, dont Mascheroni lui avait rcemment, fait
hommage Milan, fit, loccasion dune proposition tout fait lmentaire,
une figure sur le tableau avec de la craie pour mieux se faire comprendre,
prtendit-il, et que Laplace, soit moquerie comme je le crus alors, soit fla-
gornerie comme je lai cru depuis, lui dit Je ne mattendais pas, gnral,
recevoir une leon de mathmatiques de vous . Les aides-de-camp de
Bonaparte et ses flatteurs, il nen manquait pas dj, rptrent lenvi ce
quils appelaient laveu de Laplace lui-mme de la supriorit de Napolon
sur lui en mathmatiques, et la foule hbte le rpta aprs eux. La vrit
est que Bonaparte avait oubli depuis longtemps le peu de mathmatiques
dont il avait eu besoin pour entrer dans lartillerie avant la Rvolution, et
que lorsquil fut reu lInstitut il net certes pas pu tre reu lcole
polytechnique.
vous de conclure ! En attendant, vous pouvez dmontrer vous-mme le thorme
de Napolon , par exemple en utilisant le calcul dans le plan complexe.
Le magnifique thorme suivant, en revanche, ne prte pas polmique. Il a bien t
dmontr par Frank Morley (1860-1937), en 1899.
1. Dubois-Aym : Marie-Thrse de Bous. Pascal Beyls d. Grenoble, p. 233 (2009).
45
Thorme 6. Soit ABC un triangle quelconque. Soient X, Y, Z les points dintersec-

tion deux deux des trissectrices adjacentes du triangle. Le triangle XY Z est quilatral
(figure 13).
Pourquoi les grecs ne lavaient-ils pas trouv ? Peut-tre parce quil est impossible
de construire les trissectrices dun angle la rgle et au compas. . .
Z Y
B C
Figure 13 Le thorme de Morley.
3.2 La proposition xxxii

Le pre de Blaise Pascal avait peut-tre achet Les quinze livres des lments
gomtriques dEuclide : plus le livre des donnez du mesme Euclide aussi traduict en
franois par ledit Henrion, et imprim de son vivant , en 1632. Voici ce quon y lit,
page 54.
theor 22. prop. xxxii
En tout triangle, lvn des costez estant prolong, langle extrieur est gal
aux deux opposez interieurs ; et de chacun triangle les trois angles interieurs
sont egaux deux droicts.
Pas de quoi smerveiller pensez-vous ? Commencez par vrifier que vous savez le d-
montrer, puis lisez la suite. La scne se passe en 1635 et cest la sur de Blaise qui
raconte.
Son gnie pour la gomtrie commena paratre quil navait encore que
douze ans, par une rencontre si extraordinaire, quil me semble quelle m-
rite bien dtre dduite en particulier.
Mon pre tait savant dans les mathmatiques, et il avait habitude par l
avec tous les habiles gens en cette science, qui taient souvent chez lui. Mais
comme il avait dessein dinstruire mon frre dans les langues, et quil savait
que la mathmatique est une chose qui remplit et satisfait lesprit, il ne
voulut point que mon frre en et aucune connaissance, de peur que cela
ne le rendit ngligent pour le latin et les autres langues dans lesquelles il
46
voulait le perfectionner. Par cette raison il avait ferm tous les livres qui en
traitent. Il sabstenait den parler avec ses amis, en sa prsence : mais cette
prcaution nempchait pas que la curiosit de cet enfant ne ft excite,
de sorte quil priait souvent mon pre de lui apprendre les mathmatiques.
Mais il le lui refusait en lui proposant cela comme une rcompense. Il lui
promettait quaussitt quil saurait le latin et le grec, il les lui apprendrait.
Mon frre, voyant cette rsistance, lui demanda un jour ce que ctait que
cette science, et de quoi on y traitait ; mon pre lui dit en gnral que ctait
le moyen de faire des figures justes, et de trouver les proportions quelles
ont entre elles, et en mme temps lui dfendit den parler davantage et dy
penser jamais. Mais cet esprit qui ne pouvait demeurer dans ces bornes, ds
quil eut cette simple ouverture, que la mathmatique donnait des moyens
de faire des figures infailliblement justes, il se mit lui-mme rver, et,
ses heures de rcration, tant venu dans une salle o il avait accoutum
de se divertir, il prenait du charbon et faisait des figures sur des carreaux,
cherchant les moyens, par exemple, de faire un cercle parfaitement rond,
un triangle dont les cts et les angles fussent gaux, et dautres choses
semblables. Il trouvait tout cela lui seul sans peine ; ensuite il cherchait les
proportions des figures entre elles. Mais comme le soin de mon pre avait
t si grand de lui cacher toutes ces choses quil nen savait pas mme les
noms, il fut contraint lui-mme de sen faire. Il appelait un cercle un rond,
une ligne une barre, ainsi des autres. Aprs ces noms il se fit des axiomes, et
enfin des dmonstrations parfaites ; et comme lon va de lun lautre dans
ces choses, il passa et poussa sa recherche si avant, quil en vint jusqu
la trente-deuxime proposition du premier livre dEuclide. Comme il en
tait l-dessus, mon pre entra par hasard dans le lieu o il tait, sans que
mon frre lentendt ; il le trouva si fort appliqu, quil fut longtemps sans
sapercevoir de sa venue. On ne peut dire lequel fut le plus surpris ; ou le
fils de voir son pre, cause de la dfense expresse quil lui en avait faite,
ou le pre de voir son fils au milieu de toutes ces choses. Mais la surprise
du pre fut bien plus grande lorsque lui ayant demand ce quil faisait, il
lui dit quil cherchait telle chose, qui tait la trente-deuxime proposition
du premier livre dEuclide. Mon pre lui demanda ce qui lavait fait penser
cela. Il dit que ctait quil avait trouv telle chose. Et sur cela, lui ayant
fait encore la mme question, il lui dit encore quelques dmonstrations quil
avait faites ; et enfin en rtrogradant et sexpliquant toujours par les noms
de rond et de barre, il en vint ses dfinitions et ses axiomes.
Mon pre fut si pouvant de la grandeur et de la puissance de ce gnie,
que sans lui dire un mot il le quitta et alla chez M. Le Pailleur, qui tait son
ami intime, et qui tait aussi trs savant. Lorsquil y fut arriv, il demeura
immobile comme transport. M. Le Pailleur, voyant cela, et voyant mme
quil versait quelques larmes, fut pouvant, et le pria de ne lui pas celer
47
plus longtemps la cause de son dplaisir. Mon pre lui rpondit : Je ne

pleure pas daffliction, mais de joie ; vous savez le soin que jai pris pour
ter mon fils la connaissance de la gomtrie, de peur de le dtourner de
ses autres tudes : cependant voyez ce quil a fait. Sur cela il lui montra
mme ce quil avait trouv, par o lon pouvait dire en quelque faon quil
avait trouv la mathmatique.
M. Le Pailleur ne fut pas moins surpris que mon pre lavait t, et lui dit
quil ne trouvait pas juste de captiver plus longtemps cet esprit, et de lui
cacher encore cette connaissance ; quil fallait lui laisser voir les livres sans
le retenir davantage.
Mon pre, ayant trouv cela propos, lui donna les lments dEuclide,
pour les lire ses heures de rcration. Il les vit et les entendit tout seul, sans
avoir jamais eu besoin dexplication ; et pendant quil les voyait, il composait
et allait si avant, quil se trouvait rgulirement aux confrences qui se
faisaient toutes les semaines, o tous les habiles gens de Paris sassemblaient
pour porter leurs ouvrages, et pour examiner ceux des autres. Mon frre
tenait fort bien son rang, tant pour lexamen que pour la production ; car il
tait de ceux qui y portaient le plus souvent des choses nouvelles. On voyait
souvent aussi dans ces assembles des propositions qui taient envoyes
dAllemagne et dautres pays trangers, et on prenait son avis sur tout avec
autant de soin que de pas un autre ; car il avait des lumires si vives, quil est
arriv quil a dcouvert des fautes dont les autres ne staient point aperus.
Cependant il nemployait cette tude que les heures de rcration ; car il
apprenait le latin sur des rgles que mon pre lui avait faites exprs. Mais
comme il trouvait dans cette science la vrit quil avait toujours cherche
si ardemment, il en tait si satisfait, quil y mettait tout son esprit ; de sorte
que, pour peu quil sy occupt, il y avanait tellement, qu lge de seize
ans il fit un Trait des Coniques qui passa pour un si grand effort desprit,
quon disait que depuis Archimde on navait rien vu de cette force. Tous les
habiles gens taient davis quon limprimt ds lors, parce quils disaient
quencore que ce ft un ouvrage qui serait toujours admirable, nanmoins, si
on limprimait dans le temps que celui qui lavait invent navait encore que
seize ans, cette circonstance ajouterait beaucoup sa beaut : mais comme
mon frre na jamais eu de passion pour la rputation, il ne fit point de cas
de cela ; et ainsi, cet ouvrage na jamais t imprim.
3.3 Les Sangakus

La bataille de Sekigahara sest droule les 20 et 21 octobre 1600 sous une pluie
battante. Elle allait dcider de lavenir du pays pour 2 sicles et demi. Le vainqueur,
Ieyasu Tokugawa, sempara du pouvoir et transfra la capitale dans une petite bour-
gade tranquille promise un certain avenir : lancienne Edo devint finalement Tokyo.
48
Sous lre Edo donc, les dirigeants successifs appliqurent une stricte politique disole-
ment qui permit de maintenir la paix. Commerants chinois, missionnaires europens,
tous ces fauteurs de troubles porteurs dides nouvelles ntaient pas les bienvenus.
Ceci engendra le dveloppement de particularits culturelles originales dans tous les
domaines, du thtre la posie, en passant par la musique. . . et les mathmatiques.
Certains prirent lhabitude daccrocher au fronton des temples des planches de bois
dcores exposant des nigmes mathmatiques, les sangakus. Exposs aux intempries
et lindiffrence, beaucoup de ces sangakus du xviie au xixe sicle se sont perdus :
environ 800 seulement ont t conservs. Les auteurs viennent de toutes les classes
sociales, jeunes ou vieux, hommes ou femmes. Offrande aux Dieux, ex-voto, publicit,
ostentation ou simple amusement ? Si le sens religieux ou mystique sest perdu, en re-
vanche lintrt esthtique et la signification mathmatique restent parfaitement clairs.
Jusque de nos jours, des passionns affichent encore leurs nigmes, et il en est mme qui
en proposent sur le web. Ce sont en gnral des problmes de gomtrie euclidienne,
base de cercles, de carrs et de triangles.
Nous vous proposons celui de la figure 14. Dans un cercle de rayon R on trace 4
cercles dans chacun des quarts du cercle initial, tangents entre eux et au grand cercle.
Entre ces 4 cercles, on considre le cercle tangent aux 4, concentrique au grand cercle.
Soit r son rayon : quel est le rapport de r R ? Essayez de jouer le jeu : pas de logiciel
de calcul, pas dquation algbrique, pas de nombres complexes.
. . Aprs tout peu
importe : faites comme vous voulez, mais trouvez 3 2 2.
Figure 14 Sangaku du temple dIsaniwa Jinjya, 107 77 cm (1937)
3.4 La rgle de Sarrus

g de 17 ans, Pierre-Frdric Sarrus 2 , natif de Saint-Affrique dans lAveyron, des-
cend Montpellier pour y faire ses tudes. Nous sommes la rentre 1815, Napolon
2. J.-B. Hirriart-Urruty et H. Caussinus : Sarrus, Borel, Deltheil. Le Rouergue et ses mathmati-
ciens Gazette de la SMF (104) p. 8897 (2005)
49
vient dtre chass du pouvoir, et il ne fait pas bon tre la fois protestant et bona-
partiste. Sarrus, qui hsite encore entre mathmatiques et mdecine, va lapprendre
ses dpens. Pour exercer la mdecine, il faut un certificat de bonne vie et murs ,
quil demande au maire de Saint-Affrique. Voici la rponse.
Le maire pense quun jeune homme auteur et propagateur de chansons s-
ditieuses, outrageantes pour le roi et la famille royale, qui avant linterrgne
se permit darracher et de fouler aux pieds le ruban blanc que portait la
boutonnire un de ses camarades, et qui, dans une autre circonstance, lui
prend la fleur de lys et fait semblant de la conspuer, ne peut tre un bon
citoyen, et ne mrite pas le certificat quil demande.
Ce sera donc les mathmatiques. Il deviendra professeur et mme doyen de la Facult
des Sciences de Strasbourg. Il est lauteur de publications dun nombre et dun niveau
tout fait respectables, et il est quelque peu injuste quil soit surtout connu pour sa
rgle de calcul dun dterminant dordre 3, qui nest au fond quune astuce mnmo-
technique, et quil na probablement pas publie lui-mme. Elle apparat en 1846 dans
les lments dAlgbre de P.J.E. Finck, son collgue lUniversit de Strasbourg,
propos de la rsolution des systmes linaires 3 3.
Pour calculer, dans un exemple donn, les valeurs de x, y, et z, M. Sarrus
a imagin la mthode pratique suivante, qui est fort ingnieuse. Dabord
on peut calculer le dnominateur, et cet effet on crit les coefficients des
inconnues ainsi
a b c
a0 b0 c0
a00 b00 c00
On rpte les trois premiers a b c
et les trois suivants a0 b0 c0
Alors partant de a, on prend diagonalement du haut en bas, en descendant

la fois dun rang, et reculant dautant droite, ab0 c00 ; on part de a0 de mme,
et on a a0 b00 c ; de a00 , et on trouve a00 bc0 ; on a ainsi les trois termes positifs
(cest--dire prendre avec leurs signes) du dnominateur. On commence
ensuite par c et descendant de mme vers la gauche on a cb0 a00 , c0 b00 a, c00 ba0 ,
ou les trois termes ngatifs (ou plutt les termes quil faut changer de signe).
3.5 Les godsiens

Si dans un triangle on connat les longueurs de deux cts et la valeur de langle
entre ces deux cts, alors on peut calculer lautre ct et les deux autres angles, grce
au thorme dAl-Kashi. De mme si on connat la longueur dun ct et la valeur des
deux angles ses extrmits, alors on peut calculer les longueurs des deux autres cts
et langle restant. Connus au moins depuis Euclide, ces rsultats ont t longtemps
50
utiliss pour les calculs de longueur, tant en astronomie que pour les relevs terrestres.
Il sont la base de la triangulation, seule mthode possible pour mesurer de grandes
distances, avant le laser et les satellites.
Ses rflexions sur la gravitation universelle avaient conduit Newton affirmer que
la Terre est un ellipsode aplati aux ples (Principia Naturalis, 1687). Depuis, lEu-
rope savante, et en particulier lAcadmie Royale des Sciences se passionnait pour
la vrification de cette affirmation. Les Cassini, pre puis fils, avaient recueilli une
masse impressionnante de donnes en triangulant le territoire franais. Leurs conclu-
sions semblaient infirmer celles de Newton. La polmique stend sur des centaines de
pages dans les comptes-rendus de lAcadmie pour les annes 1720. Arguant de consi-
drations gopolitiques autant que scientifiques, le secrtaire de lAcadmie Maurepas,
russit persuader le roi Louis xv de financer deux expditions. Lune ira en Laponie
mesurer un degr de mridien au voisinage du ple, lautre devra mesurer un degr de
mridien lquateur. Si la Terre est bien aplatie, un degr de mridien au ple doit
tre plus court quen France, et lquateur il doit tre plus long.
Le 16 mai 1735, lexpdition de lquateur, compose de dix scientifiques et in-
gnieurs sembarque La Rochelle, en direction du Prou, une colonie espagnole qui
recouvrait la plus grande partie de la Bolivie, de lEquateur et du Prou actuels. Il est
impossible de dcrire ici lextraordinaire aventure scientifique et humaine que fut cette
expdition 3 . Il y eut dans la dizaine dannes que dura cette pope, deux meurtres,
une dizaine de procs, dinnombrables maladies, un mort de fivre jaune, un dans un
accident dchafaudage, un disparu dans la jungle, un mariage, des affaires de cur,
du trafic dor et dobjets de luxe, une affaire despionnage.
Scientifiquement, rien ne semblait pourtant prsenter de difficult insurmontable.
Pour mesurer un degr de mridien, il faut essentiellement trois tapes. La premire
consiste mesurer, par arpentage direct sur le terrain, une base rectiligne. La seconde
est la triangulation. On construit partir de la base un maillage, compos de triangles
dont on mesure tous les angles, et dont on calcule les longueurs des cts. On en
dduit, par projection orthogonale, la longueur dun arc de mridien. Il reste ensuite
dterminer la diffrence des latitudes des deux extrmits de larc dont la longueur a
t mesure.
Suite aux difficults du voyage, la mesure de la base ne put pas avoir lieu avant
lautomne 1736. Une toise, spcialement amene de Paris, sert dtalon pour des perches
en bois, que lon met bout bout pour mesurer, en deux quipes indpendantes, une
tendue de terrain pralablement dfrich, aplani et amnag pour les mesures. Selon
lheure de la journe, il faut tenir compte des variations des longueurs des perches avec
la temprature et lhumidit. Quand les deux quipes confrontent leurs rsultats, la
diffrence sur plus de 12 kilomtres est de lordre de la dizaine de centimtres !
Forts de ce succs, les savants se lancent dans une triangulation denvergure : 43
triangles seront mesurs sur une longueur de 354 kilomtres. La rgion de Quito o se
3. F. Trsytram : Le procs des toiles, Seghers, Paris (1979)
51
droulent les mesures est montagneuse, et pour tre bien visibles, les repres marquant
les extrmits des triangles sont placs en altitude. Ds la premire vise, les savants
passent une nuit 4600 mtres, sous une tempte de neige. Ce nest que le dbut dune
preuve de trois ans, passs pour lessentiel sur des sentiers de montagne ou dans des
campements de fortune, o ni les nombreuses maladies, ni les vols de matriel, ni la
crainte des animaux sauvages ne les empcheront de mesurer leurs triangles, toujours
avec le souci de prcision le plus extrme. Leur plan initial prvoyait trois quipes,
mesurant chacune deux angles de chaque triangle, de manire ce que tous les angles
soient systmatiquement mesurs deux fois. Mme si les dissensions et les circonstances
les empcheront de sen tenir un programme aussi contraignant, cest la satisfaction
du travail bien fait qui domine fin 1739. Ils soffrent mme le luxe, ncessaire leurs
yeux, de mesurer une deuxime base lautre extrmit de leur triangulation, afin de
vrifier leurs calculs en les reprenant lenvers. Tous pensent que le plus facile reste
faire : dterminer la latitude des deux extrmits de larc. Il leur faudra encore des
annes de travail et de polmique pour parvenir un rsultat.
Non pas que lenjeu scientifique soit bien grand : en 1737, une mauvaise nouvelle
leur est parvenue. Fortement aid par lastuce et la puissance de calcul de Clairaut,
Maupertuis, qui dirigeait lexpdition en Laponie, na mis que quelques mois ramener
le rsultat quon attendait : la Terre est bien aplatie aux ples. Maupertuis sest dj fait
reprsenter en majest pour la postrit, devant un globe terrestre exagrment aplati,
la main ngligemment pose sur un exemplaire des Principia Naturalis de Newton !
Longtemps aprs cette aventure, la triangulation de la terre devait occuper encore
de nombreux mathmaticiens. Enjeux scientifiques, mais aussi conomiques et surtout
militaires, les raisons pour tablir des cartes prcises, et donc mesurer des triangula-
tions sur le terrain ne manquaient pas. Au cours des xviiie et xixe sicles, ces mesures
furent souvent confies des militaires, qui devaient parfois se montrer aussi bons alpi-
nistes que mathmaticiens. Lors de la triangulation des Pyrnes en 1825, les officiers
godsiens Peytier et Hossard utilisrent pour leurs calculs le sommet du Balatous
(3144m). En 1865, C. Packes, pensant tre le premier raliser lascension de ce pic,
fut plutt du dy trouver le repre que Peytier et Hossard avaient difi 40 ans plus
tt. Un sommet proche a t baptis de leurs noms, et un autre sappelle pointe des
godsiens . Dans les Alpes, la pointe Helbronner, la pointe Dufour, la pointe Durand
portent aussi des noms de godsiens.
3.6 Le cinquime postulat

Les lments sont un trait mathmatique et gomtrique, constitu de 13 livres
organiss thmatiquement, probablement crit par Euclide vers 300 avant J.-C. Il com-
prend une collection de dfinitions, axiomes, thormes et dmonstrations sur la go-
mtrie et les nombres.
Cest le plus ancien exemple connu dun traitement axiomatique et systmatique
de la gomtrie et son influence sur le dveloppement de la science occidentale est
52
fondamentale. Il sagit du livre de mathmatiques le plus lu au cours de lhistoire : les

lments furent lun des premiers livres imprims et ont connu depuis plus de 1000
ditions. Pendant des sicles, vos prdecesseurs ont appris les mathmatiques non pas
dans des polycopis, mais dans les lments.
Le livre I contient 5 postulats de gomtrie plane.
1. Un segment de droite peut tre trac en joignant deux points quelconques.
2. Un segment de droite peut tre prolong indfiniment en une ligne droite.
3. Etant donn un segment de droite quelconque, un cercle peut tre trac en prenant
ce segment comme rayon et lune de ses extrmits comme centre.
4. Tous les angles droits sont congruents
5. Si deux droites sont scantes avec une troisime de telle faon que la somme des
angles intrieurs dun cte soit infrieure deux angles droits, alors ces deux
droites sont forcment scantes de ce ct.
La contrapose du cinquime postulat est que si deux droites ne se coupent pas, alors
la somme des angles intrieurs toute scante est gale . En consquence, par un
point donn, il ne peut passer quune parallle une droite donne.
Pour cette raison, le cinquime postulat sappelle le postulat des parallles. Il a
toujours sembl moins vident que les autres, et de nombreux mathmaticiens ont
pens quil pouvait tre dmontr partir des prcdents. Pendant des sicles, toutes
les tentatives chourent. La plupart dentre elles taient des essais de dmonstration
par labsurde. Nombreux furent ceux qui conclurent une contradiction devant ce
quils percevaient comme une impossibilit vidente mais qui ntait nullement
une contradiction mathmatique. Parmi ces courageux, Giovanni Saccheri (1667-1733)
mrite une mention spciale. En 1733, il publie Euclides ab omni naevo vindica-
tus (Euclide lav de toute tache). Partant du postulat que par un point on peut
faire passer une infinit de droites distinctes qui ne coupent pas une droite donne,
Saccheri dmontre quantit de thormes, et devant leur vidente bizarrerie, conclut
quil a dmontr par labsurde le cinquime postulat dEuclide.
Pourtant, les rsultats de Saccheri sont maintenant des thormes connus de la
gomtrie hyperbolique. Ce nest quau xixe sicle que Lobachevski, Bolia, et sans doute
Gauss, reconnurent quil tait impossible de dmontrer le cinquime postulat dEuclide :
on obtient simplement des gomtries diffrentes avec des postulats diffrents.
1. par un point ne passe aucune parallle une droite donne : gomtrie sphrique
2. par un point passe exactement une parallle une droite donne : gomtrie
euclidienne
3. par un point passe une infinit de parallles une droite donne : gomtrie
hyperbolique
Parmi les consquences, la somme des angles dun triangle, qui vaut en gomtrie
euclidienne, est suprieure en gomtrie sphrique, et infrieure en gomtrie
hyperbolique. Voici lexpression du thorme dAl-Kashi 4 dans les trois gomtries.
53
Figure 15 Le disque de Poincar : modle de la gomtrie hyperbolique.
1. gomtrie sphrique : cos(a) = cos(b) cos(c) + sin(b) sin(c) cos()

2. gomtrie euclidienne : a2 = b2 + c2 2bc cos()
3. gomtrie hyperbolique : cosh(a) = cosh(b) cosh(c) sinh(b) sinh(c) cos()
La gomtrie sphrique est facile visualiser : sur une sphre en dimension 3, il suffit de
baptiser droite tout cercle de rayon maximal (intersection de la sphre avec un plan
passant par le centre). La gomtrie hyperbolique est moins facile imaginer. Henri
Poincar (1854-1912) a propos deux modles quivalents. Dans le premier, les points
sont ceux dun demi-plan de la gomtrie euclidienne, mais on appelle droite les
demi-cercles centrs sur laxe des abscisses. Dans le second, les points sont ceux dun
disque, et les droites sont les arcs de cercle qui coupent orthogonalement le cercle
bordant le disque. La figure 15 montre des droites hyperboliques, soit orthogonales
deux deux, soit parallles. Elles forment des triangles rectangles dont deux cts
sont infinis et deux angles nuls.
Les triangles de la figure 15 constituent un pavage du plan hyperbolique. Les pos-
sibilits pour paver le plan hyperbolique sont beaucoup plus tendues quen gomtrie
euclidienne : on peut par exemple utiliser des pavs 4 cts dont deux angles opposs
valent /3, et les deux autres /2 : ce pavage est illustr par la figure 16. Le peintre
hollandais M.C. Escher tait fascin par la symtrie et linfini mais il ne connaissait
pas les mathmatiques quand il a ralis cette gravure. Aprs avoir vu ses uvres,
le mathmaticien H.S.M. Coxeter demanda le rencontrer, et lui expliqua quil avait
rinvent les pavages du plan hyperbolique.
54
Figure 16 Limite circulaire de M.C. Escher.
55

Plan Et Espace

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Plan Et Espace

Uploaded by

Copyright:

Available Formats

Universit Joseph Fourier, Grenoble Maths en Ligne

Table des matires

Figure 1 Addition de deux vecteurs et multiplication dun vecteur par un rel.

Laddition et la multiplication par un rel induisent la notion de combinaison li-

Laddition et la multiplication des vecteurs se traduisent par les mmes oprations

Soit E un espace vectoriel. Un espace affine E est un ensemble de points. On suppose

au sens de laddition des vecteurs.

1.2 Espaces vectoriels

o 1 , . . . , n sont des rels.

Un sous-espace dun espace vectoriel E est un sous-ensemble qui est lui-mme un

Dfinition 3. Soit E un espace vectoriel, F un sous-ensemble de E. On appelle sous-

Tout sous-espace contenant F , contient ncessairement le sous-espace engendr par

Dfinition 4. Soit E un espace vectoriel, ~u1 , . . . , ~un n vecteurs de E.

Une famille qui nest pas libre est dite lie.

Les rels x1 , . . . , xn sont les coordonnes de ~v dans la base (~u1 , . . . , ~un ).

Proposition 2. Soit B = (~, ~ ) une base de E. Le dterminant vrifie les assertions

DetB (~u, ~u) = 0 .

b) Pour tous vecteurs ~u, ~v de E,

DetB (~u, ~v ) = DetB (~v , ~u) .

d) Si B 0 = (~0 , ~0 ) est une base de E, alors :

DetB (~u, ~v ) = DetB0 (~u, ~v ) DetB (~0 , ~0 ) .

Dmonstration : Soient x1 et y1 deux rels.

entrane lassertion b).

~u = x01~0 + y10 ~0 et ~v = x02~0 + y20 ~0 .

En appliquant c), b) et a) on obtient :

DetB (~u, ~v ) = DetB (x01~0 + y10 ~0 , x02~0 + y20 ~0 )

Dmonstration : Si ~u et ~v sont colinaires, alors il existe R tel que ~u = ~v ou

Par consquent, DetB (~u, ~v ) 6= 0.

Passons maintenant la dimension 3. Soit E un espace vectoriel de dimension 3

Pour calculer le dterminant de trois vecteurs, on peut utiliser la rgle de Sarrus : on

Proposition 3. Soit B = (~, ~, ~k) une base de lespace vectoriel E. Le dterminant de

Figure 2 Rgle de Sarrus.

1.4 Espaces affines

Soient A, C deux points de E, ~u un vecteur de E. Notons B = A + ~u et D = C + ~u.

Figure 3 Couples de points quipollents.

La relation dquipollence est une relation dquivalence sur lensemble E E des

1.5 Combinaisons linaires et barycentres

La proposition suivante montre que ce point M ne dpend pas du choix de lorigine,

Pour tout point O0 de E,

Dmonstration : Il suffit dutiliser la relation de Chasles :

En remplaant O par M dans (1), on obtient

M Ai affects des coefficients i soit nulle.

Soit O une origine quelconque. Le point M appartient la droite D si et seulement si

pour un certain rel . Donc M est le barycentre de A et B affects des coefficients

1.6 Droites et plans

Soit A un point de P et ~u un vecteur non nul de P . La droite de vecteur directeur

Dmonstration : Sans perte de gnralit, nous pouvons supposer a 6= 0. Soit A un

Lemme 1. Pour tous rels xu , yy , zu , xv , yv , zv , si a, b, c sont dfinis par (5), alors :

axu + byu + czu = 0 et axv + byv + czv = 0 . (6)

Dmonstration : La vrification, laisse au lecteur, est un peu fastidieuse, mais elle ne

ax + by + cz (axA + byA + czA ) = 0 .

Rciproquement, toute quation du type ax + by + cz + d = 0 dfinit bien un plan, que

En dimension 3, les quations paramtriques de la droite

sont sans surprise :

1.7 Produit scalaire et orthogonalit

S(~u, ~v ) = S(~v , ~u) ;

2. bilinaire : pour tous vecteurs ~u, ~v , w

S(~u, (~v + w))

3. dfinie positive : pour tout vecteur ~u,

S(~u, ~u) 0 et S(~u, ~u) = 0 ~u = ~0 .

On appelle produit scalaire de ~u et ~v relatif la base (~u1 , . . . , ~un ), et on note ~u ~v la

Dfinition 10. Soit E un espace vectoriel muni dun produit scalaire.

Proposition 8. Soient ~u et ~v deux vecteurs dun espace vectoriel E de dimension n,

Dmonstration : En utilisant la bilinarit :