Unit 4, chapter 18

Measure the length of a curve

How the Pythagorean length of short chords leads to the arc length element and the arc length integral, why the curve must be continuously differentiable, and how to find an exact arc length.

  • Chapter 18
  • Arc length and surface area of revolution

The curve y=x3/2y = x^{3/2} climbs from the origin to the point (1,1)(1, 1). The straight segment between those endpoints has length 2\sqrt{2}, and the curve bends away from it, so the curve is longer. The area under the graph measures something else entirely, so how long is the curve itself? This page answers by adding the lengths of short chords, turning the chord sum into the arc length integral and finding the exact length (1313−8)/27≈1.4397(13\sqrt{13} - 8)/27 \approx 1.4397.

Key terms

Pythagorean length of a short segment

Definition The segment joining two points (x1,y1)(x_1, y_1) and (x2,y2)(x_2, y_2) of the plane has length

Δs=(Δx)2+(Δy)2,\Delta s = \sqrt{(\Delta x)^2 + (\Delta y)^2},

where Δx=x2−x1\Delta x = x_2 - x_1 and Δy=y2−y1\Delta y = y_2 - y_1. When Δx\Delta x and Δy\Delta y are both nonzero, the segment is the hypotenuse of a right triangle with a horizontal leg of length ∣Δx∣\lvert \Delta x \rvert and a vertical leg of length ∣Δy∣\lvert \Delta y \rvert, so this is the Pythagorean theorem. When one of them is zero, the segment is horizontal or vertical, and the formula gives ∣Δx∣\lvert \Delta x \rvert or ∣Δy∣\lvert \Delta y \rvert. Suppose both points lie on the graph of a function ff that is continuous on [x1,x2][x_1, x_2] and differentiable on (x1,x2)(x_1, x_2), with x1<x2x_1 < x_2. The mean value theorem gives a point cc strictly between x1x_1 and x2x_2 with Δy=f′(c) Δx\Delta y = f'(c)\,\Delta x, and since Δx>0\Delta x > 0 it can be taken out of the square root,

