0% ont trouvé ce document utile (0 vote)
21 vues19 pages

Cours de Géométrie Affective Euclidienne

Le document est un cours de géométrie affine euclidienne destiné aux professeurs stagiaires en mathématiques. Il couvre les définitions, propriétés et concepts clés des espaces affines, y compris les repères cartésiens, sous-espaces affines et projections orthogonales. Les notions sont accompagnées d'exemples et de propositions pour illustrer les théories présentées.

Transféré par

achraf el bouzidi
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
0% ont trouvé ce document utile (0 vote)
21 vues19 pages

Cours de Géométrie Affective Euclidienne

Le document est un cours de géométrie affine euclidienne destiné aux professeurs stagiaires en mathématiques. Il couvre les définitions, propriétés et concepts clés des espaces affines, y compris les repères cartésiens, sous-espaces affines et projections orthogonales. Les notions sont accompagnées d'exemples et de propositions pour illustrer les théories présentées.

Transféré par

achraf el bouzidi
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Cours et Exercices de Géométrie ane

euclidienne pour les Professeurs Stagiaires Cadres


des Académies
Filière : Professeurs de l'Enseignement Secondaire \
Département de mathématiques

Réalisé par : Mohamed Talbi, Professeur au CRMEF de l'Oriental, Oujda

2022-2023
Table des matières
1 Espace Ane 2
1.1 Dénition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Repère cartésien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.4 Sous-espaces ane . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

2 Espaces Ane Euclidien 6


2.1 Rappels sur les espaces vectoriels euclidiens : . . . . . . . . . . . . . . . . . . . . 6
2.1.1 Produit scalaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.1.2 Norme : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.1.3 Orthogonalité : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.1.4 Base orthonormée : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Espace ane euclidien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2.1 Espace ane euclidien : . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2.2 Distance : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2.3 Boules et sphères : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2.4 Repère orthonormé : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2.5 Orthogonalité et perpendicularité des sous-espaces : . . . . . . . . . . . . 12
2.3 Projection orthogonale : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3.1 Projeté orthogonal : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3.2 Sphères, Hyperplans tangents : . . . . . . . . . . . . . . . . . . . . . . . 16

1
Chapitre 1
Espace Ane
1.1 Dénition
Dénition 1.1. Soit E un espace vectoriel. Un espace ane de direction E est un ensemble
−→ −→

−→
non vide E muni d'une application Φ de E × E dans E qui à un couple (A, B) de E associe

−−−

un vecteur noté AB et qui vérie

−−−
→ −−−−
→ −−−−

1) ∀(A, B, C) ∈ E 3 , AB + BC = AC (relation de Chasles).
−→
2) Pour tout point A de E, l'application ΦA dénie de E dans E par
−−−−→ −→
ΦA (M ) = Φ(A, M ) = AM est une bijection de E dans E .
−→
La dimension de l'espace ane E est par dénition celle de l'espace vectoriel E associé.
Les éléments de E sont appelés des points.
−→
Dans toute la suite on notera par E un espace ane et par E sa direction.

Remarque 1.1.
−→
1) On peut munir un espace vectoriel E d'une structure d'espace ane, de direction l'espace
−→ −→ −→ −→
vectoriel E lui-même, dite structure ane canonique : Φ est l'application de E × E dans E
dénie par −uv
−→
= Φ(u, v) = v − u. Donc v = u + uv .
−−→

Sans autre précision, un espace vectoriel sera toujours muni de sa structure ane canonique.

−−−

2)Si Φ−1
A (u) = B on écrit : B = A + u et cela signie que AB = u.
D'après cette notation on a

−→ −→
E = A + E = {A + x | x ∈ E }.

Exemple On note E l'ensemble des (x, y, z) de R3 tels que x + y + z = 1 et E l'ensemble des


−→

(x, y, z) de R3 tels que x + y + z = 0.


−→
a. Vériez que E est un R-espace vectoriel. L'ensemble E est-il un sous-espace vectoriel de R3 ?

2
b. On dénit Φ de E ×E dans R3 par Φ((x, y, z), (x′ , y ′ , z ′ )) = (x′ −x, y ′ −y, z ′ −z). Montrez que
−→
Φ(E × E) est inclus dans E et que Φ dénit sur E une structure d'espace ane dont l'espace
−→
vectoriel sous-jacent est E .

1.2 Propriétés
Proposition 1.1.
−→
i) Pour tout point A ∈ E et tous vecteurs u, v ∈ E :
A + (u + v) = (A + u) + v
ii) Pour tous points A, B ∈ E :

−−−

ˆ AB = 0 ⇐⇒ A = B,

−−−
→ −
−−−

ˆ BA = −AB .

1.3 Repère cartésien


