How do you find the length of a curve in calculus?

1 Answer
May 6, 2018

In Cartesian coordinates for y = f(x) defined on interval #[a,b]# the length of the curve is

#=>L = int_a^b sqrt(1+((dy)/(dx))^2) dx#

In general, we could just write:

#=> L = int_a^b ds#

Explanation:

Let's use Cartesian coordinates for this explanation.

If we consider an arbitrary curve defined as #y = f(x)# and are interested in the interval #x in [a,b]#, we can approximate the length of the curve using very tiny line segments.

Consider a point on the curve #P_i#. We can compute the distance of a line segment by finding the difference between two consecutive points on the line #|P_i - P_(i-1)|# for #i in [1, n]# where #n# is the number of points we've defined on the curve.

This means that the approximate total length of curve is simply a sum of all of these line segments:

#L approx sum_(i=1)^n |P_i - P_(i-1)|#

If we want the exact length of the curve, then we can make the assumption that all of the points are infinitesimally separated. We now take the limit of our sum as #n -> oo#.

#L = lim_(n-> oo) sum_(i=1)^n |P_i - P_(i-1)|#

Since we are working in the #xy#-plane, we can redefine our distance between points to take on the typical definition of Euclidean distance.

#|P_i - P_(i-1)| = sqrt((y_i-y_(i-1))^2 + (x_i-x_(i-1))^2)= sqrt(delta y^2 + delta x^2)#

We can now apply the Mean Value Theorem, which states there exists a point #x_i^'# lying in the interval #[x_(i-1),x_i]# such that

#=>f(x_i)-f(x_(i-1)) = f'(x_i^') (x_i - x_(i-1))#

which we could also write (using the notation we are using) as

#=>delta y = f'(x_i^')delta x#

Applying this means we now have

#|P_i - P_(i-1)| = sqrt([f'(x_i^') delta x]^2 + delta x^2)#

Simplifying this expression a bit gives us

#|P_i - P_(i-1)| = sqrt([f'(x_i^')]^2 delta x^2 + delta x^2)#

#|P_i - P_(i-1)| = sqrt(([f'(x_i^')]^2 + 1)delta x^2)#

#|P_i - P_(i-1)| = sqrt((1+[f'(x_i^')]^2)) delta x#

We can now use this new distance definition for our points in our summation.

#L = lim_(n-> oo) sum_(i=1)^n sqrt((1+[f'(x_i^')]^2)) delta x#

Sums are nice, but integrals are nicer for continuous circumstances! It's easy to just write this as a definite integral since both integrals and sums are "summation" tools. In the integral, we can drop our sum index as well.

#L = int_a^b sqrt((1+[f'(x)]^2)) delta x#

Writing this a little bit more typically yields

#color(blue)(L = int_a^b sqrt((1+((dy)/(dx))^2)) dx)#

We have arrived at our result! In general, the length is usually defined for a differential of arclength #ds#

#L = int_a^b ds#

where #ds# is defined accordingly for whatever type of coordinate system you are working in. However, I wanted the explanation to be clearer, so I just chose Cartesian ones for simplicity. You could use polar coordinates or spherical coordinates as well by simply making the necessary substitutions.

In general, you need to take the derivative of the function defining your curve to substitute into the integral. Then the trick is to find a way (usually) to try and get a perfect square inside the square root to simplify the integral and find your solution. It varies for every type of curve.

Let me know if you have any further questions in the comments!