Théorème de Bézout

Théorème de Bézout

Cet article discute du théorème de Bézout en géométrie algébrique. Pour le théorème de Bézout en arithmétique, voir théorème de Bachet-Bézout.

Nombre de points d'intersection entre deux courbes algébriques projectives, le quadrifolium (en bleu) d'équation (x2 + y2)3 − 4x2y2z2 = 0 de degré 6, et le trifolium (en rouge) d'équation (x2 + y2)2 + (3x2yy3)z = 0 de degré 4. Il y a 24 points d'intersection, à savoir : une intersection en (0,0,1) (au centre de la figure) de multiplicité 14, quatre autres intersections visibles sur la figure en des points simples, mais il y a aussi deux points d'intersection triples en l'infini à coordonnées complexes, (1, i, 0) et (1, -i,0).

Le théorème de Bézout, attribué à Étienne Bézout[1], affirme que deux courbes algébriques projectives planes C,D de degrés m et n, définies sur un corps algébriquement clos k et sans composante irréductible commune, ont exactement mn points d'intersections, comptés avec leur multiplicité.

La forme faible du théorème dit que le nombre d'intersections (sans tenir compte des multiplicités) est majoré par mn. Autrement dit, si F,G sont deux polynômes homogènes à coefficients dans k (avec C = V + (F) et D = V + (G)[2]) de degrés respectifs m,n et sans facteur commun, alors le système

F(x,y,z)=0,  \ G(x,y,z)=0

admet au plus mn solutions dans le plan projectif P2(k).

Sommaire

Multiplicité d'intersection

Soient F,G deux polynômes dans k[X,Y], non-constants et sans facteur irréductible commun. Alors l'ensemble de leurs zéros communs dans k2 est fini. Fixons un zéro commun P = (a,b), et considérons l'anneau local OP, constitué des fractions rationnelles dont le dénominateur ne s'annule pas en P, et son quotient OP / (F,G) par l'idéal engendré par F,G. Ce dernier est un k-espace vectoriel de dimension finie, sa dimension est appelée la multiplicité d'intersection des courbes V(F),V(G)[2] en (a,b).

Exemple: Si V(F),V(G) sont non-singulières, alors leur multiplicité d'intersection en (a, b) est 1 si et seulement si leurs tangentes en (a,b) sont distinctes.

Un cas particulier

Le théorème de Bézout est très simple à démontrer lorsque l'une des courbes V + (F) est une droite. En effet, par un automorphisme projectif du plan, on peut supposer que F(X,Y,Z) = X. De plus, on peut supposer que la droite Z = 0 ne contient aucun point d'intersection des deux courbes. On se ramène alors à travailler dans le plan affine avec le polynôme F(X,Y) = X. Un point d'intersection de V(F)\cap V(G) est un point (0,b) avec G(0,b) = 0. Notons P(Y) = G(0,Y). C'est un polynôme de degré n, et la multiplicité d'intersection de V(F) et V(G) en (0,b) est simplement la multiplicité de zéro de P(Y) en b. Le théorème résulte alors du fait que la somme des multiplicités des zéros de P(Y) est égale au degré de P(Y), donc à n.