Dénition 1.2.
ˆ Un repère cartésien de E est la donnée d'un point O ∈ E et d'une base (e1 , ..., en ) de
−→
E , il est noté (O, e1 , ..., en ). Les coordonnées (cartésiennes) d'un point M ∈ E dans
−−−−→
un tel repère sont les n scalaires x1 , ..., xn tels que : OM = x1 e1 + ... + xn en .
−−−−−−
→ −−−−−−→
ˆ On dit que k+1 points A0 , ..., Ak sont anement indépendants si les vecteurs A0 A1 , ..., A0 An
sont linéairement indépendants.
ˆ Un repère ane de E est la donnée de n + 1 points anement indépendants.

Remarque 1.2.

−−−−−
→ −−−−−−→
(A0 , ..., An ) est un repère ane de E si et seulement si (A0 , A0 A1 ..., A0 An ) est un repère
cartésien de E.

1.4 Sous-espaces ane


Dénition 1.3. Un sous-espace ane F de E est une partie de E de la forme
−→
F =A+F,
−→ −→
où A ∈ E et F est un sous-espace vectoriel de E .
−→
F est alors par restriction un espace ane de direction F .

3
Dénition 1.4. Soient F et G deux sous-espaces anes de E de directions respectives F et
−→

−→
G . On dit que :
−→ −→
ˆ F et G sont parallèles si F = G ,
−→ −→
ˆ F est faiblement parallèle à G si F ⊂ G .

Proposition 1.2. Soit (Fi )i∈I une famille de sous-espaces anes de E. Leur intersection est
−→ −→
soit vide, soit un sous-espace ane de direction ∩i∈I F i , où les F i sont les directions des Fi .
−→ −→
Démonstration. Si ∩i∈I Fi ̸= ∅. Soit A ∈ ∩i∈I Fi , alors ∩i∈I Fi = ∩i∈I (A + F i ) = A + (∩i∈I F i )
−→ −→
et ∩i∈I F i est un s.e.v de E .

Dénition 1.5. Soit X une partie non vide de E. l'intersection des sous-espaces anes conte-
nant X s'appelle le sous-espace ane engendré par X. On le note Af f (X).

Proposition 1.3. Soit X une partie non vide de E et A ∈ X


i) Af f (X) est le plus petit sous-espace ane de E contenant X.
−−−−

ii) la direction de Af f (X) est V ect({AB | B ∈ X}).

Démonstration.
i) D'après la proposition précédente.

−−−→
ii)Posons F = A + V ect({AB |B ∈ X}).

−−−

Soit M ∈ F, alors il existe I ⊂ R tel que M = A + λ∈I, B∈X λAB ∈ Af f (X).
P

−−−→
Soit B ∈ X, alors B = A + AB ∈ F. Donc X ⊂ F et par suite Af f (X) ⊂ F.

Proposition 1.4. Soient F = A+ F et G = B + G deux sous-espaces anes de E. La direction


−→ −→

du sous-espace ane Af f (F ∪ G) est


−→ −→
F + G siF ∩ G ̸= ∅,
−→ −→ −
−−−

(F + G ) ⊕ V ect(AB ) siF ∩ G = ∅.

Démonstration. D'après la proposition précédente, la direction de Af f (F ∪ G) est



−→ −−−−→ −−−−→ −
−−−
→ −
−−−−

H = V ect({AM | M ∈ F ∪ G}) = V ect({AM | M ∈ F } ∪ {AB + BM | M ∈ G}) =
−→ −→ −
−−−

F + G + V ect(AB ).

−−−
→ −→ −→ −
−−−
→ −→ −
−−−
→ −→
De plus AB ∈ F + G ssi il existe C ∈ E tel que AC ∈ F et CB ∈ G ssi C ∈ F ∩ G. Donc
−→ −→

−→
F + G siF ∩ G ̸= ∅,
H = −→ −→ −
−−−

(F + G ) ⊕ V ect(AB ) siF ∩ G = ∅.

4
Dénition 1.6. Soient F et G deux sous-espaces anes de E de direction respectives F et G .
−→ −→

−→ −→ −→
On dit que F et G sont supplémentaires dans E si E = F ⊕ G .

Proposition 1.5. F et G sont supplémentaires dans E si et seulement si Af f (F ∪ G) = E et


F ∩ G contient un unique point.

Démonstration.
−→ −→ −→
Si F et G sont supplémentaires dans E, alors E = F ⊕ G . D'après la Proposition 1.4,

−−−−−−−−−−−−−−
→ −→
Af f (F ∪ G) = E , donc Af f (F ∪ G) = E et F ∩ G ̸= ∅. De plus F ∩ G contient un unique
−−−−−
→ −→ −→
point car ∀M, N ∈ F ∩ G, M N ∈ F ∩ G = {0}, donc M = N.
−→ −→ −→ −→ −→ −→ −→
Si Af f (F ∪ G) = E et F ∩ G = {B}, E = F + G et F ∩ G = {0}, car ∀u ∈ F ∩ G , B + u ∈
−−−−

F ∩ G = {B}. Donc u = BB = 0.