Δs=1+f′(c)2  Δx.\Delta s = \sqrt{1 + f'(c)^2}\;\Delta x.

In plain words A short chord of a curve is the diagonal of a small rectangle whose sides are the horizontal and vertical changes. Taking out the horizontal width leaves a factor that depends only on how steep the chord is, and that steepness equals the slope of the curve at some point of the piece.

Example On y=x3/2y = x^{3/2}, the chord from x=14x = \tfrac14 to x=1x = 1 joins (14,18)(\tfrac14, \tfrac18) to (1,1)(1, 1). Its legs are Δx=34\Delta x = \tfrac34 and Δy=78\Delta y = \tfrac78, so

Δs=916+4964=858≈1.1524.\begin{aligned} \Delta s &= \sqrt{\tfrac{9}{16} + \tfrac{49}{64}} \\[0.4em] &= \frac{\sqrt{85}}{8} \approx 1.1524. \end{aligned}

The chord has slope Δy/Δx=76\Delta y / \Delta x = \tfrac76. The derivative 32x\tfrac32 \sqrt{x} takes this value at c=4981≈0.605c = \tfrac{49}{81} \approx 0.605, which lies between 14\tfrac14 and 11, and indeed 341+4936=34⋅856=858\tfrac34 \sqrt{1 + \tfrac{49}{36}} = \tfrac34 \cdot \tfrac{\sqrt{85}}{6} = \tfrac{\sqrt{85}}{8}.

Arc length

Definition Let a curve run from a point AA to a point BB. Choose points A=P0,P1,…,Pn=BA = P_0, P_1, \dots, P_n = B on the curve, in order along it, and join consecutive points by segments. Write ∣Pi−1Pi∣\lvert P_{i-1} P_i \rvert for the length of the segment from Pi−1P_{i-1} to PiP_i. The arc length of the curve is the least upper bound of the lengths of all such inscribed polygonal paths,

L=sup⁡∑i=1n∣Pi−1Pi∣,L = \sup \sum_{i=1}^{n} \lvert P_{i-1} P_i \rvert,

taken over every nn and every choice of the points. When this bound is finite the curve is called rectifiable. For the graph of a function ff on [a,b][a, b], choosing points in order means choosing a=x0<x1<⋯<xn=ba = x_0 < x_1 < \dots < x_n = b and taking Pi=(xi,f(xi))P_i = (x_i, f(x_i)). If ff is continuous and its graph is rectifiable, the polygon lengths approach LL as the widest piece [xi−1,xi][x_{i-1}, x_i] shrinks to width 00.

In plain words A straight segment is the shortest path between its endpoints, so a polygon with its corners on the curve is never longer than the curve. Adding a corner never makes the polygon shorter, and enough corners make it hug the curve. The length of the curve is the number that these polygon lengths climb toward and never exceed.

Example For y=x3/2y = x^{3/2} on [0,1][0, 1], the single chord from (0,0)(0, 0) to (1,1)(1, 1) has length 2≈1.4142\sqrt{2} \approx 1.4142. Adding the corner (14,18)(\tfrac14, \tfrac18) gives two chords of lengths 58\tfrac{\sqrt5}{8} and 858\tfrac{\sqrt{85}}{8}, with total

5+858≈1.4320.\frac{\sqrt{5} + \sqrt{85}}{8} \approx 1.4320.

With 44, 1616 and 100100 equal pieces the totals are about 1.43621.4362, 1.43941.4394 and 1.439701.43970. The curve rises, so every chord has Δy≥0\Delta y \ge 0 and is no longer than Δx+Δy\Delta x + \Delta y. The widths add to 11 and the rises add to 11, so every polygon has length at most 22. Hence 2≤L≤2\sqrt{2} \le L \le 2, where 22 is the length of the path that runs one unit right and then one unit up.

Arc length element

Definition For the graph of a differentiable function y=f(x)y = f(x), traced in the direction of increasing xx, the arc length element is

ds=1+f′(x)2 dx.ds = \sqrt{1 + f'(x)^2}\,dx.

It is the limit form of the chord formula. On a piece of width Δx>0\Delta x > 0 the chord has length Δx1+(Δy/Δx)2\Delta x \sqrt{1 + (\Delta y / \Delta x)^2}, and as Δx→0\Delta x \to 0 the ratio Δy/Δx\Delta y / \Delta x tends to f′(x)f'(x). The shorthand ds=dx2+dy2ds = \sqrt{dx^2 + dy^2} records the same Pythagorean picture. For a curve written as x=g(y)x = g(y) and traced with increasing yy, the element is ds=1+g′(y)2 dyds = \sqrt{1 + g'(y)^2}\,dy. For a curve given by x(t)x(t) and y(t)y(t) and traced with increasing tt, it is ds=x′(t)2+y′(t)2 dtds = \sqrt{x'(t)^2 + y'(t)^2}\,dt.

In plain words The factor 1+f′(x)2\sqrt{1 + f'(x)^2} is the length of curve per unit of horizontal travel. It is never less than 11, it equals 11 exactly where the tangent is horizontal, and it grows as the curve gets steeper. The 11 accounts for the horizontal motion and the square of the derivative for the vertical motion.

Example For y=x3/2y = x^{3/2} the derivative is y′=32xy' = \tfrac32 \sqrt{x}, so (y′)2=94x(y')^2 = \tfrac94 x and

ds=1+94x dx.ds = \sqrt{1 + \tfrac94 x}\,dx.

The factor grows from 11 at x=0x = 0 to 132≈1.803\tfrac{\sqrt{13}}{2} \approx 1.803 at x=1x = 1. Leaving out the 11 would give ∫0132x dx=1\int_0^1 \tfrac32 \sqrt{x}\,dx = 1, which is only the total rise of the curve and ignores its horizontal run. A horizontal line y=cy = c has f′=0f' = 0 and ds=dxds = dx, so its length over [a,b][a, b] is b−ab - a, not 00.

Continuously differentiable curve

Definition A function ff is continuously differentiable on a closed interval [a,b][a, b] when it has a derivative at every point of (a,b)(a, b), a right derivative at aa and a left derivative at bb, and the resulting function f′f' is continuous on [a,b][a, b]. Its graph is then a continuously differentiable curve. A curve given by x(t)x(t) and y(t)y(t) for α≤t≤β\alpha \le t \le \beta is continuously differentiable when x′x' and y′y' exist and are continuous on [α,β][\alpha, \beta], with one-sided derivatives at the ends.

In plain words The slope exists and is finite at every point of the closed interval, endpoints included, and it changes without jumps. A graph with a corner, a cusp or a vertical tangent fails the test at that point. A graph with finitely many corners can still be measured by splitting it at the corners and adding the lengths of the pieces, as long as each piece is continuously differentiable on its own closed interval.

Example For f(x)=x3/2f(x) = x^{3/2} on [0,1][0, 1], the formula f′(x)=32xf'(x) = \tfrac32 \sqrt{x} holds for x>0x > 0. At 00 only the right derivative can be formed, and

lim⁡h→0+h3/2−0h=lim⁡h→0+h1/2=0,\begin{aligned} &\lim_{h \to 0^+} \frac{h^{3/2} - 0}{h} \\[0.4em] &\quad = \lim_{h \to 0^+} h^{1/2} = 0, \end{aligned}

which equals 320\tfrac32 \sqrt{0}. So f′f' is continuous on all of [0,1][0, 1] and the curve qualifies. Its mirror image in the line y=xy = x, the graph of y=x2/3y = x^{2/3} on [0,1][0, 1], does not, since h2/3/h=h−1/3h^{2/3}/h = h^{-1/3} grows without bound as h→0+h \to 0^+ and the tangent at the origin is vertical. That curve still has a finite length. Written as x=y3/2x = y^{3/2} for 0≤y≤10 \le y \le 1, it is continuously differentiable in yy, and its length equals the length of y=x3/2y = x^{3/2} on [0,1][0, 1].

Arc length integral

Definition Let ff be continuously differentiable on [a,b][a, b] with a<ba < b. Then the graph of ff from (a,f(a))(a, f(a)) to (b,f(b))(b, f(b)) is rectifiable, and its arc length is

L=∫ab1+f′(x)2 dx.L = \int_a^b \sqrt{1 + f'(x)^2}\,dx.

The reason is that, by the mean value theorem, an inscribed polygon has length ∑1+f′(ci)2 Δxi\sum \sqrt{1 + f'(c_i)^2}\,\Delta x_i with each cic_i in (xi−1,xi)(x_{i-1}, x_i). That is a Riemann sum of the continuous function 1+f′(x)2\sqrt{1 + f'(x)^2}, so as the widest piece shrinks the polygon lengths tend to the integral. In the same way, a curve x=g(y)x = g(y) for c≤y≤dc \le y \le d with g′g' continuous on [c,d][c, d] has length ∫cd1+g′(y)2 dy\int_c^d \sqrt{1 + g'(y)^2}\,dy.

In plain words Differentiate, square the whole derivative, add 11, take the square root, and add up the pieces dsds from left to right. The order of these steps matters, because 1+(y′)2\sqrt{1 + (y')^2} is not 1+y′1 + y'.

Example The curve y=x3/2y = x^{3/2} is continuously differentiable on [0,1][0, 1], including the right derivative 00 at x=0x = 0, and 1+(y′)2=1+94x1 + (y')^2 = 1 + \tfrac94 x. So

L=∫011+94x dx.L = \int_0^1 \sqrt{1 + \tfrac94 x}\,dx.

A substitution finishes the calculation. Put u=1+94xu = 1 + \tfrac94 x. Then du=94 dxdu = \tfrac94\,dx, so dx=49 dudx = \tfrac49\,du, and the bounds x=0x = 0 and x=1x = 1 become u=1u = 1 and u=134u = \tfrac{13}{4}. Hence

L=49∫113/4u1/2 du=49⋅23[u3/2]113/4=827[(134)3/2−1]=827(13138−1)=1313−827≈1.4397.\begin{aligned} L &= \frac49 \int_1^{13/4} u^{1/2}\,du \\[0.4em] &= \frac49 \cdot \frac23 \Bigl[u^{3/2}\Bigr]_1^{13/4} \\[0.4em] &= \frac{8}{27}\left[\left(\tfrac{13}{4}\right)^{3/2} - 1\right] \\[0.4em] &= \frac{8}{27}\left(\frac{13\sqrt{13}}{8} - 1\right) \\[0.4em] &= \frac{13\sqrt{13} - 8}{27} \approx 1.4397. \end{aligned}

The answer lies between the chord bound 2≈1.414\sqrt{2} \approx 1.414 and the bound 22, and just above every polygon length found earlier.

Check yourself

  1. Find the length of the curve y=23x3/2y = \tfrac23 x^{3/2} from x=0x = 0 to x=3x = 3, and compare it with the distance between the endpoints.
Show the answer

The derivative is y′=xy' = \sqrt{x}, and it is continuous on [0,3][0, 3], with right derivative 00 at x=0x = 0. So 1+(y′)2=1+x1 + (y')^2 = 1 + x and

L=∫031+x dx=23[(1+x)3/2]03=23(8−1)=143.\begin{aligned} L &= \int_0^3 \sqrt{1 + x}\,dx \\[0.4em] &= \tfrac23 \Bigl[(1 + x)^{3/2}\Bigr]_0^3 \\[0.4em] &= \tfrac23 (8 - 1) = \tfrac{14}{3}. \end{aligned}

The endpoints are (0,0)(0, 0) and (3,23)(3, 2\sqrt3), at distance 9+12=21≈4.583\sqrt{9 + 12} = \sqrt{21} \approx 4.583. The length 143≈4.667\tfrac{14}{3} \approx 4.667 is a little larger, as it must be.

  1. Find the length of the curve y=x24−ln⁡x2y = \tfrac{x^2}{4} - \tfrac{\ln x}{2} for 1≤x≤e1 \le x \le e.
Show the answer

The function is continuously differentiable on [1,e][1, e], with y′=x2−12xy' = \tfrac{x}{2} - \tfrac{1}{2x}. Squaring gives x24−12+14x2\tfrac{x^2}{4} - \tfrac12 + \tfrac{1}{4x^2}, and adding 11 changes the sign of the middle term, so

1+(y′)2=(x2+12x)2.1 + (y')^2 = \left(\frac{x}{2} + \frac{1}{2x}\right)^2.

The square root of a square is its absolute value. Because x2+12x>0\tfrac{x}{2} + \tfrac{1}{2x} > 0 for x>0x > 0, the square root is x2+12x\tfrac{x}{2} + \tfrac{1}{2x} itself, and

L=∫1e(x2+12x) dx=[x24+ln⁡x2]1e=e24+12−14=e2+14≈2.0973.\begin{aligned} L &= \int_1^e \left(\frac{x}{2} + \frac{1}{2x}\right)\,dx \\[0.4em] &= \left[\frac{x^2}{4} + \frac{\ln x}{2}\right]_1^e \\[0.4em] &= \frac{e^2}{4} + \frac12 - \frac14 \\[0.4em] &= \frac{e^2 + 1}{4} \approx 2.0973. \end{aligned}

The chord between the endpoints (1,14)(1, \tfrac14) and (e,e24−12)(e, \tfrac{e^2}{4} - \tfrac12) has length about 2.03872.0387, slightly less.

  1. A student computes the length of y=x2y = x^2 from x=0x = 0 to x=1x = 1 as ∫01(1+2x) dx=2\int_0^1 (1 + 2x)\,dx = 2. Find the mistake, and explain why 22 cannot be the length.
Show the answer

The correct integrand is 1+(y′)2=1+4x2\sqrt{1 + (y')^2} = \sqrt{1 + 4x^2}, and the square root of a sum is not the sum of the square roots. In fact (1+2x)2=1+4x+4x2(1 + 2x)^2 = 1 + 4x + 4x^2, which exceeds 1+4x21 + 4x^2 for every x>0x > 0, so 1+2x>1+4x21 + 2x > \sqrt{1 + 4x^2} there and the student’s integral is too large. The value 22 is the length of the path that runs one unit right and then one unit up, and the curve is strictly shorter than that path. The correct length is

L=∫011+4x2 dx≈1.4789,\begin{aligned} L &= \int_0^1 \sqrt{1 + 4x^2}\,dx \\[0.4em] &\approx 1.4789, \end{aligned}

which lies between the chord length 2≈1.414\sqrt2 \approx 1.414 and 22. Its exact value, 14(25+ln⁡(2+5))\tfrac14\bigl(2\sqrt5 + \ln(2 + \sqrt5)\bigr), comes from the trigonometric substitution x=12tan⁡θx = \tfrac12 \tan\theta.