6666Exercice I: Soit E un plan Euclidien orient´e.2d d1) Montrer que pour i,j,k∈E tels que||i|| =||j|| =||k|| = 1, on a (i,j) = (i,k) ⇐⇒ (j =k)d2) Montrer que si (i,j) est une base orthonorm´ee directe de E , alors (i,j) =π/2 [2π]23.2.6 Angles de droites vectoriellesDans cette partie E d´esigne un plan vectoriel Euclidien, et Δ l’ensemble des droites vectorielles de E2 2• D´efinition: (Angle de deux droites) La relation sur Δ×Δ:0 0 + 0 0(d,d)R(δ,δ ) ⇐⇒ ∃r∈O (E ),r(d) =δ,r(d) =δ20 0est une relation d’´equivalence. On appelle angle de deux droites d,d de E la classe de (d,d) dans Δ×Δ/R20 +• Lemme: Pour tout couple (d,d) de droites vectorielles de E , il existe un ´el´ement u de O (E ) tel que:2 2+ 0{r∈O (E )|r(d) =d} ={u,−Id◦u}2• Corollaire: (Structure de groupe) L’application qui a` une rotation r associe l’angle des droites (d,r(d))+O (E )2est ind´ependante de la droite d, et induit une bijection entre / et Δ× Δ/R. On munit{Id,−Id}l’ensemble des angles de droites d’une structure de groupe ab´elien telle que la bijection pr´ec´edente devienne +O (E )2un isomorphisme avec / ,◦ .{Id,−Id}Exercice II: Si θ et θ sont 2 angles de droites, expliciter la d´efinition de θ +θ .1 2 1 2 +O (E )2 / /•Proposition: SiE estorient´e,onaunisomorphismecanoniqueentre / ,◦ et(Z /πZ ,+)2 {Id,−Id}/ /• D´efinition: (Mesure d’un angle de droites) La mesure d’un angle de droites est l’´el´ement de Z /πZcorrespondant a` cet angle via les isomorphismes pr´ec´edents.3.2.7 ...
Voir