Maintenant si l'une des courbes C est un multiple m d'une droite P, alors la multiplicité d'intersection de C et D en un point p est égale à m fois la multiplicité d'intersection de P et D en p. Ce qui implique encore Bézout. On remarque que la position de la droite P importe peu (il suffit qu'elle ne soit pas contenue dans D).

Principe de la preuve

Les premières preuves de ce résultat (et d'autres analogues) utilisaient le résultant. Une preuve plus moderne est basée sur l'idée suivante: soit P une droite non contenue dans D, d'après le cas particulier ci-dessus, il suffit de montrer que C a le même nombre d'intersection (multiplicités comprises) que mP avec D. Cela se ramène alors à montrer que sur une courbe projective D, le degré total d'un diviseur principal (qui sera le diviseur associé à la fonction rationnelle restriction de F / Xm à D) est nul.

Le cas d'un corps de base quelconque

Le théorème de Bézout sur un corps quelconque (non nécessairement algébriquement clos) reste valable si l'on définit convenablement le degré d'un point dont les coordonnées ne sont pas nécessairement dans le corps de base.

Note

  1. La première preuve correcte semble être celle de Georges-Henri Halphen, dans les années 1870 : (en) Robert Bix, Conics and Cubics, Springer, 1998 (ISBN 978-0-387-98401-8), p. 230 .
  2. a et b Pour F polynôme homogène en X, Y, Z, on note V + (F) l'ensemble projectif des points où F s'annule. Pour F polynome en X, Y, on note V(F) l'ensemble affine des points où F s'annule.

Article connexe

Paradoxe de Cramer


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Bézout de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Theoreme de Bezout — Théorème de Bézout Cet article discute du théorème de Bézout en géométrie algébrique. Pour le théorème de Bézout en arithmétique, voir théorème de Bachet Bézout. Le théorème de Bézout affirme que deux courbes algébriques projectives planes C,D de …   Wikipédia en Français

  • Théorème de Bezout — Théorème de Bézout Cet article discute du théorème de Bézout en géométrie algébrique. Pour le théorème de Bézout en arithmétique, voir théorème de Bachet Bézout. Le théorème de Bézout affirme que deux courbes algébriques projectives planes C,D de …   Wikipédia en Français

  • Théorème de bézout — Cet article discute du théorème de Bézout en géométrie algébrique. Pour le théorème de Bézout en arithmétique, voir théorème de Bachet Bézout. Le théorème de Bézout affirme que deux courbes algébriques projectives planes C,D de degrés m et n,… …   Wikipédia en Français

  • Théorème de Bachet de Méziriac — Théorème de Bachet Bézout Cet article parle de l identité de Bézout et du théorème de Bézout en arithmétique. Pour le théorème de Bézout en géométrie algébrique voir Théorème de Bézout. En mathématiques, le théorème de Bachet Bézout ou identité… …   Wikipédia en Français

  • BÉZOUT (É.) — BÉZOUT ÉTIENNE (1739 1783) Le nom d’Étienne Bézout doit être associé à l’utilisation des déterminants dans la théorie des équations algébriques. Dans son mémoire à l’Académie (1764) et surtout dans son ouvrage Théorie générale des équations… …   Encyclopédie Universelle

  • Théorème de Bachet-Bézout — Cet article parle de l identité de Bézout et du théorème de Bézout en arithmétique. Pour le théorème de Bézout en géométrie algébrique voir Théorème de Bézout. En mathématiques, le théorème de Bachet Bézout ou identité de Bézout est un résultat d …   Wikipédia en Français

  • Théorème des zéros de Hilbert — Le théorème des zéros de Hilbert, parfois appelé Nullstellensatz, est un théorème d algèbre commutative qui est à la base du lien entre les idéaux et les variétés algébriques. Il a été démontré par le mathématicien allemand David Hilbert.… …   Wikipédia en Français

  • Bezout — Étienne Bézout Pierre tombale d Étienne Bézout dans l église Saint Pierre à Avon. Étienne Bézout, né à Nemours le 31 mars 1730 et mort à Avon le 27 septembre 1783, est un mathéma …   Wikipédia en Français

  • Bézout — Étienne Bézout Pierre tombale d Étienne Bézout dans l église Saint Pierre à Avon. Étienne Bézout, né à Nemours le 31 mars 1730 et mort à Avon le 27 septembre 1783, est un mathéma …   Wikipédia en Français

  • Theoreme des deux carres de Fermat — Théorème des deux carrés de Fermat Pierre Fermat En mathématiques, le théorème des deux carrés de Fermat énonce les conditions pour qu’un nombre entier soit la somme de deux carrés parfaits (c est à dire de deux carrés d’entiers) et précise de… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”