Nightmare, c'est quoi u-1? Il faut préciser que u restreint à F est un isomorphisme non?
C'est vrai. Mon truc pour s'en apercevoir: une fois construite une base de Ker(u), on la complète en une base de E. Et on s'intéresse à
)
. Ce vecteur n'est pas nul sinon

serait dans Ker(u). Comme Ker(u)=Im(u), on a

donc u(x) est tjs dans ker(u), donc se décompose seulement avec les
_{1\leq\k\leq p})
. Finalement:
=0)
si

d'où les p premières colonnes de 0.
\neq 0)
si

et
)
se décompose alors dans la base de ker(u) d'où la matrice p*p nulle en bas à droite.
Ensuite, la restriction de u à tout supplémentaire de ker(u) est un isomorphisme ( c'est justement la formule du rang) donc A est inversible.