Dual conic 2026-10-07
The tangent lines of a smooth plane conic form a smooth plane conic in the dual projective space. If the original equation is , its tangent has coefficient vector , giving the displayed equation. The matrix is symmetric and invertible, so this correspondence is a projective linear isomorphism of the conics.
Represent the smooth plane conic by , with an invertible symmetric matrix. The tangent line at has coefficients , because the differential is . Thus its image in the dual projective space satisfies
Conversely any nonzero satisfying this equation gives , a point of the original smooth plane conic whose tangent is . This correspondence is the restriction of an invertible projective linear transformation. The dual conic is therefore the smooth conic
Write the projective plane as for a three-dimensional complex vector space . A projective line is the zero set of a nonzero linear functional . Two such functionals give the same line exactly when they differ by a nonzero scalar. Hence the parameter space of lines is the dual projective space . A choice of basis identifies with , giving . The description as is intrinsic; the identification with the original requires a choice.