Hypercycle (Geometry)¶

A one-sided curve in the hyperbolic plane whose points all lie at the same positive perpendicular distance from a fixed geodesic axis.

Version: v1 · 2026-09-28 · History
Domain-specific #: 9943
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Hyperbolic Geometry → Mathematics
Aliases: Equidistant curve, Distance line, Hypercircle

Core Idea¶

Choose a hyperbolic geodesic and a positive distance. The points at that perpendicular distance form two equidistant curves, one on each side; choosing a side gives a hypercycle. Common perpendicular geodesics provide its normals and radii.

Hypercycles are unbounded but not geodesics, and they have constant geodesic curvature. They differ from circles, which are equidistant from a point, and from horocycles, which arise as ideal limiting objects.

Structural Signature¶

Sig role-phrases:

Hyperbolic plane — Provides negative-curvature metric. It is ambient geometry. Counterfactual: Euclidean parallels are not hypercycles in this sense.
Geodesic axis — Supplies the reference straight line. It is reference. Counterfactual: No axis means no equidistant-locus definition.
Perpendicular distance — Measures the shortest geodesic separation from axis. It is invariant. Counterfactual: Coordinate offset is not sufficient.
Positive radius — Sets the common distance. It is parameter. Counterfactual: Radius zero collapses to the axis.
Side choice — Selects one of two disjoint equidistant curves. It is orientation. Counterfactual: Distance alone yields both sides.
Normal geodesics — Connect corresponding points orthogonally and witness the distance. It is structural relation. Counterfactual: Arbitrary connectors do not establish equidistance.

What It Is Not¶

It is not a Euclidean parallel line.
It is not a hyperbolic circle.
It is not a horocycle at finite radius.
Both side components should not be conflated with one hypercycle.
Closest near-miss. A horocycle is a limiting constant-curvature curve associated with an ideal point; a finite-radius hypercycle remains equidistant from an ordinary geodesic.

Scope of Application¶

Hyperbolic geometry. Studies equidistant curves.
Differential geometry. Relates radius to geodesic curvature.
Geometric constructions. Uses axes, normals, and tangent limits.
Models of geometry. Represents the locus in disk or half-plane coordinates.

Clarity¶

State curvature normalization/model, axis geodesic, radius, side, perpendicular-distance convention, parametrization, normal orientation, and whether claims concern exact curve, both components, or a horocycle limit.

Manages Complexity¶

The locus translates Euclidean offset intuition into negative curvature, where finite equidistance produces a curved unbounded object with ideal asymptotics.

Abstract Reasoning¶

Choose the hyperbolic plane and geodesic axis.
Fix positive perpendicular distance.
Select one side.
Construct points along axis normals.
Verify distance, curvature, and limiting claims in the chosen model.

Knowledge Transfer¶

Coordinate formulas transfer between hyperbolic models only through an isometry preserving geodesics and distances; Euclidean visual spacing in a conformal model is not hyperbolic distance.

Examples¶

Canonical¶

Fix a hyperbolic geodesic l and point P outside it; all points on P's side whose perpendicular distance to l equals d(P,l) form the unique hypercycle through P with axis l.

Mapped back: plane → hyperbolic; axis → l; distance → fixed; side → P side; normals → perpendicular.

Applied / In Practice¶

All points at fixed distance from one point form a hyperbolic circle, not a hypercycle, because the reference is a center rather than a geodesic.

Mapped back: reference → point; locus → circle; axis → absent.

Structural Tensions¶

T1 — Line-Like Extension versus Circle-Like Curvature. A hypercycle is unbounded like a line yet has constant curvature and distance geometry resembling offset curves.

Diagnostic: Is the reference object a geodesic or a center point?

T2 — Finite Radius versus Ideal Limit. Increasing distance changes geodesic curvature and approaches a horocycle without reaching it at finite radius.

Diagnostic: Is a statement exact or asymptotic?

Structural–Framed Character¶

Hypercycle is structural as a fixed-distance locus from a geodesic in negative curvature.

Structural Core vs. Domain Accent¶

The core is metric space, axis, perpendicular distance, side, and locus. Hyperbolic geometry supplies curvature, ideal boundary, models, and horocycle limit.

This entry is a kind of Curve.

Approved root. No reviewed parent entails this hyperbolic curve.
Related — geodesic, horocycle, hyperbolic circle, equidistant curve, and geodesic curvature. They provide axis, limit, contrast, family, and invariant.

Relationships to Other Abstractions¶

Current abstraction Hypercycle (Geometry) Domain-specific

Parents (1) — more general patterns this builds on

Hypercycle (Geometry) is a kind of Curve Domain-specific

Hypercycle (Geometry) is a strict kind of Curve: it is the hyperbolic-plane curve at fixed perpendicular distance from a geodesic.

Hierarchy paths (2) — routes to 2 parentless roots

Hypercycle (Geometry) → Curve → Continuity → Neighborhood → Topology

Show alternative path (1)

Neighborhood in Abstraction Space¶

Hypercycle (Geometry) sits in a moderately populated region (42^nd percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Coordinate Systems & Spatial Measures (29 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Horocycle. Tell: Is tied to an ideal point and limiting radius.
Hyperbolic circle. Tell: Is equidistant from a point.
Geodesic. Tell: Has zero geodesic curvature.
Euclidean offset. Tell: Uses a different metric and curvature relation.

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Hypercycle_(geometry) (revision 1345640760).
Preserved source candidate: https://archive.org/details/lobachevskiangeo00smog
Preserved source candidate: https://archive.org/details/lobachevskiangeo00smog/page/n68
Preserved source candidate: https://www.ms.uky.edu/~droyster/courses/spring04/classnotes/Chapter%2010.pdf

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.