# Line Geometry

## Line Geometry

a branch of geometry in which lines are considered as the elements of space. A line in space is determined by four constants—the coefficients *a, b, p,* and *q* in the equations *x* = *az* + *p* and *y* = *bz* + *q*. Consequently, the quantities *a, b, p,* and *q* may be considered as the coordinates of the line. If these coordinates are functions of one, two, or three parameters, then the corresponding sets of lines form, respectively, ruled surfaces and congruences and complexes of lines. These geometric entities are the objects studied in line geometry. A hyper-boloid of one sheet is an example of a ruled surface, the set of common tangents to two surfaces is an example of a congruence, and the set of tangents to a surface is as an example of a complex of lines.

In order to study ruled surfaces, congruences, and complexes of lines from a unified point of view, we use in line geometry so-called linear homogeneous coordinates of a line. Specifically, given two points *M*_{1} (*x*_{1}, *y*_{1}, *z*_{1}) and *M*_{2}(*x*_{2}, *y*_{2}, *z*_{2}), we call six numbers proportional (or equal) to the numbers

ξ_{1} = *x*_{1} - *x*_{2}, ξ_{2} = *y*_{1} - *y*_{2}, ξ_{3} = *z*_{1} - *z*_{2}, ξ_{4} = *y*_{1}*z*_{2} - *y*_{2}*z*_{1}, ξ_{5} = *x*_{2}*z*_{1} - *x*_{1}*z*_{2}

ξ_{6} = *x*_{1}*y*_{2} - *x*_{2}*y*_{1}

linear homogeneous coordinates of the line that passes through these points.

The numbers ξ_{1}, ξ_{2}, and ξ_{3} are the components of the vector and ξ_{4}, ξ_{5}, and ξ_{6} are the components of the moment of this vector with respect to the origin. It can be easily verified that the numbers ξ_{i} satisfy the relation

(1) ξ_{1}ξ_{4} + ξ_{2}ξ_{5} + ξ_{3}ξ_{6} = 0

Thus, to every line there correspond six numbers ξ_{i} that are determined up to a multiplicative constant and satisfy relation (1), and, conversely, numbers ξ_{i} (not all equal to zero) that are related by condition (1) uniquely define a line (as its coordinates in the sense indicated above).

One homogeneous linear equation

defines a linear complex—a set of lines that fill space in such a way that through every point in space there passes a plane pencil of lines. Thus, to every point (“pole”) in space is associated a plane (“polar plane”) that contains all the lines of the complex passing through that point. This correspondence is called a null system; it is analogous to the correspondence between the poles and polar planes of a quadratic surface. If the polar planes of all points in space pass through one line (the axis), then the complex consists of all lines that intersect the axis; such a complex is called a special linear complex. In this case, the coefficients of equation (2) satisfy the condition *a*_{1}*a*_{4} + *a*_{2}*a*_{5} + *a*_{3}*a*_{6} = 0.

A system of two homogeneous linear equations of the form (2) defines a linear congruence—the set of lines that intersect two given lines (which may be imaginary). Three homogeneous linear equations define a ruled surface, which in this case is either a hyperboloid of one sheet or a hyperbolic paraboloid.

Linear homogeneous coordinates of a line were introduced by J. Plücker in 1846. He also studied in detail the theory of linear complexes. Line geometry subsequently was developed in the works of F. Klein and the Russian mathematician A. P. Kotel’nikov. The differential geometry of congruences initiated by E. Kummer in 1860 was developed extensively in the works of the Italian mathematicians L. Bianchi and G. Sannia and the French mathematician A. Ribaucour. The theory of ruled surfaces and congruences was developed by the Soviet mathematician D. N. Zeiliger on the basis of the “spiral” calculus devised in 1895 by Kotel’nikov. The projective theory of congruences was constructed in 1927 by the Soviet mathematician S. P. Fini-kov.

### REFERENCES

Zeiliger, D. N.*Kompleksnaia lineichataia geometriia: Poverkhnosti i kongruentsii.*Leningrad-Moscow, 1934.

Finikov, S. P.

*Teoriia poverkhnostei.*Moscow-Leningrad, 1934.

Finikov, S. P.

*Proektivno-differentsial’naia geometriia.*Moscow-Leningrad, 1937.

Finikov, S. P.

*Teoriia kongruentsii.*Moscow-Leningrad, 1950.

Kagan, V. F.

*Osnovy teorii poverkhnostei v tenzornom izlozhenii,*parts 1–2. Moscow-Leningrad, 1947–48.

Klein, F.

*Vysshaia geometriia.*Moscow-Leningrad, 1939. (Translated from German.)

Zindler, K.

*Liniengeometrie,*vols. 1–2. Leipzig, 1902–06.

E. G. POZNIAK