L’exercice est difficile. Le début de la preuve est naturel et repose sur une idée classique : on étudie la factorisation en facteurs irréductibles de P dans le but de prouver le résultat pour des polynômes plus simples. Par contre, la fin de la preuve repose sur une certaine dextérité technique.
Les racines réelles d’un tel polynôme P sont négatives et son coefficient dominant est strictement positif, ainsi la factorisation de P en facteurs irréductibles ne contient que deux types de termes :
|
Il suffit de prouver le résultat final lorsque P a l’une de ces deux formes réduites car la forme voulue (1 + X)n P est manifestement stable par produit. Seul le terme polynomial quadratique est délicat à gérer et l’on peut naturellement supposer que l’on a b > 0 (sinon (X - b)2 + c aurait déjà tous ses coefficients positifs). La formule du binôme de Newton permet d’arriver au calcul :
|
Posons x = 1 - [0,1] si bien que appartient également à [0,1]. Ainsi, on a Bn,k ≤ (la partie en b2 + c n’apporte aucune contribution). Il suffit de prouver que pour tout n ≫ 1 et pour tout x [0, 1] on a