Si \(k=1\text{,}\) il n’y a qu’un seul vecteur propre. Celui-ci étant non nul, il est par défaut indépendant. S’il y a plus de deux vecteurs, on procède par contradiction. On suppose que l’ensemble de ces vecteurs propres est dépendant. On peut alors affirmer qu’il existe un entier \(p\) tel que \(\{\vec{v}_1,\vec{v}_2,\ldots , \vec{v}_p\}\) est un ensemble indépendant, mais que \(\{\vec{v}_1,\vec{v}_2,\ldots , \vec{v}_{p+1}\}\) est dépendant. Bien entendu, \(p\neq k\) puisqu’on suppose que l’ensemble de tous ces vecteurs est dépendant. On cherche donc le premier vecteur qui, combiné aux précédents vecteurs indépendants, rend l’ensemble dépendant. Si \(\vec{v}_1,\vec{v}_2,\ldots , \vec{v}_{p+1}\) est dépendant, il existe une combinaison linéaire des \(p\) premiers vecteurs qui donne le vecteur \(\vec{v}_{p+1}\) :
\begin{gather}
a_1\vec{v}_1+a_2\vec{v}_2+\ldots + a_p\vec{v}_p=\vec{v}_{p+1}\text{.}\tag{✶}
\end{gather}
On multiplie les deux côtés de cette équation par \(A\text{.}\) On obtient alors
\begin{align*}
A(a_1\vec{v}_1+a_2\vec{v}_2+\ldots + a_p\vec{v}_p)&=A\vec{v}_{p+1}\\
Aa_1\vec{v}_1+Aa_2\vec{v}_2+\ldots + Aa_p\vec{v}_p=A\vec{v}_{p+1}\\
a_1A\vec{v}_1+a_2A\vec{v}_2+\ldots + a_pA\vec{v}_p=A\vec{v}_{p+1}\\
a_1\lambda_1\vec{v}_1+a_2\lambda_2\vec{v}_2+\ldots + a_p\lambda_p\vec{v}_p=\lambda_{p+1}\vec{v}_{p+1}\text{.}
\end{align*}
D’un autre côté, on multiplie l’équation
(✶) par
\(\lambda_{p+1}\) pour obtenir
\begin{equation*}
a_1\lambda_{p+1}\vec{v}_1+a_2\lambda_{p+1}\vec{v}_2+\ldots + a_p\lambda_{p+1}\vec{v}_p=\lambda_{p+1}\vec{v}_{p+1}\text{.}
\end{equation*}
On obtient
\begin{equation*}
a_1\lambda_{p+1}\vec{v}_1+a_2\lambda_{p+1}\vec{v}_2+\ldots + a_p\lambda_{p+1}\vec{v}_p=a_1\lambda_1\vec{v}_1+a_2\lambda_2\vec{v}_2+\ldots + a_p\lambda_p\vec{v}_p
\end{equation*}
qui se réécrit sous la forme
\begin{equation*}
a_1(\lambda_1-\lambda_{p+1})\vec{v}_1+a_2(\lambda_2-\lambda_{p+1})\vec{v}_2+\ldots + a_p(\lambda_p-\lambda_{p+1})\vec{v}_p=\vec{0}\text{.}
\end{equation*}
Comme les vecteurs
\(\{\vec{v}_1,\vec{v}_2,\ldots , \vec{v}_p\}\) sont linéairement indépendants, il faut que les coefficients de cette combinaison linéaire soient nuls, mais on a également que les valeurs propres sont distinctes. Cela entraine que
\(a_1=a_2=\cdots =a_p=0\text{.}\) Par contre, si cela était vrai, l’équation
(✶) impliquerait que
\(\vec{v}_{p+1}=\vec{0}\text{,}\) ce qui est impossible. On ne peut en conséquence trouver une valeur de
\(p\) telle que l’ensemble
\(\{\vec{v}_1,\vec{v}_2,\ldots , \vec{v}_p\}\) est indépendant, mais l’ensemble
\(\{\vec{v}_1,\vec{v}_2,\ldots , \vec{v}_{p+1}\}\) est dépendant. On conclut que
\(\{\vec{v}_1,\vec{v}_2,\ldots , \vec{v}_k\}\) est forcément indépendant, ce qui termine la preuve.