Soit un espace euclidien de dimension et endomorphismes autoadjoints . Soit la forme quadratique associée à (). On suppose :
1
Montrer que .
2
Montrer que .
3
Montrer que les sont en fait des projecteurs orthogonaux et que la somme précédente est orthogonale.