World Library  
Flag as Inappropriate
Email this Article

Parallel (geometry)

Article Id: WHEBN0000664497
Reproduction Date:

Title: Parallel (geometry)  
Author: World Heritage Encyclopedia
Language: English
Subject: Line (geometry), Projective geometry, Line–line intersection, Projective plane, Non-Euclidean geometry
Collection: Affine Geometry, Elementary Geometry
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Parallel (geometry)

In geometry, parallel lines are lines in a plane which do not meet; that is, two lines in a plane that do not intersect or touch at any point are said to be parallel. By extension, a line and a plane, or two planes, in three-dimensional Euclidean space that do not share a point are said to be parallel. However, two lines in three-dimensional space which do not meet must be in a common plane to be considered parallel; otherwise they are called skew lines. Parallel planes are planes in the same three-dimensional space that never meet.

Parallel lines are the subject of Euclid's parallel postulate.[1] Parallelism is primarily a property of affine geometries and Euclidean space is a special instance of this type of geometry. Some other spaces, such as hyperbolic space, have analogous properties that are sometimes referred to as parallelism.

Contents

  • Symbol 1
  • Euclidean parallelism 2
    • Two lines in a plane 2.1
      • Conditions for parallelism 2.1.1
      • History 2.1.2
      • Construction 2.1.3
      • Distance between two parallel lines 2.1.4
    • Two lines in three-dimensional space 2.2
    • A line and a plane 2.3
    • Two planes 2.4
  • Extension to non-Euclidean geometry 3
    • Spherical 3.1
  • Reflexive variant 4
  • See also 5
  • Notes 6
  • References 7
  • Further reading 8
  • External links 9

Symbol

The parallel symbol is \parallel. For example, AB \parallel CD indicates that line AB is parallel to line CD.

In the Unicode character set, 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".[2]

Euclidean parallelism

Two lines in a plane

Conditions for parallelism

As shown by the tick marks, lines a and b are parallel. This can be proved because the transversal t produces congruent corresponding angles \theta, shown here both to the right of the transversal, one above and adjacent to line a and the other above and adjacent to line b.

Given parallel straight lines l and m in Euclidean space, the following properties are equivalent:

  1. Every point on line m is located at exactly the same (minimum) distance from line l (equidistant lines).
  2. Line m is in the same plane as line l but does not intersect l (recall that lines extend to infinity in either direction).
  3. 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 so, are "more complicated" than the second. Thus, the second property is the one usually chosen as the defining property of parallel lines in Euclidean geometry.[3] The other properties are then consequences of Euclid's Parallel Postulate. Another property that also involves measurement is that lines parallel to each other have the same gradient (slope).

History

The definition of parallel lines as a pair of straight lines in a plane which do not meet appears as Definition 23 in Book I of Euclid's Elements.[4] Alternative definitions were discussed by other Greeks, often as part of an attempt to prove the parallel postulate. Proclus attributes a definition of parallel lines as equidistant lines to Posidonius and quotes Geminus in a similar vein. Simplicius also mentions Posidonius' definition as well as its modification by the philosopher Aganis.[4]

At the end 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 to change by the new developments in projective geometry and non-Euclidean geometry, so 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.[5] 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.[6]

One of the early reform textbooks was James Maurice Wilson's Elementary Geometry of 1868.[7] Wilson based his definition of parallel lines on the

  • Constructing a parallel line through a given point with compass and straightedge

External links

  • 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,  

Further reading

  • Richards, Joan L. (1988), Mathematical Visions: The Pursuit of Geometry in Victorian England, Boston: Academic Press,  
  • Wilson, James Maurice (1868), Elementary Geometry (1st ed.), London: Macmillan and Co. 
  • Wylie, Jr., C.R. (1964), Foundations of Geometry, McGraw–Hill 
(3 vols.): ISBN 0-486-60088-2 (vol. 1), ISBN 0-486-60089-0 (vol. 2), ISBN 0-486-60090-4 (vol. 3). Heath's authoritative translation plus extensive historical research and detailed commentary throughout the text.
  •  

References

  1. ^ Although this postulate only refers to when lines meet, it is needed to prove the uniqueness of parallel lines in the sense of Playfair's axiom.
  2. ^ "Mathematical Operators – Unicode Consortium". Retrieved 2013-04-21. 
  3. ^ Wylie, Jr. 1964, pp. 92—94
  4. ^ a b Heath 1956, pp. 190–194
  5. ^ Richards 1988, Chap. 4: Euclid and the English Schoolchild. pp. 161–200
  6. ^ Carroll, Lewis (2009) [1879], Euclid and His Modern Rivals, Barnes & Noble,  
  7. ^ Wilson 1868
  8. ^ Einführung in die Grundlagen der Geometrie, I, p. 5
  9. ^ Heath 1956, p. 194
  10. ^ Richards 1988, pp. 180–184
  11. ^ Heath 1956, p. 194
  12. ^ Only the third is a straightedge and compass construction, the first two are infinitary processes (they require an "infinite number of steps".)
  13. ^ H. S. M. Coxeter (1961) Introduction to Geometry, p 192, John Wiley & Sons
  14. ^ Wanda Szmielew (1983) From Affine to Euclidean Geometry, p 17, D. Reidel ISBN 90-277-1243-3
  15. ^ Andy Liu (2011) "Is parallelism an equivalence relation?", The College Mathematics Journal 42(5):372

