Soit f une fonction telle que :
et dont la courbe est représentée ci-dessous :
Soit
l'ensemble des matrice
.
.
D'autre part, le produit
avec les
du fait que la fonction f est impaire.
On en tire :
Sous forme trigonométrique le déterminant vaut
Le déterminant vaut 1, donc
existe.
, CQFD.
On démontre le reste de la même manière. Il est bien plus élégant d'utiliser les fonctions circulaires mais il faut connître deux formules de trigo et c'est comme pour les shadoks: si on entre la deuxième formule, la première ressort.
On vient de démontrer que
on a :
. Or
Donc
,
d'où:
Les solutions sont donc