5
Chapitre 2
Espaces Ane Euclidien
2.1 Rappels sur les espaces vectoriels euclidiens :
Remarque 2.1. Cette première partie a pour but de développer les principaux résultats concer-
nant les espaces vectoriels euclidiens. Cette étude n'est pas une n en soi mais elle est le passage
obligé pour étudier ensuite les espaces anes euclidiens qui sont l'objet principal du programme
de géométrie.
−→
On note E un espace vectoriel de dimension n non nulle sur le corps des réels R.

2.1.1 Produit scalaire


Dénition 2.1. Un produit scalaire sur E est une application ϕ de E × E dans R qui à un
−→ −→ −→

couple de vecteurs (x, y) associe un scalaire réel noté (x|y) ( ou x.y ou ⟨x, y⟩, ...) vériant les
trois propriétés suivantes :
PS1) l'application ϕ : (x, y) 7→ (x|y) est bilinéaire, c'est-à-dire linéaire en x :
−→
∀x, x′ , y ∈ E ; ∀λ, λ′ ∈ R; (λx + λ′ x′ |y) = λ(x|y) + λ′ (x′ |y),

et, de même, ϕ est linéaire en y,


PS2) l'application ϕ est symétrique :
−→2
∀(x, y) ∈ E , (x|y) = (y|x),

PS3) l'application ϕ est dénie positive :


−→
∀x ∈ E , (x|x) ≥ 0) et (x|x) = 0 ⇐⇒ x = 0

6
−→
Un espace vectoriel E de dimension ni muni d'un produit scalaire est appelé un espace vectoriel
euclidien.
Remarques 2.1.
1. Grâce à la symétrie on peut se limiter à vérier la linéarité sur l'un des facteurs.
2. La condition PS1 appliquée avec λ = λ′ = 0 montre qu'on a (0|y) = (y|0) = 0 pour tout
−→
y ∈ E . À l'inverse, 0 est le seul vecteur x vériant (x|y) = 0 pour tout y (comme on le voit
avec la condition PS3 appliquée à x). On dit que la forme bilinéaire ϕ est non dégénérée.
Exemples : Les applications suivantes sont elles des p.s :
1) φ : R3 × R3 → R tel que φ((x1 , x2 , x3 ), (y1 , y2 , y3 )) = 2x1 y1 + x2 y1 + x1 y2 + 2x2 y2 .
2) φ : R3 × R3 → R tel que φ((x1 , x2 , x3 ), (y1 , y2 , y3 )) = 2x1 y1 + x2 y1 .
Exercice 1 :
−→ −→
E est un espace vectoriel euclidien muni d'un p.s (.|.). Soit x ∈ E tel que : (x|x) = 0. Montrer
−→
que pour tout y ∈ E ; (x|y) = 0.

2.1.2 Norme :
Théorème 2.1. soit (.|.) un p.s sur E , alors : ∥x∥ =
−→ −→
(x|x) est une norme sur E . c'est à
p

dire :
−→
N1) ∀x ∈ E , ∥x∥ ≥ 0 et (∥x∥ = 0 ⇐⇒ x = 0);
−→
N2) ∀λ ∈ R, ∀x ∈ E , ∥λx∥ = |λ|∥x∥;
−→
N3) Inégalité triangulaire : ∀x, y ∈ E , ∥x + y∥ ≤ ∥x∥ + ∥y∥.
−→
Cette norme s'appelle norme euclidienne de E .
Pour la preuve de ce théorème nous avons besoin de l'inégalité de Cauchy-Schwartz suivante :
Lemme 2.1. On a pour tout x, y dans E , l'inégalité :
−→

|(x|y)| ≤ ∥x∥∥y∥.

De plus, on a égalité si et seulement si x et y sont colinéaires.


Démonstration. Le résultat est évident si y est nul. Sinon, on applique la propriété (PS3) aux
vecteurs x + λy avec λ réel. On a donc

∀λ ∈ R; (x + λy|x + λy) ≥ 0.

Par bilinéarité on obtient :

∀λ ∈ R; (x|x) + 2λ(x|y) + λ2 (y|y) ≥ 0.

7
Cette expression est un trinôme du second degré en λ qui est toujours positif ou nul, donc son
discriminant ∆′ = (x|y)2 − (x|x)(y| y) ≤ 0. D'où l'inégalité cherchée.
Il est clair que si x et y sont colinéaires on a égalité. Réciproquement, si y est nul, x et y sont
évidemment colinéaires. Si on a égalité, et que y ne soit pas nul, le discriminant ∆′ est nul,
donc l'équation a une racine double réelle λ0 :

(x + λ0 y|x + λ0 y) = 0.

ce qui implique x + λ0 y = 0 en vertu de la condition PS3, donc x = −λ0 y.


