Ultraparallel theorem

Ultraparallel theorem

In hyperbolic geometry, the ultraparallel theorem states that every pair of ultraparallel lines in the hyperbolic plane has a unique common perpendicular hyperbolic line.

Proof in the Poincaré half-plane model

Let

:a < b < c < d

be four distinct points on the abscissa of the Cartesian plane. Let p and q be semicircles above the abscissa with diameters ab and cd respectively. Then in the Poincaré half-plane model HP, p and q represent ultraparallel lines.

Compose the following two hyperbolic motions:

:x o x-a,:mbox{inversion in the unit semicircle.},

Then a o infty, b o (b-a)^{-1},quad c o (c-a)^{-1},quad d o (d-a)^{-1}.

Now continue with these two hyperbolic motions::x o x-(b-a)^{-1},:x o left [ (c-a)^{-1} - (b-a)^{-1} ight ] ^{-1} x,

Then a stays at infty, b o 0, c o 1, d o z (say). The unique semicircle, with center at the origin, perpendicular to the one on 1z must have a radius tangent to the radius of the other. The right triangle formed by the abscissa and the perpendicular radii has hypotenuse of length egin{matrix} frac{1}{2} end{matrix} (z+1). Since egin{matrix} frac{1}{2} end{matrix} (z-1) is the radius of the semicircle on 1z, the common perpendicular sought has radius-square

:frac{1}{4} left [ (z+1)^2 - (z-1)^2 ight ] = z.,

The four hyperbolic motions that produced z above can each be inverted and applied in reverse order to the semicircle centered at the origin and of radius sqrt{z} to yield the unique hyperbolic line perpendicular to both ultraparallels p and q.

Proof 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 modeled by chords whose extension passes through the pole of A. Hence we draw the unique line between the poles of the two given lines, and intersect it with the unit disk; the chord of intersection will be the desired common perpendicular of the ultraparallel lines. 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 plane, and so we draw a line through the pole of the other line intersecting the diameter at right angles to get the common perpendicular.

The proof is completed by showing this construction is always possible. If both chords are diameters, they intersect. If only one of the chords is a diameter, the other chord projects orthogonally down to a section of the first chord contained in its interior, and a line from the pole orthogonal to the diameter intersects both the diameter and the chord. If both lines are not diameters, the we may extend the tangents drawn from each pole to produce a quadrilateral with the unit circle inscribed within it. The poles are opposite vertices of this quadrilateral, and the chords are lines drawn between adjacent sides of the vertex, across opposite corners. Since the quadrilateral is convex, the line between the poles intersects both of the chords drawn across the corners, and the segment of the line between the chords defines the required chord perpendicular to the two other chords.

References

* Karol Borsuk & Wanda Szmielew (1960) "Foundations of Geometry", page 291.


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Hyperbolic geometry — Lines through a given point P and asymptotic to line R. A triangle immersed in a saddle shape plane (a hyperbolic paraboloid), as well as two diverging ultraparall …   Wikipedia

  • List of mathematical proofs — A list of articles with mathematical proofs:Theorems of which articles are primarily devoted to proving them: See also: *Bertrand s postulate and a proof *Estimation of covariance matrices *Fermat s little theorem and some proofs *Gödel s… …   Wikipedia

  • List of mathematics articles (U) — NOTOC U U duality U quadratic distribution U statistic UCT Mathematics Competition Ugly duckling theorem Ulam numbers Ulam spiral Ultraconnected space Ultrafilter Ultrafinitism Ultrahyperbolic wave equation Ultralimit Ultrametric space… …   Wikipedia

  • Poincaré half-plane model — Stellated regular heptagonal tiling of the model.In non Euclidean geometry, the Poincaré half plane model is the upper half plane, together with a metric, the Poincaré metric, that makes it a model of two dimensional hyperbolic geometry.It is… …   Wikipedia

  • Erlangen program — An influential research program and manifesto was published in 1872 by Felix Klein, under the title Vergleichende Betrachtungen über neuere geometrische Forschungen . This Erlangen Program ( Erlanger Programm ) mdash; Klein was then at Erlangen… …   Wikipedia

  • Parallel (geometry) — Parallelism is a term in geometry and in everyday life that refers to a property in Euclidean space of two or more lines or planes, or a combination of these. The assumed existence and properties of parallel lines are the basis of Euclid s… …   Wikipedia

  • Klein model — In geometry, the Klein model, also called the projective model, the Beltrami–Klein model, the Klein–Beltrami model and the Cayley–Klein model, is a model of n dimensional hyperbolic geometry in which the points of the geometry are in an n… …   Wikipedia

  • Differential geometry — A triangle immersed in a saddle shape plane (a hyperbolic paraboloid), as well as two diverging ultraparallel lines. Differential geometry is a mathematical discipline that uses the techniques of differential and integral calculus, as well as… …   Wikipedia

  • Hjelmslev transformation — In mathematics, the Hjelmslev transformation is an effective method for mapping an entire hyperbolic plane into a circle with a finite radius. The transformation was invented by Danish mathematician Johannes Hjelmslev. It utilizes Nikolai… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”