Arc Length of Parametric Curves — Finding Arc Lengths of Curves Given By Parametric Equations - Calculus 2

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.

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)

Arc length computations for four fundamental parametric curves

ℹ

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

1
Step 1 — Compute the Derivatives

Differentiate 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
2
Step 2 — Form the Integrand

Square 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)
3
Step 3 — Apply a Trigonometric Identity

Use 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)
4
Step 4 — Set Up and Evaluate the Integral

The 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
5
Step 5 — Interpret the Result

The 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.

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.

Comparison of three arc length formulations

✦

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.

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

From Calculus 2 arc length to advanced differential geometry

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

Question 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?

Show answer

When dx/dt = 0 and dy/dt = 0 at some t = t₀ in (a, b), the velocity vector ⟨dx/dt, dy/dt⟩ is the zero vector at that point, meaning the curve has no well-defined tangent direction there. Geometrically, this can correspond to a cusp (a sharp corner where the curve reverses direction) or a point where the parameterization momentarily stops and potentially retraces its path. If the curve has a cusp, the arc length integral may still converge, but you should split the interval at t₀ and verify smoothness on each sub-interval. If the parameterization stalls (e.g., x(t) = t³, y(t) = t³ near t = 0), the formula may undercount or produce an integrand that is technically zero at an interior point, complicating the analysis of continuity required for the Riemann integral derivation.

Question 2: BASIC CALCULATION

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

Show answer

First, compute the derivatives: dx/dt = 6t and dy/dt = 6t². The integrand becomes √((6t)² + (6t²)²) = √(36t² + 36t⁴) = 6t√(1 + t²), noting that t ≥ 0 on [0, 1]. The arc length is L = ∫₀¹ 6t√(1 + t²) dt. Use the substitution u = 1 + t², so du = 2t dt. When t = 0, u = 1; when t = 1, u = 2. Then L = 3 ∫₁² √u du = 3 · [⅔

u^{3/2}

]₁² = 2(

2^{3/2}

− 1) = 2(2√2 − 1) = 4√2 − 2 ≈ 3.657.

Question 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.)

Show answer

Differentiate using the product rule: dx/dt = eᵗ cos t − eᵗ sin t = eᵗ(cos t − sin t) and dy/dt = eᵗ sin t + eᵗ cos t = eᵗ(sin t + cos t). Squaring and adding: (dx/dt)² + (dy/dt)² = e²ᵗ[(cos t − sin t)² + (sin t + cos t)²]. Expanding both squares: (cos²t − 2 sin t cos t + sin²t) + (sin²t + 2 sin t cos t + cos²t) = 1 − 2 sin t cos t + 1 + 2 sin t cos t = 2. So the integrand simplifies to eᵗ√2. The arc length is L = ∫₀π √2 eᵗ dt = √2 [eᵗ]₀π = √2(eπ − 1) ≈ √2 × 22.141 ≈ 31.31. The elegant simplification to √2 eᵗ is a hallmark of the equiangular (logarithmic) spiral.

Question 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).

Show answer

The derivatives are dx/dt = −4 sin t and dy/dt = 3 cos t. The integrand is √(16 sin²t + 9 cos²t) = √(9 + 7 sin²t), using cos²t = 1 − sin²t. The exact arc length integral is L = ∫₀²π √(9 + 7 sin²t) dt = 4 ∫₀^(π/2) √(16 sin²t + 9 cos²t) dt, which is an elliptic integral of the second kind E(k) with k² = 1 − (b/a)² = 7/16. This integral has no closed-form expression in elementary functions. Using Ramanujan's approximation: L ≈ π[3(4 + 3) − √((12 + 3)(4 + 9))] = π[21 − √(15 × 13)] = π[21 − √195] ≈ π[21 − 13.964] ≈ π(7.036) ≈ 22.103. The exact value from numerical integration is approximately 22.1035, confirming Ramanujan's formula is remarkably accurate.

Question 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.

Show answer

Under the reparameterization t = φ(u), the curve becomes x = f(φ(u)), y = g(φ(u)) for u ∈ [c, d]. By the chain rule, dx/du = f′(φ(u)) · φ′(u) and dy/du = g′(φ(u)) · φ′(u). Substituting into the arc length formula:

L_u

= ∫_c^d √((f′(φ(u)))² (φ′(u))² + (g′(φ(u)))² (φ′(u))²) du = ∫_c^d √((f′(φ(u)))² + (g′(φ(u)))²) |φ′(u)| du. Since φ′(u) > 0 by hypothesis, |φ′(u)| = φ′(u). Now apply the substitution t = φ(u), dt = φ′(u) du, with limits φ(c) = a and φ(d) = b:

L_u

= ∫_a^b √((f′(t))² + (g′(t))²) dt =

L_t

. This proves that arc length is a geometric invariant of the curve, independent of parameterization — a fact that is philosophically essential, since the length of a physical path should not depend on the speed at which we traverse it.

SUMMARY

Summary & Review

Summary

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.