Overview
In enumerative geometry, Steiner's conic problem is the problem of finding the number of smooth conics tangent to five given conics in the plane in general position. If the problem is considered in the complex projective plane CP2, the correct solution is 3264. The problem is named after Jakob Steiner who first posed it and who gave an incorrect solution in 1848.
History
claimed that the number of conics tangent to 5 given conics in general position is 7776 = 65, but later realized this was wrong. The correct number 3264 was found in about 1859 by Ernest de Jonquières who did not publish because of Steiner's reputation, and by using his theory of characteristics, and by Berner in 1865. However these results, like many others in classical intersection theory, do not seem to have been given complete proofs until the work of Fulton and MacPherson in about 1978.
Formulation and solution
The space of (possibly degenerate) conics in the complex projective plane CP2 can be identified with the complex projective space CP5 (since each conic is defined by a homogeneous degree-2 polynomial in three variables, with 6 complex coefficients, and multiplying such a polynomial by a non-zero complex number does not change the conic). Steiner observed that the conics tangent to a given conic form a degree 6 hypersurface in CP5. So the conics tangent to 5 given conics correspond to the intersection points of 5 degree 6 hypersurfaces, and by Bézout's theorem the number of intersection points of 5 generic degree 6 hypersurfaces is 65 = 7776, which was Steiner's incorrect solution. The reason this is wrong is that the five degree 6 hypersurfaces are not in general position and have a common intersection in the Veronese surface, corresponding to the set of double lines in the plane, all of which have double intersection points with the 5 conics. In particular the intersection of these 5 hypersurfaces is not even 0-dimensional but has a 2-dimensional component. So to find the correct answer, one has to somehow eliminate the plane of spurious degenerate conics from this calculation.
From Wikipedia (CC BY-SA 4.0).