Théorème spectral pour les endomorphismes auto-adjoints - réduction des matrices symétriques

Démonstration du théorème suivant : Un endomorphisme d'un espace euclidien est auto-adjoint (symétrique) si et seulement s'il est diagonalisable dans une base orthonormale.