Bourbaki

Exercice 22, § 2

Algèbre, VI, p. 40

Soient KK un corps ordonné maximal,

f(T)=a0+a1T+⋯+anTn f(T) = a_0 + a_1 T + \cdots + a_n T^n

un polynôme de K[T]K[T], tel que a0≠0a_0 \neq 0, an≠0a_n \neq 0 et

ap=ap+1=⋯=ap+2m−1=0(1≤p<p+2m−1<n) a_p = a_{p+1} = \cdots = a_{p+2m-1} = 0 \quad (1 \leq p < p + 2m - 1 < n)

Montrer que ff a au plus n−2mn - 2m racines comptées avec leur ordre de multiplicité dans KK (appliquer la règle de Descartes).

En déduire que si g(T)=1+c1T+⋯+cnTng(T) = 1 + c_1 T + \cdots + c_n T^n a toutes ses racines dans KK, et si h(T)=1+b1T+⋯+b2mT2mh(T) = 1 + b_1 T + \cdots + b_{2m} T^{2m} est le polynôme formé des 2m+12m + 1 premiers termes de la série formelle 1/g1/g dans K[[T]]K[[T]], hh n’a aucune racine dans KK.

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.