How long is a curved path? Approximate it with short straight segments, find their lengths with the Pythagorean theorem, and let the segments shrink. The result is an integral, and evaluating it usually takes the substitution skills you already have.
Why it works
Key idea
Worked example: A root that simplifies
- $f'(x) = x^{1/2}$, so $1 + f'(x)^{2} = 1 + x$.
- $L = \int_0^3 \sqrt{1 + x}\,dx = \left[\frac{2}{3}(1 + x)^{3/2}\right]_0^3$.
- $= \frac{2}{3}(8 - 1) = \frac{14}{3}$.
Answer: $\frac{14}{3}$
Worked example: A hidden perfect square
- $f'(x) = \frac{x^{2}}{2} - \frac{1}{2x^{2}}$, so $f'(x)^{2} = \frac{x^{4}}{4} - \frac{1}{2} + \frac{1}{4x^{4}}$.
- Adding 1 flips the middle sign: $$\begin{aligned} 1 + f'(x)^{2} &= \frac{x^{4}}{4} + \frac{1}{2} + \frac{1}{4x^{4}} \\ &= \left(\frac{x^{2}}{2} + \frac{1}{2x^{2}}\right)^{2}. \end{aligned}$$
- $$\begin{aligned} L &= \int_1^2 \left(\frac{x^{2}}{2} + \frac{1}{2x^{2}}\right)dx \\ &= \left[\frac{x^{3}}{6} - \frac{1}{2x}\right]_1^2 \\ &= \left(\frac{4}{3} - \frac{1}{4}\right) - \left(\frac{1}{6} - \frac{1}{2}\right) \\ &= \frac{17}{12}. \end{aligned}$$
Answer: $\frac{17}{12}$
Worked example: A trig curve
- $f'(x) = \frac{-\sin x}{\cos x} = -\tan x$, so $1 + f'(x)^{2} = 1 + \tan^{2} x = \sec^{2} x$.
- On $\left[0, \frac{\pi}{4}\right]$, $\sec x > 0$, so the root is $\sec x$.
- $$\begin{aligned} L &= \int_0^{\pi/4} \sec x\,dx \\ &= \Big[\ln\left|\sec x + \tan x\right|\Big]_0^{\pi/4} \\ &= \ln\left(\sqrt{2} + 1\right) - \ln 1. \end{aligned}$$
Answer: $\ln\left(\sqrt{2} + 1\right) \approx 0.881$, a bit longer than the straight-line distance from $(0, 0)$ to $\left(\frac{\pi}{4}, -\frac{\ln 2}{2}\right)$, about $0.86$.
Common mistake
Letting the upper limit vary gives the arc length function $s(x) = \int_a^x \sqrt{1 + f'(t)^{2}}\,dt$. By the Fundamental Theorem, $\frac{ds}{dx} = \sqrt{1 + f'(x)^{2}}$, which is often written as $ds^{2} = dx^{2} + dy^{2}$: a tiny step along the curve is the hypotenuse of a tiny right triangle. That picture will return for parametric curves and polar curves.