On doit vérifier que
constitue
une base de
. Pour cela, observons que les sous espaces
propres associés aux valeurs propres
et
sont d'intersection réduite à 0. Or les vecteurs
et
ne sont pas proportionnels. Ils engendrent donc un
sous-espace vectoriel de dimension 2. De même
et
engendrent un sous-espace vectoriel de dimension
. Ces deux espaces sont en somme directe et ce sont des
sous-espaces de
. Leur somme est donc
, et donc
est une famille génératrice de
, donc une base. (On aurait pu aussi vérifier que c'est une
famille libre en calculant le
déterminant des 4 vecteurs, qui
vaut
). Soit
la matrice dont les colonnes sont
. Cette matrice est inversible, et
, où
est la matrice diagonale dont les deux premiers
coefficients valent
, les deux suivants
.