Arc Length of Parametric Curves — Finding Arc Lengths of...

SECTION 1

Historical Context & Motivation

The problem of measuring the length of a curve — a problem that may seem intuitive when one holds a piece of string against a path — has deep mathematical roots stretching back to antiquity. Ancient Greek geometers, most notably Archimedes, grappled with the challenge of rectification: finding a straight-line segment equal in length to a given curve. Archimedes approximated the circumference of a circle by inscribing and circumscribing regular polygons, effectively anticipating the limit processes that would formalize centuries later. The transition from geometric approximations to analytic formulas for arc length required two parallel developments: the invention of calculus in the seventeenth century and the systematic use of parametric equations to describe curves that cannot be expressed as single-valued functions y = f(x).

~250 BCE

Archimedes and Rectification

Archimedes approximates π and the circumference of a circle using inscribed 96-gons, establishing the first rigorous approach to measuring curved lengths via polygonal approximation.

1637

Descartes' Parametric Thinking

René Descartes publishes La Géométrie, merging algebra and geometry. His coordinate framework paves the way for expressing curves as pairs of equations x(t) and y(t).

1660s

Newton & Leibniz Develop Calculus

The independent development of infinitesimal calculus provides the integral machinery necessary to sum infinitely many infinitesimal chord lengths along a curve.

1696

The Brachistochrone Problem

Johann Bernoulli poses the brachistochrone problem, whose solution — a cycloid — is most naturally described parametrically. Computing its arc length demands the parametric arc length formula, cementing its importance.

19th c.

Rigorization of the Integral

Cauchy, Riemann, and others formalize the definite integral, placing parametric arc length computations on solid analytic footing and extending the formula to space curves in ℝⁿ.

Today, the parametric arc length formula is a cornerstone of Calculus 2 and multivariable analysis. It answers a deceptively simple question: given a curve traced by (x(t), y(t)) as t varies from a to b, what is the total distance traveled along that curve? The sections that follow develop the formula from first principles, illustrate it visually, and put it to work on concrete examples.

SECTION 2

Core Principles & Definitions

Before deriving the arc length formula, it is essential to establish the key ideas that underpin it. A parametric curve in the plane is defined by a pair of continuous functions x = f(t) and y = g(t), where the parameter t ranges over some interval [a, b]. As t increases from a to b, the point (x(t), y(t)) traces a path in the xy-plane. The arc length formula rests on the idea of approximating this path by a sequence of line segments and then passing to a limit — precisely the philosophy that motivates the Riemann integral.

Parametric Representation

A curve C is given by x = f(t), y = g(t) for t ∈ [a, b], where f and g are continuously differentiable. The parameter t need not represent time — it is simply an independent variable that traces the curve.

Smooth Curves

A curve is smooth on [a, b] if f′(t) and g′(t) are continuous and not simultaneously zero (except possibly at the endpoints). Smoothness guarantees that the curve has a well-defined tangent direction everywhere.

Infinitesimal Chord Length

Over an infinitesimally small change dt, the displacement in x is dx = f′(t) dt and in y is dy = g′(t) dt. By the Pythagorean theorem, the infinitesimal arc element is ds = √(dx² + dy²).

Summation via Integration

The total arc length L is obtained by integrating ds from t = a to t = b. This mirrors the Riemann-sum construction: partition [a, b], approximate each sub-arc by a chord, and take the limit as the partition norm approaches zero.

✦ KEY TAKEAWAY

Think of the parametric arc length formula as a surveyor measuring a winding mountain road. Rather than trying to straighten the road, the surveyor uses GPS to record position changes in both east–west and north–south directions over tiny time intervals, computes each small segment length via the Pythagorean theorem, and sums them all. In the limit, this summation becomes an integral, and the result is the exact length of the road — no matter how it twists and turns.

SECTION 3

Visual Explanation

Polygonal Approximation of a Parametric Curve

The solid violet curve represents the parametric path C traced by (f(t), g(t)). The dashed cyan segments form a polygonal approximation by connecting sampled points at parameter values t₀, t₁, …, t₆. As the number of sample points increases (partition norm → 0), the total polygonal length converges to the true arc length L.

