Haileau

On note

les racines de P dont les r premières sont réelles et les autres dans C.
On écrit

et on note

les racines qui sont en fait la réunion des racines de P et de (X+1)^k. Donc certaines peuvent être égale. Le fait que ce soit un polynôme réel nous assure qu'on en a un nombre pair
les formules de Newton donne :
Pour i<=rSi i est pair :
a_i est la somme d'un produit pair de nombre négatif et donc a_i est positif
Si i est impaire, l'apparition du signe moins nous sauve la mise et on a toujours a_i positif.
Maintenant il reste à traiter le cas des racines complexes.
Elles sont conjugées deux à deux ( d'où le fait qu'elles sont en nombre pair )
et j'imagine qu'on peut faire pareil en regroupant correctement les racines.
Mais j'ai quand même un doute sur cette dernière étape :p
Enfin j'imagine que c'est ici qu'intervient le k assez grand
