You are on page 1of 11

Le thorme de Bzout et le rsultant de deux polynmes

Michel Waldschmidt
Prsident de la Socit Mathmatique de France
Universit Pierre et Marice Curie (Paris VI)
Rsum:
tude des intersections de courbes algbriques planes dans un plan projectif.


1 Introduction
2 Premire forme du thorme de Bzout :
3 Multiplicit d'intersection de deux courbes planes
4 Multiplicit d'un point sur une hypersurface
5 Rfrences

1 Introduction
Soient un corps algbriquement clos, et deux polynmes homognes de [ ]
de degrs , respectivement, sans facteur irrductible commun dans cet anneau factoriel.
Nous allons voir que les deux courbes projectives planes et n'ont
qu'un nombre fini de points communs, disons , et que . Nous dfinirons
ensuite la multiplicit d'intersection de et au point , et
nous montrerons


Enfin nous dfinirons la multiplicit d'un point sur une courbe plane , et nous
montrerons


Le cas le plus simple est l'intersection d'une courbe affine plane A d'quation
, o a un degr total , avec une courbe affine plane dont
l'quation a la forme , o est de degr . On trouve les coordonnes des
points d'intersection en substituant dans l'quation de et en rsolvant
Page 1sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=17&Type=enonce&Num=0&Mode=...
. Ce cas trs simple permet dj de traiter l'intersection d'une courbe plane
quelconque avec une droite ou avec une conique (on peut crire une conique comme runion
d'au plus deux arcs d'quation avec de degr 2). Cet exemple montre la ncessit
de se placer dans l'espace projectif, et sur un corps algbriquement clos, pour esprer obtenir une
galit dans le thorme de Bzout. Le rle du rsultant est d'liminer la variable , mme
quand l'quation de n'est pas de la forme .

2 Premire forme du thorme de Bzout :
Nous allons montrer que deux courbes projectives planes , , de degrs , , sans
composantes communes, n'ont qu'un nombre fini de points d'intersection, et que ce nombre est
major par le produit . La dmonstration utilisera le rsultant de deux polynmes.
2.1 Rsultant de deux polynmes en une variable
Soit un anneau commutatif unitaire. On dsigne par l'anneau [ ] des polynmes en une
variable coefficients dans , et, pour entier , on note le -module des polynmes
de degr . Ainsi est libre sur , de rang , une base tant donne par ,
.
Soient et deux polynmes de de degrs et avec, par exemple, :


Le morphisme de -modules


a pour matrice, dans les bases cites,

Page 2sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=17&Type=enonce&Num=0&Mode=...


Les premires colonnes sont les composantes, dans la base , de
, tandis que les dernires sont les composantes, dans la mme base, de
. La diagonale principale est .
Dfinition 1 Le dterminant de cette matrice est appel le rsultant de et . On le note
Res . Le rsultant universel est le rsultant des deux polynmes


dans l'anneau [ ] des polynmes coefficients dans
en indtermines. On obtient le rsultant de et par spcialisation, c'est--dire
comme image par l'homomorphisme de dans qui envoie sur et sur .
L'criture du rsultant sous forme de dterminant donne facilement
Proprit 1 Le rsultant universel est un polynme en
homogne de degr en , et homogne de degr en .
On obtient aussi facilement
Proprit 2 Il existe deux polynmes et dans , de degr et respectivement,
tels que le rsultant de et s'crive .
On en dduit que si et ont un zro commun (dans , ou dans un corps contenant ), alors
Res . Nous allons voir la rciproque. Nous aurons besoin du rsultat suivant
Page 3sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=17&Type=enonce&Num=0&Mode=...
Proprit 3 Soient un anneau, ] l'anneau des polynmes en
indtermines coefficients dans , et , des polynmes de ], homognes
de degrs et respectivement. On considre et comme des lments de ], et l'on
note leur rsultant (par rapport la variable ). Alors est
homogne de degr en .
Dmonstration. crivons


avec et homognes de degr et respectivement dans . Soit
le rsultant. On a


On multiplie la premire colonne par , la deuxime par , ... , puis la colonne
commenant par par , la suivante par , ... On a ainsi multipli le dterminant par
avec


Dans la -me ligne, , on peut mettre en facteur , et l'on trouve


avec , donc


ce qui donne le rsultat voulu.
Voici l'une des proprits fondamentales du rsultant.
Page 4sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=17&Type=enonce&Num=0&Mode=...
Proposition 1 Si


alors


