Et la généralisation.
Supposons par l absurde l existence d un tel polynôme P de degré n.
Soit b l ordre de multiplicité de 0.
Soit x_1,..., x_m les racines de P autres que 0 Comptées sans leur multiplicité.
Soit a_i ses coeff
Il existe j tel que a_j=a_(j+1)
Si b >= j , on dérive P b fois pour obtenir http://latex.codecogs.com/gif.latex?%5Csum_%7Bi%3Db%7D%5E%7Bn%7D%20a_i%20%5Cfrac%7Bi%21%7D%7B%28i-b%29%21%7DX%5E%7Bi-b%7D%20%3D%20K%5Cprod_%7Bi%3D1%7D%5E%7Bn%7D%20%28X-x_i%29%20+%20XQ
Où Q est un polynôme.
En appliquant en 0 on arrive à une absurdité.
Si b<j, on dérive j fois pour obtenir
http://latex.codecogs.com/gif.latex?%5Csum_%7Bi%3Dj%7D%5E%7Bn%7D%20a_i%20%5Cfrac%7Bi%21%7D%7B%28i-j%29%21%7DX%5E%7Bi-j%7D%20%3D%20K%28%5Cprod_%7Bi%3D1%7D%5E%7Bn%7D%20%28X-x_i%29%29%5E%7B%28j-b%29%7D%20&plus;%20XQ
Là encore c est absurde.