Démonstration du théorème 2.1. La propriété N1 résulte du fait que (.|.) est dénie posi-
tive et N2 résulte de la bilinéarité. Pour prouver N3 il sut d'élever au carré (les normes sont
positives) et d'utiliser l'inégalité de Cauchy-Schwarz.
Remarques 2.2. 1. Montrer les formules suivantes pour x, y ∈ E :
−→

a. 2(x|y) = ∥x + y∥2 − ∥x∥2 − ∥y∥2 ,


b. 4(x|y) = ∥x + y∥2 − ∥x − y∥2 ,
c. 2(∥x∥2 + ∥y∥2 ) = ∥x + y∥2 + ∥x − y∥2 .
La formule (c) est connue sous le nom d'identité du parallélogramme. Donnez une interprétation
géométrique.
2. Seules les normes qui vérient l'égalité du parallélogramme sont euclidiennes (qui se déduisent
d'un produit scalaire).
Contres-exemples : les normes dans Rn dénies par ∥x∥1 = sup1≤i≤n |xi | ou ∥x∥2 = ni=1 |xi |
P

ne sont pas euclidiennes.

2.1.3 Orthogonalité :
Dénition 2.2. On dit que deux éléments x et y de E sont orthogonaux si on a (x|y) = 0. On
−→

note alors x⊥y.


−→
On dit que deux sous-espaces vectoriels V et W de E sont orthogonaux si tout vecteur de V est
orthogonal à tout vecteur de W. On note V ⊥W.
Par la formule (a) de la remarque 2.2 on déduit le théorème de Pythagore :
Proposition 2.1. (Théorème de Pythagore vectoriel) : Deux vecteurs x et y sont orthogonaux
si et seulement si on a
∥x + y∥2 = ∥x∥2 + ∥y∥2 .

Dénition 2.3. Soit A une partie de E ; on appelle orthogonale de A et qu'on note A⊥ ,


−→

−→
l'ensemble A⊥ = {x ∈ E | ∀y ∈ A : (x|y) = 0}.

8
Remarques 2.3.
−→
1. A⊥ est un sous-espace vectoriel de E .
2. L'application V → V ⊥ est décroissante : si on a V ⊂ W on a, à l'inverse, W ⊥ ⊂ V ⊥ .

Proposition 2.2. Soit V un sous-espace vectoriel de E . On a la décomposition en somme


−→

−→ −→
directe : E = V ⊕ V ⊥ et donc l'égalité : dimV ⊥ = dim E − dim V.

Démonstration. Si x est dans l'intersection V ∩V ⊥ on a x.x = 0 donc x = 0 d'où V ∩V ⊥ = {0}.


Si on pose p = dim V on a donc dim V ⊥ ≤ n − p.
Il reste à montrer l'inégalité : dim V ⊥ ≥ n − p. On xe une base (e1 , ..., ep ) de V. On a alors, en
−→
vertu de la bilinéarité : V ⊥ = {x ∈ E |∀i = 1, ..., p, [Link] = 0}. Autrement dit, si on considère
l'application linéaire φ : E → Rp dénie par φ(x) = (x.e1 , ..., [Link] )), V ⊥ n'est autre que
le noyau de φ. On conclut en notant l'inégalité dim Imφ ≤ p et en appliquant la formule :
dim Kerφ + dim Imφ = dimE.

2.1.4 Base orthonormée :


La notion de base orthonormée que nous dénissons maintenant joue un rôle capital dans
les espaces euclidiens, tant sur le plan théorique qu'au niveau des calculs.
Dénition 2.4. Soit B = (e1 , ..., en ) une base de E . On dit que B est une base orthonormée
−→

−→
de E si :
ei .ej = 0 si i ̸= j et ∥ei ∥ = 1 pour 0 ≤ i, j ≤ n

Remarques 2.4.
Les calculs relatifs aux normes et aux produits scalaires sont très faciles quand on travaille dans
une base orthonormée.
−→ −→
Soient E un e.v.e muni d'une base orthonormée (e1 , ..., en ) et x, y ∈ E tel que x = ni=1 xi ei
P

et y = ni=1 yi ei . Prouver les résultats suivants :


P

1. Les coordonnées de x sont données par les formules xi = [Link] avec i = 1, ..., n.
2. x.y = ni=1 xiyi.
P

3. ∥x∥ =
pPn 2
i=1 xi .

Bien entendu il faut encore s'assurer qu'il existe des bases orthonormées. C'est l'objet de la
proposition suivante :
Proposition 2.3. Dans tout espace euclidien il existe des bases orthonormées.
Démonstration. On démontre la proposition par récurrence sur n. Elle est triviale pour n = 1
x
(car on peut toujours remplacer un vecteur x non nul par le vecteur , colinéaire et de
∥x∥

9
norme 1). Supposons la démontrée pour n et passons à n+1. Prenons un vecteur e0 non nul que
l'on peut supposer de norme 1 comme ci-dessus et considérons la droite vectorielle D = Re0
−→
engendrée par e0 . D'après la proposition 2.2, D⊥ est un hyperplan et on a E = D⊕D⊥ . L'espace
D⊥ muni de la restriction du produit scalaire est un espace euclidien de dimension n. Par
l'hypothèse de récurrence il contient une base orthonormée (e1 , ..., en ). Alors (e0 , e1 , ..., en )
−→
est une base orthonormée de E . En eet, par hypothèse, les ei sont de norme 1 et les ei pour
i ≥ 1 sont orthogonaux deux à deux. Enn e0 est orthogonal aux autres ei par dénition de
D⊥ .

