Ultraparallel theorem: Difference between revisions

Content deleted Content added
No edit summary
Line 3:
==Construction of ultraparallel lines in the Klein model==
 
In the [[Klein model]] of the hyperbolic plane, two ultraparallel lines correspond to two non-intersecting chords. The ''poles'' of these two lines are the respective intersections of the tangent lines to the unit circle at the endpoints of the chords. Lines perpendicular to line A are modelled by chords such that when extended, the extension passes through the pole of A, and vice-versa. Hence we draw the unique line between the poles of the two given linelines, and intersect it with the unit disk; the chord of intersection will be the desired ultraparallel line. If one of the chords happens to be a diameter, we do not have a pole, but in this case any chord perpendicular to the diameter is perpendicular as well in the hyperbolic space, and so we draw a line through the polw of the other line intersecting the diameter at right angles to get the ultraparallel line.
the desired ultraparallel line. If one of the chords happens to be a diameter, we do not have a pole, but in this case any chord perpendicular to the diameter is perpendicular as well in the hyperbolic space, and so we draw a line through the polar of the other line intersecting the diameter at right angles to get the ultraparallel line.
 
 
==Proof in the Poincaré half-plane model==