Bézout sous les tropiques

En géométrie algébrique, le théorème de Bézout énonce que deux courbes de degrés d et d' ont dd' points d'intersection. La preuve n'est pas simple et nécessite de définir algébriquement les multiplicités d'intersections. En géométrie tropicale, le théorème de Bézout énonce que deux courbes de degrés d et d' ont dd' points d'intersection. La preuve est simple et nécessite de connaître l'aire d'un triangle. Après avoir parlé brièvement du premier théorème, j'aimerais détailler un peu la démonstration du second, qui utilise la subdivision duale d'une courbe tropicale.