2.2 Espace ane euclidien


L'étude des espaces anes euclidiens est l'objet principal du programme de géométrie En-
seigné au CRMEF. Elle fournit en eet un cadre théorique pour la géométrie euclidienne élé-
mentaire, celle qui est enseignée dans les collèges et lycées.

2.2.1 Espace ane euclidien :


Dénition 2.5. Soit E un espace ane réel de dimension n, E l'espace vectoriel associé. On
−→

−→
dit que E est un espace ane euclidien si E est un espace vectoriel euclidien, i.e. si l'on s'est
−→
donné un produit scalaire sur E .

Exemple : Si on munit l'espace vectoriel E = Rn de sa structure ane canonique et du


−→

produit scalaire déni par x.y = ni=1 xi yi , on obtient un espace ane euclidien que l'on peut
P

appeler espace ane euclidien canonique de dimension n. En utilisant les repères orthonormés
on montre que tous les espaces anes euclidiens de dimension n sont isomorphes à celui-là.
Dans toute la suite E désigne un espace ane euclidien xé, de dimension n et x.y le produit
−→
scalaire des vecteurs x et y de E .

Remarque 2.2. Si F est un sous-espace ane de E euclidien, la restriction à F du produit


−→

scalaire munit canoniquement F d'une structure d'espace ane euclidien.

2.2.2 Distance :
Dénition 2.6. On dénit une distance d sur E par la formule : d(A, B) = ∥AB ∥. On notera

−−−

simplement d(A, B) = AB.

10
2.2.3 Boules et sphères :
Soient O un point de E et r un réel positif ou nul. La sphère (resp. la boule fermée) de centre O et
de rayon r est l'ensemble S(O, r) = {M ∈ E|OM = r}, (resp. B(O, r) = {M ∈ E|OM ≤ r}.)
Si E est de dimension 2, on parle de cercle et de disque fermé plutôt que de sphère et de boule
fermée.
Exercices :
1. Dans l'espace ane euclidien canonique Rn montrez que l'équation de la sphère de centre
a = (a1 , ..., an ) et de rayon r est

x21 + ... + x2n − 2a1 x1 − ... − 2an xn + a21 + ... + a2n − r2 = 0.

Réciproquement, déterminer l'ensemble des points x = (x1 , ... , xn ) vériant une équation de
la forme :
x21 + ... + x2n − 2a1 x1 − ... − 2an xn + c = 0.

2. Dans le plan ane euclidien canonique R2 , montrez que le cercle de centre a = (a1 , a2 )
et de rayon r admet la représentation paramétrique : x1 = a1 + rcost, x2 = a2 + rsint pour
t ∈ [0, 2π[ ou pour t ∈] − π, +π].
3. Montrer que pour tout point M appartientà une sphère de diamètre [AB], si et seulement si
le triangle ABM est rectangle en M.

2.2.4 Repère orthonormé :


Dénition 2.7. Un repère cartésien de E est dit orthogonal (resp. orthonormé) si la base de
−→
E qui lui est associée est orthogonale (resp. orthonormée). Pour abréger, on dira simplement 
repère orthonormé  au lieu de  repère cartésien orthonormé  (et on pourra écrire  r.o.n.
).

Le résultat suivant découle immédiatement du de la Proposition 2.3

Proposition 2.4. L'espace euclidien possède des repères orthonormés.

L'intérêt de ces repères est qu'on y calcule facilement des distances :


Dans un repère orthonormé de E, si A = (xi )1≤i≤n et B = (yi )n≤i≤n alors
Ì n
X
AB = (yi − xi )2 .
i=1

11
2.2.5 Orthogonalité et perpendicularité des sous-espaces :
Orthogonalité :
Dénition 2.8.
−→ −→ −→ −→⊥
1) On dit que F et G sont orthogonaux si F et G le sont, i.e. si G ⊂ F (ou encore, si
−→ −→⊥
F ⊂ G ). On note alors F ⊥G ou G⊥F .
−→ −→ −→ −→⊥
2) On dit que F et G sont supplémentaires orthogonaux si F et G le sont, i.e. si G = F (ou
−→ −→⊥
encore, si F = G .)

Proposition 2.5. Soient F et G deux sous-espaces anes de E.


1) Si F et G sont orthogonaux,alors F ∩ G est soit vide, soit un singleton.
2) L'intersection de deux s. e. a supplémentaires orthogonaux est un singleton.

