Bonsoir, j'ai un problème avec cet exercice:
Existe-t'il un polynôme

vérifiant
\leq 3,\ P=-1\ mod\ (X+1)^2,\ P=X\ mod\ X^2)
?
Si oui, quels sont les "

" possibles?
Je pensais reprendre la technique du théorème des restes chinois sur

(qui est donnée sur l'article de wikipedia: [url=http://fr.wikipedia.org/wiki/Théorème_des_restes_chinois#Syst.C3.A8me_de_congruences_d.27entiers]http://fr.wikipedia.org/wiki/Théorème_des_restes_chinois#Syst.C3.A8me_de_congruences_d.27entiers[/url] )
on a
^2\wedge X^2=1)
. D'après Bezout, il existe

tels que
[CENTER]
^2+VX^2=1)
.[/CENTER]
Je calcule l'algorithme d'Euclide étendu:
^2=X^2\times 1+(2X+1)\\<br />X^2= (2X+1)(\frac{1}{2}X-\frac{1}{4})+\frac{1}{4})
donc
(\frac{1}{2}X-\frac{1}{4})\\<br />2X+1=(X+1)^2-X^2)
d'où
X^2+(-2X+1)(X+1)^2)
Donc j'ai un trouvé un tel couple:

.
Je pose:

,
^2 = (-2X+1)(X+1)^2 = -2X^3-X^2+1)
je trouve

^2 = X^4+2X^3+X^2)
Je réduis

modulo
^2)
, et je trouve

qui devrait normalement être solution,
mais on a pas
^2)
.
Je ne vois pas où le raisonnement ne tient plus la route :hein:
Merci pour vos indications.