Ingeometry,line coordinates are used to specify the position of aline just as point coordinates (or simplycoordinates) are used to specify the position of a point.
There are several possible ways to specify the position of a line in the plane. A simple way is by the pair(m,b) where the equation of the line isy =mx + b. Herem is theslope andb is they-intercept. This system specifies coordinates for all lines that are not vertical. However, it is more common and simpler algebraically to use coordinates(l,m) where the equation of the line islx + my + 1 = 0. This system specifies coordinates for all lines except those that pass through the origin. The geometrical interpretations ofl andm are the negative reciprocals of thex andy-intercept respectively.
The exclusion of lines passing through the origin can be resolved by using a system of three coordinates(l,m,n) to specify the line with the equationlx + my + n = 0. Herel andm may not both be 0. In this equation, only the ratios betweenl,m andn are significant, in other words if the coordinates are multiplied by a non-zero scalar then line represented remains the same. So(l,m,n) is a system ofhomogeneous coordinates for the line.
If points in thereal projective plane are represented by homogeneous coordinates(x,y,z), the equation of the line islx + my + nz = 0, provided(l,m,n) ≠ (0,0,0) . In particular, line coordinate(0, 0, 1) represents the linez = 0, which is theline at infinity in theprojective plane. Line coordinates(0, 1, 0) and(1, 0, 0) represent thex andy-axes respectively.
Just asf(x, y) = 0 can represent acurve as a subset of the points in the plane, the equation φ(l, m) = 0 represents a subset of the lines on the plane. The set of lines on the plane may, in an abstract sense, be thought of as the set of points in a projective plane, thedual of the original plane. The equation φ(l, m) = 0 then represents a curve in the dual plane.
For a curvef(x, y) = 0 in the plane, thetangents to the curve form a curve in the dual space called thedual curve. If φ(l, m) = 0 is the equation of the dual curve, then it is called thetangential equation, for the original curve. A given equation φ(l, m) = 0 represents a curve in the original plane determined as theenvelope of the lines that satisfy this equation. Similarly, if φ(l, m, n) is ahomogeneous function then φ(l, m, n) = 0 represents a curve in the dual space given in homogeneous coordinates, and may be called the homogeneous tangential equation of the enveloped curve.
Tangential equations are useful in the study of curves defined as envelopes, just as Cartesian equations are useful in the study of curves defined as loci.
A linear equation in line coordinates has the formal + bm + c = 0, wherea,b andc are constants. Suppose (l, m) is a line that satisfies this equation. Ifc is not 0 thenlx + my + 1 = 0, wherex = a/c andy = b/c, so every line satisfying the original equation passes through the point (x, y). Conversely, any line through (x, y) satisfies the original equation, soal + bm + c = 0 is the equation of set of lines through (x, y). For a given point (x, y), the equation of the set of lines though it islx + my + 1 = 0, so this may be defined as the tangential equation of the point. Similarly, for a point (x, y, z) given in homogeneous coordinates, the equation of the point in homogeneous tangential coordinates islx + my + nz = 0.
The intersection of the lines (l1, m1) and (l2, m2) is the solution to the linear equations
ByCramer's rule, the solution is
The lines (l1, m1), (l2, m2), and (l3, m3) areconcurrent when thedeterminant
For homogeneous coordinates, the intersection of the lines (l1, m1, n1) and (l2, m2, n2) is thecross product:
The lines (l1, m1, n1), (l2, m2, n2) and (l3, m3, n3) areconcurrent when thedeterminant
Dually, the coordinates of the line containing (x1, y1, z1) and (x2, y2, z2) can be obtained via the cross product:
For two given points in thereal projective plane, (x1, y1, z1) and (x2, y2, z2), the three determinants
determine theprojective line containing them.
Similarly, for two points inRP3, (x1, y1, z1, w1) and (x2, y2, z2, w2), the line containing them is determined by the six determinants
This is the basis for a system of homogeneous line coordinates in three-dimensional space calledPlücker coordinates. Six numbers in a set of coordinates only represent a line when they satisfy an additional equation. This system maps the space of lines in three-dimensional space toprojective spaceRP5, but with the additional requirement the space of lines corresponds to theKlein quadric, which is amanifold of dimension four.
More generally, the lines inn-dimensional projective space are determined by a system ofn(n − 1)/2 homogeneous coordinates that satisfy a set of (n − 2)(n − 3)/2 conditions, resulting in a manifold of dimension 2n− 2.
Isaak Yaglom has shown[1] howdual numbers provide coordinates for oriented lines in the Euclidean plane, andsplit-complex numbers form line coordinates for thehyperbolic plane. The coordinates depend on the presence of an origin and reference line on it. Then, given an arbitrary line its coordinates are found from the intersection with the reference line. The distances from the origin to the intersection and the angle θ of inclination between the two lines are used:
Since there are lines ultraparallel to the reference line in the Lobachevski plane, they need coordinates too: There is a uniquecommon perpendicular, says is the distance from the origin to this perpendicular, andd is the length of the segment between reference and the given line.
The motions of the line geometry are described withlinear fractional transformations on the appropriate complex planes.[1]: 87, 123
{{citation}}
:ISBN / Date incompatibility (help). Reprinted 2010.