In RP^{2}, a projective conic C can be viewed as a cone with vertex O,
and a ppoint P as a line through O. Intuitively, P lies inside C if the
angle the line makes with the axis is less than the semivertical
angle of the cone, and outside otherwise. The sketch on the right
shows P inside the cone, and Q outside.
Unfortunately, neither the axis nor the semivertical angle are preserved
by projective transformations. The latter is obvious, since all cones are
projective congruent. The former will become clear when we see that it is
possible to map C to C in such a way that a given interior ppoint maps to
any other interior ppoint.
We require a characterization in terms of projective concepts. We begin
by looking at alternative intuitive descriptions, and derive a suitable
formal definition.
First of all, we note that a pline meets a pconic at most twice, since
the pline has a linear equation and the pconic a quadratic equation.
Thus the pline is a tangent if it meets the pconic in just one ppoint.
If P is a ppoint lying inside C in the above sense, then any
pline which passes through P meets
C twice. It follows from the above remark that
there are no tangents to C through P.
If Q is a ppoint lying outside C in our intuitive sense, then it is clear
that there are plines through Q which meet C twice, and plines which
do not meet C. By considering a pline (a plane) rotating round Q, we
see that there are two tangents through Q  one where the pline first
meets C, and one where it meets it for the last time. We believe that
this is intuitive, but we will give a formal proof later.


Definition
Suppose that C is a pconic, and P a ppoint. Then
P lies inside C if there is no tangent to C through P, and
P lies outside C if there are (at least) two tangents to C through P.
Of course, if a ppoint T lies on C, then there is one tangent through T, namely
the tangent at T.
The Corollary to the Invariance Theorem shows that for any
projective transformation t, maps tangents to C through P correspond to
the tangents to t(C) through t(P). Thus, the number of tangents is
the same for P and for t(P). This proves
The interiorexterior theorem of projective geometry
If C is a pconic and t a projective transformation, then t maps
the interior of C to the interior of t(C), and
the exterior of C to the exterior of t(C).
We now require one of the most significant results of projective geometry.
This allows us to describe the interior and exterior of a pconic in terms
of polars.
La Hire's Theorem
If C is a pconic, and P, Q are ppoints, then
Q lies on the polar of P if and only if P lies on the polar of Q.
Note that, if T lies on the pconic C, then the polar of T with respect to C
is the tangent at T. Now suppose that the tangent at T passes through the
ppoint P. Then P lies on the polar of T, so, by La Hire's theorem, T lies on the
polar of P. But T lies on C, so the polar of P meets C  at T.
Immediately, we
see that, if P lies inside C, then there are no tangents
through P, so that the polar of P does not meet C.
If there is one tangent through P, then the polar of P meets C just once,
i.e. is a tangent to C, at T, say. The polar
of T is this same tangent, so we
must have P=T, i.e. P lies on C.
Finally, suppose that there are at least two tangents through P, and that
two of them meet C at S and T. Then the polar of P meets C at S and T.
The polar is a pline, so meets C at most twice.
These remarks justify the earlier assertion that a ppoint outside C lies
on exactly two tangents. They also prove
the polar characterization of interior and exterior
Suppose that C is a pconic, and that L is the polar of the ppoint P. Then
P lies inside C if and only if L does not meet C,
P lies on C if and only if L meets C once, and
P lies ouside C if and only if L meets C twice.
We can also characterize the interior in terms of the equation of the
projective conic. Since this leads us in a new direction, we shall give it on
a separate page.
We are now in a position to look at the effect of projective symmetries of
a pconic on the interior and exterior. We will get a twopoint theorem,
but first, we must look at the projective symmetry group of a conic.

