Exercise 1: Why the length element is ds, not dx
The length of a curve is defined as the limit of the lengths of inscribed polygons, as the polygon gets finer. Everything in this chapter comes from one right triangle: on a short piece of the curve, the horizontal step and the vertical step are the legs, and the piece of curve is close to the hypotenuse.
The figure shows the parabola on and the polygon of two chords through , and .
- a) On a subinterval of width , show that the chord has length . Use the Mean Value Theorem to write it as , and conclude with the arc length formula. Which hypothesis on does it need?
- b) Compute the length of the two-chord polygon exactly. Is it larger or smaller than the arc length of the parabola? Justify without computing .
- c) Set up as an integral in , then evaluate it with the substitution .
- d) Test the formula on two curves whose length you know without calculus: the segment for , and the arc of circle for .
- e) A classmate writes . What does his integral give for the segment , , what does it actually measure, and why is it wrong?
Show the solution
Answers
- a) Chord ; MVT gives , with continuous on .
- b) , smaller than (each chord is the shortest path between its ends).
- c)
- d) Segment: , the distance from to . Arc: .
- e) instead of : run plus rise, the staircase path; .
a) The chord joins to . Its horizontal leg is and its vertical leg is , so by Pythagoras its length is , after factoring out of the root (). If is differentiable, the Mean Value Theorem gives a point in with . The polygon therefore has length , which is a Riemann sum of the function . When is CONTINUOUS on (the curve is smooth), this function is continuous, the sums converge, and . In differential form, : the root is Pythagoras, and it is the whole chapter.
b) and , so the polygon has length . It is SMALLER than : a chord is the shortest path between its two endpoints, and the arc between and is one such path, so each chord is at most the piece of arc it spans. Adding points to the polygon can only make it longer (triangle inequality again), and is the limit of these increasing lengths. With and , the polygon gives , a lower bound for .
c) , so and . The root does not open here, so a technique is needed: , , (positive since ), and the bounds become and . Then . With , and at , , : . Order of magnitude: and is a little above , so , just above the polygon's , as part b) demands. Two chords are already close because the parabola bends little.
d) Segment: , so . The segment runs from to , whose distance is . Arc of circle: , so and . Geometrically the arc goes from , at angle , to , at angle : an angle of on a circle of radius , of length . Both tests pass. Testing a formula on a segment or a circle is the fastest way to catch a misremembered one.
e) For , and his integral gives , while the segment from to has length . In general : run plus rise, the length of the STAIRCASE path that goes across then up, and it can even be negative when decreases. It needs no calculus at all, which is a sign that it cannot be a length. The error is : the square root of a sum is not the sum of the square roots. The legs of a right triangle add up to more than its hypotenuse, and that is exactly the gap between and .