Géométrie vectorielle euclidienne en dimension 2 et 3
Prérequis :
Espaces vectoriels euclidiens
On abrège dans ce cours :
Base orthonormée en b.o.n
Base orthonormée directe en b.o.n.d
0. Rappels : Orientation d'un espace vectoriel réel de dimension finie
Cette partie consiste à rappeler la notion d'orientation d'un
ev de dimension finie, pour plus de détailles, voir cours : "Déterminants"
désigne un
espace vectoriel de dimension
.
Définition :
Soient
et
deux bases de
.
On dit que la base
a même orientation que la base si et seulement si:
Sinon, on dit que
est d'orientation opposée à celle de
.
Définition :
Orienter
à partir du choix d'une base
c'est adopter le vocabulaire suivant :
Toute base de
de même orientation que
est dite directe.
Toute base de
d'orientation opposée à celle de
est dite indirecte.
La base
est dite
base orientée de référence.
Remarques :
Il n'y a que deux orientations possibles sur l'espace
. En effet l'ensemble des bases de
"se scinde" en deux sous-ensembles formés de bases qui sont de même orientation. Orienter
revient à choisir l'un de ces sous-ensembles et de qualifier de directes les bases de celui-ci et d'indirectes les bases de l'autre sous-ensemble.
L'espace
ne possède pas d'orientation privilégiée a priori.
I. Géométrie vectorielle euclidienne plane (en dimension 2)
On note
un espace vectoriel euclidien de dimension
orienté, et on note "
" le produit scalaire sur
Rappel :
Soit
.
L'ensemble des matrices orthogonales de
est noté
, c'est un groupe pour la multiplication, appelé
groupe orthogonal d'ordre .
L'ensemble des matrices orthogonales
droites d'ordre
(c'est-à-dire les matrices de
de déterminant
) est un sous-groupe de
, appelé
groupe spécial orthogonal d'ordre , noté
1. Étude des rotations
Proposition :
:
Définition :
Soient
une b.o.n.d de
et
.
L'endomorphisme de
dont la matrice dans
est
est appelé
la rotation d'angle , et noté
Proposition-définition :
Soient
,
et
Il existe
, unique, modulo
, tel que
, ce réel
est appelé
l'angle de et , et noté
Remarque :
Attention, La notion d'angle orienté ne peut être introduite que dans un plan euclidien et celui-ci doit être préalablement orienté.
Exemples :
Pour tout vecteur non nul
de
, on a
.
En particulier :
et
.
Définition :
Soit
une b.o.n.d de
.
Pour
, on appelle
angle polaire de dans , l'angle
, défini modulo
.
On appelle
angle polaire d'une droite vectorielle l'angle polaire d'un vecteur directeur de cette dernière, défini modulo
.
Proposition :
:
Proposition :
:
Proposition : (Relation de Chasles pour les angles)
:
2. Étude des réflexions
Proposition :
Soient
une b.o.n.d de
et
.
L'endomorphisme de
, dont la matrice par rapport à
est
, est la réflexion par rapport à la droite vectorielle
d'angle polaire , et est noté
Proposition :
où
est l'ensemble des droites vectorielles de
Proposition :
Toute rotation de
est décomposable, en produit de deux réflexions. Plus précisément, pour toute rotation
de
et toute réflexion S de
, il existe une unique réflexion
de
telle que :
II. Géométrie vectorielle euclidienne en dimension 3
On note
un espace vectoriel euclidien orienté de dimension
, "
" le produit scalaire sur
.
Définitions :
Soient
unitaire,
l'axe dirigé et orienté par
, et
.
On appelle
rotation d'axe et d'angle , et on note
, l'endomorphisme de
dont la matrice dans une b.o.n.d
, commençant par
, est:
.
On appelle
retournement de toute rotation de
d'angle
(modulo
).
Proposition :
Soient
unitaire,
l'axe dirigé et orienté par
:
.
:
.
:
1. Classification des endomorphismes orthogonaux de
Théorème :
Soit
.
Si
, alors:
est une rotation de
.
Si
, alors :
Détermination de la nature et des éléments caractéristiques d'un endomorphisme orthogonal de :
Soient
,
l'endomorphisme orthogonal de
représenté par
dans une b.o.n.d
de
.
Supposons que
:
Alors
est une rotation de
.
1) La droite supportant l'axe
de
est l'ensemble des invariants de
, obtenue en résolvant l'équation matricielle
, d'inconnue
2) On détermine l'angle
par:
est du signe du produit mixte
pour n'importe quel
non colinéaire à
, où
est le vecteur normé dirigeant et orientant l'axe de
.
Supposons que
Alors
est soit une réflexion , soit la composée d'une rotation et d'une réflexion.
a) Supposons que
est symétrique.
Puisque
,
est une symétrie orthogonale. Comme de plus
, si
, alors
est une réflexion . Le plan de la réflexion
est l'ensemble des invariants de
.
b) Supposons que
est non symétrique.
Alors
est la composée commutative d'une rotation
et d'une réflexion
par rapport au plan
orthogonal à
.
1) Les éléments de
sont caractérisés par
2)
est déterminé par:
est du signe du produit mixte
pour n'importe quel
non colinéaire à
, où
est le vecteur normé dirigeant et orientant l'axe
.
2. Produit vectoriel
Définition:
Soient
. On définit
l'angle de et , noté
, par:
.
Proposition :
:
Proposition-définiton : (Produit vectoriel)
Soit
. Il existe un élément unique
tel que:
:
Cet élément s'appelle
le produit vectoriel de par , et est noté
Remarque :
On a donc:
:
Proposition :
Soit
.
Si
est libre, alors
est une base directe de
Proposition :
Double produit vectoriel :
:
Identité de Lagrange :
:
: