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 .