Borne de Bézout
De AgregmathKL
On prouve ici, à l'aide de résultants, que le nombre de points d'intersection entre deux courbes planes définies implicitement par des polynômes est majoré par le produit des degrés de ces polynômes.
Recasage :