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.
Articles by others on the same topic
There are currently no matching articles.