Calculus with Parametric Curves: Learn It 4

Arc Length of a Parametric Curve

Besides finding areas, we often need to calculate the arc length of parametric curves. Arc length measures the actual distance along a curve—if a particle travels from point A to point B along a curve, the arc length tells us exactly how far that particle traveled. To develop a formula for arc length, we start with an approximation by line segments as shown in the following graph.

A curved line in the first quadrant with points marked for x = 1, 2, 3, 4, and 5. These points have values roughly 2.1, 2.7, 3, 2.7, and 2.1, respectively. The points for x = 1 and 5 are marked A and B, respectively.
Figure 9. Approximation of a curve by line segments.

For a plane curve defined by [latex]x = x(t)[/latex], [latex]y = y(t)[/latex] where [latex]a \le t \le b[/latex], we’ll approximate the curve using line segments.

Start by partitioning [latex][a,b][/latex] into [latex]n[/latex] equal subintervals: [latex]t_0 = a < t_1 < t_2 < \cdots < t_n = b[/latex], where each subinterval has width [latex]\Delta t = \frac{b-a}{n}[/latex].

Using the distance formula, we can calculate the length of each line segment:

[latex]\begin{array}{}\\ {d}_{1}=\sqrt{{\left(x\left({t}_{1}\right)-x\left({t}_{0}\right)\right)}^{2}+{\left(y\left({t}_{1}\right)-y\left({t}_{0}\right)\right)}^{2}}\hfill \\ {d}_{2}=\sqrt{{\left(x\left({t}_{2}\right)-x\left({t}_{1}\right)\right)}^{2}+{\left(y\left({t}_{2}\right)-y\left({t}_{1}\right)\right)}^{2}}\text{etc}.\hfill \end{array}[/latex]

The approximate arc length [latex]s_n[/latex] is the sum of all these segments:

[latex]s\approx \displaystyle\sum _{k=1}^{n}{s}_{k}=\displaystyle\sum _{k=1}^{n}\sqrt{{\left(x\left({t}_{k}\right)-x\left({t}_{k - 1}\right)\right)}^{2}+{\left(y\left({t}_{k}\right)-y\left({t}_{k - 1}\right)\right)}^{2}}[/latex].

If [latex]x(t)[/latex] and [latex]y(t)[/latex] are differentiable, the Mean Value Theorem tells us that in each subinterval [latex][t_{k-1}, t_k][/latex], there exist points [latex]\hat{t}_k[/latex] and [latex]\tilde{t}_k[/latex] where:

[latex]\begin{array}{}\\ x\left({t}_{k}\right)-x\left({t}_{k - 1}\right)={x}^{\prime }\left(\hat{t}_{k}\right)\left({t}_{k}-{t}_{k - 1}\right)={x}^{\prime }\left(\hat{t}_{k}\right)\Delta t\hfill \\ y\left({t}_{k}\right)-y\left({t}_{k - 1}\right)={y}^{\prime }\left(\tilde{t}_{k}\right)\left({t}_{k}-{t}_{k - 1}\right)={y}^{\prime }\left(\tilde{t}_{k}\right)\Delta t.\hfill \end{array}[/latex]

Substituting these expressions into our sum and factoring out [latex]\Delta t[/latex]:

[latex]\begin{array}{cc}\hfill s& \approx {\displaystyle\sum _{k=1}^{n}}{s}_{k}\hfill \\ & ={\displaystyle\sum _{k=1}^{n}}\sqrt{{\left({x}^{\prime}\left(\hat{t}_{k}\right)\Delta t\right)}^{2}+{\left({y}^{\prime}\left(\tilde{t}_{k}\right)\Delta t\right)}^{2}}\hfill \\ & ={\displaystyle\sum _{k=1}^{n}}\sqrt{{\left({x}^{\prime}\left(\hat{t}_{k}\right)\right)}^{2}{\left(\Delta t\right)}^{2}+{\left({y}^{\prime}\left(\tilde{t}_{k}\right)\right)}^{2}{\left(\Delta t\right)}^{2}}\hfill \\ & =\left({\displaystyle\sum _{k=1}^{n}}\sqrt{{\left({x}^{\prime}\left(\hat{t}_{k}\right)\right)}^{2}+{\left({y}^{\prime}\left(\tilde{t}_{k}\right)\right)}^{2}}\right)\Delta t.\hfill \end{array}[/latex]

This sum is a Riemann sum approximating the arc length over the partition of [latex][a,b][/latex]. As [latex]n \to \infty[/latex] and assuming the derivatives are continuous, we get:

[latex]\begin{array}{cc}\hfill s& ={\underset{n\to\infty}\lim} {\displaystyle\sum _{k=1}^{n}} {s}_{k}\hfill \\ & = {\underset{n\to\infty}\lim}\left({\displaystyle\sum _{k=1}^{n}}\sqrt{{\left({x}^{\prime}\left(\hat{t}_{k}\right)\right)}^{2}+{\left({y}^{\prime}\left(\tilde{t}_{k}\right)\right)}^{2}}\right)\Delta t\hfill \\ & ={\displaystyle\int_{a}^{b}}\sqrt{{\left({x}^{\prime }\left(t\right)\right)}^{2}+{\left({y}^{\prime }\left(t\right)\right)}^{2}}dt.\hfill \end{array}[/latex]

As the partition gets finer, [latex]\hat{t}_k[/latex] and [latex]\tilde{t}_k[/latex] both lie in the same shrinking interval of width [latex]\Delta t[/latex], so they converge to the same value.

We can summarize this method in the following theorem.

theorem: arc length of a parametric curve

For a plane curve defined by [latex]x = x(t)[/latex], [latex]y = y(t)[/latex] where [latex]t_1 \le t \le t_2[/latex], with [latex]x(t)[/latex] and [latex]y(t)[/latex] differentiable then:

[latex]s={\displaystyle\int }_{{t}_{1}}^{{t}_{2}}\sqrt{{\left(\frac{dx}{dt}\right)}^{2}+{\left(\frac{dy}{dt}\right)}^{2}}dt[/latex].
This formula gives the exact arc length of the parametric curve.

Find the arc length of the semicircle defined by the equations

[latex]x\left(t\right)=3\cos{t},y\left(t\right)=3\sin{t},0\le t\le \pi[/latex].

 

Watch the following video to see the worked solution to the example above.

For closed captioning, open the video on its original page by clicking the Youtube logo in the lower right-hand corner of the video display. In YouTube, the video will begin at the same starting point as this clip, but will continue playing until the very end.

You can view the transcript for this segmented clip of “7.2 Calculus of Parametric Curves” here (opens in new window).