22 CHAPITRE 3. LES ANGLES
3.1.5 Mesure d’un angle orient´e
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 alors aB(x) = d
(e1, u(x)).
Proposition 3.10 L’application aB:R−→ A est un homomorphisme de groupes, surjectif, de
noyau 2πZet on a donc un isomorphisme de groupes A ' R/2πZ.
D´emonstration : Montrons que aBest une surjection : si αest un angle, il existe une rotation r
de Rtelle que α=d
(e1, r(e1)) (surjectivit´e de θe1) et r(e1) est bien de la forme u(x) puisqu’en
dimension 2, un endomorphisme orthogonal positif (rotation) a, dans une base orthonorm´ee,
une matrice de la forme R(x) = cos x−sin x
sin xcos x!.
Montrons que aBest un homomorphisme de groupes. Soient xet x0deux r´eels. On va montrer
que aB(x+x0) = aB(x) + aB(x0), soit encore : d
(e1, u(x+x0)) = d
(e1, u(x)) + d
(e1, u(x0)).
Soit donc rla rotation telle que r(e1) = u(x) et r0la rotation telle que r0(e1) = u(x0).
Il suffit donc de montrer que r◦r0(e1) = u(x+x0). Or r0(e1) = cos x0e1+ sin x0e2. Comme r
est lin´eaire,r◦r0(e1) = cos x0r(e1) + sin x0r(e2) ; d’autre part, par d´efinition, r(e1) = u(x) =
cos x e1+ sin x e2et comme rest de d´eterminant +1, r(e2) = −sin x e1+ cos x e2et donc,
r◦r0(e1) = cos x0(cos x e1+ sin x e2) + sin x0(−sin x e1+ cos x e2)
Les formules d’addition montrent que : r◦r0(e1) = cos(x+x0)e1+ sin(x+x0)e2et donc
r◦r0(e1) = u(x+x0).
Le nombre r´eel xappartient au noyau de aBsi et seulement si u(x) = e1ce qui ´equivaut `a
cos x= 1 et sin x= 0, et ceci ´equivaut `a : x∈2πZ.
Pour tout r´eel xnotons xson image dans R/2πZ. Comme aB(x) ne d´epend que de la classe de
xmodulo 2πZ, on peut d´efinir une application aB:R/2πZ→ A en posant aB(x) = aB(x), qui
est ´egalement un homomorphisme. Comme aBest surjectif, il en est de mˆeme de aB. Enfin, si x
appartient au noyau de aB,xappartient `a 2πZet donc x= 0. ut
Proposition 3.11 Soient B0une autre base et aB0d´efinie de mani`ere analogue.
•Si Bet B0sont de mˆeme orientation alors les applications aBet aB0co¨ıncident.
•Si Bet B0sont d’orientations contraires alors aB0=−aB.
.
D´emonstration : Notons, comme pr´ec´edemment u0(x) = cos x e0
1+ sin x e0
2et consid´erons
l’isom´etrie (lin´eaire) f:E→Ed´efinie par f(e1) = e0
1et f(e2) = e0
2.fest alors de d´eterminant
+1, car det f= detB(B0), et donc fest une rotation, et donc conserve les angles. Comme
f(u(x)) = u0(x) ceci implique d
(e0
1, u0(x)) = d
(f(e1), f(u(x))) = d
(e1, u(x)) et donc aB(x) = aB0(x)
d’o`u aB0=aB. Si Bet B0sont d’orientations contraires alors fest alors une r´eflexion et donc
inverse les angles. D’o`u comme ci-dessus aB0=−aB.ut
D´efinition 3.12 Lorsque le plan vectoriel Eest orient´e, on appelle mesure d’un angle orient´e
de vecteurs αtout r´eel xtel que a(x) = α. On appelle mesure principale de αl’unique r´eel
x∈]−π, π]tel que a(x) = α.
3.1.6 Cosinus et Sinus d’un angle orient´e de vecteurs
Proposition et D´efinition 3.13 On d´efinit une application de Adans [−1,1] en associant `a
un angle orient´e de vecteurs unitaires d
(u, v), le r´eel Cos(d
(u, v)) = < u, v > (appel´e Cosinus de
l’angle orient´e de vecteurs d
(u, v)).