MAT3632 : théorie des nombres, automne 2013
Équations polynomiales
Supposons que f(x) = adxd+ad−1xd−1+· · ·+a1x+a0est un polynôme dont les coefficients
ad, . . . , a0sont entiers. Du théorème de restes chinois, si on veux étudier et résoudre les
congruences f(x)≡0 (mod n), il suffit de résoudre les congruences f(x)≡0 (mod pv), où p
est nombre premier et v≥1. Hensel a montré que souvent il suffit de considérer seulement
le cas v= 1. Plus précisément, on a le théorème suivant. Ici on dénote par f′(x)le dérivé de
f(x), définie comme f′(x) = dadxd−1+ (d−1)ad−1xd−2+· · · 2a2x+a1.
Théorème 1 (Hensel).Soit f(x) = adxd+ad−1xd−1+· · · +a1x+a0un polynôme dont
les coefficients ad, . . . , a0sont entiers. Si f(x1)≡0 (mod p)et f′(x1)̸≡ 0 (mod p), alors
pour chaque v≥2il existe une classe d’équivalence xv(mod pv)unique pour laquelle xv≡
x1(mod p)et f(xv)≡0 (mod pv).
Le théorème au-dessus est un corollaire direct du lemme suivant.
Lemme 2 (Hensel).Soit f(x) = adxd+ad−1xd−1+· · · +a1x+a0un polynôme dont les
coefficients ad, . . . , a0sont entiers. Si f(xv)≡0 (mod pv)et f′(xv)̸≡ 0 (mod p), alors il
existe une classe d’équivalence xv+1 (mod pv+1)unique pour laquelle xv+1 ≡xv(mod pv)et
f(xv+1)≡0 (mod pv+1).
Démonstration. On pose xv+1 =xv+tpv. Il suffit de montrer qu’il existe un tunique mod p
tel que f(xv+tpv)≡0 (mod pv+1). En effet, on a que
(xv+tpv)m=xm
v+(m
1)xm−1
vtpv+(m
2)xm−2
v(tpv)2+· · ·
≡xm
v+mxm−1
vtpv(mod pv+1),
puisque 2v≥v+ 1 pour v≥1. Donc
f(xv+tpv) =
d
∑
m=0
am(xv+tpv)m≡
d
∑
m=0
am(xm
v+mxm−1
vtpv) (mod pv+1)
≡f(xv) + tpvf′(xv) (mod pv+1).
On a que pv|f(xv)par hypothèse. Par la suite
f(xv+tpv)≡0 (mod pv+1)⇔tpvf′(xv)≡ −f(xv) (mod pv+1)
⇔tf′(xv)≡ −f(xv)/pv(mod p).
Puisque p∤f′(xv), il existe un unique t(mod p)qui satisfait la dernière relation. Ça conclut
la démonstration. □
Démonstration du Théorème 1. Par le Lemme 2 et induction sur v, on trouve qu’il existe
une suite x2, x3, x4, . . . telle que xv(mod pv)est l’unique classe d’équivalence mod pvpour
laquelle xv≡xv−1(mod pv−1)et f(xv)≡0 (mod pv). Alors le résultat désiré suit tout de
suite. □
1