Résultat acquis : matrice de

D'après les propriétés des matrices d'applications linéaires, l'endomorphisme de vérifie la relation

si et seulement si sa matrice (notée ) relativement à une base vérifie la relation .

On calcule :

On vérifie bien que , donc .