Bonjour,
Une solution un peu compliquée (comme d'hab) :
P(1)P(2) = P(2)
Si P(2) = 0, alors P(u_n)=0 pour tout élément de la suite u_0=2 et u_(n+1) = u_n^3 + u_n
Comme cette suite est strictement croissante, P aurait une infinité de racines ce qui implique que P(x) est identiquement nul ==> une première solution : P(x) = 0.
Si P(2) est non nul, alors P(1) =1
Soit alors un x_n dans ]0,2[ tel que P(x_n) = 1 (par exemple x_n = 1)
Il existe y_n, unique, tel que y_n^3 + y_n = x_n et, naturellement, 0 < y_n < x_n.
Soit z_n=2y_n^2. On a aussi 0 < z_n < x_n . En effet x_n - z_n = y_n^3 + y_n - 2y_n^2 = y_n(y_n - 1)^2 >0 (l'égalité ne serait possible que pour y_n = 1, donc x_n = 2, ce qui est impossible par hypothèse).
Donc :
y_n est dans ]0, x_n[
z_n est dans ]0, x_n[
P(y_n)P(z_n) = P(x_n) = 1
L'un au moins des deux nombres P(y_n) et P(z_n) est donc <= 1 et l'autre est >= 1. Il existe donc x_(n+1) entre y_n et z_n (quelles que soient les positions respectives de ces deux nombres) tel que P(x_(n+1)) = 1.
Evidemment 0 < x_(n+1) < x_n
Donc, la suite commençant à x0=1 et construite comme ci-dessus donne une infinité de valeurs x_n différentes et pour lesquelles P(x_n) vaut 1.
==> le polynôme P(x)-1 a une infinité de racines, et est donc identiquement nul.
==> P(x) = 1
Les deux seules solutions à l'équation demandée sont donc :
P(x) = 0
P(x) = 1
--
Patrick