§ 59. Projective Definitions of the Conics.—We now consider the shape of the conics. We know that any line in the plane of the conic, and hence that the line at infinity, either has no point in common with the curve, or one (counting for two coincident points) or two distinct points. If the line at infinity has no point on the curve the latter is altogether finite, and is called an Ellipse (fig. 21). If the line at infinity has only one point in common with the conic, the latter extends to infinity, and has the line at infinity a tangent. It is called a Parabola (fig. 22). If, lastly, the line at infinity cuts the curve in two points, it consists of two separate parts which each extend in two branches to the points at infinity where they meet. The curve is in this case called an Hyperbola (see fig. 20). The tangents at the two points at infinity are finite because the line at infinity is not a tangent. They are called Asymptotes. The branches of the hyperbola approach these lines indefinitely as a point on the curves moves to infinity.
§ 60. That the circle belongs to the curves of the second order is seen at once if we state in a slightly different form the theorem that in a circle all angles at the circumference standing upon the same arc are equal. If two points S1, S2 on a circle be joined to any other two points A and B on the circle, then the angle included by the rays S1A and S1B is equal to that between the rays S2A and S2B, so that as A moves along the circumference the rays S1A and S2A describe equal and therefore projective pencils. The circle can thus be generated by two projective pencils, and is a curve of the second order.
If we join a point in space to all points on a circle, we get a (circular) cone of the second order (§ 43). Every plane section of this cone is a conic. This conic will be an ellipse, a parabola, or an hyperbola, according as the line at infinity in the plane has no, one or two points in common with the conic in which the plane at infinity cuts the cone. It follows that our curves of second order may be obtained as sections of a circular cone, and that they are identical with the “Conic Sections” of the Greek mathematicians.
§ 61. Any two tangents to a parabola are cut by all others in projective rows; but the line at infinity being one of the tangents, the points at infinity on the rows are corresponding points, and the rows therefore similar. Hence the theorem—
The tangents to a parabola cut each other proportionally.
Pole and Polar
§ 62. We return once again to fig. 21, which we obtained in § 55.
If a four-side be circumscribed about and a four-point inscribed in a conic, so that the vertices of the second are the points of contact of the sides of the first, then the triangle formed by the diagonals of the first is the same as that formed by the diagonal points of the other.
Such a triangle will be called a polar-triangle of the conic, so that PQR in fig. 21 is a polar-triangle. It has the property that on the side p opposite P meet the tangents at A and B, and also those at C and D. From the harmonic properties of four-points and four-sides it follows further that the points L, M, where it cuts the lines AB and CD, are harmonic conjugates with regard to AB and CD respectively.