Hypercycle (geometry)

Last updated August 08, 2024

In hyperbolic geometry, a hypercycle, hypercircle or equidistant curve is a curve whose points have the same orthogonal distance from a given straight line (its axis).

Given a straight line $L$ and a point $P$ not on $L$ , one can construct a hypercycle by taking all points $Q$ on the same side of $L$ as $P$ , with perpendicular distance to $L$ equal to that of $P$ . The line $L$ is called the axis, center, or base line of the hypercycle. The lines perpendicular to $L$ , which are also perpendicular to the hypercycle, are called the normals of the hypercycle. The segments of the normals between $L$ and the hypercycle are called the radii. Their common length is called the distance or radius of the hypercycle.^[1]

The hypercycles through a given point that share a tangent through that point converge towards a horocycle as their distances go towards infinity.

Properties similar to those of Euclidean lines

Hypercycles in hyperbolic geometry have some properties similar to those of lines in Euclidean geometry:

In a plane, given an axis (line) and a point not on that axis, there is only one hypercycle trough that point with the given axis (compare with Playfair's axiom for Euclidean geometry).
No three points of a hypercycle are on a circle.
A hypercycle is symmetrical to each line perpendicular to it. (Reflecting a hypercycle in a line perpendicular to the hypercycle results in the same hypercycle.)

Properties similar to those of Euclidean circles

Hypercycles in hyperbolic geometry have some properties similar to those of circles in Euclidean geometry:

A line perpendicular to a chord of a hypercycle at its midpoint is a radius and it bisects the arc subtended by the chord.
Let $AB$ be the chord and $M$ its middle point.
By symmetry the line $R$ through $M$ perpendicular to $AB$ must be orthogonal to the axis $L$ .
Therefore $R$ is a radius.
Also by symmetry, $R$ will bisect the arc $AB$ .
The axis and distance of a hypercycle are uniquely determined.
Let us assume that a hypercycle $C$ has two different axes $L 1, L 2$ .
Using the previous property twice with different chords we can determine two distinct radii $R 1, R 2$ . $R 1, R 2$ will then have to be perpendicular to both $L 1, L 2$ , giving us a rectangle. This is a contradiction because the rectangle is an impossible figure in hyperbolic geometry.
Two hypercycles have equal distances if and only if they are congruent.
If they have equal distance, we just need to bring the axes to coincide by a rigid motion and also all the radii will coincide; since the distance is the same, also the points of the two hypercycles will coincide.
Vice versa, if they are congruent the distance must be the same by the previous property.
A straight line cuts a hypercycle in at most two points.
Let the line $K$ cut the hypercycle $C$ in two points $A, B$ . As before, we can construct the radius $R$ of $C$ through the middle point $M$ of $AB$ . Note that $K$ is ultraparallel to the axis $L$ because they have the common perpendicular $R$ . Also, two ultraparallel lines have minimum distance at the common perpendicular and monotonically increasing distances as we go away from the perpendicular.
This means that the points of $K$ inside $AB$ will have distance from $L$ smaller than the common distance of $A$ and $B$ from $L$ , while the points of $K$ outside $AB$ will have greater distance. In conclusion, no other point of $K$ can be on $C$ .
Two hypercycles intersect in at most two points.
Let $C 1, C 2$ be hypercycles intersecting in three points $A, B, C$ .
If $R 1$ is the line orthogonal to $AB$ through its middle point, we know that it is a radius of both $C 1, C 2$ .
Similarly we construct $R 2$ , the radius through the middle point of $BC$ .
$R 1, R 2$ are simultaneously orthogonal to the axes $L 1, L 2$ of $C 1, C 2$ , respectively.
We already proved that then $L 1, L 2$ must coincide (otherwise we have a rectangle).
Then $C 1, C 2$ have the same axis and at least one common point, therefore they have the same distance and they coincide.
No three points of a hypercycle are collinear.
If the points $A, B, C$ of a hypercycle are collinear then the chords $AB, BC$ are on the same line $K$ . Let $R 1, R 2$ be the radii through the middle points of $AB, BC$ . We know that the axis $L$ of the hypercycle is the common perpendicular of $R 1, R 2$ .
But $K$ is that common perpendicular. Then the distance must be 0 and the hypercycle degenerates into a line.

Other properties

The length of an arc of a hypercycle between two points is
- longer than the length of the line segment between those two points,
- shorter than the length of the arc of one of the two horocycles between those two points, and
- shorter than any circle arc between those two points.
A hypercycle and a horocycle intersect in at most two points.
A hypercycle of radius $r$ with $sinh 2 r = 1$ induces a quasi-symmetry of the hyperbolic plane by inversion. (Such a hypercycle meets its axis at an angle of π/4.) Specifically, a point $P$ in an open half-plane of the axis inverts to $P'$ whose angle of parallelism is the complement of that of $P$ . This quasi-symmetry generalizes to hyperbolic spaces of higher dimension where it facilitates the study of hyperbolic manifolds. It is used extensively in the classification of conics in the hyperbolic plane where it has been called split inversion. Though conformal, split inversion is not a true symmetry since it interchanges the axis with the boundary of the plane and, of course, is not an isometry.

Length of an arc

In the hyperbolic plane of constant curvature −1, the length of an arc of a hypercycle can be calculated from the radius $r$ and the distance between the points where the normals intersect with the axis $d$ using the formula $l = d cosh r$ .^[2]

Construction

In the Poincaré disk model of the hyperbolic plane, hypercycles are represented by lines and circle arcs that intersect the boundary circle at non-right angles. The representation of the axis intersects the boundary circle in the same points, but at right angles.

In the Poincaré half-plane model of the hyperbolic plane, hypercycles are represented by lines and circle arcs that intersect the boundary line at non-right angles. The representation of the axis intersects the boundary line in the same points, but at right angles.

Congruence classes of Steiner parabolas

The congruence classes of Steiner parabolas in the hyperbolic plane are in one-to-one correspondence with the hypercycles in a given half-plane $H$ of a given axis. In an incidence geometry, the Steiner conic at a point $P$ produced by a collineation $T$ is the locus of intersections $L \cap T (L)$ for all lines $L$ through $P$ . This is the analogue of Steiner's definition of a conic in the projective plane over a field. The congruence classes of Steiner conics in the hyperbolic plane are determined by the distance $s$ between $P$ and $T (P)$ and the angle of rotation $φ$ induced by $T$ about $T (P)$ . Each Steiner parabola is the locus of points whose distance from a focus $F$ is equal to the distance to a hypercycle directrix that is not a line. Assuming a common axis for the hypercycles, the location of $F$ is determined by $φ$ as follows. Fixing $sinh s = 1$ , the classes of parabolas are in one-to-one correspondence with $φ \in (0, π/2)$ . In the conformal disk model, each point $P$ is a complex number with $| P | < 1$ . Let the common axis be the real line and assume the hypercycles are in the half-plane $H$ with $Im P > 0$ . Then the vertex of each parabola will be in $H$ , and the parabola is symmetric about the line through the vertex perpendicular to the axis. If the hypercycle is at distance $d$ from the axis, with $\tanh d=\tan {\tfrac {\phi }{2}},$ then $F=\left({\frac {1-\tan \phi }{1+\tan \phi }}\right)i.$ In particular, $F = 0$ when $φ = π/4$ . In this case, the focus is on the axis; equivalently, inversion in the corresponding hypercycle leaves $H$ invariant. This is the harmonic case, that is, the representation of the parabola in any inversive model of the hyperbolic plane is a harmonic, genus 1 curve.

Related Research Articles

<span class="mw-page-title-main">Circle</span> Simple curve of Euclidean geometry

A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. The distance between any point of the circle and the centre is called the radius.

In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other and resemble two infinite bows. The hyperbola is one of the three kinds of conic section, formed by the intersection of a plane and a double cone. If the plane intersects both halves of the double cone but does not pass through the apex of the cones, then the conic is a hyperbola.

In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.

<span class="mw-page-title-main">Perpendicular</span> Relationship between two lines that meet at a right angle (90 degrees)

In geometry, two geometric objects are perpendicular if their intersection forms right angles at the point of intersection called a foot. The condition of perpendicularity may be represented graphically using the perpendicular symbol, ⟂. Perpendicular intersections can happen between two lines, between a line and a plane, and between two planes.

Elliptic geometry is an example of a geometry in which Euclid's parallel postulate does not hold. Instead, as in spherical geometry, there are no parallel lines since any two lines must intersect. However, unlike in spherical geometry, two lines are usually assumed to intersect at a single point. Because of this, the elliptic geometry described in this article is sometimes referred to as single elliptic geometry whereas spherical geometry is sometimes referred to as double elliptic geometry.

<span class="mw-page-title-main">Hyperbolic geometry</span> Non-Euclidean geometry

In mathematics, hyperbolic geometry is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with:

In non-Euclidean geometry, the Poincaré half-plane model is the upper half-plane, denoted below as H $, together with a metric, the Poincaré metric, that makes it a model of two-dimensional hyperbolic geometry.$

<span class="mw-page-title-main">Line (geometry)</span> Straight figure with zero width and depth

In geometry, a straight line, usually abbreviated line, is an infinitely long object with no width, depth, or curvature, an idealization of such physical objects as a straightedge, a taut string, or a ray of light. Lines are spaces of dimension one, which may be embedded in spaces of dimension two, three, or higher. The word line may also refer, in everyday life, to a line segment, which is a part of a line delimited by two points.

In geometry, hyperbolic motions are isometric automorphisms of a hyperbolic space. Under composition of mappings, the hyperbolic motions form a continuous group. This group is said to characterize the hyperbolic space. Such an approach to geometry was cultivated by Felix Klein in his Erlangen program. The idea of reducing geometry to its characteristic group was developed particularly by Mario Pieri in his reduction of the primitive notions of geometry to merely point and motion.

<span class="mw-page-title-main">Angle of parallelism</span> An angle in certain right triangles in the hyperbolic plane

In hyperbolic geometry, angle of parallelism $is the angle at the non-right angle vertex of a right hyperbolic triangle having two asymptotic parallel sides. The angle depends on the segment length a between the right angle and the vertex of the angle of parallelism.$

<span class="mw-page-title-main">Equidistant</span> Point that is at the same distance to every object in a given set

A point is said to be equidistant from a set of objects if the distances between that point and each object in the set are equal.

In geometry, the Beltrami–Klein model, also called the projective model, Klein disk model, and the Cayley–Klein model, is a model of hyperbolic geometry in which points are represented by the points in the interior of the unit disk and lines are represented by the chords, straight line segments with ideal endpoints on the boundary sphere.

In hyperbolic geometry, an ideal point, omega point or point at infinity is a well-defined point outside the hyperbolic plane or space. Given a line l and a point P not on l, right- and left-limiting parallels to l through P converge to l at ideal points.

In hyperbolic geometry, a horocycle, sometimes called an oricycle or limit circle, is a curve of constant curvature where all the perpendicular geodesics ( normals) through a point on a horocycle are limiting parallel, and all converge asymptotically to a single ideal point called the centre of the horocycle. In some models of hyperbolic geometry it looks like the two "ends" of a horocycle get closer and closer to each other and closer to its centre, this is not true; the two "ends" of a horocycle get further and further away from each other and stay at an infinite distance off its centre. The horosphere is the 3 dimensional version of a horocycle

<span class="mw-page-title-main">Euclidean plane</span> Geometric model of the planar projection of the physical universe

In mathematics, a Euclidean plane is a Euclidean space of dimension two, denoted $or . It is a geometric space in which two real numbers are required to determine the position of each point. It is an affine space, which includes in particular the concept of parallel lines. It has also metrical properties induced by a distance, which allows to define circles, and angle measurement.$

A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though it was sometimes called as a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties.

In geometry, the Poincaré disk model, also called the conformal disk model, is a model of 2-dimensional hyperbolic geometry in which all points are inside the unit disk, and straight lines are either circular arcs contained within the disk that are orthogonal to the unit circle or diameters of the unit circle.

<span class="mw-page-title-main">Steiner conic</span>

The Steiner conic or more precisely Steiner's generation of a conic, named after the Swiss mathematician Jakob Steiner, is an alternative method to define a non-degenerate projective conic section in a projective plane over a field.

In the hyperbolic plane, as in the Euclidean plane, each point can be uniquely identified by two real numbers. Several qualitatively different ways of coordinatizing the plane in hyperbolic geometry are used.

<span class="mw-page-title-main">Constructions in hyperbolic geometry</span>

Hyperbolic geometry is a non-Euclidean geometry where the first four axioms of Euclidean geometry are kept but the fifth axiom, the parallel postulate, is changed. The fifth axiom of hyperbolic geometry says that given a line L and a point P not on that line, there are at least two lines passing through P that are parallel to L. As in Euclidean geometry, where ancient Greek mathematicians used a compass and idealized ruler for constructions of lengths, angles, and other geometric figures, constructions can also be made in hyperbolic geometry.

References

↑ Martin, George E. (1986). The foundations of geometry and the non-euclidean plane (1., corr. Springer ed.). New York: Springer-Verlag. p. 371. ISBN 3-540-90694-0.
↑ Smogorzhevsky, A.S. (1982). Lobachevskian geometry . Moscow: Mir. p. 68.

Martin Gardner, Non-Euclidean Geometry, Chapter 4 of The Colossal Book of Mathematics, W. W. Norton & Company, 2001, ISBN 978-0-393-02023-6
M. J. Greenberg, Euclidean and Non-Euclidean Geometries: Development and History, 3rd edition, W. H. Freeman, 1994.
George E. Martin, The Foundations of Geometry and the Non-Euclidean Plane, Springer-Verlag, 1975.
J. G. Ratcliffe, Foundation of Hyperbolic Manifolds, Springer, New York, 1994.
David C. Royster, Neutral and Non-Euclidean Geometries.
J. Sarli, Conics in the hyperbolic plane intrinsic to the collineation group, J. Geom. 103: 131-138 (2012)

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Martin, George E. (1986). The foundations of geometry and the non-euclidean plane (1., corr. Springer ed.). New York: Springer-Verlag. p. 371. ISBN 3-540-90694-0.

[2] Smogorzhevsky, A.S. (1982). Lobachevskian geometry . Moscow: Mir. p. 68.

[1]

[2]