Arc Length & Distance Traveled — The Arc Length of a Smooth, Planar Curve and Distance Traveled - Calculus 2

SECTION 1

Historical Context & Motivation

The problem of measuring the length of a curve has captivated mathematicians for millennia. Ancient Greek geometers could compute the circumference of a circle using inscribed polygons — a technique Archimedes refined to extraordinary precision around 250 BCE — but they lacked a general method for measuring arbitrary curved paths. The fundamental difficulty lies in the fact that a curve is not straight: one cannot simply lay a ruler along it. Instead, mathematicians needed a way to approximate a curve by many short, nearly straight segments and then take a limit as those segments become infinitesimally small. This insight, which belongs to the era of infinitesimal calculus, did not fully crystallize until the seventeenth century.

The development of arc length computation is deeply intertwined with the broader creation of integral calculus. As Newton, Leibniz, and their contemporaries developed techniques for summing infinitesimal quantities, the idea of expressing the length of a curve as a definite integral emerged naturally. The concept also gained practical urgency from navigation, where computing the distance traveled by a ship along a curved path on the Earth's surface was essential for cartography and trade.

c. 250 BCE • Archimedes' Method of Exhaustion

Archimedes approximated the circumference of a circle by inscribing and circumscribing regular polygons with up to 96 sides, bounding π between 3 10/71 and 3 1/7. This polygon-approximation idea foreshadowed the modern arc length integral.

1659 • Hendrick van Heuraet's Rectification

Van Heuraet published the first general method for rectifying (finding the length of) algebraic curves, reducing the problem to computing an area under a related curve — an early form of the arc length integral.

1660s–1680s • Newton & Leibniz Formalize Calculus

The independent development of calculus by Newton and Leibniz provided the theoretical framework — limits, derivatives, and integrals — needed to express arc length as a definite integral involving the derivative of the curve.

18th Century • Euler's Parametric Generalizations

Leonhard Euler extended the arc length formula to parametric curves and developed systematic techniques for evaluating the resulting integrals, connecting arc length to differential geometry and physics.

The central question this lesson addresses is deceptively simple: given a smooth curve defined by a function or a set of parametric equations, how do we compute its exact length? The answer relies on the Pythagorean theorem applied at the infinitesimal level, summed via integration — a beautiful synthesis of geometry and analysis.

SECTION 2

Core Principles & Definitions

Before deriving the arc length integral, we must establish several foundational ideas. The concept of a smooth curve is essential: we require the derivative to exist and be continuous on the interval of interest, ensuring the curve has no cusps or corners where the tangent direction changes abruptly. The derivation of the arc length formula rests on the idea of partitioning the curve into small segments, approximating each segment as a straight line, and then passing to the limit — a process that mirrors the construction of the Riemann integral.

Smooth Curve (C¹ Curve)

A planar curve y = f(x) is smooth on [a, b] if f ′(x) is continuous on [a, b]. For parametric curves, both x′(t) and y′(t) must be continuous and not simultaneously zero.

Infinitesimal Arc Element ds

The differential arc length element ds = √(dx² + dy²) captures the Pythagorean relationship at the infinitesimal scale. It represents the length of an infinitesimally short piece of the curve.

Rectifiability

A curve is rectifiable if the supremum of the lengths of all inscribed polygonal approximations is finite. Smooth curves are always rectifiable, guaranteeing the arc length integral converges.

Distance vs. Displacement

Arc length measures total distance traveled along the curve regardless of direction. Displacement is the straight-line vector from start to finish. Arc length ≥ |displacement|, with equality only for straight-line paths.

✦

KEY TAKEAWAY

Think of computing arc length like measuring a winding mountain road with a flexible tape measure. You cannot stretch a rigid ruler along it, but if you press the tape into every twist and turn — conforming to the road at every point — you capture the true distance. The arc length integral is the mathematical equivalent: it sums the hypotenuses of infinitely many right triangles formed by infinitesimal horizontal (dx) and vertical (dy) displacements, so ds = √(dx² + dy²) at every point along the curve.

SECTION 3

Visualizing the Arc Length Element

The following diagram illustrates the central geometric idea behind the arc length formula. A smooth curve y = f(x) is shown on the interval [a, b]. At a representative point, the curve is magnified to reveal a small right triangle whose horizontal leg is dx, whose vertical leg is dy = f ′(x) dx, and whose hypotenuse approximates the arc length element ds. As we shrink dx to zero, these hypotenuses tile the entire curve, and summing them yields the arc length integral.

A smooth curve y = f(x) on [a, b] with a magnified view showing the infinitesimal right triangle. The horizontal leg dx, vertical leg dy, and hypotenuse ds illustrate the Pythagorean relationship ds² = dx² + dy² at the core of the arc length formula.

Notice that the magnified triangle is a direct consequence of the Pythagorean theorem applied at the differential level. If you partition [a, b] into n subintervals of width Δx, each chord connecting successive points on the curve has length √(Δx² + Δy²). As n → ∞ and each Δx → 0, the sum of these chords converges to the integral ∫ₐᵇ √(1 + [f ′(x)]²) dx. This limiting process is precisely what transforms a geometric approximation into an exact answer — a hallmark of integral calculus.

SECTION 4

Mathematical Framework

We now derive the arc length formulas rigorously for three common representations of planar curves: explicit functions y = f(x), parametric curves, and polar curves. In each case the derivation begins with the differential arc length element ds and integrates it over the relevant domain.

Derivation for y = f(x)

Let f be a function whose derivative f ′ is continuous on [a, b]. Partition the interval into n subintervals with endpoints a = x₀ < x₁ < ⋯ < xₙ = b. The chord connecting (xᵢ₋₁, f(xᵢ₋₁)) to (xᵢ, f(xᵢ)) has length √((xᵢ − xᵢ₋₁)² + (f(xᵢ) − f(xᵢ₋₁))²). By the Mean Value Theorem, f(xᵢ) − f(xᵢ₋₁) = f ′(cᵢ)(xᵢ − xᵢ₋₁) for some cᵢ in (xᵢ₋₁, xᵢ). Setting Δxᵢ = xᵢ − xᵢ₋₁, each chord length becomes Δxᵢ √(1 + [f ′(cᵢ)]²). Summing over all chords and taking n → ∞ yields the Riemann integral.

ARC LENGTH — EXPLICIT FORM

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

L = total arc length; f ′(x) = dy/dx must be continuous on [a, b]; the integrand √(1 + [f ′(x)]²) is the speed of the curve when x is the parameter.

Parametric Curves

If the curve is given parametrically by x = g(t) and y = h(t) for t ∈ [α, β], the differential element becomes ds = √((dx/dt)² + (dy/dt)²) dt. This follows directly from ds² = dx² + dy² after dividing and multiplying by dt². The formula is more general and subsumes the explicit case (set t = x, g(t) = t, h(t) = f(t)).

ARC LENGTH — PARAMETRIC FORM

L = ∫_α^β √([g′(t)]² + [h′(t)]²) dt

g′(t) = dx/dt and h′(t) = dy/dt must be continuous; (g′(t))² + (h′(t))² ≠ 0 on (α, β) to prevent the curve from degenerating to a point.

Distance Traveled by a Particle

When a particle moves along a path with position (x(t), y(t)), the arc length from time α to β equals the total distance traveled. The integrand √([x′(t)]² + [y′(t)]²) is the particle's speed — the magnitude of the velocity vector. Hence, distance traveled equals the integral of speed with respect to time, a result that unifies the geometric concept of arc length with the kinematic concept of distance.

DISTANCE TRAVELED

D = ∫_α^β ‖v(t)‖ dt = ∫_α^β √([x′(t)]² + [y′(t)]²) dt

‖v(t)‖ is the speed (magnitude of velocity). For one-dimensional motion, this reduces to D = ∫_α^β |v(t)| dt, where the absolute value ensures we count distance regardless of direction.

⚠

Common Pitfall

Do not confuse distance traveled with displacement. Distance traveled = ∫|v(t)| dt is always non-negative and accounts for backtracking. Displacement = ∫v(t) dt can be positive, negative, or zero — it only gives the net change in position. For the same motion, a particle that moves forward 5 units and then backward 3 units has distance traveled = 8 but displacement = 2.

SECTION 5

Comparing Arc Length Formulas Across Representations

Planar curves can be expressed in multiple coordinate systems and representations, each of which yields a different-looking but mathematically equivalent arc length integral. The following diagram and table compare these formulas side by side, helping you select the most efficient form for a given problem. A curve defined in polar coordinates r = f(θ), for instance, is most naturally handled with the polar arc length formula rather than converting to Cartesian coordinates.

A comparison of arc length formulas across five common curve representations. Every formula derives from the same fundamental relationship ds² = dx² + dy²; the differences lie only in how dx and dy are expressed in terms of the chosen parameter.

Representation	Arc Length Formula	When to Use
y = f(x)	∫ₐᵇ √(1 + [f ′(x)]²) dx	Curve passes the vertical line test and f ′ is easily computed
x = g(y)	∫_c^d √(1 + [g′(y)]²) dy	Curve is more naturally written as a function of y (e.g., x = y²)
x(t), y(t)	∫_α^β √([x′(t)]² + [y′(t)]²) dt	Curve cannot be expressed as a single function, or is given parametrically
r = f(θ)	∫_α^β √(r² + [r′(θ)]²) dθ	Curve is given in polar coordinates (spirals, roses, cardioids)

Summary of arc length formulas by curve representation

SECTION 6

Worked Example: Arc Length and Distance Traveled

Example 1: Arc Length of y = $x^{3/2}$

Find the arc length of y = x^3/2 from x = 0 to x = 4.

Arc Length of y = $x^{3/2}$ on [0, 4]

1
Step 1 — Compute the Derivative

Differentiate y = x^3/2 using the power rule: dy/dx = (3/2)x^1/2. This derivative is continuous on [0, 4], confirming the curve is smooth.

f ′(x) = (3/2)√x
2
Step 2 — Form the Integrand

Compute 1 + [f ′(x)]² = 1 + (9/4)x. The arc length integrand is therefore √(1 + (9/4)x).

Integrand: √(1 + 9x/4)
3
Step 3 — Set Up the Integral

L = ∫₀⁴ √(1 + 9x/4) dx. This is a straightforward integral that can be evaluated via the substitution u = 1 + 9x/4, so du = (9/4) dx, i.e., dx = (4/9) du.

L = (4/9) ∫₁¹⁰ √u du
4
Step 4 — Evaluate the Integral

When x = 0, u = 1; when x = 4, u = 1 + 9 = 10. Integrating: (4/9) × (2/3) u^3/2 evaluated from 1 to 10 = (8/27)(10^3/2 − 1) = (8/27)(10√10 − 1).

L = (8/27)(10√10 − 1) ≈ 9.073

Example 2: Distance Traveled by a Particle

A particle moves in the plane with position x(t) = cos(t), y(t) = sin(t) for t ∈ [0, 2π]. Find the distance traveled.

Distance Traveled Around a Unit Circle

1
Step 1 — Compute the Velocity Components

x′(t) = −sin(t) and y′(t) = cos(t). Both are continuous for all t.

x′(t) = −sin(t), y′(t) = cos(t)
2
Step 2 — Compute the Speed

‖v(t)‖ = √(sin²(t) + cos²(t)) = √1 = 1. The particle moves at constant unit speed around the circle.

Speed = 1 for all t
3
Step 3 — Integrate

D = ∫₀²π 1 dt = 2π. This confirms what we know geometrically: the circumference of a unit circle is 2π.

Distance traveled = 2π ≈ 6.283

SECTION 7

Common Challenges & Practical Tips

While the arc length formula is elegant, evaluating the resulting integrals can be surprisingly difficult. The square root in the integrand often produces expressions that lack closed-form antiderivatives, and students frequently encounter integrals that require special techniques or numerical methods. The table below outlines common challenges alongside practical strategies for handling them.

Challenge	Why It Happens	Strategy
Integral has no closed form	√(1 + [f ′(x)]²) often produces non-elementary integrands, e.g., √(1 + cos²x)	Use numerical integration (Simpson's rule, technology). Recognize that many real-world arc length problems require numerical answers.
Choosing the wrong parameter	Writing x = g(y) instead of y = f(x) (or vice versa) may produce a simpler integral	Before integrating, check if the curve is easier to express with the other variable. For y = $x^{2/3}$ , try x = $y^{3/2}$ instead.
Forgetting absolute value for distance	In 1D, distance = ∫\|v(t)\| dt, not ∫v(t) dt	For distance traveled, always take ‖v(t)‖ (magnitude). Omitting the absolute value gives displacement, not distance.
Non-smooth curves (cusps)	If f ′(x) is undefined or discontinuous at a point, the smoothness condition is violated	Split the curve at the cusp and compute arc length as a sum of integrals over smooth pieces.
Algebraic complexity	Squaring f ′(x) and adding 1 can produce complicated expressions inside the radical	Look for functions designed to simplify: if f(x) = xⁿ/a + b/xⁿ, the cross terms may cancel inside the square root ("textbook-friendly" problems).

Common arc length difficulties and mitigation strategies

✦

KEY TAKEAWAY

In engineering and scientific computing, arc length integrals that arise from real data (e.g., a satellite's orbital path or a robot arm's trajectory) are almost always evaluated numerically. The closed-form examples you practice in this course — polynomials, carefully chosen radicals — are pedagogical: they train you to set up the integral correctly. In practice, once the integral is correctly formulated, a computer algebra system or numerical method handles the evaluation.

SECTION 8

Connection to Advanced Theory

The arc length integral serves as a gateway to several important concepts in advanced mathematics and physics. In differential geometry, the arc length parameter s (obtained by reparametrizing a curve so that ‖r′(s)‖ = 1) becomes the natural parameter for studying curvature and torsion. In multivariable calculus, the arc length element ds generalizes to line integrals of scalar and vector fields, and the idea of measuring length along a path underpins work, circulation, and flux computations. In physics, the arc length functional L = ∫ ds is the starting point for variational principles — geodesics (shortest paths on curved surfaces) are curves that minimize this integral.

This Lesson (Calculus 2)	Advanced Extension
L = ∫ ds for planar curves	Line integrals ∫_C f ds and ∫_C F · dr in Calc 3 / Vector Calculus
ds = √(1 + [f ′(x)]²) dx	ds = √(gᵢⱼ dxⁱ dxʲ) using the metric tensor in Riemannian geometry
Distance traveled = ∫ ‖v(t)‖ dt	Proper time in special relativity: dτ = √(1 − v²/c²) dt
Arc length parametrization (unit speed)	Curvature κ(s) = ‖T′(s)‖ in differential geometry
Minimizing L = ∫ ds	Geodesics on surfaces — calculus of variations / Euler–Lagrange equations

How arc length concepts extend to advanced mathematics and physics

The takeaway is that the seemingly straightforward formula L = ∫ √(1 + [f ′(x)]²) dx is not an isolated result; it is the simplest instance of a deep geometric idea — measuring the intrinsic length of a path in space — that permeates nearly every branch of applied and pure mathematics. Mastering the setup and computation of arc length integrals now will pay dividends in courses on vector calculus, differential equations, and beyond.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain in your own words why the arc length integrand contains a square root. What geometric principle does √(dx² + dy²) represent at the infinitesimal level, and why can't we simply integrate f(x) or f ′(x) to find arc length?

Show answer

The square root arises from the Pythagorean theorem applied to an infinitesimal right triangle whose legs are dx (horizontal displacement) and dy (vertical displacement). The hypotenuse of this triangle, ds = √(dx² + dy²), represents the actual length of a tiny piece of the curve. Integrating f(x) would give the area under the curve, not its length. Integrating f ′(x) would give the net vertical change f(b) − f(a), not the path length. Only by summing the hypotenuses — via ∫ ds — do we account for both the horizontal and vertical contributions to the curve's length at every point.

Question 2: BASIC CALCULATION

Find the arc length of y = (2/3)(x² + 1)^3/2 from x = 0 to x = 3. Hint: compute [f ′(x)]² carefully and look for simplification inside the square root.

Show answer

First, f ′(x) = (2/3) × (3/2)(x² + 1)^1/2 × 2x = 2x√(x² + 1). Then [f ′(x)]² = 4x²(x² + 1), and 1 + [f ′(x)]² = 1 + 4x⁴ + 4x² = (2x² + 1)². Taking the square root gives |2x² + 1| = 2x² + 1 (since it is always positive). Thus L = ∫₀³ (2x² + 1) dx = [2x³/3 + x] from 0 to 3 = (18 + 3) − 0 = 21.

Question 3: INTERMEDIATE

A curve is defined parametrically by x(t) = t² and y(t) = t³ for t ∈ [0, 2]. Set up and evaluate the arc length integral. You may leave your answer in exact form.

Show answer

We have x′(t) = 2t and y′(t) = 3t². The speed is √(4t² + 9t⁴) = t√(4 + 9t²) (using t ≥ 0). So L = ∫₀² t√(4 + 9t²) dt. Let u = 4 + 9t², then du = 18t dt, so t dt = du/18. When t = 0, u = 4; when t = 2, u = 40. The integral becomes (1/18) ∫₄⁴⁰ √u du = (1/18)(2/3)

u^{3/2}

from 4 to 40 = (1/27)(

40^{3/2}

−

4^{3/2}

) = (1/27)(40√40 − 8) = (1/27)(80√10 − 8) = (8/27)(10√10 − 1).

Question 4: APPLIED

A drone follows the trajectory x(t) = 3cos(t) and y(t) = 3sin(t) for t ∈ [0, π], then switches to a straight-line path to the origin, arriving at t = π + 3. Find the total distance traveled by the drone from t = 0 to t = π + 3.

Show answer

Phase 1 (semicircle): x′(t) = −3sin(t), y′(t) = 3cos(t). Speed = √(9sin²t + 9cos²t) = 3. Distance = ∫₀^π 3 dt = 3π. At t = π, the position is (−3, 0). Phase 2 (straight line to origin): the drone moves from (−3, 0) to (0, 0), a distance of 3 units, covered in time 3, so speed = 1 unit per time. Distance = 3. Total distance traveled = 3π + 3 ≈ 12.42 units. Note that the displacement is only 3 (from (3, 0) to (0, 0)), which is much less than the total distance traveled — this highlights the distinction between distance and displacement.

Question 5: CRITICAL THINKING

Prove that for any smooth curve y = f(x) on [a, b] where f is not constant, the arc length L satisfies L > b − a. Under what condition does L = b − a, and why is that case excluded by the assumption that f is not constant?

Show answer

The arc length is L = ∫ₐᵇ √(1 + [f ′(x)]²) dx. Since [f ′(x)]² ≥ 0 for all x, we have √(1 + [f ′(x)]²) ≥ 1 for all x in [a, b], which gives L ≥ ∫ₐᵇ 1 dx = b − a. Equality holds if and only if [f ′(x)]² = 0 for all x in [a, b], i.e., f ′(x) = 0 everywhere, meaning f is constant. The curve y = c is a horizontal line segment of length b − a, and the 'curve' has zero curvature everywhere. Since we assumed f is not constant, f ′(x) > 0 on a set of positive measure, making the integrand strictly greater than 1 on that set and hence L > b − a. This result captures the intuition that any departure from a straight horizontal path increases the total path length — a manifestation of the triangle inequality at the infinitesimal level.

SUMMARY

Summary & Key Concepts

Summary

The arc length of a smooth planar curve is computed by integrating the differential arc element ds = √(dx² + dy²) over the domain of the curve. For an explicit function y = f(x) on [a, b], the formula is L = ∫ₐᵇ √(1 + [f ′(x)]²) dx; for parametric curves x(t), y(t) on [α, β], it is L = ∫_α^β √([x′(t)]² + [y′(t)]²) dt. All formulas derive from the Pythagorean theorem at the infinitesimal level.

The distance traveled by a particle equals the arc length of its trajectory, which is equivalent to the integral of speed: D = ∫_α^β ‖v(t)‖ dt. This must not be confused with displacement, which is the integral of velocity (a signed quantity). Many arc length integrals require numerical methods for evaluation, but the setup — correctly identifying the parameter and computing ds — is the essential skill. These ideas extend naturally to line integrals, curvature, and differential geometry in more advanced courses.

Arc Length & Distance Traveled — The Arc Length of a Smooth, Planar Curve and Distance Traveled

Derivation for y = f(x)

Parametric Curves

Distance Traveled by a Particle

Example 1: Arc Length of y = x3/2x^{3/2}x3/2

Example 2: Distance Traveled by a Particle

Example 1: Arc Length of y = $x^{3/2}$