Intrinsic Equation of a Curve¶

A representation of curve shape by relations among arc length, tangent angle, curvature, and torsion that suppresses arbitrary position and coordinate frame.

Version: v3 · 2026-09-19 · History
Domain-specific #: 2095
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Differential Geometry, Curve Theory → Mathematics
Aliases: Intrinsic equation, Natural equation of a curve

Core Idea¶

An intrinsic equation of a curve represents its shape through relations among quantities attached to the curve itself, rather than through coordinates in an ambient frame. Common forms use arc length \(s\), tangent angle \(\theta\), curvature \(\kappa\), radius of curvature \(\rho=1/\kappa\) where defined, and, for a space curve, torsion \(\tau\). A natural equation specifies \(\kappa(s)\) and \(\tau(s)\); a Whewell equation relates \(s\) and \(\theta\); and a Cesàro equation relates \(s\) and \(\kappa\) or \(\rho\).

The abstraction removes arbitrary placement while preserving information sufficient, under appropriate regularity and nondegeneracy hypotheses, to reconstruct a curve up to a rigid motion.

How would you explain it like I'm…

Walk-and-Turn Directions

You can describe a wiggly path without a map, just by saying, 'Walk this far, and turn this much as you go.' Anyone who follows those steps draws the same shape. It might end up in a different spot or facing a different way, but the shape is the same.

Shape From Its Own Bends

Usually we describe a curve with a map grid, giving x and y positions. An intrinsic equation describes the curve using only things measured along the curve itself, like how far you've traveled along it and how sharply it's bending there. This kind of description doesn't care where the curve sits or which way it's turned. If you know how the bending changes as you travel, you can redraw the same shape. It might end up in a different place or rotated, but the shape is identical.

Coordinate-Free Curve Description

An intrinsic equation of a curve describes its shape through relationships among quantities belonging to the curve itself, not coordinates. Common ones are arc length s (distance along the curve), tangent angle θ, curvature κ (how sharply it bends), radius of curvature ρ = 1/κ, and for 3D curves torsion τ (how it twists out of a plane). A Whewell equation relates s and θ; a Cesàro equation relates s and κ or ρ; a natural equation gives κ(s) and τ(s). This strips away where the curve is placed, but under suitable smoothness conditions it keeps enough information to rebuild the curve up to a rigid motion (a shift and rotation). That is a stronger, more specific idea than simply saying something doesn't depend on coordinates.

An intrinsic equation represents a curve by relations among invariants defined along the curve rather than by coordinates in an ambient frame. The standard ingredients are arc length s, tangent angle θ, curvature κ, radius of curvature ρ = 1/κ where κ ≠ 0, and torsion τ for space curves. Named forms include the Whewell equation (s versus θ), the Cesàro equation (s versus κ or ρ), and the natural equations κ(s), τ(s). The warrant for treating these as complete shape descriptions is the fundamental theorem of curves: given sufficiently regular functions κ(s) > 0 and τ(s), there is a unit-speed space curve with that curvature and torsion, unique up to an orientation-preserving Euclidean motion. The positive-curvature hypothesis is needed so the Frenet frame is defined. Thus the intrinsic description quotients out placement while retaining exactly the shape, which is more than writing an arbitrary differential equation and more specific than generic coordinate invariance.

Scope of Application¶

The abstraction belongs to classical differential geometry and curve theory. It supports classification of plane and space curves, construction of curves with prescribed curvature or torsion, recognition of circles and helices, and comparison of curves independent of placement. Struik explicitly treats curvature and torsion as natural or intrinsic equations and connects them to the fundamental existence theorem.

It also appears in geometric mechanics. A slender rod or elastica can be represented by curvature and, in spatial models, torsion along material arc length.

Clarity¶

For a unit-speed plane curve, write its unit tangent as \(T(s)=(\cos\theta(s),\sin\theta(s))\). With signed-curvature convention fixed,

\[ \kappa(s)=\frac{d\theta}{ds},\qquad r(s)=r(s_0)+\int_{s_0}^{s}(\cos\theta(u),\sin\theta(u))\,du. \]

Thus \(\kappa(s)\) determines \(\theta\) up to an initial angle and then determines \(r\) up to an initial point. Those two constants are precisely rotational and translational placement.

Manages Complexity¶

Coordinate descriptions mingle shape with where the curve happens to sit and how axes happen to be oriented. Intrinsic equations compress all congruent coordinate presentations into one shape description. That makes congruence testing, curve reconstruction, variational calculation, and symmetry detection more tractable.

The compression is also modular. Plane-curve reconstruction separates curvature integration, tangent reconstruction, and position integration. Space-curve reconstruction separates the two scalar invariants from the moving-frame initial condition.

Abstract Reasoning¶

If two sufficiently regular unit-speed plane curves have the same signed curvature as functions of corresponding arc length, they are related by an orientation-preserving rigid motion. If two regular space curves with positive curvature have the same \(\kappa(s)\) and \(\tau(s)\), the same conclusion holds in three dimensions. This yields a practical equivalence test without solving for Cartesian coordinates first.

Knowledge Transfer¶

Natural-equation reasoning transfers exactly among plane curves, space curves, curve reconstruction, and rod centerlines when the same arc-length and curvature/torsion roles remain. The specific choice of intrinsic variables can change: a Whewell relation packages \(s\) with \(\theta\), while a Cesàro relation packages \(s\) with \(\kappa\) or \(\rho\). Their common operation is quotienting arbitrary placement while retaining a reconstructive shape signature.

Relationships to Other Abstractions¶

Current abstraction Intrinsic Equation of a Curve Domain-specific

Parents (1) — outgoing typed relations

Intrinsic Equation of a Curve presupposes Invariance Prime

Invariance is the broader abstraction this entry instantiates.

Hierarchy path (1) — routes to 1 parentless root

Intrinsic Equation of a Curve → presupposes Invariance

Neighborhood in Abstraction Space¶

Intrinsic Equation of a Curve sits in a sparse region of the domain-specific corpus (78^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

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