290px|thumb|A representation of one line segment
In geometry, the notion of line or straight line was introduced by ancient mathematicians to represent straight objects (i.e., having no curvature
) with negligible width and depth. Lines are an idealization of such objects, which are often described in terms of two points
) or referred to using a single letter (e.g.,
Until the 17th century, lines were defined as the "..
first species of quantity, which has only one dimension, namely length, without any width nor depth, and is nothing else than the flow or run of the point which ..
will leave from its imaginary moving some vestige in length, exempt of any width. ..
The straight line is that which is equally extended between its points."
described a line as "breadthless length" which "lies equally with respect to the points on itself"; he introduced several postulate
s as basic unprovable properties from which he constructed all of geometry, which is now called Euclidean geometry
to avoid confusion with other geometries which have been introduced since the end of the 19th century (such as non-Euclidean
and affine geometry
In modern mathematics, given the multitude of geometries, the concept of a line is closely tied to the way the geometry is described. For instance, in analytic geometry
, a line in the plane is often defined as the set of points whose coordinates satisfy a given linear equation
, but in a more abstract setting, such as incidence geometry
, a line may be an independent object, distinct from the set of points which lie on it.
When a geometry is described by a set of axiom
s, the notion of a line is usually left undefined (a so-called primitive
object). The properties of lines are then determined by the axioms which refer to them. One advantage to this approach is the flexibility it gives to users of the geometry. Thus in differential geometry
, a line may be interpreted as a geodesic
(shortest path between points), while in some projective geometries
, a line is a 2-dimensional vector space (all linear combinations of two independent vectors). This flexibility also extends beyond mathematics and, for example, permits physicists to think of the path of a light ray as being a line.
Definitions versus descriptions
All definitions are ultimately circular
in nature, since they depend on concepts which must themselves have definitions, a dependence which cannot be continued indefinitely without returning to the starting point. To avoid this vicious circle, certain concepts must be taken as primitive
concepts; terms which are given no definition. In geometry, it is frequently the case that the concept of line is taken as a primitive. In those situations where a line is a defined concept, as in coordinate geometry
, some other fundamental ideas are taken as primitives. When the line concept is a primitive, the behaviour and properties of lines are dictated by the axiom
s which they must satisfy.
In a non-axiomatic or simplified axiomatic treatment of geometry, the concept of a primitive notion may be too abstract to be dealt with. In this circumstance, it is possible to provide a ''description'' or ''mental image'' of a primitive notion, to give a foundation to build the notion on which would formally be based on the (unstated) axioms. Descriptions of this type may be referred to, by some authors, as definitions in this informal style of presentation. These are not true definitions, and could not be used in formal proofs of statements. The "definition" of line in Euclid's Elements
falls into this category. Even in the case where a specific geometry is being considered (for example, Euclidean geometry
), there is no generally accepted agreement among authors as to what an informal description of a line should be when the subject is not being treated formally.
In Euclidean geometry
When geometry was first formalised by Euclid
in the ''Elements
'', he defined a general line (straight or curved) to be "breadthless length" with a straight line being a line "which lies evenly with the points on itself". These definitions serve little purpose, since they use terms which are not by themselves defined. In fact, Euclid himself did not use these definitions in this work, and probably included them just to make it clear to the reader what was being discussed. In modern geometry, a line is simply taken as an undefined object with properties given by axiom
s, but is sometimes defined as a set of points obeying a linear relationship when some other fundamental concept is left undefined.
In an axiom
atic formulation of Euclidean geometry, such as that of Hilbert
(Euclid's original axioms contained various flaws which have been corrected by modern mathematicians), a line is stated to have certain properties which relate it to other lines and points
. For example, for any two distinct points, there is a unique line containing them, and any two distinct lines intersect in at most one point. In two dimension
s (i.e., the Euclidean plane
), two lines which do not intersect are called parallel
. In higher dimensions, two lines that do not intersect are parallel if they are contained in a plane
, or skew
if they are not.
Any collection of finitely many lines partitions the plane into convex polygon
s (possibly unbounded); this partition is known as an arrangement of lines
In Cartesian coordinates
Lines in a Cartesian plane
or, more generally, in affine coordinates
, are characterized by linear equation
s. More precisely, every line
(including vertical lines) is the set of all points whose coordinates
(''x'', ''y'') satisfy a linear equation
; that is,
where ''a'', ''b'' and ''c'' are fixed real number
s (called coefficient
s) such that ''a'' and ''b'' are not both zero. Using this form, vertical lines correspond to equations with ''b'' = 0.
One can further suppose either or , by dividing everything by if it is not zero.
There are many variant ways to write the equation of a line which can all be converted from one to another by algebraic manipulation. The above form is sometimes called the ''standard form''. If the constant term is put on the left, the equation becomes
and this is sometimes called the ''general form'' of the equation. However, this terminology is not universally accepted, and many authors do not distinguish these two forms.
These forms (see Linear equation
for other forms) are generally named by the type of information (data) about the line that is needed to write down the form. Some of the important data of a line is its slope, x-intercept
, known points on the line and y-intercept.
The equation of the line passing through two different points
may be written as
'' ≠ ''x1
'', this equation may be rewritten as
s are also used to specify lines, particularly in those in three dimensions
or more because in more than two dimensions lines ''cannot'' be described by a single linear equation.
In three dimensions lines are frequently described by parametric equations:
: ''x'', ''y'', and ''z'' are all functions of the independent variable ''t'' which ranges over the real numbers.
) is any point on the line.
: ''a'', ''b'', and ''c'' are related to the slope of the line, such that the direction vector
(''a'', ''b'', ''c'') is parallel to the line.
Parametric equations for lines in higher dimensions are similar in that they are based on the specification of one point on the line and a direction vector.
As a note, lines in three dimensions may also be described as the simultaneous solutions of two linear equation
are not proportional (the relations
). This follows since in three dimensions a single linear equation typically describes a plane
and a line is what is common to two distinct intersecting planes.
In two dimensions
, the equation for non-vertical lines is often given in the ''slope-intercept form
: ''m'' is the slope
of the line.
: ''b'' is the y-intercept
of the line.
: ''x'' is the independent variable
of the function ''y'' = ''f''(''x'').
The slope of the line through points
, is given by
and the equation of this line can be written
The ''normal form'' (also called the ''Hesse normal form'', after the German mathematician Ludwig Otto Hesse
), is based on the ''normal
segment'' for a given line, which is defined to be the line segment drawn from the origin
perpendicular to the line. This segment joins the origin with the closest point on the line to the origin. The normal form of the equation of a straight line on the plane is given by:
is the angle of inclination of the normal segment (the oriented angle from the unit vector of the -axis to this segment), and is the (positive) length of the normal segment. The normal form can be derived from the standard form
by dividing all of the coefficients by
Unlike the slope-intercept and intercept forms, this form can represent any line but also requires only two finite parameters,
and , to be specified. If , then
is uniquely defined modulo . On the other hand, if the line is through the origin (), one drops the term to compute
, and it follows that
is only defined modulo .
In polar coordinates
In a Cartesian plane
, polar coordinates
are related to Cartesian coordinates
by the equations
In polar coordinates, the equation of a line not passing through the origin
—the point with coordinates —can be written
Here, is the (positive) length of the line segment
perpendicular to the line and delimited by the origin and the line, and
is the (oriented) angle from the -axis to this segment.
It may be useful to express the equation in terms of the angle
between the -axis and the line. In this case, the equation becomes
These equations can be derived from the normal form
of the line equation by setting
and then applying the angle difference identity
for sine or cosine.
These equations can also be proven geometrically
by applying right triangle definitions
of sine and cosine to the right triangle
that has a point of the line and the origin as vertices, and the line and its perpendicular through the origin as sides.
The previous forms do not apply for a line passing through the origin, but a simpler formula can be written: the polar coordinates
of the points of a line passing through the origin and making an angle of
with the -axis, are the pairs
As a vector equation
The vector equation of the line through points A and B is given by
(where λ is a scalar
If a is vector OA and b is vector OB, then the equation of the line can be written:
A ray starting at point ''A'' is described by limiting λ. One ray is obtained if λ ≥ 0, and the opposite ray comes from λ ≤ 0.
In higher dimension
In three-dimensional space
, a first degree equation
in the variables ''x'', ''y'', and ''z'' defines a plane, so two such equations, provided the planes they give rise to are not parallel, define a line which is the intersection of the planes. More generally, in ''n''-dimensional space ''n''-1 first-degree equations in the ''n'' coordinate
variables define a line under suitable conditions.
In more general Euclidean space
(and analogously in every other affine space
), the line ''L'' passing through two different points ''a'' and ''b'' (considered as vectors) is the subset
The direction of the line is from ''a'' (''t'' = 0) to ''b'' (''t'' = 1), or in other words, in the direction of the vector ''b'' − ''a''. Different choices of ''a'' and ''b'' can yield the same line.
Three points are said to be ''collinear'' if they lie on the same line. Three points ''usually
'' determine a plane
, but in the case of three collinear points this does ''not'' happen.
In affine coordinates
, in ''n''-dimensional space the points ''X''=(''x''1
, ..., ''x''n
, ..., ''y''n
), and ''Z''=(''z''1
, ..., ''z''n
) are collinear if the matrix
has a rank
less than 3. In particular, for three points in the plane (''n'' = 2), the above matrix is square and the points are collinear if and only if its determinant
Equivalently for three points in a plane, the points are collinear if and only if the slope between one pair of points equals the slope between any other pair of points (in which case the slope between the remaining pair of points will equal the other slopes). By extension, ''k'' points in a plane are collinear if and only if any (''k''–1) pairs of points have the same pairwise slopes.
In Euclidean geometry
, the Euclidean distance
''d''(''a'',''b'') between two points ''a'' and ''b'' may be used to express the collinearity between three points by:
:The points ''a'', ''b'' and ''c'' are collinear if and only if ''d''(''x'',''a'') = ''d''(''c'',''a'') and ''d''(''x'',''b'') = ''d''(''c'',''b'') implies ''x''=''c''.
However, there are other notions of distance (such as the Manhattan distance
) for which this property is not true.
In the geometries where the concept of a line is a primitive notion
, as may be the case in some synthetic geometries
, other methods of determining collinearity are needed.
Types of lines
In a sense, all lines in Euclidean geometry are equal, in that, without coordinates, one can not tell them apart from one another. However, lines may play special roles with respect to other objects in the geometry and be divided into types according to that relationship. For instance, with respect to a conic
, or hyperbola
), lines can be:
* tangent line
s, which touch the conic at a single point;
* secant line
s, which intersect the conic at two points and pass through its interior;
* exterior lines, which do not meet the conic at any point of the Euclidean plane; or
* a directrix
, whose distance from a point helps to establish whether the point is on the conic.
In the context of determining parallelism
in Euclidean geometry, a transversal
is a line that intersects two other lines that may or not be parallel to each other.
For more general algebraic curve
s, lines could also be:
* ''i''-secant lines, meeting the curve in ''i'' points counted without multiplicity, or
s, which a curve approaches arbitrarily closely without touching it.
With respect to triangles
* the Euler line
* the Simson line
* central lines
For a convex quadrilateral
with at most two parallel sides, the Newton line
is the line that connects the midpoints of the two diagonal
For a hexagon
with vertices lying on a conic we have the Pascal line
and, in the special case where the conic is a pair of lines, we have the Pappus line
are lines in the same plane that never cross. Intersecting lines
share a single point in common. Coincidental lines coincide with each other—every point that is on either one of them is also on the other.
are lines that intersect at right angle
In three-dimensional space
, skew lines
are lines that are not in the same plane and thus do not intersect each other.
In projective geometry
In many models of projective geometry
, the representation of a line rarely conforms to the notion of the "straight curve" as it is visualised in Euclidean geometry. In elliptic geometry
we see a typical example of this. In the spherical representation of elliptic geometry, lines are represented by great circle
s of a sphere with diametrically opposite points identified. In a different model of elliptic geometry, lines are represented by Euclidean planes
passing through the origin. Even though these representations are visually distinct, they satisfy all the properties (such as, two points determining a unique line) that make them suitable representations for lines in this geometry.
Given a line and any point ''A'' on it, we may consider ''A'' as decomposing this line into two parts.
Each such part is called a ray and the point ''A'' is called its ''initial point''. It is also known as half-line, a one-dimensional half-space
. The point A is considered to be a member of the ray. Intuitively, a ray consists of those points on a line passing through ''A'' and proceeding indefinitely, starting at ''A'', in one direction only along the line. However, in order to use this concept of a ray in proofs a more precise definition is required.
Given distinct points ''A'' and ''B'', they determine a unique ray with initial point ''A''. As two points define a unique line, this ray consists of all the points between ''A'' and ''B'' (including ''A'' and ''B'') and all the points ''C'' on the line through ''A'' and ''B'' such that ''B'' is between ''A'' and ''C''. This is, at times, also expressed as the set of all points ''C'' such that ''A'' is not between ''B'' and ''C''.
A point ''D'', on the line determined by ''A'' and ''B'' but not in the ray with initial point ''A'' determined by ''B'', will determine another ray with initial point ''A''. With respect to the ''AB'' ray, the ''AD'' ray is called the ''opposite ray''.
Thus, we would say that two different points, ''A'' and ''B'', define a line and a decomposition of this line into the disjoint union
of an open segment and two rays, ''BC'' and ''AD'' (the point ''D'' is not drawn in the diagram, but is to the left of ''A'' on the line ''AB''). These are not opposite rays since they have different initial points.
In Euclidean geometry two rays with a common endpoint form an angle
The definition of a ray depends upon the notion of betweenness for points on a line. It follows that rays exist only for geometries for which this notion exists, typically Euclidean geometry
or affine geometry
over an ordered field
. On the other hand, rays do not exist in projective geometry
nor in a geometry over a non-ordered field, like the complex number
s or any finite field
A line segment
is a part of a line that is bounded by two distinct end points and contains every point on the line between its end points. Depending on how the line segment is defined, either of the two end points may or may not be part of the line segment. Two or more line segments may have some of the same relationships as lines, such as being parallel, intersecting, or skew, but unlike lines they may be none of these, if they are coplanar
and either do not intersect or are collinear
The "shortness" and "straightness" of a line, interpreted as the property that the distance
along the line between any two of its points is minimized (see triangle inequality
), can be generalized and leads to the concept of geodesic
s in metric space
* Affine function
* Distance between two lines
* Distance from a point to a line
* Imaginary line (mathematics)
* Incidence (geometry)
* Line coordinates
* Line (graphics)
* Line segment
* Plane (geometry)
* Rectilinear (disambiguation)
Equations of the Straight Line