a) Montrer que l’application θeest ind´ependante du choix de e. On notera dor´enavant θl’application telle
que pour tout ´el´ement ede C,θ(r) = d
(e, r(e)).
Pour toute rotation r,θ(r)est par d´efinition, l’angle de la rotation r.
b) Montrer que θest bijective.
c) En d´eduire (par transport de structure) que Apeut ˆetre muni d’une loi de composition lui conf´erant une
structure de groupe ab´elien.
d) Montrer que pour tous vecteurs unitaires u,vet w, on a d
(u, v) + d
(v, w) = d
(u, w) (relation de Chasles).
e) Montrer que toute r´eflexion inverse les angles. Autrement dit, pour tous vecteurs non nuls uet v, et pour
toute r´eflexion s,
d
(s(u), s(v)) = −d
(u, v)
4) On choisit une base orthonorm´ee B= (e1, e2) de E, et `a tout r´eel xon associe le vecteur (unitaire)
u(x) = (cos x)e1+ (sin x)e2. Notons a(x) = d
(e1, u(x)).
a) Montrer que l’application a:R−→ A est un homomorphisme de groupes, surjectif, de noyau 2πZ.
b) En d´eduire que le groupe des angles Aest isomorphe au groupe R/2πZ.
c) Que devient cet isomorphisme si l’on change de base orthonorm´ee ?
Exercice n◦20 Angles g´eom´etriques de vecteurs du plan
On garde les notations de l’exercice pr´ec´edent.
1) Sur l’ensemble C×Con consid`ere la relation not´ee ≈d´efinie par (u0, v0)≈(u, v) si et seulement si il existe
un ´el´ement fde O(E) tel que f(u) = u0et f(v) = v0. Montrer que c’est une relation d’´equivalence et que la
relation ∼est strictement plus fine que la relation ≈.
L’ensemble des angles g´eom´etriques (ou non orient´es) de vecteurs est l’ensemble quotient :
A= (C×C)/O(E) = (C×C)/≈
Pour tout couple de vecteurs unitaires (u, v), l’image de (u, v) dans Aest l’angle non orient´e de uet v, qui
sera not´e d
{u, v}.
V´erifier que d´efinir l’angle g´eom´etrique d
{u, v}revient `a confondre les angles de vecteurs d
(u, v) et d
(v, u).
2) Montrer que l’on d´efinit une application de Adans [0, π] en associant `a un angle g´eom´etrique d
{u, v}, le r´eel
mde [0, π] tel que msoit une mesure de d
(u, v) ou de d
(v, u).
Quelle est la somme des mesures des angles g´eom´etriques d’un triangle non aplati ?
3) Soient θun angle de Aet xet ydeux vecteurs unitaires tels que θ=d
{x, y}. On pose Cos(θ) = < x, y >.
Montrer que l’application Cos : A −→ [−1,+1] est bijective.
Exercice n◦21 Angles de vecteurs dans l’espace
Soit Eun espace vectoriel euclidien de dimension 3. On note Cl’ensemble des vecteurs de Ede norme 1.
1) Sur l’ensemble C×Con consid`ere la relation ∼d´efinie par : (u, v)∼(u0, v0) si et seulement si il existe
un ´el´ement fde O+(E) tel que : f(u) = u0et f(v) = v0ainsi que la relation ≈d´efinie par (u0, v0)≈(u, v)
si et seulement si il existe un ´el´ement fde O(E) tel que f(u) = u0et f(v) = v0. Montrer que ce sont des
relations d’´equivalence et quelles sont ´egales.
L’ensemble quotient de C×Cpar cette relation est par d´efinition l’ensemble des angles de vecteurs de
l’espace. Il est not´e A.
L’image de (u, v) dans Aest par d´efinition l’angle de vecteurs (de l’espace) de uet vet est not´e d
{u, v}.
2) Soit θun angle de Aet xet ydeux vecteurs unitaires tels que θ=d
{x, y}. On pose Cos(θ) = < x, y >.
Montrer que l’application Cos : A −→ [−1,+1] est bijective.
5