Démonstration.
−→ −→ −→ −→
1) Si F ⊥G, alors F ⊥G , donc F ∩ G = {0}. Par suite, si F ∩ G n'est pas vide, alors pour

−−−−→ −→ −→ −
−−−−

M, N ∈ F ∩ G, M N ∈ F ∩ G = {0}. Donc M N = 0 et M = N.
2) D'après la Proposition 1.5 du Chapitre 1.

Remarques 2.5.
−→
- Les hyperplans vectoriels d'un espace vectoriel E de dimension quelconque sont la généralisa-
tion des plans vectoriels d'un espace vectoriel de dimension 3 : ce sont les sous-espaces vectoriels
−→ −→
de codimension 1 dans E . Si E est de dimension nie n non nulle, les hyperplans sont donc
les sous-espaces de dimension n − 1.
- Un hyperplan ane d'un espace ane est un sous espace ane associé à un hyperplan vec-
toriel.

Exemple 2.1. une droite D et un hyperplan H orthogonaux sont automatiquement supplémen-


taires. (Pourquoi ?)
−→
Dans le cadre vectoriel, un sous-espace F n'admet qu'un seul supplémentaire orthogonal,
−→ −→⊥
qu'on appelle le supplémentaire orthogonal de F (c'est F ). Ce n'est plus vrai dans le cadre
ane.

Proposition 2.6. Soient F un sous-espace ane de E et A un point de E. Il existe un unique


−→⊥
supplémentaire orthogonal de F passant par A : c'est le sous-espace G = A + F .

Démonstration. C'est évident.

Ainsi, un sous-espace(non réduit à un point) possède une innité de supplémentaires ortho-


gonaux.

12
Exemple 2.2. Dans un triangle ABC d'un plan ane euclidien, l'unique droite passant par
A et orthogonale à (BC) s'appelle la hauteur issue de A. Son unique point d'intersection avec
(BC) est son pied. (On dénit de même les hauteurs issues de B et de C.)

Les trois notions de perpendicularité :


Dénition 2.9.
1) Deux sous espaces anes supplémentaires orthogonales sont dits aussi perpendiculaires.
(Donc une droite ane et un hyperplan ane orthogonaux sont perpendiculaires.)
2) Deux droites anes sont dites perpendiculaires si elles sont orthogonales et sécantes (en un
point).

−−→⊥ −
−−→⊥
3) Deux hyperplans anes H1 et H2 sont dits perpendiculaires si H1 ⊥H2 , c'est-à-dire si
tout vecteur normal à H1 est orthogonal à tout vecteur normal de H2 (un vecteur normal à un

−→⊥
hyperplan H est un vecteur directeur de la droite H ).
Avant de commenter ces dénitions, donnons la résultat suivant :
Proposition 2.7. Dans un e.a.e de dimension n ≥ 2, deux hyperplans perpendiculaires sont
sécants, selon un sous-espace de dimension n − 2.

−−→⊥ −
−−→⊥
Démonstration. Soient H1 et H2 deux hyperplans perpendiculaires, on a H1 ⊥H2 , donc

−−→⊥ −−−
→ −→ −
−−→ −
−−→⊥ −→ −−−
→ −
−−→
H1 ⊂ H2 . Comme E = H1 ⊕ H1 , on obtient que E = H1 + H2 . D'après la proposi-
−−−−−−−−−−−−−−−−−→ −
−−→ −
−−→ −→
tion 1.4 du chapitre 1, Af f (H1 ∪ H2 ) = H1 + H2 = E , Af f (H1 ∪ H2 ) = E et H1 ∩ H2 ̸= ∅.
Donc
dim Af f (H1 ∪ H2 ) = dim E = dim H1 + dim H2 − dim H1 ∩ H2

ce qui entraine que


dim H1 ∩ H2 = (n − 1) + (n − 1) − n = n − 2.

Remarques 2.6.
- En dimension 2, les trois dénitions précédentes de la perpendicularité coïncident. En parti-
culier, pour deux droites d'un plan ane,  orthogonales  est synonyme de perpendiculaires.
- En revanche, en dimension 3, deux hyperplans ne peuvent jamais être orthogonaux (puisque
la somme des dimensions de leurs directions est ≥ 2n − 2 > n), et a fortiori on ne peut pas dire
que deux hyperplans sont perpendiculaires si et seulement s'ils sont sécants et orthogonaux. Cet
exemple illustre la diérence des notions introduites.
- En réalité, il n'existe aucune dénition de la perpendicularité qui englobe simultanément les
trois dénitions précédentes (et qui réponde donc aux conventions habituelles) en toute dimen-
sion.

13
Vecteur normale à un hyperplan :

Dénition 2.10. Soit H un hyperplan ane d'un espace euclidien E, de direction un hyperplan
−−→ −
−→
vectoriel H. On appelle vecteur normal à H tout vecteur non nul de la droite vectorielle D =

−→⊥
H .

Proposition 2.8. Soient R un repère orthonormé de E, de base associée B et u un vecteur non


−→
nul de E , de composantes (a1 , ..., an ) dans B. Alors H est un hyperplan de vecteur normal u
si et seulement s'il existe b ∈ R tel que H est l'ensemble des points de E d'équation cartésienne
i=1 ai xi + b = 0 dans R.
Pn

Démonstration. Supposons que H est un hyperplan de vecteur normal u. Soit C un point de


H de composantes (c1 , ..., cn ). Donc
−−−−→
∀M (x1 , ..., xn ) ∈ H, CM .u = 0,

c.à.d : n n n
ai ci = 0 ( on prend b =
X X X
ai xi − ai ci .)
i=1 i=1 i=1

Réciproquement :
supposons qu'il existe b ∈ R tel que H est l'ensemble des points M (x1 , ..., xn ) d'équation :
n
X
ai xi + b = 0.
i=1

Il existe 1 ≤ k ≤ n tel que ak ̸= 0, car u ̸= 0.


H ̸= ∅ car C(0, ..., 0, −b/ak , 0..., 0) ∈ H.
Considérons la forme linéaire
n
−→ X
f : E −→ R, x 7−→ ai xi = u.x.
i=1

ker f = (vect(u))⊥ .
n n
X X c −−−−→
M ∈ H ⇐⇒ ai xi + c = 0 ⇐⇒ ai xi + ak (xk + ) = 0 ⇐⇒ CM .u = 0.
i=1 i=1, i̸=k
ak

Donc H = c + (vect(u))⊥ est l'hyperplan qui passe par C et de vecteur normal u.

14
2.3 Projection orthogonale :
2.3.1 Projeté orthogonal :
Dénition 2.11. Soient V un sous-espace ane de dimension k, M un point de E et W son
supplémentaire orthogonal passant par M. L'unique point d'intersection de V et W est appelé
projeté orthogonal de M sur V.
L'application qui à M associe son projeté orthogonal sur V est appelée projection orthogonale
de E sur V et notée p⊥V ou simplement pV .

Caractérisations métriques du projeté orthogonal :


Soient V un sous-espace ane de E et M un point de E. Alors les propriétés suivantes d'un
point A de V sont équivalentes :
i) A est le projeté orthogonal de M sur V,

−−−→ −−−−→
ii) pour tout B dans V on a AB .AM = 0,
iii) pour tout B dans V on a M A ≤ M B,
iv) pour tout B dans V \ {A}, on a M A < M B.

Dénition 2.12. Soit V un sous-espace ane de E et M un point de E. On appelle distance


de M à V et qu'on note d(M, V ) la distance de M au projeté orthogonal de M sur V. C'est la
plus courte distance de M à un point de V.

Distance d'un point à un hyperplan :


Proposition 2.9. Soient A ∈ E et H un hyperplan. On note A′ le projeté orthogonal de A sur
H. Pour tout vecteur normal N à H, on a
−−−−→
|AA′ .N |
d(A, H) = .
∥N ∥

Supposons E muni d'un repère orthonormé R. Dans ce repère, soient (ai )1≤i≤n les coordonnées
de A, et soit α1 x1 + ... + αn xn + c = 0 une équation cartésienne de H. Alors

|α1 a1 + ... + αn an + c|
d(A, H) = p .
α12 + ... + αn2

−−−−→ −
−→⊥ −−−−→
Démonstration. Comme AA′ ∈ H , alors il existe λ ∈ R tel que AA′ = λN.

15
−−−−→
−−−−→ AA′ .N
Par suite AA .N = λ∥N ∥ . Donc λ =
′ 2
. d'où
∥N ∥2
−−−−→ −−−−→
AA′ .N
−−−−→
′ |AA′ .N |
d(A, H) = ∥AA ∥ = ∥N ∥ = .
∥N ∥2 ∥N ∥

Si A(a1 , ..., an ) et A′ (a′1 , ..., a′n ) par rapport à R, alors


−−−−→
AA′ .N = α1 a′1 + ... + αn a′n − (α1 a1 + ... + αn an )
= α1 a′1 + ... + αn a′n + c − (α1 a1 + ... + αn an + c)
= −(α1 a1 + ... + αn an + c), car a′ ∈ H.
|α a1 + ... + αn an + c|
Donc d(A, H) = 1 p .
α12 + ... + αn2

Distance d'un point à une droite :


Proposition 2.10. On considère dans l'espace ane euclidien un point A et une droite(D)
qui passe par un point B et qui a pour vecteur directeur −u→. Alors

−−−




−−−
→ BA .u −→
d(A, (D)) = BA − −
→ u .
∥u ∥2

Démonstration. Si H est le projeté orthogonal de A sur (D), alors


−−−−→ −
−−−
→ −
−−−



BH = tu = BA + AH .

Donc −
−−−



BA .u
t = −→ 2 .
∥u ∥
On conclut que −
−−−



BA .u −→

−−−

AH = BA − −→ 2 u .
∥u ∥

2.3.2 Sphères, Hyperplans tangents :


Intersection d'une sphère et d'un sous-espace ane :
Proposition 2.11. Soit S la sphère de centre o et de rayon R de l'espace ane euclidien E et
soit V un sous-espace ane de E. Soit w le projeté orthogonal de o sur V et posons d = ow.
Alors, l'intersection S ∩ V est

16
 la sphère de l'espace ane euclidien V, de centre w et de rayon r = R2 − d2 si R > d,
 réduite au point w si R = d,
 vide si R < d.
−→ −→⊥
Démonstration. w = pV (o). Si m ∈ V, on a −wm −−−

∈ V et wo ∈ V , donc le théorème de

−−→

Pythagore s'applique : wm2 + wo2 = om2 . Par suite



 m∈V
 (
m∈V
m ∈ S ∩ V ⇐⇒ wm2 + wo2 = om2 ⇐⇒
 wm2 = R2 − d2 .
om2 = R2

D'où
 ∅ si R − d < 0

2 2

S∩V = {w} si R2 − d2 = 0

S (w, R2 − d2 ) la sphère de V si R2 − d2 > 0.

 ′

Exemples :
1) L'intersection d'une droite et d'une sphère est formée de 0, 1 ou 2 points.
Déterminer les points d'intersection
( de la sphère d'équation x + y + z − 4x + 2z − 4 = 0 avec
2 2 2

x+y+z+2 = 0
la droite d'équation cartésienne
3x − y + z + 4 = 0
2) L'espace ane E de dimension 3 est rapporté à un repère orthonormé. Soit H le plan ane
d'équation : x − 2y + 2z − 1 = 0. S est la sphère de centre o(2, −2, 2) et de rayon R = 3.
Déterminer S ∩ H.

Hyperplan tangent à une sphère :


Dénition 2.13. On dit qu'un sous-espace ane V est tangent à une sphère S en un point a
si l'on a V ∩ S = {a}.

Proposition 2.12. Soit S une sphère de centre o. Pour a ∈ S il existe un unique hyperplan
tangent à S en a, noté Ta (S). C'est l'hyperplan orthogonal à la droite (oa) passant par a. Les
sous-espaces anes tangents à S en a sont exactement les sous-espaces anes de Ta (S) passant
par a.

Démonstration. On sait d'après la Proposition 2.11 que si Ta (S) ∩ S = {a}, alors p⊥ Ta (s) (o) = a,
donc Ta (S) = a + vect(oa ) .
−−→ ⊥

Ta (S) est associé à l'hyperplan vectoriel vect(oa )⊥ . Donc les sous-espaces anes tangents à S
−−→

17
en a ont pour directions les sous espaces vectoriels inclus dans vect(−oa ) . Donc sont exactement
−→ ⊥

les sous-espaces anes de Ta (S) passant par a.


Exercice 1 :
Soit P : 2x + y − z + 1 = 0 et P ′ : 4x + 2y − 2z − 1 = 0.
1) Vérier que P et P ′ sont parallèles.
2) Soit A(1, −2, 1) un point de P. Déterminer une équation de la sphère tangente en A à P et
tangente à P ′ .
Exercice 2 : On considère dans l'espace rapporté à un repère orthonormé (O, i , j , k ), le

− →
− −

plan P qui passe par les points A(0, 2, 0) et B(1, 0, 2) et qui est parallèle à la droite Ox et
ainsi que le plan Q qui passe par le point C(1, 2, −2) et de vecteur normal −n→ = (0, 3, 1).
a) Ecrire les équations cartésiennes des plans P et Q.
b) Déterminer l'équation cartésienne de la sphère S de centre Ω(1; 0; 0) et tangente au plan P.
c) Déterminer les coordonnées du centre ω et le rayon r du cercle Γ d'intersection de la sphère
S avec le plan Q.
d) Montrer que la droite D d'intersection des plans P et Q est tangente au cercle Γ.
Exercice 3 :
Soient a, b, o trois points du plan tels que o soit le milieu de [ab]. Montrer qu'un point m du
plan appartient au cercle de diamètre [ab] si et seulement si le triangle amb est rectangle en m.
1
En déduire qu'un triangle amb est rectangle en m si et seulement si om = ab.
2
Exercice 4 :
Tangentes à une sphère issues d'un point. Soit S(o, R) une sphère et a un point de E. On
se propose de déterminer les droites D tangentes à S et passant par a. 1) Montrez que si
D ∩ S = {m}, on a R2 + am2 = ao2 . Déduisez-en que l'ensemble des points de contact m
éventuels est l'intersection de S et d'une sphère S ′ . Discutez.
2) On se place dans le plan, donnez une construction à la règle et au compas des tangentes à
un cercle C passant par un point a donné. Discutez.

18

Vous aimerez peut-être aussi