Editing Parallel (geometry) (section)

=== Hyperbolic geometry ===
{{See also|Hyperbolic geometry}}
[[Image:HyperParallel.png|thumb|300px|right|'''Intersecting''', '''parallel''' and '''ultra parallel''' lines through ''a'' with respect to ''l'' in the hyperbolic plane. The parallel lines appear to intersect ''l'' just off the image. This is just an artifact of the visualisation. On a real hyperbolic plane the lines will get closer to each other and 'meet' in infinity.]]

While in Euclidean geometry two geodesics can either intersect or be parallel, in hyperbolic geometry, there are three possibilities. Two geodesics belonging to the same plane can either be:

# '''intersecting''', if they intersect in a common point in the plane,
# '''parallel''', if they do not intersect in the plane, but converge to a common limit point at infinity ([[ideal point]]), or
# '''ultra parallel''', if they do not have a common limit point at infinity.<ref>{{Cite web |date=2021-10-30 |title=5.3: Theorems of Hyperbolic Geometry |url=https://math.libretexts.org/Bookshelves/Geometry/An_IBL_Introduction_to_Geometries_(Mark_Fitch)/05:_Hyperbolic_Geometry/5.03:_New_Page |access-date=2024-08-22 |website=Mathematics LibreTexts |language=en}}</ref>

In the literature ''ultra parallel'' geodesics are often called ''non-intersecting''.  ''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 to line ''l''.

Ultra parallel lines have single common perpendicular ([[ultraparallel theorem]]), and diverge on both sides of this common perpendicular.

<!-- This section needs major copyediting before being put back in the article
=== Hyperbolic ===
In the [[hyperbolic geometry|hyperbolic plane]], there are two lines through a given point that intersect a given line in the limit to infinity. While in Euclidean geometry a geodesic intersects its parallels in both directions in the limit to infinity, in hyperbolic geometry both directions have their own line of parallelism. When visualized on a plane a geodesic is said to have a '''left-handed parallel''' and a '''right-handed parallel''' through a given point. The angle the parallel lines make with the perpendicular from that point to the given line is called the [[angle of parallelism]]. The angle of parallelism depends on the distance of the point to the line with respect to the [[curvature]] of the space. The angle is also present in the Euclidean case, there it is always 90° so the left and right-handed parallels [[Coincident|coincide]]. The parallel lines divide the set of geodesics through the point in two sets: '''intersecting geodesics''' that intersect the given line in the hyperbolic plane, and '''ultra parallel geodesics''' that do not intersect even in the limit to infinity (in either direction). In the Euclidean limit the latter set is empty.
[[Image:HyperParallel.png|thumb|300px|left|'''Intersecting''', '''parallel''' and '''ultra parallel''' lines through ''a'' with respect to ''l'' in the hyperbolic plane. The parallel lines appear to intersect ''l'' just off the image. This is an artifact of the visualisation. It is not possible to isometrically embed the hyperbolic plane in three dimensions. In a real hyperbolic space the lines will get closer to each other and 'touch' in infinity.]]
{{Clear}}
-->