Dmonstration. Par spcialisation on peut supposer que est l'anneau des polynmes
coefficients dans en les variables . Dans cet anneau factoriel,
est un lment irrductible, qui divise Res (car si l'on spcialise en
, alors le rsultant est nul). On remarque alors que


est homogne de degr en les coefficients de , et de degr en les coefficients de . Il en
rsulte que cet lment est de la forme , avec . Le coefficient du monme
tant comme dans le rsultant, on obtient l'galit annonce.
Corollaire 1 Soit un corps contenant dans lequel et se dcomposent en facteurs de
degrs 1. Alors le rsultant Res est nul si et seulement si et ont un zro commun
dans . En particulier, si l'anneau est factoriel, alors Res si et seulement si et
ont un facteur irrductible commun.
2.2 Application aux courbes
Voici une premire forme (faible) du thorme de Bzout. On travaille sur un corps
quelconque.
Thorme 1 Soient et deux formes (polynmes homognes) de , de degrs
et respectivement, sans facteur irrductible commun. Alors l'ensemble des
Page 5sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=17&Type=enonce&Num=0&Mode=...
tels que est fini, avec au plus
lments.
Dmonstration. Le principe de la dmonstration est le suivant : on prend points (distincts)
communs aux deux courbes et , disons , . On
choisit des coordonnes homognes de telle sorte que ne soit pas l'un des , ce qui
permet de dfinir la projection des , et l'on demande en plus que ces
projections soient deux deux distinctes. On prend ensuite le rsultant de et par rapport
; c'est un polynme non nul, homogne en de degr , qui s'annule en chaque
. D'o la majoration annonce .
Prcisons comment se fait le choix des coordonnes homognes. On considre les droites
joignant les points . Comme on peut agrandir le corps sans affaiblir l'nonc, on peut
choisir un point en dehors de la runion de ces droites. On prend un repre projectif tel que
ce point ait pour coordonnes projectives . Le fait que ne soient pas
aligns pour signifie prcisment que les deux points et de P sont
distincts.
Exercices.
Soient des courbes affines planes de degr , sur un corps algbriquement
clos. On suppose que le sous-ensemble de A est fini. Montrer que cet
ensemble a au plus lments.
Soient des polynmes de [ ], dont le degr en est , et le degr
en est . On note la courbe affine , , et l'on suppose que
est fini. Soient des points distincts de ,
avec deux deux distincts. Montrer que l'on a .

3 Multiplicit d'intersection de deux courbes planes
Le thorme prcdent donne seulement une ingalit : . La raison est claire : on a
utilis le fait qu'un polynme en une variable de degr a au plus racines dans un corps .
Pour obtenir une galit, il faut d'une part supposer le corps algbriquement clos, et d'autre part
compter les racines avec multiplicits. Cela va nous fournir l'une des dfinitions possibles de la
multiplicit d'intersection de deux courbes en un point.
3.1 Dfinition de
Page 6sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=17&Type=enonce&Num=0&Mode=...
Soient et deux courbes sans composante commune sur un corps algbriquement clos, et
un point d'intersection de et . On dfinit un entier , qui est la multiplicit
d'intersection de et au point . Comme la dfinition est locale, on travaille dans le plan
affine. On choisit des coordonnes (c'est l toute la difficult : vrifier que la dfinition ne
dpend pas de ce choix), de telle sorte que ; on crit les quations des deux courbes
et , on dsigne par le rsultant par rapport de et , et
l'on considre l'ordre du zro de au point 0. Appelons-le . Il est facile de voir que, ds que
l'intersection comporte plus d'un point, dpend du choix des coordonnes affines. Par
dfinition, sera le minimum de ces valeurs de pour tous les choix de
coordonnes affines avec .
Montrons dj que l'entier est invariant quand on effectue un changement de coordonnes de
la forme


avec . Pour cela considrons le polynme


Montrons qu'il ne dpend pas de
1
. Pour cela crivons-le



avec ], et . Par hypothse les deux polynmes et sont sans facteur
irrductible commun, donc


n'est pas nul. Soit tel que . Si l'on avait , on pourrait trouver une
racine au polynme (le corps est algbriquement clos). Alors les deux
polynmes et ont un rsultant nul, donc une racine commune,
disons , ce qui entrane que et ont aussi une racine commune, savoir
. Cela contredit le choix de avec .
Il reste voir l'effet d'un changement de variables de la forme


Page 7sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=17&Type=enonce&Num=0&Mode=...
On dfinit maintenant


C'est encore un polynme en et ; crivons-le sous la forme


