This page has been proofread, but needs to be validated.
704
GEOMETRY
[PROJECTIVE


to the directrix than to the focus. In a parabola the vertex lies halfway between directrix and focus.

It follows in an ellipse the ratio between the distance of a point from the focus to that from the directrix is less than unity, in the parabola it equals unity, and in the hyperbola it is greater than unity.

It is here the same which focus we take, because the two foci lie symmetrical to the axis of the conic. If now P is any point on the conic having the distances r1 and r2 from the foci and the distances d1 and d2 from the corresponding directrices, then r1/d1 = r2/d2 = e, where e is constant. Hence also r1 ± r2/d1 ± d2 = e.

In the ellipse, which lies between the directrices, d1 + d2 is constant, therefore also r1 + r2. In the hyperbola on the other hand d1d2 is constant, equal to the distance between the directrices, therefore in this case r1r2 is constant.

If we call the distances of a point on a conic from the focus its focal distances we have the theorem:

In an ellipse the sum of the focal distances is constant; and in an hyperbola the difference of the focal distances is constant.

This constant sum or difference equals in both cases the length of the principal axis.

Pencil of Conics

§ 87. Through four points A, B, C, D in a plane, of which no three lie in a line, an infinite number of conics may be drawn, viz. through these four points and any fifth one single conic. This system of conics is called a pencil of conics. Similarly, all conics touching four fixed lines form a system such that any fifth tangent determines one and only one conic. We have here the theorems:

The pairs of points in which any line is cut by a system of conics through four fixed points are in involution. The pairs of tangents which can be drawn from a point to a system of conics touching four fixed lines are in involution.
Fig. 36.

We prove the first theorem only. Let ABCD (fig. 36) be the four-point, then any line t will cut two opposite sides AC, BD in the points E, E′, the pair AD, BC in points F, F′, and any conic of the system in M, N, and we have A(CD, MN) = B(CD, MN).

If we cut these pencils by t we get

(EF, MN) = (F′E′, MN)

or

(EF, MN) = (E′F′, NM).

But this is, according to § 77 (7), the condition that M, N are corresponding points in the involution determined by the point pairs E, E′, F, F′ in which the line t cuts pairs of opposite sides of the four-point ABCD. This involution is independent of the particular conic chosen.

§ 88. There follow several important theorems:

Through four points two, one, or no conics may be drawn which touch any given line, according as the involution determined by the given four-point on the line has real, coincident or imaginary foci.

Two, one, or no conics may be drawn which touch four given lines and pass through a given point, according as the involution determined by the given four-side at the point has real, coincident or imaginary focal rays.

For the conic through four points which touches a given line has its point of contact at a focus of the involution determined by the four-point on the line.

As a special case we get, by taking the line at infinity:

Through four points of which none is at infinity either two or no parabolas may be drawn.

The problem of drawing a conic through four points and touching a given line is solved by determining the points of contact on the line, that is, by determining the foci of the involution in which the line cuts the sides of the four-point. The corresponding remark holds for the problem of drawing the conics which touch four lines and pass through a given point.

Ruled Quadric Surfaces

§ 89. We have considered hitherto projective rows which lie in the same plane, in which case lines joining corresponding points envelop a conic. We shall now consider projective rows whose bases do not meet. In this case, corresponding points will be joined by lines which do not lie in a plane, but on some surface, which like every surface generated by lines is called a ruled surface. This surface clearly contains the bases of the two rows.

If the points in either row be joined to the base of the other, we obtain two axial pencils which are also projective, those planes being corresponding which pass through corresponding points in the given rows. If A′, A be two corresponding points, α, α′ the planes in the axial pencils passing through them, then AA′ will be the line of intersection of the corresponding planes α, α′ and also the line joining corresponding points in the rows.

If we cut the whole figure by a plane this will cut the axial pencils in two projective flat pencils, and the curve of the second order generated by these will be the curve in which the plane cuts the surface. Hence

The locus of lines joining corresponding points in two projective rows which do not lie in the same plane is a surface which contains the bases of the rows, and which can also be generated by the lines of intersection of corresponding planes in two projective axial pencils. This surface is cut by every plane in a curve of the second order, hence either in a conic or in a line-pair. No line which does not lie altogether on the surface can have more than two points in common with the surface, which is therefore said to be of the second order or is called a ruled quadric surface.

That no line which does not lie on the surface can cut the surface in more than two points is seen at once if a plane be drawn through the line, for this will cut the surface in a conic. It follows also that a line which contains more than two points of the surface lies altogether on the surface.

§ 90. Through any point in space one line can always be drawn cutting two given lines which do not themselves meet.

If therefore three lines in space be given of which no two meet, then through every point in either one line may be drawn cutting the other two.

If a line moves so that it always cuts three given lines of which no two meet, then it generates a ruled quadric surface.

Let a, b, c be the given lines, and p, q, r . . . lines cutting them in the points A, A′, A″ . . .; B, B′, B″ . . .; C, C′, C″ . . . respectively; then the planes through a containing p, q, r, and the planes through b containing the same lines, may be taken as corresponding planes in two axial pencils which are projective, because both pencils cut the line c in the same row, C, C′, C″ . . .; the surface can therefore be generated by projective axial pencils.

Of the lines p, q, r . . . no two can meet, for otherwise the lines a, b, c which cut them would also lie in their plane. There is a single infinite number of them, for one passes through each point of a. These lines are said to form a set of lines on the surface.

If now three of the lines p, q, r be taken, then every line d cutting them will have three points in common with the surface, and will therefore lie altogether on it. This gives rise to a second set of lines on the surface. From what has been said the theorem follows:

A ruled quadric surface contains two sets of straight lines. Every line of one set cuts every line of the other, but no two lines of the same set meet.

Any two lines of the same set may be taken as bases of two projective rows, or of two projective pencils which generate the surface. They are cut by the lines of the other set in two projective rows.

The plane at infinity like every other plane cuts the surface either in a conic proper or in a line-pair. In the first case the surface is called an Hyperboloid of one sheet, in the second an Hyperbolic Paraboloid.

The latter may be generated by a line cutting three lines of which one lies at infinity, that is, cutting two lines and remaining parallel to a given plane.

Quadric Surfaces

§ 91. The conics, the cones of the second order, and the ruled quadric surfaces complete the figures which can be generated by projective rows or flat and axial pencils, that is, by those aggregates of elements which are of one dimension (§§ 5, 6). We shall now consider the simpler figures which are generated by aggregates of two dimensions. The space at our disposal will not, however, allow us to do more than indicate a few of the results.

§ 92. We establish a correspondence between the lines and planes in pencils in space, or reciprocally between the points and lines in two or more planes, but consider principally pencils.

In two pencils we may either make planes correspond to planes and lines to lines, or else planes to lines and lines to planes. If hereby the condition be satisfied that to a flat, or axial, pencil corresponds in the first case a projective flat, or axial, pencil, and in the second a projective axial, or flat, pencil, the pencils are said to be projective in the first case and reciprocal in the second.

For instance, two pencils which join two points S1 and S2 to the different points and lines in a given plane π are projective (and in perspective position), if those lines and planes be taken as