The diagram above illustrates the fundamental strategy behind the arc length formula. We partition the parameter interval [a, b] into n sub-intervals using points a = t₀ < t₁ < ⋯ < tₙ = b. For each sub-interval [tᵢ₋₁, tᵢ], we connect the corresponding curve points by a straight chord. The length of the i-th chord is given by the distance formula: √((Δxᵢ)² + (Δyᵢ)²), where Δxᵢ = f(tᵢ) − f(tᵢ₋₁) and Δyᵢ = g(tᵢ) − g(tᵢ₋₁). Summing these chord lengths yields a polygonal approximation to L. By the Mean Value Theorem, each difference Δxᵢ = f′(cᵢ) Δtᵢ and Δyᵢ = g′(dᵢ) Δtᵢ for some intermediate values cᵢ and dᵢ, and as the partition becomes infinitely fine, the sum converges to the definite integral that defines arc length.

SECTION 4

Mathematical Framework

Derivation of the Parametric Arc Length Formula

Let C be a smooth curve given by x = f(t), y = g(t) for t ∈ [a, b], where f′ and g′ are continuous. Partition [a, b] into n sub-intervals of width Δtᵢ = tᵢ − tᵢ₋₁. The chord connecting successive points has length:

CHORD LENGTH

ΔLᵢ = √( [f(tᵢ) − f(tᵢ₋₁)]² + [g(tᵢ) − g(tᵢ₋₁)]² )

Applying the Mean Value Theorem: f(tᵢ) − f(tᵢ₋₁) = f′(cᵢ)Δtᵢ and g(tᵢ) − g(tᵢ₋₁) = g′(dᵢ)Δtᵢ for some cᵢ, dᵢ ∈ (tᵢ₋₁, tᵢ). Substituting and factoring out Δtᵢ gives ΔLᵢ = √( [f′(cᵢ)]² + [g′(dᵢ)]² ) Δtᵢ.

The total polygonal length is the Riemann-like sum Σ ΔLᵢ. Under the continuity hypotheses on f′ and g′, as n → ∞ and max(Δtᵢ) → 0, this sum converges to a definite integral. The subtlety that cᵢ and dᵢ may differ is resolved because both converge to the same evaluation point in the limit (a consequence of uniform continuity). The result is the parametric arc length formula:

PARAMETRIC ARC LENGTH FORMULA

L = ∫ₐᵇ √( [f′(t)]² + [g′(t)]² ) dt

L = total arc length; f′(t) = dx/dt; g′(t) = dy/dt; [a, b] = parameter interval. The integrand √((dx/dt)² + (dy/dt)²) is the speed of the point tracing the curve.

Differential Form

ARC LENGTH ELEMENT

ds = √( (dx)² + (dy)² ) = √( (dx/dt)² + (dy/dt)² ) dt

Here ds denotes the infinitesimal arc element. This differential form is especially useful when changing parameterizations or converting to polar coordinates, where x = r cos θ and y = r sin θ.

Special Case: y = h(x)

CARTESIAN ARC LENGTH

L = ∫ₐᵇ √( 1 + [h′(x)]² ) dx

When the curve is given explicitly as y = h(x), we may parameterize by t = x so that f(t) = t and g(t) = h(t). Then f′(t) = 1 and the formula reduces to this familiar Calculus 1 result.

⚠ Smoothness Condition

The formula requires that f′(t) and g′(t) are continuous and not simultaneously zero on (a, b). If both derivatives vanish at some interior point, the curve may have a cusp, and the arc length integral may need to be split at that point. Always check smoothness before applying the formula to the entire interval.

SECTION 5

Arc Length of Classic Parametric Curves

The parametric arc length formula applies to an enormous variety of curves. Below we examine several classic examples that recur throughout mathematics and physics, each illustrating a different feature of the computation. The accompanying diagram displays three of these curves — a circle, a cycloid, and an astroid — with their respective arc length integrands.

Three classic parametric curves with their arc length computations. The circle yields the simplest integrand (ds = dt), the cycloid requires a trigonometric identity, and the astroid involves absolute values due to sign changes of the derivatives.

Arc length computations for four fundamental parametric curves

Curve	Parametrization	Integrand √((dx/dt)² + (dy/dt)²)	Arc Length L
Circle (radius r)	x = r cos t, y = r sin t, t ∈ [0, 2π]	r	2πr
Cycloid (one arch)	x = t − sin t, y = 1 − cos t, t ∈ [0, 2π]	√(2 − 2 cos t) = 2\|sin(t/2)\|	8
Astroid	x = cos³t, y = sin³t, t ∈ [0, 2π]	3\|sin t cos t\|	6
Ellipse (semi-axes a, b)	x = a cos t, y = b sin t, t ∈ [0, 2π]	√(a² sin²t + b² cos²t)	Elliptic integral (no closed form)

