Section 9.4 : Arc Length with Parametric Equations
In the previous two sections we’ve looked at a couple of Calculus I topics in terms of parametric equations. We now need to look at a couple of Calculus II topics in terms of parametric equations.
In this section we will look at the arc length of the parametric curve given by,
x=f(t)y=g(t)α≤t≤βWe will also be assuming that the curve is traced out exactly once as t increases from α to β. We will also need to assume that the curve is traced out from left to right as t increases. This is equivalent to saying,
dxdt≥0for α≤t≤βSo, let’s start out the derivation by recalling the arc length formula as we first derived it in the arc length section of the Applications of Integrals chapter.
L=∫dswhere,
ds=√1+(dydx)2dxif y=f(x),a≤x≤bds=√1+(dxdy)2dyif x=h(y),c≤y≤dWe will use the first ds above because we have a nice formula for the derivative in terms of the parametric equations (see the Tangents with Parametric Equations section). To use this we’ll also need to know that,
dx=f′(t)dt=dxdtdtThe arc length formula then becomes,
L=∫βα√1+(dydtdxdt)2dxdtdt=∫βα√1+(dydt)2(dxdt)2dxdtdtThis is a particularly unpleasant formula. However, if we factor out the denominator from the square root we arrive at,
L=∫βα1|dxdt|√(dxdt)2+(dydt)2dxdtdtNow, making use of our assumption that the curve is being traced out from left to right we can drop the absolute value bars on the derivative which will allow us to cancel the two derivatives that are outside the square root and this gives,
Arc Length for Parametric Equations
Notice that we could have used the second formula for ds above if we had assumed instead that
dydt≥0for α≤t≤βIf we had gone this route in the derivation we would have gotten the same formula.
Let’s take a look at an example.
We know that this is a circle of radius 3 centered at the origin from our prior discussion about graphing parametric curves. We also know from this discussion that it will be traced out exactly once in this range.
So, we can use the formula we derived above. We’ll first need the following,
dxdt=3cos(t)dydt=−3sin(t)The length is then,
L=∫2π0√9sin2(t)+9cos2(t)dt=∫2π03√sin2(t)+cos2(t)dt=3∫2π0dt=6πSince this is a circle we could have just used the fact that the length of the circle is just the circumference of the circle. This is a nice way, in this case, to verify our result.
Let’s take a look at one possible consequence if a curve is traced out more than once and we try to find the length of the curve without taking this into account.
Notice that this is the identical circle that we had in the previous example and so the length is still 6p. However, for the range given we know it will trace out the curve three times instead once as required for the formula. Despite that restriction let’s use the formula anyway and see what happens.
In this case the derivatives are,
dxdt=9cos(3t)dydt=−9sin(3t)and the length formula gives,
L=∫2π0√81sin2(3t)+81cos2(3t)dt=∫2π09dt=18πThe answer we got form the arc length formula in this example was 3 times the actual length. Recalling that we also determined that this circle would trace out three times in the range given, the answer should make some sense.
If we had wanted to determine the length of the circle for this set of parametric equations we would need to determine a range of t for which this circle is traced out exactly once. This is, 0≤t≤2π3. Using this range of t we get the following for the length.
L=∫2π30√81sin2(3t)+81cos2(3t)dt=∫2π309dt=6πwhich is the correct answer.
Be careful to not make the assumption that this is always what will happen if the curve is traced out more than once. Just because the curve traces out n times does not mean that the arc length formula will give us n times the actual length of the curve!
Before moving on to the next section let’s notice that we can put the arc length formula derived in this section into the same form that we had when we first looked at arc length. The only difference is that we will add in a definition for ds when we have parametric equations.
The arc length formula can be summarized as,
L=∫dswhere,
ds=√1+(dydx)2dxif y=f(x),a≤x≤bds=√1+(dxdy)2dyif x=h(y),c≤y≤dds=√(dxdt)2+(dydt)2dtif x=f(t),y=g(t),α≤t≤β