Pascal's theorem 2026-10-31
For six distinct points on an irreducible conic in the complex projective plane, the three intersections of opposite sides of the resulting hexagon are collinear. Form the two cubics given by the products of alternate side equations. They meet at the six conic points and the three opposite-side intersections. Applying residual intersection through a curve pencil with degrees three and two places the last three points on a line. This is the conic counterpart of Pappus's hexagon theorem for two lines.
Let and . The vector representing satisfies
Consequently the three representative vectors are linearly dependent, so are collinear in the projective plane. Equivalently their three-by-three determinant vanishes. This is the two-line configuration of Pappus's hexagon theorem.