Qvist's theorem


In projective geometry Qvist's theorem, named after the Finnish mathematician Bertil Qvist, is a statement on ovals in finite projective planes. Standard examples of ovals are non-degenerate 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

  1. Any line meets in at most two points, and
  2. 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:
;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

One easily checks the following essential property of a hyperoval:
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