In geometry, parallel lines are coplanar infinite straight lines that vì thế not intersect at any point. Parallel planes are planes in the same threedimensional space that never meet. Parallel curves are curves that vì thế not touch each other or intersect and keep a fixed minimum distance. In threedimensional Euclidean space, a line and a plane that vì thế not share a point are also said lớn be parallel. However, two noncoplanar lines are called skew lines.
Parallel lines are the subject of Euclid's parallel postulate.^{[1]} Parallelism is primarily a property of affine geometries and Euclidean geometry is a special instance of this type of geometry. In some other geometries, such as hyperbolic geometry, lines can have analogous properties that are referred lớn as parallelism.
Symbol[edit]
The parallel symbol is .^{[2]}^{[3]} For example, indicates that line AB is parallel lớn line CD.
In the Unicode character phối, the "parallel" and "not parallel" signs have codepoints U+2225 (∥) and U+2226 (∦), respectively. In addition, U+22D5 (⋕) represents the relation "equal and parallel to".^{[4]}
The same symbol is used for a binary function in electrical engineering (the parallel operator). It is distinct from the doubleverticalline brackets, U+216 (‖), that indicate a norm (e.g. ), as well as from the logical or operator (
) in several programming languages.
Euclidean parallelism[edit]
Two lines in a plane[edit]
Conditions for parallelism[edit]
Given parallel straight lines l and m in Euclidean space, the following properties are equivalent:
 Every point on line m is located at exactly the same (minimum) distance from line l (equidistant lines).
 Line m is in the same plane as line l but does not intersect l (recall that lines extend lớn infinity in either direction).
 When lines m and l are both intersected by a third straight line (a transversal) in the same plane, the corresponding angles of intersection with the transversal are congruent.
Since these are equivalent properties, any one of them could be taken as the definition of parallel lines in Euclidean space, but the first and third properties involve measurement, and ví, are "more complicated" than thở the second. Thus, the second property is the one usually chosen as the defining property of parallel lines in Euclidean geometry.^{[5]} The other properties are then consequences of Euclid's Parallel Postulate.
History[edit]
The definition of parallel lines as a pair of straight lines in a plane which vì thế not meet appears as Definition 23 in Book I of Euclid's Elements.^{[6]} Alternative definitions were discussed by other Greeks, often as part of an attempt lớn prove the parallel postulate. Proclus attributes a definition of parallel lines as equidistant lines lớn Posidonius and quotes Geminus in a similar vein. Simplicius also mentions Posidonius' definition as well as its modification by the philosopher Aganis.^{[6]}
At the kết thúc of the nineteenth century, in England, Euclid's Elements was still the standard textbook in secondary schools. The traditional treatment of geometry was being pressured lớn change by the new developments in projective geometry and nonEuclidean geometry, ví several new textbooks for the teaching of geometry were written at this time. A major difference between these reform texts, both between themselves and between them and Euclid, is the treatment of parallel lines.^{[7]} These reform texts were not without their critics and one of them, Charles Dodgson (a.k.a. Lewis Carroll), wrote a play, Euclid and His Modern Rivals, in which these texts are lambasted.^{[8]}
One of the early reform textbooks was James Maurice Wilson's Elementary Geometry of 1868.^{[9]} Wilson based his definition of parallel lines on the primitive notion of direction. According lớn Wilhelm Killing^{[10]} the idea may be traced back lớn Leibniz.^{[11]} Wilson, without defining direction since it is a primitive, uses the term in other definitions such as his sixth definition, "Two straight lines that meet one another have different directions, and the difference of their directions is the angle between them." Wilson (1868, p. 2) In definition 15 he introduces parallel lines in this way; "Straight lines which have the same direction, but are not parts of the same straight line, are called parallel lines." Wilson (1868, p. 12) Augustus De Morgan reviewed this text and declared it a failure, primarily on the basis of this definition and the way Wilson used it lớn prove things about parallel lines. Dodgson also devotes a large section of his play (Act II, Scene VI § 1) lớn denouncing Wilson's treatment of parallels. Wilson edited this concept out of the third and higher editions of his text.^{[12]}
Other properties, proposed by other reformers, used as replacements for the definition of parallel lines, did not fare much better. The main difficulty, as pointed out by Dodgson, was that lớn use them in this way required additional axioms lớn be added lớn the system. The equidistant line definition of Posidonius, expounded by Francis Cuthbertson in his 1874 text Euclidean Geometry suffers from the problem that the points that are found at a fixed given distance on one side of a straight line must be shown lớn khuông a straight line. This can not be proved and must be assumed lớn be true.^{[13]} The corresponding angles formed by a transversal property, used by W. D. Cooley in his 1860 text, The Elements of Geometry, simplified and explained requires a proof of the fact that if one transversal meets a pair of lines in congruent corresponding angles then all transversals must vì thế ví. Again, a new axiom is needed lớn justify this statement.
Construction[edit]
The three properties above lead lớn three different methods of construction^{[14]} of parallel lines.

