D´
emonstration : Par d´efinition, si Aconserve le produit scalaire, elle transforme une base ortho-
norm´ee en base orthonorm´ee, en particulier la base canonique : elle est orthogonale.
R´eciproquement, soient x= (x1, x2) = x1e1+x2e2et y= (y1, y2) = y1e1+y2e2; en utilisant la bilin´earit´e
du produit scalaire on a
hAx, Ayi=hA(x1e1+x2e2), A(y1e1+y2e2i
=x1y1hAe1, Ae1i+ (x1y2+x2y1)hAe1, Ae2i+x2y2hAe2, Ae2i
=x1y1+x2y2=hx, yi.
La derni`ere relation d´ecoule de la pr´ec´edente et de la d´efinition de la transpos´ee
hx, yi=hAx, Ayi=htA Ax, yi;
cette relation ´etant vraie pour tout xet yon en d´eduit tA A = Id.
On en d´eduit les deux propri´et´es suivantes des matrices orthogonales tA=A−1et det(A) = ±1.
Proposition 1.2.2 Soit A une matrice orthogonale : il existe deux r´eels aet bv´erifiant a2+b2= 1 et
tels que
A=a−b
b a si det(A) = 1 A=a b
b−asi det(A) = −1
D´
emonstration : laiss´ee au lecteur
On v´erifie ais´ement que les matrices orthogonales de d´eterminant -1 sont toutes involutives.
Rappel :
– Un ensemble Gmuni d’une loi de composition interne ∗est un groupe si
la loi ∗est associative a∗(b∗c) = (a∗b)∗c∀a, b, c ∈G
il existe un ´el´ement (neutre) etel que a∗e=e∗a=a∀a∈G
tout ´el´ement a∈Gposs`ede un inverse (ou oppos´e) ˜atel que a∗˜a= ˜a∗a=e.
– Soit (G, ∗) un groupe ; une partie H⊂Gest une sous-groupe de Gsi et seulement si Hmuni de
la restriction de ∗est lui-mˆeme un groupe. En particulier Hest un sous-groupe si et seulement si
Hest non vide,
∀x, y ∈H, x ∗y∈H,
∀x∈H, ˜x∈H.
– Soient (G, ∗) et (H, ⊗) deux groupes ; une application ϕ:G−→ Hest un homomorphisme si et
seulement si ∀x, y ∈G, ϕ(x)⊗ϕ(y) = ϕ(x∗y).
Proposition 1.2.3 Les matrices orthogonales forment un groupe pour la multiplication des matrices
appel´e O2(R)ou O(2) ; les matrices orthogonales de d´eterminant 1 forment un sous-groupe du groupe
orthogonal, not´e SO(2), appel´e groupe sp´ecial orthogonal ou groupe des matrices orthogonales directes,
ou groupe des rotations vectorielles.
La propri´et´e suivante, qui ne se g´en´eralise pas en dimension sup´erieure, est fort importante
Proposition 1.2.4 Le groupe SO(2) est commutatif.
D´
emonstration : V´erification imm´ediate.
On note Ul’ensemble des nombres complexes de module 1 ; il est naturellement muni d’une structure
de groupe pour la multiplication des complexes.
Th´eor`eme 1 L’application ϕde SO(2) dans Uqui `a une matrice A=a−b
b a associe z=a+ib
est un isomorphisme de groupe.