💡 Why the Ellipse Has No Closed Form

The arc length of an ellipse (when a ≠ b) leads to an elliptic integral of the second kind, which cannot be expressed in terms of elementary functions. This fact, discovered in the 18th century, was one of the motivations for developing the theory of elliptic integrals and functions — a major chapter in the history of analysis.

SECTION 6

Worked Example

Arc Length of One Arch of a Cycloid

Find the arc length of one arch of the cycloid given by x = t − sin t, y = 1 − cos t, for t ∈ [0, 2π].

Cycloid Arc Length — Full Solution

Step 1 — Compute the DerivativesDifferentiate the parametric equations with respect to t. We obtain dx/dt = 1 − cos t and dy/dt = sin t.

dx/dt = 1 − cos t, dy/dt = sin t

Step 2 — Form the IntegrandSquare each derivative and add: (dx/dt)² + (dy/dt)² = (1 − cos t)² + sin²t = 1 − 2 cos t + cos²t + sin²t = 2 − 2 cos t. Take the square root to get the speed: √(2 − 2 cos t).

√((dx/dt)² + (dy/dt)²) = √(2 − 2 cos t)

Step 3 — Apply a Trigonometric IdentityUse the half-angle identity: 1 − cos t = 2 sin²(t/2). Therefore 2 − 2 cos t = 4 sin²(t/2), and √(2 − 2 cos t) = 2|sin(t/2)|. Since t ∈ [0, 2π], we have t/2 ∈ [0, π], so sin(t/2) ≥ 0, and the absolute value can be dropped.

√(2 − 2 cos t) = 2 sin(t/2)

Step 4 — Set Up and Evaluate the IntegralThe arc length is L = ∫₀²π 2 sin(t/2) dt. Let u = t/2, so du = dt/2 (or dt = 2 du). When t = 0, u = 0; when t = 2π, u = π. Thus L = ∫₀π 2 sin u · 2 du = 4 ∫₀π sin u du = 4 [−cos u]₀π = 4(−cos π + cos 0) = 4(1 + 1) = 8.

L = 8

Step 5 — Interpret the ResultThe arc length of one arch of the cycloid is exactly 8 times the radius of the generating circle (here r = 1). This elegant result — that the cycloid's arch length equals 8r — was first discovered by Christopher Wren in 1658, making it one of the earliest successful rectifications of a transcendental curve.

SECTION 7

Strengths, Limitations & Comparisons

The parametric arc length formula is remarkably versatile, but it is important to understand both its strengths and the situations where it may present difficulties. Below, we compare parametric arc length with two other formulations: the Cartesian form and the polar form.

Comparison of three arc length formulations

Feature	Parametric: L = ∫√((dx/dt)² + (dy/dt)²) dt	Cartesian: L = ∫√(1 + (dy/dx)²) dx	Polar: L = ∫√(r² + (dr/dθ)²) dθ
Generality	Most general — handles self-intersections, closed curves, vertical tangents, and space curves.	Restricted to graphs y = f(x); fails at vertical tangents.	Ideal for curves naturally described in polar form; less intuitive for Cartesian shapes.
Ease of Setup	Requires two derivative computations but is systematic and mechanical.	Simplest setup when y = f(x) is given explicitly.	Straightforward when r = f(θ) is given.
Evaluation Difficulty	Integrals often require trig identities, substitution, or numerical methods.	Same integrability challenges; the 1 under the radical sometimes simplifies things.	Similar algebraic complexity to parametric form.
Relation to Speed	Integrand equals the speed \|r′(t)\|; direct physical meaning when t = time.	No direct speed interpretation.	No direct speed interpretation unless θ is parameterized by time.

✦ WHEN TO CHOOSE PARAMETRIC

The parametric formula is the Swiss Army knife of arc length calculations. Whenever a curve is not the graph of a single function — for instance, a circle, a Lissajous figure, or an epicycloid — the parametric approach is the natural (and often the only) choice. Even when a Cartesian or polar formula applies, rewriting the curve parametrically can simplify the integrand by exploiting trigonometric parameterizations.

SECTION 8

Connections to Advanced Theory

