Soit $f$ une fonction polynomiale réelle, autrement dit, il existe un entier naturel $n$ et des nombres réels $a_0\comma$ $\dots\comma$ $a_n$ tels que $\forall x\in\R, f(x) = \sum_{k=0}^n a_k x^k.$

Supposez que $\forall x\in\R, f(x)=0.$ Cela entraîne-t-il la nullité de tous les coefficients ? La réponse est oui.

Utilisez la contraposée

Pour démontrer le résultat ci-dessus, vous allez supposer qu’il existe $i$ compris entre $0$ et $n$ tel que $a_i\neq 0$ et montrer alors, qu’il existe un réel $x$ tel que $f(x)\neq 0.$

Par hypothèse, l’ensemble $A=\{k\in[0,n]\cap \N, a_k\neq 0\}$ est non vide. C’est une partie de $\N$ majorée par $n\comma$ qui admet un plus grand élément. Notez $m = \max A.$

L’idée c’est que le terme en $a_mx^m\comma$ non nul, va dominer tous les autres, dès que $x$ est suffisamment grand.

Pour tout réel $x\comma$ $f(x) = \sum_{k=0}^m a_kx^k.$

Si $m=0\comma$ alors $\forall x\in\R, f(x) = a_m\comma$ or $a_m\neq 0$ donc $f(0)\neq 0$ et le résultat est acquis.

Si $m\geq 1\comma$ vous scindez la somme en deux. $\forall x\in\R, f(x) = \sum_{k=0}^{m-1} a_kx^k + a_mx^m.$

Soit $x$ un réel supérieur ou égal à $1.$ Remarquez que $\forall k\in[0,m-1]\cap \N, x^k \leq x^{m-1}$ ce qui aboutit à la majoration :

Comme $a_m$ est non nul, le nombre réel $R = 1+\frac{\sum_{k=0}^{m-1} \vert a_k \vert}{\vert a_m \vert }$ est bien défini.

Soit maintenant un nombre réel $x$ tel que $x\gt R.$ Un tel nombre $x$ peut toujours être trouvé vu que $\R$ n’est pas majoré.

Alors $\sum_{k=0}^{m-1} \vert a_k \vert \lt \vert a_m \vert x.$ De plus, $x$ est supérieur ou égal à $1\comma$ d’où les majorations suivantes :

Ce résultat s’écrit $\left\lvert \sum_{k=0}^{m-1} a_kx^k \right\rvert \lt \left\lvert – a_m x^m \right\rvert$ et cela implique $\sum_{k=0}^{m-1} a_kx^k \neq -a_mx^m$ et donc $f(x)\neq 0.$

Application : localisation des racines éventuelles d’un polynôme

Soit $n\in\N$ et $a_0\comma$ $\dots\comma$ $a_n$ des réels tels que $a_n\neq 0.$

Soit $f$ la fonction polynomiale définie par $\forall x\in\R, f(x) = \sum_{k=0}^n a_k x^k.$

Soit $x$ un nombre réel tel que $f(x) = 0\comma$ un tel $x$ est appelé racine du polynôme ci-dessus. Alors $x \in [-R, R]$ où $R$ est le réel défini par $1+\frac{\sum_{k=0}^{n-1} \vert a_k \vert}{\vert a_n \vert }.$ En effet, le raisonnement précédent, appliqué avec $\vert x\vert$ à la place de $x\comma$ montre que $\vert x\vert \gt R$ entraînerait $\left\lvert\sum_{k=0}^{n-1} a_kx^k \right\rvert \lt \vert a_n x^n\vert$ et donc $f(x)\neq 0.$