» 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

类型

Abstract System

Disruption

Substantial

使用方法

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

应用

  • 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)

专利:

Potential Innovations Ideas

级别需要会员

您必须是!!等级!!会员才能访问此内容。

立即加入

已经是会员? 在此登录
Related to: Bézout’s theorem, intersection theory, projective plane, algebraic curve, multiplicity, degree of a curve, polynomial system, points at infinity

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

迎接新挑战
机械工程师、项目或研发经理
有效的产品开发

可在短时间内接受新的挑战。
通过 LinkedIn 联系我
塑料金属电子集成、成本设计、GMP、人体工程学、中高容量设备和耗材、受监管行业、CE 和 FDA、CAD、Solidworks、精益西格玛黑带、医疗 ISO 13485

我们正在寻找新的赞助商

 

您的公司或机构从事技术、科学或研究吗?
> 给我们发送消息 <

接收所有新文章
免费,无垃圾邮件,电子邮件不分发也不转售

或者您可以免费获得完整会员资格以访问所有受限制的内容>这里<

Related Invention, Innovation & Technical Principles

滚动至顶部

你可能还喜欢