par récurrence sur la dimension n.
pour n=1 rien à montrer.
supposons que le résultat est vrai pour un certain rang (n-1).
on discute deux cas.
on prend un vecteur x.
si (x,Mx) est lieé pour tout x,alors il existe a£C tel que Mx=ax pour tout vecteur x.(résultat classique)....on applique l'HR pour obtenir le résultat.
si (x,Mx) est libre,on écrit la matrice dans la base (x,Mx,e_3,....,e_n) et on applique l'HR sur la matrice écrite dans la base (Mx,e_3,...,e_n)....
désolé pour la mauvaise rédaction,mé juste j'ai donné l'idée de la réponse.