Parametrization of a conic by projection

ID: parametrization-of-a-conic-by-projection

For a nonsingular conic with a point and a projective line not containing , send to the second intersection of with the conic, counted with multiplicity. The tangent direction gives itself. The inverse sends any other conic point to its joining line's intersection with , and sends to the tangent's intersection. The Bézout theorem makes these maps inverse. With data over a field, the construction preserves rationality: a known rational root of the restricted quadratic equation leaves its other root rational too. A conic with a rational point is therefore rationally parametrized by a projective line.

New to topics? Read the docs here!