Qvist's theorem

In projective geometry, Qvist's theorem, named after the Finnish mathematician, is a statement on ovals in finite projective planes. Standard examples of ovals are non-degenerate (projective) conic sections. The theorem gives an answer to the question How many tangents to an oval can pass through a point in a finite projective plane? The answer depends essentially upon the order of the plane.

Definition of an oval

In a projective plane a set of points is called an oval, if:

Any line meets in at most two points, and
For any point there exists exactly one tangent line through, i.e.,.

When the line is an exterior line, if a tangent line and if the line is a secant line.
For finite planes we have a more convenient characterization:

For a finite projective plane of order a set of points is an oval if and only if and no three points are collinear.

Statement and proof of Qvist's theorem

;Qvist's theorem
Let be an oval in a finite projective plane of order.
;Proof:
Let be the tangent to at point and let be the remaining points of this line. For each, the lines through partition into sets of cardinality 2 or 1 or 0. Since the number is even, for any point, there must exist at least one more tangent through that point. The total number of tangents is, hence, there are exactly two tangents through each, and one other. Thus, for any point not in oval, if is on any tangent to it is on exactly two tangents.
Let be a secant, and. Because is odd, through any, there passes at least one tangent. The total number of tangents is. Hence, through any point for there is exactly one tangent. If is the point of intersection of two tangents, no secant can pass through. Because, the number of tangents, is also the number of lines through any point, any line through is a tangent.
; Example in a pappian plane of even order:
Using inhomogeneous coordinates over a field even, the set
the projective closure of the parabola, is an oval with the point as nucleus, i.e., any line, with, is a tangent.

Definition and property of hyperovals

Any oval in a finite projective plane of even order has a nucleus.

One easily checks the following essential property of a hyperoval:

For a hyperoval and a point the pointset is an oval.

This property provides a simple means of constructing additional ovals from a given oval.
;Example:
For a projective plane over a finite field even and, the set