2
Application 1. Soient P, Q ∈C[X, Y ]premiers entre eux, non constants où les coefficients
dominants de P, Q vus comme des polynômes de C[X][Y]vérifient lcY(Q)∈C∗et lcY(P)∈C∗.
On note :
Z(P, Q) = {(x, y)∈C2|P(x, y) = Q(x, y)=0}
Alors, card(Z(P, Q)) <∞et notant R=ResY(P, Q)∈C[X], le resultant des polynômes P, Q
vus comme des polynômes de C[X][Y], on a précisément :
Z(P, Q) = S
x∈Z(R)
{x} × Z(P(x, Y ), Q(x, Y )) = S
x∈Z(R)
{x} × Z(pgcd(P(x, Y ), Q(x, Y )))
et les abscisses des éléments de Z(P, Q)sont les racines de ResY(P, Q).
Démonstration. :
Etape 1 : montrons que ResY(P, Q) = UP +V Q ∈C[X], pour U, V ∈C[X, Y ]. Puisque Pet
Qsont premiers entre eux dans C[X, Y ], ils le sont également dans C[X][Y]. En appliquant le
théorème précédent à A=C[X], il existe U, V ∈C[X][Y]tels que : ResY(P, Q) = U P +V Q.
Etape 2 : notons R=ResY(P, Q)∈C[X], avec :
pr1:C2−→ C
(x, y)7−→ xet hx:C[X]−→ C
P7−→ P(x)
et on prolonge la définition de hxde C[X, Y ]dans C[Y]en posant hx(Y) = Y.
Objectif 1. montrons que Z(R) = pr1(Z(P, Q)).
Comme lcY(P),lcY(Q)∈C∗,degY(hx(P)) = degY(P)et degY(hx(Q)) = degY(hx(Q)) et par
spécialisation du résultant, on a alors :
ResY(P, Q)(x) = hx(ResY(P, Q)) = ResY(hx(P(X, Y )), hx(Q(X, Y )) = ResY(P(x, Y ), Q(x, Y ))
Supposons x∈Z(R), alors ResY(P, Q)(x)=0et ResY(P(x, Y ), Q(x, Y )) = 0. Cela signifie que
P(x, Y )∈C[Y]et Q(x, Y )∈C[Y], ont un facteur commun dans C[Y]donc une racine commune
dans C. Il existe alors y∈Ctel que P(x, y) = Q(x, y) = 0 ce qui implique (x, y)∈Z(P, Q)puis
x∈pr1(Z(P, Q)). D’où :
Z(R)⊂pr1(Z(P, Q))
Inversement, supposons que x∈pr1(Z(P, Q)). Il existe y∈Ctel que P(x, y) = Q(x, y)=0, ce
qui donne ResY(P, Q)(x) = U(x, y)P(x, y) + V(x, y)Q(x, y)=0soit l’égalité :
pr1(Z(P, Q)) = Z(R)
Objectif 2. montrons que Z(P(x, Y ), Q(x, Y )) = Z(pgcd(P(x, Y ), Q(x, Y ))
Notant D(Y)∈C[Y]le pgcd de P(x, Y )et Q(x, Y ), il existe A(Y), B(Y)∈C[Y]tels qu’on ait
une relation de Bezout de la forme :
A(Y)P(x, Y ) + B(Y)Q(x, Y ) = D(Y)
Alors, pour y∈Ctel que P(x, y) = Q(x, y)=0, ie y∈Z(P(x, Y ), Q(x, Y )), on a aussi D(y)=0.
De plus, comme D|P(x, Y )et D|Q(x, Y ), on a pour y∈Z(D):
D(y) = 0 =⇒P(x, y) = Q(x, y) = 0.
ce qui donne bien Z(P(x, Y ), Q(x, Y )) = Z(pgcd(P(x, Y ), Q(x, Y )). Au final, on obtient :
(x, y)∈Z(P, Q)⇐⇒ x∈Z(R)et y∈Z(pgcd(P(x, Y ), Q(x, Y )).
D’où Z(P, Q) = S
x∈Z(R)
{x} × Z(pgcd(P(x, Y ), Q(x, Y )).
Objectif 3. montrons que Z(P, Q) = S
x∈Z(R)
{x} × Z(pgcd(P(x, Y ), Q(x, Y )) est fini.
Comme Pet Qsont premiers entre eux dans C[X][Y]on a R6= 0 ∈C[X]et card(Z(R)) <∞.
Il y a ainsi un nombre fini de racines x1, . . . , xrde Ret pour tout i∈[[1, r]] on a :
pgcd(P(xi, Y ), Q(xi, Y )) 6=0=⇒Z(pgcd(P(xi, Y ), Q(xi, Y )) <∞