This article refers to Bézout's theorem in algebraic geometry. For Bézout's theorem in arithmetic, go to Bézout's identity. In number theory, Bézouts identity, named after Étienne Bézout, is a linear diophantine equation. ...

In mathematics, Bézout's theorem counts the number of intersections of two curves. It gives a number that is subject to 'interpretation'; but in any case is a maximum number of intersections that two algebraic curves can have, without having a common component curve. Mathematics, often abbreviated maths in Commonwealth English and math in American English, is the study of abstraction. ... In algebraic geometry, an algebraic curve is an algebraic variety of dimension equal to 1. ...

In algebraic geometry, the statement of Bézout's theorem applies to the points of intersection of plane curves X of degree m and Y of degree n. It asserts that the number of intersections, counted by intersection multiplicity, is precisely mn, except in case X and Y have a common component. Therefore mn is the maximum finite number of intersection points. Here degree of a curve C means the degree of the polynomial defining it. Algebraic geometry is a branch of mathematics which, as the name suggests, combines abstract algebra, especially commutative algebra, with geometry. ... In mathematics, the concept of intersection number arose in algebraic geometry, where two curves intersecting at a point may be considered to meet twice if they are tangent there. ... In mathematics, polynomial functions, or polynomials, are an important class of simple and smooth functions. ...

The special case where one of the curves is a line is a version of the fundamental theorem of algebra. For example, the parabola defined by y - x² = 0 has degree 2; the line y - 2x = 0 has degree 1, and they meet in exactly two points. The fundamental theorem of algebra (now considered something of a misnomer by many mathematicians) states that every complex polynomial of degree n has exactly n zeroes, counted with multiplicity. ...

From the case of lines, with m and n both 1, it is clear that one must work in the projective plane; to allow for higher degree cases one is forced to set the theorem in P²_K over an algebraically closed field K. In mathematics, a projective plane consists of a set of lines and a set of points with the following properties: Given any two distinct points, there is exactly one line incident with both of them. ... In mathematics, a field F is said to be algebraically closed if every polynomial of degree at least 1, with coefficients in F, has a zero in F. In that case, every such polynomial splits into linear factors. ...

Examples

Two distinct lines always meet in exactly one point. If they are parallel, that point lies at infinity. To see how this works algebraically, in projective space, the lines x+2y=3 and x+2y=5 are represented by the homogeneous equations x+2y-3z=0 and x+2y-5z=0. Solving, we get x= -2y and z=0, corresponding to the point (-2:1:0) in homogeneous coordinates. As the z-coordinate is 0, this point lies on the line at infinity.

Two circles never intersect in more than two points in the plane, while Bézout's theorem predicts four. The discrepancy comes from the fact that every circle passes through the same two complex points on the line at infinity. Writing the circle

(x − a)² + (y − b)² = r²

in homogeneous coordinates, we get

(x − az)² + (y − bz)² − r²z² = 0,

from which it is clear that the point (1:i:0) and (1:-i:0) lie on every circle. When two circles don't meet at all in the real plane plane (for example because they are concentric) they meet at these two points on the line at infinity and two other complex points which do not lie at infinity.

Any conic should meet the line at infinity at two points according to the theorem. A hyperbola meets it at two real points corresponding to the two directions of the asymptotes. An ellipse meets it at two complex points which are conjugate to one another---in the case of a circle, the points (1:i:0) and (1:-i:0). A parabola meets it at only one point, but it is a point of tangency and therefore counts twice.

In general, two conics meet in four points. The following pictures show examples in which the circle x²+y²-1=0 meets another ellipse in fewer intersection points because at least one of them has multiplicity greater than 1:

The definition of intersection multiplicity is given at intersection number. In mathematics, the concept of intersection number arose in algebraic geometry, where two curves intersecting at a point may be considered to meet twice if they are tangent there. ...

External links

• http://www2.math.uic.edu/~jan/srvart/node7.html