Notes

See also

Another way of describing this type of parallelism is the requirement that their intersection is not a singleton. Two lines are then parallel when they have all or none of their points in common. It has been noted that Playfair's axiom used in affine and Euclidean geometry is then equivalent to the statement that parallelism forms a transitive relation on the set of lines in the plane.[15]

In synthetic, affine geometry the relation of two parallel lines is a fundamental concept that is modified from the usage in Euclidean geometry. It is clear that the relation of parallelism is a symmetric relation and a transitive relation. These are two properties of an equivalence relation. In Euclidean geometry a line is not considered to be parallel to itself, but in affine geometry[13][14] it is convenient to hold a line as parallel to itself, thus yielding parallelism as an equivalence relation.

Reflexive variant

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 to a given geodesic, as all geodesics intersect. Equidistant curves on the sphere are called parallels of latitude analogous to the latitude lines on a globe. Parallels of latitude can be generated by the intersection of the sphere with a plane parallel to a plane through the center of the sphere.

On the sphere there is no such thing as a parallel line. Line a is a great circle, the equivalent of a straight line in spherical geometry. Line c is equidistant to line a but is not a great circle. It is a parallel of latitude. Line b is another geodesic which intersects a in two antipodal points. They share two common perpendiculars (one shown in blue).

Spherical

In the literature ultra parallel geodesics are often called non-intersecting. Geodesics intersecting at infinity are then called limit geodesics.

  1. intersecting, if they intersect in a common point in the plane,
  2. parallel, if they do not intersect in the plane, but have a common limit point at infinity, or
  3. ultra parallel, if they do not have a common limit point at infinity.

While in Euclidean geometry two geodesics can either intersect or be parallel, in general, and in hyperbolic space in particular, there are three possibilities. Two geodesics can either be:

In non-Euclidean geometry, it is more common to talk about geodesics than (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 to it. In non-Euclidean geometry (elliptic or hyperbolic geometry) the three Euclidean properties mentioned above are not equivalent and only the second one, since it involves no metrics, is useful in non-Euclidean geometries. In general geometry the three properties above give three different types of curves, equidistant curves, parallel geodesics and geodesics sharing a common perpendicular, respectively.

Extension to non-Euclidean geometry

Two distinct planes q and r are parallel if and only if the distance from a point P in plane q to 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 three-dimensional space.

Similar to the fact that parallel lines must be located in the same plane, parallel planes must be situated in the same three-dimensional space and contain no point in common.

Two planes

Equivalently, they are parallel if and only if the distance from a point P on line m to the nearest point in plane q is independent of the location of P on line m.

A line m and a plane q in three-dimensional space, the line not lying in that plane, are parallel if and only if they do not intersect.

A line and a plane

Two distinct lines l and m in three-dimensional space are parallel if and only if the distance from a point P on line m to the nearest point on line l is independent of the location of P on line m. This never holds for skew lines.

Two lines in the same three-dimensional space that do 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 lines in three-dimensional space

d = \frac{|c_2-c_1|}{\sqrt {a^2+b^2}}.

their distance can be expressed as

ax+by+c_1=0\,
ax+by+c_2=0,\,

When the lines are given by the general form of the equation of a line (horizontal and vertical lines are included):

d = \frac{|b_2-b_1|}{\sqrt{m^2+1}}\,.

which reduces to

d = \sqrt{\left(\frac{b_1m-b_2m}{m^2+1}\right)^2 + \left(\frac{b_2-b_1}{m^2+1}\right)^2}\,,

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

\left( x_2,y_2 \right)\ = \left( \frac{-b_2m}{m^2+1},\frac{b_2}{m^2+1} \right).

and

\left( x_1,y_1 \right)\ = \left( \frac{-b_1m}{m^2+1},\frac{b_1}{m^2+1} \right)\,

to get the coordinates of the points. The solutions to the linear systems are the points

\begin{cases} y = mx+b_2 \\ y = -x/m \end{cases}

and

\begin{cases} y = mx+b_1 \\ y = -x/m \end{cases}

the distance between the two lines can be found by locating two points (one on each line) that lie on a common perpendicular to 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

y = mx+b_1\,
y = mx+b_2\,,

Because parallel lines in a Euclidean plane are equidistant there is a unique distance between the two parallel lines. Given the equations of two non-vertical, non-horizontal parallel lines,

Distance between two parallel lines


The problem: Draw a line through a parallel to l.

The three properties above lead to three different methods of construction[12] of parallel lines.

Construction

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 to use them in this way required additional axioms to be added to 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 to form a straight line. This can not be proved and must be assumed to be true.[11] 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 do so. Again, a new axiom is needed to justify this statement.

[10]

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.