The parametric arc length formula extends naturally in several directions. In multivariable calculus, a space curve given by r(t) = ⟨x(t), y(t), z(t)⟩ has arc length L = ∫ₐᵇ |r′(t)| dt = ∫ₐᵇ √((dx/dt)² + (dy/dt)² + (dz/dt)²) dt. The integrand |r′(t)| is the speed of a particle moving along the curve, and the arc length function s(t) = ∫ₐᵗ |r′(u)| du defines the arc length parameterization — a preferred parameterization in differential geometry because the tangent vector has unit length. This leads to the notions of curvature, torsion, and the Frenet–Serret frame.

From Calculus 2 arc length to advanced differential geometry

Concept	This Lesson (Calculus 2)	Advanced Extension
Dimension	Plane curves in ℝ²	Space curves in ℝ³ (and ℝⁿ)
Arc Length Element	ds = √((dx/dt)² + (dy/dt)²) dt	ds = √(gᵢⱼ dxⁱ dxʲ) — Riemannian metric on a manifold
Curvature	κ = \|x′y″ − y′x″\| / (x′² + y′²)^(3/2)	κ = \|T′(s)\| via arc length parameterization; Gaussian curvature for surfaces
Applications	Length of plane curves, surface area of revolution	Line integrals, geodesics in general relativity, robot path planning

Another immediate application within Calculus 2 is computing the surface area of revolution. When a parametric curve is revolved about the x-axis, the resulting surface area is S = 2π ∫ₐᵇ y(t) √((dx/dt)² + (dy/dt)²) dt. Notice that the arc length element ds appears directly — understanding parametric arc length is therefore a prerequisite for surface area calculations. More broadly, the line integral ∫_C f ds (integrating a scalar function along a curve) generalizes the arc length integral (where f ≡ 1) and is fundamental to physics and engineering applications such as computing work, mass of a wire, and center of mass.

SECTION 9

Practice Problems

PROBLEM 1 — CONCEPTUAL

Explain why the arc length formula L = ∫ₐᵇ √((dx/dt)² + (dy/dt)²) dt requires the condition that dx/dt and dy/dt are not simultaneously zero on the open interval (a, b). What geometric feature could arise if this condition is violated, and how might it affect the computation?

PROBLEM 2 — BASIC CALCULATION

Find the arc length of the curve x = 3t², y = 2t³ for t ∈ [0, 1].

PROBLEM 3 — INTERMEDIATE

Find the arc length of the curve x = eᵗ cos t, y = eᵗ sin t for t ∈ [0, π]. (This is a segment of a logarithmic spiral.)

PROBLEM 4 — APPLIED

A robotic arm traces the path x(t) = 4 cos t, y(t) = 3 sin t for t ∈ [0, 2π], which is an ellipse with semi-major axis a = 4 and semi-minor axis b = 3. Set up the arc length integral and use the fact that the exact arc length of an ellipse involves an elliptic integral to approximate L numerically. You may use the approximation L ≈ π[3(a + b) − √((3a + b)(a + 3b))] (Ramanujan's formula).

PROBLEM 5 — CRITICAL THINKING

Prove that reparameterizing a smooth curve does not change its arc length. Specifically, if C is given by x = f(t), y = g(t) for t ∈ [a, b] and we introduce a new parameter u via t = φ(u) where φ : [c, d] → [a, b] is a C¹ bijection with φ′(u) > 0, show that the arc length computed using the u-parameterization equals the arc length computed using t.

SUMMARY

Summary & Review

The arc length of a parametric curve x = f(t), y = g(t) on [a, b] is computed by the integral L = ∫ₐᵇ √((dx/dt)² + (dy/dt)²) dt. This formula arises from the polygonal approximation strategy: partition the parameter interval, approximate the curve by chords using the Pythagorean theorem, and pass to the limit via a Riemann integral. The integrand √((dx/dt)² + (dy/dt)²) equals the speed of the point tracing the curve, and the formula requires that the curve is smooth — meaning f′ and g′ are continuous and not simultaneously zero.

Key computational techniques include using trigonometric identities (such as half-angle formulas for the cycloid), u-substitution, and recognizing when integrands simplify (as with the logarithmic spiral). Some curves, such as the ellipse, yield elliptic integrals that have no closed-form solution and require numerical or approximate methods. The parametric arc length formula is the most general arc length formulation, subsuming the Cartesian and polar cases as special instances, and it extends directly to space curves in ℝ³, surface area of revolution, and line integrals in multivariable calculus.