Algèbre, VI, p. 40
Soient K un corps ordonné maximal,
f(T)=a0+a1T+⋯+anTn
un polynôme de K[T], tel que a0=0, an=0 et
ap=ap+1=⋯=ap+2m−1=0(1≤p<p+2m−1<n)
Montrer que f a au plus n−2m racines comptées avec leur ordre de multiplicité dans K (appliquer la règle de Descartes).
En déduire que si g(T)=1+c1T+⋯+cnTn a toutes ses racines dans K, et si h(T)=1+b1T+⋯+b2mT2m est le polynôme formé des 2m+1 premiers termes de la série formelle 1/g dans K[[T]], h n’a aucune racine dans K.