Soit ( e 1 , e 2 , e 3 ) (e_1, e_2, e_3) ( e 1 , e 2 , e 3 ) la base canonique de R 3 \mathbf{R}^3 R 3 . Toute matrice σ ∈ S O ( 3 , R ) \sigma \in \mathbf{SO}(3, \mathbf{R}) σ ∈ SO ( 3 , R ) telle que σ ( e 3 ) ≠ e 3 \sigma(e_3) \neq e_3 σ ( e 3 ) = e 3 et σ ( e 3 ) ≠ − e 3 \sigma(e_3) \neq -e_3 σ ( e 3 ) = − e 3 peut s'écrire d'une seule manière
σ ( φ , ψ , θ ) = ( cos φ cos ψ − sin φ sin ψ cos θ − cos φ sin ψ − sin φ cos ψ cos θ sin φ sin θ sin φ cos ψ + cos φ sin ψ cos θ − sin φ sin ψ + cos φ cos ψ cos θ − cos φ sin θ sin ψ sin θ cos ψ sin θ cos θ )
\sigma(\varphi, \psi, \theta) =
\begin{pmatrix}
\cos \varphi \cos \psi - \sin \varphi \sin \psi \cos \theta & -\cos \varphi \sin \psi - \sin \varphi \cos \psi \cos \theta & \sin \varphi \sin \theta \\
\sin \varphi \cos \psi + \cos \varphi \sin \psi \cos \theta & -\sin \varphi \sin \psi + \cos \varphi \cos \psi \cos \theta & -\cos \varphi \sin \theta \\
\sin \psi \sin \theta & \cos \psi \sin \theta & \cos \theta
\end{pmatrix}
σ ( φ , ψ , θ ) = cos φ cos ψ − sin φ sin ψ cos θ sin φ cos ψ + cos φ sin ψ cos θ sin ψ sin θ − cos φ sin ψ − sin φ cos ψ cos θ − sin φ sin ψ + cos φ cos ψ cos θ cos ψ sin θ sin φ sin θ − cos φ sin θ cos θ
où 0 < θ < π 0 < \theta < \pi 0 < θ < π , 0 ⩽ φ < 2 π 0 \leqslant \varphi < 2\pi 0 ⩽ φ < 2 π , 0 ⩽ ψ < 2 π 0 \leqslant \psi < 2\pi 0 ⩽ ψ < 2 π (« angles d'Euler »). Montrer que sin θ d θ d φ d ψ \sin \theta \, d\theta d\varphi d\psi sin θ d θ d φ d ψ est une mesure de Haar sur S O ( 3 , R ) \mathbf{SO}(3, \mathbf{R}) SO ( 3 , R ) . (Identifier l'espace homogène S O ( 3 , R ) / S O ( 2 , R ) \mathbf{SO}(3, \mathbf{R})/\mathbf{SO}(2, \mathbf{R}) SO ( 3 , R ) / SO ( 2 , R ) à S 2 \mathbf{S}_2 S 2 , utiliser l'exerc. 8, et le th. 3 du § 2).