Pour

c'est évident !
On suppose que c'est vrai pour un

.
Soit

une matrice carré de rang

.
Si
)
est lié pour tout vecteur

alors M est la matrice d'une homothétie et

avec

mais puisque
=0)
alors

et

est déjà une matrice "dont les termes diagonaux sont tous nuls".
Sinon il existe

tel que
)
est libre et on peut compléter
)
en une base
)
(avec

et

) dans laquelle la première colonne de la nouvelle matrice

est
)
. Puisque la trace est toujours nulle, on en déduit aussi que la trace de la matrice carré

d'ordre
)
extraite de

(en prenant les
)
dernières colonnes et les
)
dernières lignes) est nulle. Par récurrence, il existe

inversible d'ordre
)
telle que

est une matrice dont les termes diagonaux sont tous nuls.
Reste à voir que la matrice
)
vérifie bien :

a tous ses termes diagonaux nuls...et

est semblable à

.