avec et . Alors pour tous les pour lesquels , l'ordre de
au point est gal , et pour les autres l'ordre en question est plus grand. Donc cet
entier n'est autre que .
3.2 Le thorme de Bzout (forme dfinitive)
Thorme 2 Soient et deux courbes projectives planes, sur un corps algbriquement
clos, de degrs et respectivement, sans composantes communes Soient leurs
points d'intersection. Alors


Dmonstration. On reprend la dmonstration du thorme 1. On sait que les points d'intersection
sont en nombre fini (par le thorme 1). On choisit un systme de coordonnes projectives du
plan dans lequel ces points ont des coordonnes avec , et ont des
projections P , , deux--deux distinctes. Ces points sont
donc dans le complmentaire de l'hyperplan que l'on munit de sa structure de plan affine
A . Soient et les quations correspondantes des courbes affines
A et A . Notons la multiplicit du point comme zro du rsultant
Res . Ce rsultant est un polynme en de degr , et ses racines sont
, avec les multiplicits . Donc


Rappelons que dpend du choix des coordonnes, que , et que l'galit
a lieu pour presque tout choix des coordonnes; plus prcisment, pour tout choix ``gnrique''
de coordonnes, (c'est--dire sur un ouvert de Zariski), on a , ce qui donne
le rsultat annonc. On obtient de plus pour tout choix de coordonnes
Page 8sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=17&Type=enonce&Num=0&Mode=...
dans lesquels les sont deux deux distincts.

Notes
...
1


Cela rsulte aussi de la proposition de la section 2

4 Multiplicit d'un point sur une hypersurface
Soit une hypersurface projective dans P , et un point de . On va dfinir la
multiplicit de sur . On choisit un hyperplan projectif ne contenant pas , puis
un repre affine du complmentaire A de cet hyperplan dans lequel a pour coordonnes
. On crit l'quation de A sous la forme , avec
]. On crit alors comme somme de polynmes homognes


avec , de degr et . Comme , on a . Cet
entier ne dpend pas du choix des coordonnes choisies; on le note . Le point est
dit simple (ou rgulier) sur si ; dans ce cas est l'quation d'un
hyperplan affine, appel hyperplan tangent au point .
Proposition 2 Soient et deux courbes projectives planes sans composante commune, et
soit . Alors


Dmonstration. Il s'agit de vrifier que si et sont deux lments de [ ], s'crivant
sous la forme


avec et homognes de degrs et respectivement, et , , alors leur
rsultant Res a un zro l'origine d'ordre au moins . On reprend un
argument dj utilis dans la section 2 : on crit

Page 9sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=17&Type=enonce&Num=0&Mode=...

et le rsultant s'crit



On multiplie la premire colonne par , la deuxime par , ... , puis la colonne
commenant par par , la suivante par , ... On a ainsi multipli le rsultant par
une puissance de , avec l'exposant


Dans la -ime ligne, , on peut mettre en facteur , donc la
multiplicit du zro l'origine de est au moins


Remerciements: Je remercie vivement Marc Chardin pour ses prcieux conseils lors de la
rdaction de ce texte, et Andr Warusfel et Yves Duval pour leur travail lors de la publication.

5 Rfrences
S. Lang. Algebra; third ed., Addison Wesley, 1993.
Voir Chap. IV, 8, p. 200-204 pour la dfinition et les proprits de base du rsultant; voir
aussi Chap. IX, 3 et 4.
P. Samuel. Gomtrie projective; PUF, 1986.
Voir Chap. I, C, p. 26-29 pour la notion de multiplicit d'un point sur une hypersurface.
R.J . Walker. Algebraic curves; Springer Verlag, 1978.
Voir Chap. I, 9 et 10 pour le rsultant, Chap. III, 2 pour la multiplicit d'un point sur
une courbe, et Chap. III, 3 pour une forme du thorme de Bzout (tenant compte du
produit des multiplicits des points sur chaque courbe). Voir aussi Chap. IV, 5 pour des
complments.
G and M Orzech. Plane algebraic curves; Marcel Dekker, 1981.
Page 10sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=17&Type=enonce&Num=0&Mode=...
Voir Chap. 18, p. 174-178, o la multiplicit d'intersection est dfinie en termes des
anneaux locaux des courbes au point considr.
R. Hartshorne. Algebraic geometry; Springer Verlag, Graduate Texts 52 1977.
Pour tout savoir sur le sujet !

Page 11sur 11 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=17&Type=enonce&Num=0&Mode=...

You might also like