# Line segment > Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Line_segment > Markdown URL: https://mediated.wiki/source/Line_segment.md > Source: https://en.wikipedia.org/wiki/Line_segment > Source revision: 1354573183 > License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/) {{Short description|Part of a line that is bounded by two distinct end points; line with two endpoints}} [[Image:Segment definition.svg|thumb|The geometric definition of a closed line segment: the [intersection](/source/intersection_(Euclidean_geometry)) of all points at or to the right of {{mvar|A}} with all points at or to the left of {{mvar|B}}]] thumb|Historical image of 1699 - creating a line segment {{General geometry}} In [geometry](/source/geometry), a '''line segment''' is a part of a [straight line](/source/line_(mathematics)) that is bounded by two distinct '''endpoints''' (its [extreme point](/source/extreme_point)s), and contains every [point](/source/Point_(geometry)) on the line that is between its endpoints. It is a special case of an ''[arc](/source/arc_(geometry))'', with zero [curvature](/source/curvature). The [length](/source/length) of a line segment is given by the [Euclidean distance](/source/Euclidean_distance) between its endpoints. A '''closed line segment''' includes both endpoints, while an '''open line segment''' excludes both endpoints; a '''half-open line segment''' includes exactly one of the endpoints. In [geometry](/source/geometry), a line segment is often denoted using an [overline](/source/overline) ([vinculum](/source/vinculum_(symbol))) above the symbols for the two endpoints, such as in {{mvar|{{overline|AB}}}}.{{Cite web|title=Line Segment Definition - Math Open Reference|url=https://www.mathopenref.com/linesegment.html|access-date=2020-09-01|website=www.mathopenref.com}} The infinite line containing a line segment is sometimes called the segment's '''''supporting line'''''. Examples of line segments include the sides of a triangle or square. More generally, when both of the segment's end points are vertices of a [polygon](/source/polygon) or [polyhedron](/source/polyhedron), the line segment is either an [edge](/source/edge_(geometry)) (of that polygon or polyhedron) if they are adjacent vertices, or a [diagonal](/source/diagonal). When the end points both lie on a [curve](/source/curve) (such as a [circle](/source/circle)), a line segment is called a [chord](/source/chord_(geometry)) (of that curve). ==In real or complex vector spaces== If {{mvar|V}} is a [vector space](/source/vector_space) over {{tmath|\R}} or {{tmath|\C,}} and {{mvar|L}} is a [subset](/source/subset) of {{mvar|V}}, then {{mvar|L}} is a '''line segment''' if {{mvar|L}} can be parameterized as :L = \{ \mathbf{u} + t\mathbf{v} \mid t \in [0,1]\} for some vectors \mathbf{u}, \mathbf{v} \in V where {{math|'''v'''}} is nonzero. The endpoints of {{mvar|L}} are then the vectors {{math|'''u'''}} and {{math|'''u''' + '''v'''}}. Sometimes, one needs to distinguish between "open" and "closed" line segments. In this case, one would define a '''closed line segment''' as above, and an '''open line segment''' as a subset {{mvar|L}} that can be parametrized as : L = \{ \mathbf{u}+t\mathbf{v} \mid t\in(0,1)\} for some vectors \mathbf{u}, \mathbf{v} \in V. Equivalently, a line segment is the [convex hull](/source/convex_hull) of two points. Thus, the line segment can be expressed as a [convex combination](/source/convex_combination) of the segment's two end points. In [geometry](/source/geometry), one might define point {{mvar|B}} to be between two other points {{mvar|A}} and {{mvar|C}}, if the distance {{mvar|{{abs|AB}}}} added to the distance {{mvar|{{abs|BC}}}} is equal to the distance {{mvar|{{abs|AC}}}}. Thus in {{tmath|\R^2,}} the line segment with endpoints A=(a_x,a_y) and C=(c_x,c_y) is the following collection of points: :\Biggl\{ (x,y) \mid \sqrt{(x-c_x)^2 + (y-c_y)^2} + \sqrt{(x-a_x)^2 + (y-a_y)^2} = \sqrt{(c_x-a_x)^2 + (c_y-a_y)^2} \Biggr\} . ==Properties== *A line segment is a [connected](/source/connected_set), [non-empty](/source/non-empty) [set](/source/Set_(mathematics)). *If {{mvar|V}} is a [topological vector space](/source/topological_vector_space), then a closed line segment is a [closed set](/source/closed_set) in {{mvar|V}}. However, an open line segment is an [open set](/source/open_subset) in {{mvar|V}} [if and only if](/source/if_and_only_if) {{mvar|V}} is [one-dimensional](/source/One-dimensional_space). *More generally than above, the concept of a line segment can be defined in an [ordered geometry](/source/ordered_geometry). *A pair of line segments can be any one of the following: [intersecting](/source/intersection_(geometry)), [parallel](/source/parallel_(geometry)), [skew](/source/skew_lines), or none of these. The last possibility is a way that line segments differ from lines: if two nonparallel lines are in the same Euclidean plane then they must cross each other, but that need not be true of segments. ==In proofs== In an axiomatic treatment of geometry, the notion of betweenness is either assumed to satisfy a certain number of axioms, or defined in terms of an [isometry](/source/isometry) of a line (used as a coordinate system). Segments play an important role in other theories. For example, in a ''[convex set](/source/convex_set)'', the segment that joins any two points of the set is contained in the set. This is important because it transforms some of the analysis of convex sets, to the analysis of a line segment. The ''[segment addition postulate](/source/segment_addition_postulate)'' can be used to add congruent segment or segments with equal lengths, and consequently substitute other segments into another statement to make segments congruent. ==As a degenerate ellipse== A line segment can be viewed as a [degenerate case](/source/Degenerate_conic) of an [ellipse](/source/Ellipse), in which the semiminor axis goes to zero, the [foci](/source/Focus_(geometry)) go to the endpoints, and the eccentricity goes to one. A standard definition of an ellipse is the set of points for which the sum of a point's distances to two foci is a constant; if this constant equals the distance between the foci, the line segment is the result. A complete orbit of this ellipse traverses the line segment twice. As a degenerate orbit, this is a [radial elliptic trajectory](/source/Elliptic_orbit). ==In other geometric shapes== In addition to appearing as the edges and [diagonal](/source/diagonal)s of [polygon](/source/polygon)s and [polyhedra](/source/polyhedron), line segments also appear in numerous other locations relative to other [geometric shape](/source/geometric_shape)s. ===Triangles=== Some very frequently considered segments in a [triangle](/source/triangle) to include the three [altitudes](/source/Altitude_(geometry)) (each [perpendicular](/source/perpendicular)ly connecting a side or its [extension](/source/extended_side) to the opposite [vertex](/source/vertex_(geometry))), the three [median](/source/median_(geometry))s (each connecting a side's [midpoint](/source/midpoint) to the opposite vertex), the [perpendicular bisector](/source/perpendicular_bisector)s of the sides (perpendicularly connecting the midpoint of a side to one of the other sides), and the [internal angle bisector](/source/angle_bisector)s (each connecting a vertex to the opposite side). In each case, there are various [equalities](/source/equality_(mathematics)) relating these segment lengths to others (discussed in the articles on the various types of segment), as well as [various inequalities](/source/list_of_triangle_inequalities). Other segments of interest in a triangle include those connecting various [triangle center](/source/triangle_center)s to each other, most notably the [incenter](/source/incenter), the [circumcenter](/source/circumcenter), the [nine-point center](/source/nine-point_center), the [centroid](/source/centroid) and the [orthocenter](/source/orthocenter). ===Quadrilaterals=== In addition to the sides and diagonals of a [quadrilateral](/source/quadrilateral), some important segments are the two [bimedians](/source/quadrilateral) (connecting the midpoints of opposite sides) and the four [maltitudes](/source/quadrilateral) (each perpendicularly connecting one side to the midpoint of the opposite side). ===Circles and ellipses=== Any straight line segment connecting two points on a [circle](/source/circle) or [ellipse](/source/ellipse) is called a [chord](/source/chord_(geometry)). Any chord in a circle which has no longer chord is called a [diameter](/source/diameter), and any segment connecting the circle's [center](/source/center_(geometry)) (the midpoint of a diameter) to a point on the circle is called a [radius](/source/radius). In an ellipse, the longest chord, which is also the longest [diameter](/source/Diameter), is called the ''major axis'', and a segment from the midpoint of the major axis (the ellipse's center) to either endpoint of the major axis is called a ''semi-major axis''. Similarly, the shortest diameter of an ellipse is called the ''minor axis'', and the segment from its midpoint (the ellipse's center) to either of its endpoints is called a ''semi-minor axis''. The chords of an ellipse which are [perpendicular](/source/perpendicular) to the major axis and pass through one of its [foci](/source/focus_(geometry)) are called the [latera recta](/source/latus_rectum) of the ellipse. The ''interfocal segment'' connects the two foci. ==Directed line segment== {{further|Orientation (vector space)#On a line}} {{see also|Relative position}} When a line segment is given an [orientation](/source/orientation_(vector_space)) ([direction](/source/direction_(geometry))) it is called a '''directed line segment''' or '''oriented line segment'''. It suggests a [translation](/source/translation_(geometry)) or [displacement](/source/displacement_(geometry)) (perhaps caused by a [force](/source/force)). The magnitude and direction are indicative of a potential change. Extending a directed line segment semi-infinitely produces a ''[directed half-line](/source/directed_half-line)'' and infinitely in both directions produces a ''[directed line](/source/directed_line)''. This suggestion has been absorbed into [mathematical physics](/source/mathematical_physics) through the concept of a [Euclidean vector](/source/Euclidean_vector).Harry F. Davis & Arthur David Snider (1988) ''Introduction to Vector Analysis'', 5th edition, page 1, Wm. C. Brown Publishers {{isbn|0-697-06814-5}}Matiur Rahman & Isaac Mulolani (2001) ''Applied Vector Analysis'', pages 9 & 10, [CRC Press](/source/CRC_Press) {{isbn|0-8493-1088-1}} The collection of all directed line segments is usually reduced by making [equipollent](/source/equipollent_(geometry)) any pair having the same length and orientation.Eutiquio C. Young (1978) ''Vector and Tensor Analysis'', pages 2 & 3, [Marcel Dekker](/source/Marcel_Dekker) {{isbn|0-8247-6671-7}} This application of an [equivalence relation](/source/equivalence_relation) was introduced by [Giusto Bellavitis](/source/Giusto_Bellavitis) in 1835. ==Generalizations== Analogous to [straight line](/source/straight_line) segments above, one can also define [arcs](/source/Arc_(geometry)) as segments of a [curve](/source/curve). In one-dimensional space, a ''[ball](/source/ball_(mathematics))'' is a line segment. An [oriented plane segment](/source/oriented_plane_segment) or ''[bivector](/source/bivector)'' generalizes the directed line segment. Beyond Euclidean geometry, [geodesic segment](/source/geodesic_segment)s play the role of line segments. A line segment is a one-dimensional ''[simplex](/source/simplex)''; a two-dimensional simplex is a triangle. ==Types of line segments== * [Chord (geometry)](/source/Chord_(geometry)) * [Diameter](/source/Diameter) * [Radius](/source/Radius) ==See also== *[Polygonal chain](/source/Polygonal_chain) *[Interval (mathematics)](/source/Interval_(mathematics)) *[Line segment intersection](/source/Line_segment_intersection), the algorithmic problem of finding intersecting pairs in a collection of line segments ==Notes== {{Reflist}} ==References== *[David Hilbert](/source/David_Hilbert) ''The Foundations of Geometry''. The Open Court Publishing Company 1950, p. 4 ==External links== {{commons}} {{Wiktionary|line segment}} *{{mathworld |urlname=LineSegment |title=Line segment }} *[http://planetmath.org/linesegment Line Segment] at [PlanetMath](/source/PlanetMath) *[http://www.mathopenref.com/constcopysegment.html Copying a line segment with compass and straightedge] *[http://www.mathopenref.com/constdividesegment.html Dividing a line segment into N equal parts with compass and straightedge] Animated demonstration {{PlanetMath attribution|id=5783|title=Line segment}} {{Authority control}} Category:Elementary geometry Category:Linear algebra Category:Line (geometry) --- Adapted from the Wikipedia article [Line segment](https://en.wikipedia.org/wiki/Line_segment) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Line_segment?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.