Hogar » Bézout’s Theorem

Bézout’s Theorem

1779
  • Étienne Bézout

Bézout’s theorem is a fundamental statement in intersection theory. It asserts that the number of intersection points of two plane algebraic curves of degrees [latex]m[/latex] and [latex]n[/latex] is exactly [latex]mn[/latex], provided that one works in a projective plane over an algebraically closed field, counts points with multiplicity, and includes points at infinity where parallel asymptotes meet.

Bézout’s theorem elegantly quantifies the intersection of curves. In the standard affine plane, the number of intersections can be less than [latex]mn[/latex] for several reasons. First, some solutions might have complex coordinates. Second, lines that are parallel in the affine plane can be thought of as meeting at a ‘point at infinity’; moving to the projective plane [latex]\mathbb{P}^2[/latex] systematically includes these points. Third, some intersection points might be ‘degenerate’, such as a line being tangent to a circle. In this case, the single point of tangency must be counted with a multiplicity of two for the theorem to hold. The concept of intersection multiplicity is a crucial and subtle part of the theory that makes the count exact.

For example, a parabola ([latex]y=x^2[/latex], degree 2) and a line ([latex]y=ax+b[/latex], degree 1) should intersect at [latex]2 \times 1 = 2[/latex] points. This is clear when the line cuts through the parabola. When the line is tangent, there is one point, but it has multiplicity 2. If the line doesn’t intersect the parabola in the real plane, there are two intersection points with complex coordinates. The theorem generalizes to higher dimensions, stating that [latex]n[/latex] hypersurfaces of degrees [latex]d_1, \dots, d_n[/latex] in [latex]\mathbb{P}^n[/latex] intersect in exactly [latex]d_1 \cdots d_n[/latex] points, again, when counted properly.

UNESCO Nomenclature: 1105
– Geometry

Tipo

Abstract System

Disruption

Substantial

Utilización

Widespread Use

Precursors

  • coordinate geometry (descartes, fermat)
  • theory of polynomial equations (newton, maclaurin)
  • early concepts of projective geometry (desargues, pascal)
  • cramer’s paradox on the number of points defining a curve

Aplicaciones

  • computer graphics (calculating intersections for ray tracing)
  • robotics (solving inverse kinematics for robot arms)
  • computational geometry and cad/cam systems
  • elimination theory for solving polynomial systems
  • celestial mechanics (analyzing orbits)

Patentes:

ESO

Potential Innovations Ideas

Membresía obligatoria de Professionals (100% free)

Debes ser miembro de Professionals (100% free) para acceder a este contenido.

Únete ahora

¿Ya eres miembro? Accede aquí
Related to: Bézout’s theorem, intersection theory, projective plane, algebraic curve, multiplicity, degree of a curve, polynomial system, points at infinity

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

DISPONIBLE PARA NUEVOS RETOS
Ingeniero Mecánico, Gerente de Proyectos o de I+D
Desarrollo eficaz de productos

Disponible para un nuevo desafío a corto plazo.
Contáctame en LinkedIn
Integración de electrónica de plástico y metal, diseño a coste, GMP, ergonomía, dispositivos y consumibles de volumen medio a alto, industrias reguladas, CE y FDA, CAD, Solidworks, cinturón negro Lean Sigma, ISO 13485 médico

Estamos buscando un nuevo patrocinador

 

¿Su empresa o institución se dedica a la técnica, la ciencia o la investigación?
> Envíanos un mensaje <

Recibe todos los artículos nuevos
Gratuito, sin spam, correo electrónico no distribuido ni revendido.

o puedes obtener tu membresía completa -gratis- para acceder a todo el contenido restringido >aquí<

Related Invention, Innovation & Technical Principles

Scroll al inicio

También te puede interesar