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
=V)
, 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
![\widehat{(u,Rot_{\theta}(u))}=\theta [2\pi]](https://latex.ilemaths.net/latex-0.tex?\widehat{(u,Rot_{\theta}(u))}=\theta [2\pi])
.
En particulier :
![\widehat{(u,u)}=0[2\pi]](https://latex.ilemaths.net/latex-0.tex?\widehat{(u,u)}=0[2\pi])
et
![\widehat{(u,-u)}=\pi[2\pi]](https://latex.ilemaths.net/latex-0.tex?\widehat{(u,-u)}=\pi[2\pi])
.
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 :
\in (E_{2}-\lbrace 0\rbrace)^{2})
:
Proposition :
\in\mathbb{R}^{2})
:
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 :
-\mathcal{SO}(E_{2})=\lbrace Ref_{D} / D\in\mathcal{D}\rbrace)
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:
&-sin(\theta)\\0&sin(\theta)&cos(\theta)\end{pmatrix})
.
On appelle
retournement de 
toute rotation de

d'angle

(modulo

).
Proposition :
Soient

unitaire,

l'axe dirigé et orienté par

:
![Rot_{\vec{\Delta},\theta}=Rot_{\vec{\Delta},\theta^{'}}\Longleftrightarrow \theta = \theta^{'} [2\pi]](https://latex.ilemaths.net/latex-0.tex?Rot_{\vec{\Delta},\theta}=Rot_{\vec{\Delta},\theta^{'}}\Longleftrightarrow \theta = \theta^{'} [2\pi])
.

:

.

:
1. Classification des endomorphismes orthogonaux de 
Théorème :
Soit
-\lbrace Id_{E_{3}} \rbrace)
.
Si
=1)
, alors:

est une rotation de

.
Si
=-1)
, alors :
Détermination de la nature et des éléments caractéristiques d'un endomorphisme orthogonal de 
:
Soient
-\lbrace I_{3} \rbrace)
,

l'endomorphisme orthogonal de

représenté par

dans une b.o.n.d

de

.
Supposons que
=1)
:
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
![[x,f(x),I]](https://latex.ilemaths.net/latex-0.tex?[x,f(x),I])
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
=-1)
, 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
![[x,f(x),I]](https://latex.ilemaths.net/latex-0.tex?[x,f(x),I])
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:
![\begin{cases} \widehat{(u,v)}=0 \text{ si } \exists \alpha\in\mathbb{R}_{+}^{*} : v=\alpha u \\ \widehat{(u,v)}=\pi \text{ si } \exists \alpha\in\mathbb{R}_{-}^{*} : v=\alpha u \\ \widehat{(u,v)} \text{ est la valeur absolue de l'angle de l'angle de } u \text{ et } v \text{ compté dans } ]-\pi,\pi[ \\ \text{ dans le plan euclidien orienté par } u \text{ et } v \text{ si } (u,v) \text{ est libre }\end{cases}](https://latex.ilemaths.net/latex-0.tex?\begin{cases} \widehat{(u,v)}=0 \text{ si } \exists \alpha\in\mathbb{R}_{+}^{*} : v=\alpha u \\ \widehat{(u,v)}=\pi \text{ si } \exists \alpha\in\mathbb{R}_{-}^{*} : v=\alpha u \\ \widehat{(u,v)} \text{ est la valeur absolue de l'angle de l'angle de } u \text{ et } v \text{ compté dans } ]-\pi,\pi[ \\ \text{ dans le plan euclidien orienté par } u \text{ et } v \text{ si } (u,v) \text{ est libre }\end{cases})
.
Proposition :
\in (E_{3}-\lbrace 0\rbrace)^{2})
:
Proposition-définiton : (Produit vectoriel)
Soit
\in (E_{3})^{2})
. 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 :

:

: