Skip to main content
Sign in Create a free account
Varsity Tutors
Sign in
Back to lessons

Calculus 2 • Applications of Integration

Arc Length (Cartesian) — Arc Length of a Curve (Cartesian Form)

Using integration to measure the true length along any smooth curve defined by y = f(x).

Explore the lesson 15 min read
A summation symbol with infinity and a smooth series curve.
Inside this lesson 10 sections 5 questions 8 figures

SECTION 1

Historical Context & Motivation

The problem of determining the length of a curve is one of the oldest in mathematics, predating the formal development of calculus by millennia. Ancient Greek geometers, most notably Archimedes, devised ingenious methods to approximate the circumference of circles and the lengths of spirals by inscribing polygons with ever-increasing numbers of sides. This exhaustion method — essentially a limiting process — foreshadowed the integral calculus that would not be formalized for nearly two thousand years. The leap from measuring straight-sided polygons to measuring genuinely curved paths required a fundamentally new mathematical framework: one that could handle infinitely many infinitesimally small segments.

~250 BCE • Archimedes' Approximation

Archimedes approximated the circumference of a circle using inscribed and circumscribed 96-gons, establishing the first rigorous bounds on π and demonstrating the power of polygonal approximation for curved lengths.

1659 • Hendrick van Heuraet's Rectification

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

1660s • Newton & Leibniz Formalize Calculus

With the independent development of differential and integral calculus, Newton and Leibniz provided the rigorous machinery — derivatives and integrals — that unified the arc-length problem into a single elegant formula applicable to any smooth curve.

1700s–1800s • Riemann Integration & Rigor

Euler, Cauchy, and Riemann refined the foundations of integration, ensuring that the arc-length integral rested on a solid logical footing. Riemann sums gave a precise meaning to the 'sum of infinitely many infinitesimal chords' that the formula represents.

The central question that drove centuries of mathematical development can be stated simply: given a curve defined by y = f(x) on some interval, how do we compute its exact length? Straight rulers cannot measure curves, and the number of line segments needed for a good approximation grows without bound. The arc-length formula answers this question by harnessing the power of the definite integral to accumulate infinitely many infinitesimal distances along the curve.

SECTION 2

Core Principles & Definitions

The derivation of the arc-length formula rests on a small number of foundational ideas that connect differential calculus, the Pythagorean theorem, and the theory of Riemann integration. Before diving into the formula itself, it is essential to understand the geometric and analytic principles that make it work.

1

Smooth Curve Assumption

The function f(x) must be continuous on [a, b] and its derivative f′(x) must also be continuous on [a, b]. Such a function is called smooth (or C¹), ensuring no corners, cusps, or infinite slopes that would invalidate the integral.
2

Infinitesimal Right Triangle

Over a tiny horizontal step dx, the change in y is dy = f′(x) dx. The infinitesimal arc length ds is the hypotenuse of a right triangle with legs dx and dy, giving ds = √(dx² + dy²) by the Pythagorean theorem.
3

Factoring Out dx

Factoring dx² from the square root yields ds = √(1 + (dy/dx)²) dx = √(1 + [f′(x)]²) dx. This expresses the arc-length element entirely in terms of the independent variable x and the derivative of f.
4

Accumulation via Integration

Summing the infinitesimal elements ds from x = a to x = b is precisely the operation of the definite integral. The total arc length L is the limit of Riemann sums of chord lengths as the partition norm approaches zero.
✦

KEY TAKEAWAY

Think of the arc-length formula as unrolling a curved road into a perfectly straight one and then measuring it. At every point along the road, you form a tiny right triangle whose horizontal leg is dx and whose vertical leg is the slope times dx. The hypotenuse of that triangle is the small piece of road you actually travel. The integral simply adds up all those tiny hypotenuses from start to finish — much like an odometer accumulating distance, one small increment at a time.

SECTION 3

Visual Explanation

From Chords to Arc Length

The following diagram illustrates the fundamental geometric idea behind the arc-length formula. A smooth curve y = f(x) is shown on the interval [a, b]. The curve is partitioned into subintervals, and at one representative subinterval a magnified view shows the infinitesimal right triangle with legs dx and dy and hypotenuse ds. As the partition becomes finer, the sum of chord lengths converges to the true arc length.

xyabMagnified Viewdxdydsds² = dx² + dy²Curve y = f(x)Chord approximations
A smooth curve partitioned into subintervals with chord approximations (dashed amber lines). The magnified inset at right shows the infinitesimal right triangle: the horizontal leg dx, the vertical leg dy, and the hypotenuse ds — the arc-length element.

In the diagram above, notice how the dashed amber chords approximate the curve but inevitably cut corners, underestimating the true length. As the number of subintervals increases and each Δx shrinks toward zero, every chord approaches the local tangent line, and the sum of chord lengths converges to the definite integral that gives the exact arc length. The magnified triangle captures the essence of the derivation: at every instant, the curve's local behavior is governed by the Pythagorean relationship ds² = dx² + dy², which is the geometric heart of the formula.

SECTION 4

Mathematical Framework

Deriving the Arc-Length Formula

Consider a function y = f(x) that is continuously differentiable on the closed interval [a, b]. Partition the interval into n subintervals of width Δxk = xk − xk−1. The chord connecting (xk−1, f(xk−1)) to (xk, f(xk)) has length √((Δxk)² + (Δyk)²). By the Mean Value Theorem, there exists a point ck in each subinterval such that Δyk = f′(ck) Δxk. Substituting and factoring out Δxk yields the Riemann sum whose limit is the arc-length integral.

ARC-LENGTH ELEMENT

ds=√(1+[f′(x)]2)dxds = √(1 + [f′(x)]²) dx

ds is the infinitesimal arc-length element; f′(x) = dy/dx is the derivative of the curve; dx is the infinitesimal horizontal step.

ARC-LENGTH FORMULA

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

L = total arc length of y = f(x) from x = a to x = b; f must be C¹ (continuously differentiable) on [a, b].

RIEMANN SUM FORM

L=lim(n→∞)Σk=1n√(1+[f′(ck)]2)ΔxkL = lim(n→∞) Σₖ₌₁ⁿ √(1 + [f′(cₖ)]²) Δxₖ

This is the Riemann-sum definition from which the integral is derived. Each term is the length of a chord, and the limit gives the exact arc length.

💡

When y is the independent variable

If the curve is more naturally expressed as x = g(y), the roles of x and y swap, and the formula becomes L = ∫ from c to d of √(1 + [g′(y)]²) dy. The derivation is identical, with dy playing the role of the independent differential.

A critical observation is that the integrand √(1 + [f′(x)]²) is always greater than or equal to 1, which guarantees that the arc length L is at least as large as the horizontal distance b − a. Equality holds only when f′(x) = 0 everywhere — that is, when the curve is a horizontal line. Moreover, because the integrand involves a square root of a sum, arc-length integrals are notoriously difficult to evaluate in closed form. Only a handful of functions — including linear functions, certain parabolas, catenaries, and select polynomial expressions — yield elementary antiderivatives. For most curves, numerical integration (e.g., Simpson's rule) is the practical approach.

SECTION 5

Detailed Derivation & Key Observations

Step-by-Step Derivation from Riemann Sums

Derivation Flow: From Partitions to the Arc-Length IntegralSTEP 1Partition [a, b] into nsubintervals with widths Δxₖa = x₀ < x₁ < ... < xₙ = bSTEP 2Compute chord lengthℓₖ = √(Δxₖ² + Δyₖ²)Δyₖ = f(xₖ) − f(xₖ₋₁)STEP 3Apply Mean Value TheoremΔyₖ = f′(cₖ) · Δxₖfor some cₖ ∈ (xₖ₋₁, xₖ)STEP 4 — FactorSubstitute and factor out Δxₖℓₖ = √(1 + [f′(cₖ)]²) · ΔxₖSTEP 5 — Sum & Take LimitL = lim Σ √(1+[f′(cₖ)]²) ΔxₖThis is a Riemann sum → integralRESULT: Arc-Length FormulaL = ∫ₐᵇ √(1 + [f′(x)]²) dxRequires: f ∈ C¹[a, b] (f′ continuous). The integrand √(1+[f′(x)]²) ≥ 1, so L ≥ b − a always.MVT guarantees the existence of cₖ; continuity of f′ ensures the Riemann sum converges.
The derivation flow from partitioning the interval through applying the Mean Value Theorem, factoring out Δxk, and passing to the limit to obtain the definite integral for arc length.

Functions with Elementary Arc-Length Integrals

Function y = f(x)f′(x)Integrand √(1 + [f′]²)Notes
y = mx + cm√(1 + m²) (constant)Trivially integrable; L = √(1+m²)(b−a)
y = (x³/6) + 1/(2x)x²/2 − 1/(2x²)x²/2 + 1/(2x²)Perfect square under the radical
y = cosh(x)sinh(x)cosh(x)Uses identity 1 + sinh²x = cosh²x
y = x3/2x^{3/2}(3/2)x1/2x^{1/2}√(1 + 9x/4)Integrable via u-substitution

Common functions whose arc-length integrals evaluate in closed form

⚠

Why most arc-length integrals are non-elementary

Even for seemingly simple functions like y = x², the integrand √(1 + 4x²) requires inverse hyperbolic or logarithmic functions. For y = sin(x), the integral √(1 + cos²x) is an elliptic integral with no closed-form antiderivative at all. In practice, numerical methods such as Simpson's rule or adaptive quadrature are the standard tools for computing arc lengths of general curves.

SECTION 6

Worked Example

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

We will compute the exact arc length of the curve y = x3/2 from x = 0 to x = 4. This example is a classic exercise because the integrand simplifies to a form solvable by u-substitution.

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

  1. 1

    Step 1 — Compute the derivative

    Differentiate y = x3/2 with respect to x using the power rule.
    f′(x) = (3/2)x1/2
  2. 2

    Step 2 — Form the integrand

    Compute [f′(x)]² = (9/4)x. Then the integrand is √(1 + (9/4)x).
    √(1 + [f′(x)]²) = √(1 + 9x/4)
  3. 3

    Step 3 — Set up the integral

    Write the arc-length integral: L = ∫₀⁴ √(1 + 9x/4) dx.
    L = ∫₀⁴ √(1 + 9x/4) dx
  4. 4

    Step 4 — Perform u-substitution

    Let u = 1 + 9x/4, so du = (9/4) dx, which gives dx = (4/9) du. When x = 0, u = 1; when x = 4, u = 10. The integral becomes L = (4/9) ∫₁¹⁰ √u du = (4/9) ∫₁¹⁰ u1/2 du.
    L = (4/9) ∫₁¹⁰ u1/2u^{1/2} du
  5. 5

    Step 5 — Integrate and evaluate

    Apply the power rule for integration: ∫ u1/2 du = (2/3)u3/2. Thus L = (4/9)(2/3)[u3/2]₁¹⁰ = (8/27)(103/2 − 1) = (8/27)(10√10 − 1).
    L = (8/27)(10√10 − 1) ≈ 9.0734

Notice that the exact answer involves irrational numbers, which is typical of arc-length computations. The decimal approximation ≈ 9.073 can be verified using numerical integration or a computer algebra system. The key algebraic maneuver was recognizing that [f′(x)]² produces a linear function of x under the radical, making u-substitution directly applicable.

SECTION 7

Strengths, Limitations & Practical Considerations

StrengthsLimitations
Provides the exact arc length for any smooth curve y = f(x) — no approximation is inherent in the formula itself.The integrand √(1 + [f′(x)]²) rarely simplifies to a form with an elementary antiderivative, requiring numerical methods in most cases.
Derived directly from the Pythagorean theorem, making it geometrically intuitive and easy to remember.Requires f to be C¹ (continuously differentiable). Curves with cusps, corners, or vertical tangents must be split into smooth pieces.
Easily adapted to x = g(y) form by swapping variables, providing flexibility in setup.Not directly applicable to curves defined parametrically or in polar coordinates — those require their own specialized formulas.
Forms the foundation for surface area of revolution (by multiplying ds by the circumference factor 2πr) and line integrals in vector calculus.For rapidly oscillating functions, even numerical integration can become expensive or inaccurate without adaptive methods.

Strengths and limitations of the Cartesian arc-length formula

🔧

PRACTICAL PERSPECTIVE

In engineering and computational geometry, arc-length computations are almost always performed numerically. The closed-form formula remains indispensable for theoretical analysis — proving properties of curves, establishing bounds, and deriving related quantities like curvature and surface area — but the working engineer or scientist typically delegates the actual evaluation to a CAS or numerical library such as SciPy's quad function.

SECTION 8

Connections to Parametric, Polar & Higher-Dimensional Generalizations

The Cartesian arc-length formula is the simplest instance of a broader family of formulas that measure the length of curves in various coordinate systems and dimensions. Understanding how the formula generalizes deepens one's appreciation of the differential-geometry perspective: in every case, the arc-length element ds is computed as the magnitude of the tangent vector, and the total length is the integral of ds over the parameter domain.

RepresentationArc-Length FormulaKey Idea
Cartesian: y = f(x)L = ∫ₐᵇ √(1 + [f′(x)]²) dxds² = dx² + dy²; factor out dx²
Parametric: x(t), y(t)L = ∫ₐᵇ √([x′(t)]² + [y′(t)]²) dtds = |r′(t)| dt; the magnitude of the velocity vector
Polar: r = f(θ)L = ∫ₐᵝ √(r² + [r′(θ)]²) dθUses ds² = dr² + r² dθ² from polar metric
3D Space Curve: r(t) = ⟨x(t), y(t), z(t)⟩L = ∫ₐᵇ √(x′² + y′² + z′²) dtNatural extension to ℝ³; same principle, three components

Arc-length formulas across different curve representations

Looking ahead in the calculus sequence, the arc-length element ds reappears when computing the surface area of revolution (where the formula A = ∫ 2πr ds rotates the curve about an axis) and in line integrals of scalar and vector fields in multivariable calculus. Mastering the Cartesian case provides the essential template: compute ds in terms of a single independent variable, then integrate. The Riemannian-geometry perspective generalizes this even further, where ds² = gᵢⱼ dxⁱ dxʲ defines the metric tensor of a curved space, but the underlying philosophy — measure locally, accumulate globally — remains unchanged.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain geometrically why the arc-length integral L = ∫ₐᵇ √(1 + [f′(x)]²) dx must always yield a value L ≥ b − a for any smooth function f on [a, b]. Under what condition does equality hold?
Show answer
The integrand √(1 + [f′(x)]²) ≥ √(1 + 0) = 1 for all x, since [f′(x)]² ≥ 0. Therefore L = ∫ₐᵇ √(1 + [f′(x)]²) dx ≥ ∫ₐᵇ 1 dx = b − a. Geometrically, the arc length along any curve from x = a to x = b is at least as long as the straight horizontal distance because the curve either follows the horizontal direction (contributing length equal to dx) or deviates vertically (adding extra length via the hypotenuse). Equality L = b − a holds if and only if f′(x) = 0 on the entire interval, meaning f is a constant function and the curve is a horizontal line.

Question 2: BASIC CALCULATION

Find the exact arc length of the line y = 3x + 2 from x = 0 to x = 5.
Show answer
Since f(x) = 3x + 2, we have f′(x) = 3. The integrand is √(1 + 9) = √10, a constant. Therefore L = ∫₀⁵ √10 dx = 5√10 ≈ 15.811. This is consistent with the distance formula: the line segment from (0, 2) to (5, 17) has length √((5−0)² + (17−2)²) = √(25 + 225) = √250 = 5√10. For a linear function, the arc-length formula reduces exactly to the Euclidean distance formula, confirming its correctness.

Question 3: INTERMEDIATE

Compute the exact arc length of y = (x²/4) − (ln x)/2 on the interval [1, e].
Show answer
First, f′(x) = x/2 − 1/(2x). Then [f′(x)]² = x²/4 − 1/2 + 1/(4x²), so 1 + [f′(x)]² = x²/4 + 1/2 + 1/(4x²) = (x/2 + 1/(2x))². This is a perfect square, so √(1 + [f′(x)]²) = x/2 + 1/(2x) (positive for x > 0). The integral becomes L = ∫₁ᵉ (x/2 + 1/(2x)) dx = [x²/4 + (ln x)/2]₁ᵉ = (e²/4 + 1/2) − (1/4 + 0) = (e² − 1)/4 + 1/2 = (e² + 1)/4 ≈ 2.097. Recognizing the perfect square under the radical is the key algebraic insight; this is a standard technique for crafting arc-length problems with closed-form answers.

Question 4: APPLIED

A suspension cable hangs in the shape of a catenary y = 50 cosh(x/50) between two towers located at x = −30 and x = 30 (all units in meters). Find the exact length of the cable.
Show answer
For y = 50 cosh(x/50), f′(x) = sinh(x/50). Then 1 + [f′(x)]² = 1 + sinh²(x/50) = cosh²(x/50), using the identity cosh²u − sinh²u = 1. So √(1 + [f′(x)]²) = cosh(x/50). The arc length is L = ∫₋₃₀³⁰ cosh(x/50) dx = [50 sinh(x/50)]₋₃₀³⁰ = 50 sinh(30/50) − 50 sinh(−30/50) = 100 sinh(0.6). Since sinh(0.6) ≈ 0.6367, L ≈ 63.67 meters. This problem demonstrates why the catenary is ubiquitous in engineering: the hyperbolic cosine function yields one of the simplest possible arc-length integrals.

Question 5: CRITICAL THINKING

Prove that for any C¹ function f on [a, b], the arc-length formula L = ∫ₐᵇ √(1 + [f′(x)]²) dx is invariant under vertical translation — that is, show that replacing f(x) with f(x) + c for any constant c does not change L. Then discuss whether the formula is invariant under horizontal translation (replacing f(x) with f(x − h)).
Show answer
For vertical translation, let g(x) = f(x) + c. Then g′(x) = f′(x) since the derivative of a constant is zero. The integrand √(1 + [g′(x)]²) = √(1 + [f′(x)]²) is identical, and the limits of integration remain a and b. Hence the arc length is unchanged, which makes geometric sense: shifting a curve up or down does not stretch or compress it. For horizontal translation, let h(x) = f(x − k). By the chain rule, h′(x) = f′(x − k). The integrand becomes √(1 + [f′(x − k)]²), and while the formula looks different, the arc length LhL_h = ∫ₐᵇ √(1 + [f′(x−k)]²) dx. Performing the substitution u = x − k gives LhL_h = ∫_{a−k}^{b−k} √(1 + [f′(u)]²) du, which is the arc length of f over [a−k, b−k] — a different interval. So horizontal translation of the function changes the domain of evaluation. To preserve the arc length, the limits must also shift by k, yielding invariance under the combined transformation (function shift plus interval shift). This underscores that arc length is a geometric property of the curve itself, independent of its position in the plane.

SUMMARY

Summary & Key Concepts

Summary

The arc-length formula for a curve y = f(x) on [a, b] is L = ∫ₐᵇ √(1 + [f′(x)]²) dx, derived by summing infinitesimal hypotenuses ds = √(dx² + dy²) via the Pythagorean theorem and the Mean Value Theorem. The function must be continuously differentiable (C¹) on the interval, and the integrand is always ≥ 1, ensuring that the arc length is at least as large as the horizontal span b − a.

Most arc-length integrals are non-elementary and require numerical integration; closed-form solutions arise only when the expression under the radical simplifies, as with perfect-square integrands or hyperbolic functions. The Cartesian formula generalizes naturally to parametric, polar, and three-dimensional settings and forms the foundation for computing surface areas of revolution and line integrals in advanced calculus.

Varsity Tutors • Calculus 2 • Arc Length (Cartesian) — Arc Length of a Curve (Cartesian Form)