Property 1: Line m has everywhere the same distance lớn line l.

Property 2: Take a random line through a that intersects l in x. Move point x lớn infinity.

Property 3: Both l and m share a transversal line through a that intersect them at 90°.
Distance between two parallel lines[edit]
Because parallel lines in a Euclidean plane are equidistant there is a unique distance between the two parallel lines. Given the equations of two nonvertical, nonhorizontal parallel lines,
the distance between the two lines can be found by locating two points (one on each line) that lie on a common perpendicular lớn the parallel lines and calculating the distance between them. Since the lines have slope m, a common perpendicular would have slope −1/m and we can take the line with equation y = −x/m as a common perpendicular. Solve the linear systems
and
Xem thêm: muối nào sau đây là muối axit
to get the coordinates of the points. The solutions lớn the linear systems are the points
and
These formulas still give the correct point coordinates even if the parallel lines are horizontal (i.e., m = 0). The distance between the points is
which reduces to
When the lines are given by the general khuông of the equation of a line (horizontal and vertical lines are included):
their distance can be expressed as
Two lines in threedimensional space[edit]
Two lines in the same threedimensional space that vì thế not intersect need not be parallel. Only if they are in a common plane are they called parallel; otherwise they are called skew lines.
Two distinct lines l and m in threedimensional space are parallel if and only if the distance from a point P on line m lớn the nearest point on line l is independent of the location of P on line m. This never holds for skew lines.
A line and a plane[edit]
A line m and a plane q in threedimensional space, the line not lying in that plane, are parallel if and only if they vì thế not intersect.
Equivalently, they are parallel if and only if the distance from a point P on line m lớn the nearest point in plane q is independent of the location of P on line m.
Two planes[edit]
Similar lớn the fact that parallel lines must be located in the same plane, parallel planes must be situated in the same threedimensional space and contain no point in common.
Two distinct planes q and r are parallel if and only if the distance from a point P in plane q lớn the nearest point in plane r is independent of the location of P in plane q. This will never hold if the two planes are not in the same threedimensional space.
In nonEuclidean geometry[edit]
In nonEuclidean geometry, it is more common lớn talk about geodesics than thở (straight) lines. A geodesic is the shortest path between two points in a given geometry. In physics this may be interpreted as the path that a particle follows if no force is applied lớn it. In nonEuclidean geometry (elliptic or hyperbolic geometry) the three Euclidean properties mentioned above are not equivalent and only the second one (Line m is in the same plane as line l but does not intersect l) is useful in nonEuclidean geometries, since it involves no measurements. In general geometry the three properties above give three different types of curves, equidistant curves, parallel geodesics and geodesics sharing a common perpendicular, respectively.
Hyperbolic geometry[edit]
While in Euclidean geometry two geodesics can either intersect or be parallel, in hyperbolic geometry, there are three possibilities. Two geodesics belonging lớn the same plane can either be:
 intersecting, if they intersect in a common point in the plane,
 parallel, if they vì thế not intersect in the plane, but converge lớn a common limit point at infinity (ideal point), or
 ultra parallel, if they vì thế not have a common limit point at infinity.
In the literature ultra parallel geodesics are often called nonintersecting. Geodesics intersecting at infinity are called limiting parallel.
As in the illustration through a point a not on line l there are two limiting parallel lines, one for each direction ideal point of line l. They separate the lines intersecting line l and those that are ultra parallel lớn line l.
Ultra parallel lines have single common perpendicular (ultraparallel theorem), and diverge on both sides of this common perpendicular.
Spherical or elliptic geometry[edit]
In spherical geometry, all geodesics are great circles. Great circles divide the sphere in two equal hemispheres and all great circles intersect each other. Thus, there are no parallel geodesics lớn a given geodesic, as all geodesics intersect. Equidistant curves on the sphere are called parallels of latitude analogous lớn the latitude lines on a globe. Parallels of latitude can be generated by the intersection of the sphere with a plane parallel lớn a plane through the center of the sphere.
Reflexive variant[edit]
If l, m, n are three distinct lines, then
In this case, parallelism is a transitive relation. However, in case l = n, the superimposed lines are not considered parallel in Euclidean geometry. The binary relation between parallel lines is evidently a symmetric relation. According lớn Euclid's tenets, parallelism is not a reflexive relation and thus fails lớn be an equivalence relation. Nevertheless, in affine geometry a pencil of parallel lines is taken as an equivalence class in the phối of lines where parallelism is an equivalence relation.^{[15]}^{[16]}^{[17]}
To this kết thúc, Emil Artin (1957) adopted a definition of parallelism where two lines are parallel if they have all or none of their points in common.^{[18]} Then a line is parallel lớn itself ví that the reflexive and transitive properties belong lớn this type of parallelism, creating an equivalence relation on the phối of lines. In the study of incidence geometry, this variant of parallelism is used in the affine plane.
Xem thêm: sử lý hay xử lý
See also[edit]
 Clifford parallel
 Collinearity
 Concurrent lines
 Limiting parallel
 Parallel curve
 Ultraparallel theorem
