On the coincidence of Pascal lines
Let K denote a smooth conic in the complex projective plane. Pascal's theorem says that, given six points A,B,C,D,E,F on K, the three intersection points AE∩BF,AD∩CF,BD∩CE are collinear. This defines the Pascal line of the array [AFBECD], and one gets sixty such lines in general by permuting the points. In this paper we consider the variety Ψ of sextuples {A,…,F}, for which some of these Pascal lines coincide. We show that Ψ has two irreducible components: a five-dimensional component of sextuples in involution, and a four-dimensional component of the so-called `ricochet configurations'. This gives a complete synthetic characterisation of points in Ψ. The proof relies upon Gröbner basis techniques to solve multivariate polynomial equations.