Barre utilisateur

[ID: 2175] [Date de publication: 17 mai 2021 11:37] [Catégorie(s): Exercices théoriques sur les déterminants ] [ Nombre commentaires: 1] [nombre d'éditeurs: 1 ] [Editeur(s): Emmanuel Vieillard-Baron ] [nombre d'auteurs: 3 ] [Auteur(s): Emmanuel Vieillard-Baron Alain Soyeur François Capaces ]

Solution(s)

Solution(s)

Exercice 221
Par Emmanuel Vieillard-Baron Alain Soyeur François Capaces le 17 mai 2021 11:37

Par récurrence. Si \(n = 1\), le résultat est clair. Supposons la propriété vraie pour un système de \(n-1\) fonctions. Puisque \((f_1,\dots, f_{n-1})\) est libre, d’après l’hypothèse de récurrence, il existe \(n-1\) réels \((x_1,\dots, x_{n-1})\) tels que la matrice \(A_{n-1} = ((f_i(x_j)))_{1\leqslant i, j \leqslant n - 1}\) soit inversible. Par l’absurde, supposons que \(\forall x \in \mathbb{R}\), la matrice \[A(x) = \begin{pmatrix} f_1(x_1) & \dots & f_{1}(x_{n-1}) & f_1(x) \\ \vdots & \vdots & \vdots & \vdots \\ f_n(x_1) & \dots & f_n(x_{n-1}) & f_n(x) \end{pmatrix}\] ne soit pas inversible. En développant \(\mathop{\rm det}(A)\) par rapport à la dernière colonne, on trouve alors que \[\forall x \in \mathbb{R} ,~ \Delta_{1n}f_1(x) + \dots + \Delta_{nn}f_n(x) = 0\] Mais comme \((f_1,\dots, f_n)\) est libre, on aurait en particulier \(\Delta_{nn} = 0\), mais \(\Delta_{nn} = \mathop{\rm det}(A_{n-1}) \neq 0\) ce qui est absurde.