Notes[edit]
 ^ Although this postulate only refers lớn when lines meet, it is needed lớn prove the uniqueness of parallel lines in the sense of Playfair's axiom.
 ^ Kersey (the elder), John (1673). Algebra. Vol. Book IV. London. p. 177.
 ^ Cajori, Florian (1993) [September 1928]. "§ 184, § 359, § 368". A History of Mathematical Notations  Notations in Elementary Mathematics. Vol. 1 (two volumes in one unaltered reprint ed.). Chicago, US: Open court publishing company. pp. 193, 402–403, 411–412. ISBN 0486677664. LCCN 9329211. Retrieved 20190722.
§359. […] ∥ for parallel occurs in Oughtred's Opuscula mathematica hactenus inedita (1677) [p. 197], a posthumous work (§ 184) […] §368. Signs for parallel lines. […] when Recorde's sign of equality won its way upon the Continent, vertical lines came lớn be used for parallelism. We find ∥ for "parallel" in Kersey,[14] Caswell, Jones,[15] Wilson,[16] Emerson,[17] Kambly,[18] and the writers of the last fifty years who have been already quoted in connection with other pictographs. Before about 1875 it does not occur as often […] Hall and Stevens[1] use "par[1] or ∥" for parallel […] [14] John Kersey, Algebra (London, 1673), Book IV, p. 177. [15] W. Jones, Synopsis palmarioum matheseos (London, 1706). [16] John Wilson, Trigonometry (Edinburgh, 1714), characters explained. [17] W. Emerson, Elements of Geometry (London, 1763), p. 4. [18] L. Kambly [de], Die ElementarMathematik, Part 2: Planimetrie, 43. edition (Breslau, 1876), p. 8. […] [1] H. S. Hall and F. H. Stevens, Euclid's Elements, Parts I and II (London, 1889), p. 10. […]
[1]  ^ "Mathematical Operators – Unicode Consortium" (PDF). Retrieved 20130421.
 ^ Wylie 1964, pp. 92—94
 ^ ^{a} ^{b} Heath 1956, pp. 190–194
 ^ Richards 1988, Chap. 4: Euclid and the English Schoolchild. pp. 161–200
 ^ Carroll, Lewis (2009) [1879], Euclid and His Modern Rivals, Barnes & Noble, ISBN 9781435123489
 ^ Wilson 1868
 ^ Einführung in die Grundlagen der Geometrie, I, p. 5
 ^ Heath 1956, p. 194
 ^ Richards 1988, pp. 180–184
 ^ Heath 1956, p. 194
 ^ Only the third is a straightedge and compass construction, the first two are infinitary processes (they require an "infinite number of steps".)
 ^ H. S. M. Coxeter (1961) Introduction lớn Geometry, p 192, John Wiley & Sons
 ^ Wanda Szmielew (1983) From Affine lớn Euclidean Geometry, p 17, D. Reidel ISBN 9027712433
 ^ Andy Liu (2011) "Is parallelism an equivalence relation?", The College Mathematics Journal 42(5):372
 ^ Emil Artin (1957) Geometric Algebra, page 52 via Internet Archive
References[edit]
 Heath, Thomas L. (1956), The Thirteen Books of Euclid's Elements (2nd ed. [Facsimile. Original publication: Cambridge University Press, 1925] ed.), New York: Dover Publications
 (3 vols.): ISBN 0486600882 (vol. 1), ISBN 0486600890 (vol. 2), ISBN 0486600904 (vol. 3). Heath's authoritative translation plus extensive historical research and detailed commentary throughout the text.
 Richards, Joan L. (1988), Mathematical Visions: The Pursuit of Geometry in Victorian England, Boston: Academic Press, ISBN 0125874456
 Wilson, James Maurice (1868), Elementary Geometry (1st ed.), London: Macmillan and Co.
 Wylie, C. R. Jr. (1964), Foundations of Geometry, McGraw–Hill
Further reading[edit]
 Papadopoulos, Athanase; Théret, Guillaume (2014), La théorie des parallèles de Johann Heinrich Lambert : Présentation, traduction et commentaires, Paris: Collection Sciences dans l'histoire, Librairie Albert Blanchard, ISBN 9782853672665
Bình luận