Utilisateur : BUISSON
Développements
Développement original construit principalement à partir du Gourdon Algèbre et Isenmann-Pecatte pour la partie unicité par les polynômes de Lagrange.
Grace à la démonstration de la surjectivité de l'exponentielle des matrices antihermitiennes dans les matrices unitaires on peut recaser ce développement dans la leçon exponentielle de matrices.
Ne pas hésiter à enlever la partie unicité si c'est trop long.
Références :
L'oral à l'agrégation de mathématiques - Une sélection de développements - Isenmann, Pecatte
Algèbre - Gourdon