MATH 141 Calculus 2 • McGill University, Montreal

Corrected exercises: arc length and area of a surface of revolution (MATH 141)

This is the corrected exercise set for the arc length and surface area chapter of MATH 141, Calculus 2, the integral calculus course taken in first year at McGill University. It follows sections 8.1 and 8.2 of Stewart. Every number is chosen to be done by hand, as on the midterm and the final: the roots open, the bounds are logarithms when the curve is a hyperbolic cosine, and every answer is exact, 1712\frac{17}{12}, ln⁡(2+3)\ln(2 + \sqrt 3), 47π16\frac{47\pi}{16}, never a decimal read off a machine.

The thread running through the whole set: everything here is measured ALONG the curve, so every integral carries the length element ds=1+(dydx)2 dxds = \sqrt{1 + (\frac{dy}{dx})^2}\,dx, the hypotenuse of a right triangle whose legs are dxdx and dydy. On an exam the root is designed to open, and the skill is to see how: a perfect square when f′=A−Bf' = A - B with AB=14AB = \frac14, a secant when f′=tan⁡xf' = \tan x, a hyperbolic cosine when f′=sinh⁡xf' = \sinh x. For a surface, S=∫2πr dsS = \int 2\pi r\,ds, with rr the distance to the axis. The check used throughout: arc ≥\ge chord ≥\ge run.

The traps named in the solutions: writing 1+f′1 + f' instead of the root, keeping the minus sign when the square opens (and computing the rise instead of the length), removing sec⁡2x\sqrt{\sec^2 x} without an absolute value, integrating in xx where dydx\frac{dy}{dx} is infinite, mixing bounds in xx with dydy, the volume reflex 2πy dx2\pi y\,dx for an area, the radius yy for a rotation about the yy-axis, and concluding that a finite volume means a finite area.

10 corrected exercises • 100 points • 150 minutes

Revision sheet for this chapter → Every MATH 141 chapter →

Course recap

  • • Arc length: L=∫ab1+(f′(x))2 dxL = \int_a^b \sqrt{1 + (f'(x))^2}\,dx for y=f(x)y = f(x), and L=∫cd1+(g′(y))2 dyL = \int_c^d \sqrt{1 + (g'(y))^2}\,dy for x=g(y)x = g(y), the derivative continuous on the closed interval.
  • • ds2=dx2+dy2ds^2 = dx^2 + dy^2, and always arc ≥\ge chord ≥\ge run.
  • • Perfect square: if f′=A−Bf' = A - B with AB=14AB = \frac14, then 1+(f′)2=(A+B)21 + (f')^2 = (A + B)^2.
  • • 1+tan⁡2x=sec⁡2x1 + \tan^2 x = \sec^2 x, ∫sec⁡x dx=ln⁡∣sec⁡x+tan⁡x∣+C\int \sec x\,dx = \ln|\sec x + \tan x| + C; cosh⁡2x−sinh⁡2x=1\cosh^2 x - \sinh^2 x = 1; and u2=∣u∣\sqrt{u^2} = |u|.
  • • Arc length function: s(x)=∫ax1+(f′(t))2 dts(x) = \int_a^x \sqrt{1 + (f'(t))^2}\,dt, so s′(x)=1+(f′(x))2≥1s'(x) = \sqrt{1 + (f'(x))^2} \ge 1.
  • • Surface of revolution: S=∫2πr dsS = \int 2\pi r\,ds, with r=yr = y about the xx-axis, r=xr = x about the yy-axis, r=∣y−k∣r = |y - k| about y=ky = k.
  • • Sphere zone of thickness hh: 2πrh2\pi rh. ∫1∞dxxp\int_1^\infty \frac{dx}{x^p} converges if and only if p>1p > 1.

Part A: the basics (/50)

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 Δx\Delta x and the vertical step Δy\Delta y are the legs, and the piece of curve is close to the hypotenuse.

The figure shows the parabola y=x24y = \frac{x^2}{4} on [0,4][0, 4] and the polygon of two chords through P0=(0,0)P_0 = (0, 0), P1=(2,1)P_1 = (2, 1) and P2=(4,4)P_2 = (4, 4).

-112345-112345P0P1P2Δx = 2Δy = 3y = x²/4
  • a) On a subinterval [xi−1,xi][x_{i-1}, x_i] of width Δx\Delta x, show that the chord has length 1+(Δyi/Δx)2 Δx\sqrt{1 + (\Delta y_i / \Delta x)^2}\,\Delta x. Use the Mean Value Theorem to write it as 1+f′(xi∗)2 Δx\sqrt{1 + f'(x_i^*)^2}\,\Delta x, and conclude with the arc length formula. Which hypothesis on ff does it need?
  • b) Compute the length of the two-chord polygon exactly. Is it larger or smaller than the arc length LL of the parabola? Justify without computing LL.
  • c) Set up LL as an integral in xx, then evaluate it with the substitution x=2tan⁡θx = 2\tan\theta.
  • d) Test the formula on two curves whose length you know without calculus: the segment y=2x+1y = 2x + 1 for 0≤x≤30 \le x \le 3, and the arc of circle y=4−x2y = \sqrt{4 - x^2} for 0≤x≤10 \le x \le 1.
  • e) A classmate writes L=∫ab(1+f′(x)) dxL = \int_a^b (1 + f'(x))\,dx. What does his integral give for the segment y=xy = x, 0≤x≤10 \le x \le 1, what does it actually measure, and why is it wrong?
Show the solution

Answers

  • a) Chord =Δx2+Δyi2= \sqrt{\Delta x^2 + \Delta y_i^2}; MVT gives L=∫ab1+(f′(x))2 dxL = \int_a^b \sqrt{1 + (f'(x))^2}\,dx, with f′f' continuous on [a,b][a, b].
  • b) 5+13\sqrt 5 + \sqrt{13}, smaller than LL (each chord is the shortest path between its ends).
  • c) L=12∫044+x2 dx=25+ln⁡(2+5)L = \frac12\int_0^4 \sqrt{4 + x^2}\,dx = 2\sqrt 5 + \ln(2 + \sqrt 5)
  • d) Segment: 353\sqrt 5, the distance from (0,1)(0, 1) to (3,7)(3, 7). Arc: π3=2⋅π6\frac{\pi}{3} = 2 \cdot \frac{\pi}{6}.
  • e) 22 instead of 2\sqrt 2: run plus rise, the staircase path; 1+f′2≠1+f′\sqrt{1 + f'^2} \ne 1 + f'.

a) The chord joins (xi−1,f(xi−1))(x_{i-1}, f(x_{i-1})) to (xi,f(xi))(x_i, f(x_i)). Its horizontal leg is Δx\Delta x and its vertical leg is Δyi=f(xi)−f(xi−1)\Delta y_i = f(x_i) - f(x_{i-1}), so by Pythagoras its length is Δx2+Δyi2=1+(Δyi/Δx)2 Δx\sqrt{\Delta x^2 + \Delta y_i^2} = \sqrt{1 + (\Delta y_i/\Delta x)^2}\,\Delta x, after factoring Δx2\Delta x^2 out of the root (Δx>0\Delta x > 0). If ff is differentiable, the Mean Value Theorem gives a point xi∗x_i^* in (xi−1,xi)(x_{i-1}, x_i) with Δyi=f′(xi∗) Δx\Delta y_i = f'(x_i^*)\,\Delta x. The polygon therefore has length ∑i=1n1+f′(xi∗)2 Δx\sum_{i=1}^n \sqrt{1 + f'(x_i^*)^2}\,\Delta x, which is a Riemann sum of the function 1+(f′)2\sqrt{1 + (f')^2}. When f′f' is CONTINUOUS on [a,b][a, b] (the curve is smooth), this function is continuous, the sums converge, and L=∫ab1+(f′(x))2 dxL = \int_a^b \sqrt{1 + (f'(x))^2}\,dx. In differential form, ds2=dx2+dy2ds^2 = dx^2 + dy^2: the root is Pythagoras, and it is the whole chapter.

b) ∣P0P1∣=22+12=5|P_0P_1| = \sqrt{2^2 + 1^2} = \sqrt 5 and ∣P1P2∣=22+32=13|P_1P_2| = \sqrt{2^2 + 3^2} = \sqrt{13}, so the polygon has length 5+13\sqrt 5 + \sqrt{13}. It is SMALLER than LL: a chord is the shortest path between its two endpoints, and the arc between P0P_0 and P1P_1 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 LL is the limit of these increasing lengths. With 5≈2.24\sqrt 5 \approx 2.24 and 13≈3.61\sqrt{13} \approx 3.61, the polygon gives 5.855.85, a lower bound for LL.

c) f′(x)=x2f'(x) = \frac{x}{2}, so 1+(f′)2=1+x24=4+x241 + (f')^2 = 1 + \frac{x^2}{4} = \frac{4 + x^2}{4} and L=∫04124+x2 dxL = \int_0^4 \frac12\sqrt{4 + x^2}\,dx. The root does not open here, so a technique is needed: x=2tan⁡θx = 2\tan\theta, dx=2sec⁡2θ dθdx = 2\sec^2\theta\,d\theta, 4+x2=2sec⁡θ\sqrt{4 + x^2} = 2\sec\theta (positive since 0≤θ<π20 \le \theta < \frac{\pi}{2}), and the bounds become θ=0\theta = 0 and θ=arctan⁡2\theta = \arctan 2. Then L=12∫0arctan⁡22sec⁡θ⋅2sec⁡2θ dθ=2∫0arctan⁡2sec⁡3θ dθL = \frac12\int_0^{\arctan 2} 2\sec\theta \cdot 2\sec^2\theta\,d\theta = 2\int_0^{\arctan 2}\sec^3\theta\,d\theta. With ∫sec⁡3θ dθ=12(sec⁡θtan⁡θ+ln⁡∣sec⁡θ+tan⁡θ∣)+C\int \sec^3\theta\,d\theta = \frac12(\sec\theta\tan\theta + \ln|\sec\theta + \tan\theta|) + C, and at θ=arctan⁡2\theta = \arctan 2, tan⁡θ=2\tan\theta = 2, sec⁡θ=1+4=5\sec\theta = \sqrt{1 + 4} = \sqrt 5: L=[sec⁡θtan⁡θ+ln⁡(sec⁡θ+tan⁡θ)]0arctan⁡2=25+ln⁡(2+5)L = \left[\sec\theta\tan\theta + \ln(\sec\theta + \tan\theta)\right]_0^{\arctan 2} = 2\sqrt 5 + \ln(2 + \sqrt 5). Order of magnitude: 25≈4.472\sqrt 5 \approx 4.47 and ln⁡(2+5)\ln(2 + \sqrt 5) is a little above ln⁡4≈1.39\ln 4 \approx 1.39, so L≈5.9L \approx 5.9, just above the polygon's 5.855.85, as part b) demands. Two chords are already close because the parabola bends little.

d) Segment: f′=2f' = 2, so L=∫031+4 dx=35L = \int_0^3 \sqrt{1 + 4}\,dx = 3\sqrt 5. The segment runs from (0,1)(0, 1) to (3,7)(3, 7), whose distance is 9+36=45=35\sqrt{9 + 36} = \sqrt{45} = 3\sqrt 5. Arc of circle: f′(x)=−x4−x2f'(x) = \frac{-x}{\sqrt{4 - x^2}}, so 1+(f′)2=4−x2+x24−x2=44−x21 + (f')^2 = \frac{4 - x^2 + x^2}{4 - x^2} = \frac{4}{4 - x^2} and L=∫0124−x2 dx=2[arcsin⁡x2]01=2⋅π6=π3L = \int_0^1 \frac{2}{\sqrt{4 - x^2}}\,dx = 2\left[\arcsin\frac{x}{2}\right]_0^1 = 2 \cdot \frac{\pi}{6} = \frac{\pi}{3}. Geometrically the arc goes from (0,2)(0, 2), at angle π2\frac{\pi}{2}, to (1,3)(1, \sqrt 3), at angle π3\frac{\pi}{3}: an angle of π6\frac{\pi}{6} on a circle of radius 22, of length rθ=π3r\theta = \frac{\pi}{3}. Both tests pass. Testing a formula on a segment or a circle is the fastest way to catch a misremembered one.

e) For y=xy = x, f′=1f' = 1 and his integral gives ∫012 dx=2\int_0^1 2\,dx = 2, while the segment from (0,0)(0, 0) to (1,1)(1, 1) has length 2\sqrt 2. In general ∫ab(1+f′) dx=(b−a)+(f(b)−f(a))\int_a^b (1 + f')\,dx = (b - a) + (f(b) - f(a)): run plus rise, the length of the STAIRCASE path that goes across then up, and it can even be negative when ff decreases. It needs no calculus at all, which is a sign that it cannot be a length. The error is 1+(f′)2=1+f′\sqrt{1 + (f')^2} = 1 + f': 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 22 and 2\sqrt 2.

Exercise 2: Perfect squares: the root is designed to open

On an exam without a calculator, almost every arc length integral is built so that 1+(f′)21 + (f')^2 is a perfect square. The mechanism is always the same: if f′(x)=A−Bf'(x) = A - B with AB=14AB = \frac14, then 1+(A−B)2=A2−2AB+B2+1=A2+2AB+B2=(A+B)21 + (A - B)^2 = A^2 - 2AB + B^2 + 1 = A^2 + 2AB + B^2 = (A + B)^2. The minus sign inside the root becomes a plus sign outside.

The figure shows the arc of part a), its chord, and its run.

0.511.522.50.511.522.5arcchordrun = 1
  • a) Find the length of y=x36+12xy = \frac{x^3}{6} + \frac{1}{2x} for 1≤x≤21 \le x \le 2.
  • b) Find the length of y=x24−ln⁡x2y = \frac{x^2}{4} - \frac{\ln x}{2} for 1≤x≤e1 \le x \le e.
  • c) Find the length of y=23(x2+1)3/2y = \frac23(x^2 + 1)^{3/2} for 0≤x≤10 \le x \le 1. Here f′f' is not a difference: say why the root still opens.
  • d) Find the constant c>0c > 0 for which y=x33+cxy = \frac{x^3}{3} + \frac{c}{x} has a perfect square under the root, then the length of this curve for 1≤x≤21 \le x \le 2.
  • e) A student finds 1112\frac{11}{12} in part a). Find the slip, and use the figure to show that 1112\frac{11}{12} could never be the length of this arc.
Show the solution

Answers

  • a) L=1712L = \frac{17}{12}
  • b) L=e2+14L = \frac{e^2 + 1}{4}
  • c) 1+(f′)2=(2x2+1)21 + (f')^2 = (2x^2 + 1)^2, L=53L = \frac53
  • d) c=14c = \frac14, L=5924L = \frac{59}{24}
  • e) The root was written x22−12x2\frac{x^2}{2} - \frac{1}{2x^2}, which integrates f′f' and gives the rise; 1112<1=\frac{11}{12} < 1 = run << chord << arc.

a) f′(x)=x22−12x2f'(x) = \frac{x^2}{2} - \frac{1}{2x^2}. Name the two terms: A=x22A = \frac{x^2}{2}, B=12x2B = \frac{1}{2x^2}, and AB=14AB = \frac14: the root will open. Written out, (f′)2=x44−12+14x4(f')^2 = \frac{x^4}{4} - \frac12 + \frac{1}{4x^4}, so 1+(f′)2=x44+12+14x4=(x22+12x2)21 + (f')^2 = \frac{x^4}{4} + \frac12 + \frac{1}{4x^4} = \left(\frac{x^2}{2} + \frac{1}{2x^2}\right)^2. The bracket is positive, so the root is the bracket itself. L=∫12(x22+x−22)dx=[x36−12x]12=(86−14)−(16−12)=1312+13=1712L = \int_1^2 \left(\frac{x^2}{2} + \frac{x^{-2}}{2}\right)dx = \left[\frac{x^3}{6} - \frac{1}{2x}\right]_1^2 = \left(\frac86 - \frac14\right) - \left(\frac16 - \frac12\right) = \frac{13}{12} + \frac13 = \frac{17}{12}. Check by differentiation: ddx(x36−12x)=x22+12x2\frac{d}{dx}\left(\frac{x^3}{6} - \frac{1}{2x}\right) = \frac{x^2}{2} + \frac{1}{2x^2}. The antiderivative is NOT ff: the sign in front of 12x\frac{1}{2x} has flipped, and that sign is the whole point.

b) f′(x)=x2−12xf'(x) = \frac{x}{2} - \frac{1}{2x}, with A=x2A = \frac{x}{2}, B=12xB = \frac{1}{2x}, AB=14AB = \frac14. So 1+(f′)2=x24+12+14x2=(x2+12x)21 + (f')^2 = \frac{x^2}{4} + \frac12 + \frac{1}{4x^2} = \left(\frac{x}{2} + \frac{1}{2x}\right)^2, positive on [1,e][1, e]. L=∫1e(x2+12x)dx=[x24+ln⁡x2]1e=e24+12−14=e2+14L = \int_1^e \left(\frac{x}{2} + \frac{1}{2x}\right)dx = \left[\frac{x^2}{4} + \frac{\ln x}{2}\right]_1^e = \frac{e^2}{4} + \frac12 - \frac14 = \frac{e^2 + 1}{4}. With e2≈7.39e^2 \approx 7.39, L≈2.1L \approx 2.1, longer than the run e−1≈1.72e - 1 \approx 1.72, as it must be. The exact answer keeps ee: on a MATH 141 paper, 2.12.1 alone would lose the mark.

c) f′(x)=23⋅32(x2+1)1/2⋅2x=2xx2+1f'(x) = \frac23 \cdot \frac32 (x^2 + 1)^{1/2} \cdot 2x = 2x\sqrt{x^2 + 1}. Then 1+(f′)2=1+4x2(x2+1)=4x4+4x2+1=(2x2+1)21 + (f')^2 = 1 + 4x^2(x^2 + 1) = 4x^4 + 4x^2 + 1 = (2x^2 + 1)^2. This time the square comes from a trinomial in x2x^2 whose discriminant 16−16=016 - 16 = 0 vanishes: same idea, the cross term 4x24x^2 is exactly twice the product of 2x22x^2 and 11. L=∫01(2x2+1) dx=23+1=53L = \int_0^1 (2x^2 + 1)\,dx = \frac23 + 1 = \frac53. The lesson is to EXPAND 1+(f′)21 + (f')^2 and look at it before reaching for a substitution.

d) f′(x)=x2−cx2f'(x) = x^2 - \frac{c}{x^2}, so 1+(f′)2=x4+(1−2c)+c2x41 + (f')^2 = x^4 + (1 - 2c) + \frac{c^2}{x^4}. It equals (x2+cx2)2=x4+2c+c2x4\left(x^2 + \frac{c}{x^2}\right)^2 = x^4 + 2c + \frac{c^2}{x^4} exactly when 1−2c=2c1 - 2c = 2c, that is c=14c = \frac14: the rule AB=14AB = \frac14 again, with A=x2A = x^2 and B=cx2B = \frac{c}{x^2}. Then L=∫12(x2+14x2)dx=[x33−14x]12=(83−18)−(13−14)=73+18=5924L = \int_1^2 \left(x^2 + \frac{1}{4x^2}\right)dx = \left[\frac{x^3}{3} - \frac{1}{4x}\right]_1^2 = \left(\frac83 - \frac18\right) - \left(\frac13 - \frac14\right) = \frac73 + \frac18 = \frac{59}{24}. This is how exam curves are built, and recognizing the construction is what saves the time.

e) The slip is to keep the minus sign: 1+(f′)2=x22−12x2\sqrt{1 + (f')^2} = \frac{x^2}{2} - \frac{1}{2x^2}. That bracket is f′f' itself, so the integral becomes ∫12f′(x) dx=f(2)−f(1)=1912−812=1112\int_1^2 f'(x)\,dx = f(2) - f(1) = \frac{19}{12} - \frac{8}{12} = \frac{11}{12}: the student computed the RISE of the curve, not its length. The figure settles it without any algebra: the arc goes from (1,23)(1, \frac23) to (2,1912)(2, \frac{19}{12}), so it is at least as long as its chord, 1+(1112)2=26512\sqrt{1 + (\frac{11}{12})^2} = \frac{\sqrt{265}}{12}, which is longer than the run 11. Any arc over an interval of width 11 is at least 11 long, and 1112<1\frac{11}{12} < 1. The check arc ≥\ge chord ≥\ge run costs five seconds and catches this error every time; the true value 1712≈1.42\frac{17}{12} \approx 1.42 sits just above the chord ≈1.36\approx 1.36.

Exercise 3: Secant and hyperbolic cosine: two more roots that open

Two other families of curves have a root that opens, not by a perfect square of polynomials but by an identity: 1+tan⁡2x=sec⁡2x1 + \tan^2 x = \sec^2 x, and, for the hyperbolic functions cosh⁡x=ex+e−x2\cosh x = \frac{e^x + e^{-x}}{2} and sinh⁡x=ex−e−x2\sinh x = \frac{e^x - e^{-x}}{2}, 1+sinh⁡2x=cosh⁡2x1 + \sinh^2 x = \cosh^2 x.

In both cases the square root of a square is an ABSOLUTE VALUE, u2=∣u∣\sqrt{u^2} = |u|, and the sign of uu on the interval must be decided before the root is removed.

  • a) Find the length of y=ln⁡(cos⁡x)y = \ln(\cos x) for 0≤x≤π30 \le x \le \frac{\pi}{3}.
  • b) Find the length of y=ln⁡(sin⁡x)y = \ln(\sin x) for π6≤x≤π2\frac{\pi}{6} \le x \le \frac{\pi}{2}. Explain the coincidence with part a) by a symmetry of the graphs.
  • c) Using only the definitions, check that ddxcosh⁡x=sinh⁡x\frac{d}{dx}\cosh x = \sinh x and 1+sinh⁡2x=cosh⁡2x1 + \sinh^2 x = \cosh^2 x, then find the length of y=cosh⁡xy = \cosh x for 0≤x≤ln⁡30 \le x \le \ln 3.
  • d) Find the length of y=ln⁡(1−x2)y = \ln(1 - x^2) for 0≤x≤120 \le x \le \frac12.
  • e) Find the length of y=ln⁡∣cos⁡x∣y = \ln|\cos x| for 2π3≤x≤π\frac{2\pi}{3} \le x \le \pi. A student gets −ln⁡(2+3)-\ln(2 + \sqrt 3): where is the error?
Show the solution

Answers

  • a) L=ln⁡(2+3)L = \ln(2 + \sqrt 3)
  • b) L=ln⁡(2+3)L = \ln(2 + \sqrt 3): the graph is the mirror image of a) under x↦π2−xx \mapsto \frac{\pi}{2} - x.
  • c) L=sinh⁡(ln⁡3)=43L = \sinh(\ln 3) = \frac43
  • d) L=ln⁡3−12L = \ln 3 - \frac12
  • e) L=ln⁡(2+3)L = \ln(2 + \sqrt 3): there sec⁡x<0\sec x < 0, so sec⁡2x=−sec⁡x\sqrt{\sec^2 x} = -\sec x.

a) f′(x)=−sin⁡xcos⁡x=−tan⁡xf'(x) = \frac{-\sin x}{\cos x} = -\tan x, so 1+(f′)2=1+tan⁡2x=sec⁡2x1 + (f')^2 = 1 + \tan^2 x = \sec^2 x. On [0,π3][0, \frac{\pi}{3}], cos⁡x>0\cos x > 0, so sec⁡x>0\sec x > 0 and sec⁡2x=sec⁡x\sqrt{\sec^2 x} = \sec x. Then L=∫0π/3sec⁡x dx=[ln⁡∣sec⁡x+tan⁡x∣]0π/3=ln⁡(2+3)−ln⁡1=ln⁡(2+3)L = \int_0^{\pi/3} \sec x\,dx = \left[\ln|\sec x + \tan x|\right]_0^{\pi/3} = \ln(2 + \sqrt 3) - \ln 1 = \ln(2 + \sqrt 3), using sec⁡π3=2\sec\frac{\pi}{3} = 2 and tan⁡π3=3\tan\frac{\pi}{3} = \sqrt 3. Check of the antiderivative: ddxln⁡(sec⁡x+tan⁡x)=sec⁡xtan⁡x+sec⁡2xsec⁡x+tan⁡x=sec⁡x\frac{d}{dx}\ln(\sec x + \tan x) = \frac{\sec x\tan x + \sec^2 x}{\sec x + \tan x} = \sec x. Order of magnitude: 2+3≈3.732 + \sqrt 3 \approx 3.73 lies between ee and 44, so LL is between 11 and 1.391.39, above the run π3≈1.05\frac{\pi}{3} \approx 1.05.

b) f′(x)=cos⁡xsin⁡x=cot⁡xf'(x) = \frac{\cos x}{\sin x} = \cot x and 1+cot⁡2x=csc⁡2x1 + \cot^2 x = \csc^2 x. On [π6,π2][\frac{\pi}{6}, \frac{\pi}{2}], sin⁡x>0\sin x > 0, so the root is csc⁡x\csc x. With ∫csc⁡x dx=ln⁡∣csc⁡x−cot⁡x∣+C\int \csc x\,dx = \ln|\csc x - \cot x| + C: at π2\frac{\pi}{2}, csc⁡=1\csc = 1 and cot⁡=0\cot = 0, giving ln⁡1=0\ln 1 = 0; at π6\frac{\pi}{6}, csc⁡=2\csc = 2 and cot⁡=3\cot = \sqrt 3, giving ln⁡(2−3)\ln(2 - \sqrt 3). So L=0−ln⁡(2−3)=ln⁡12−3=ln⁡(2+3)L = 0 - \ln(2 - \sqrt 3) = \ln\frac{1}{2 - \sqrt 3} = \ln(2 + \sqrt 3), since (2−3)(2+3)=4−3=1(2 - \sqrt 3)(2 + \sqrt 3) = 4 - 3 = 1. The coincidence: sin⁡x=cos⁡(π2−x)\sin x = \cos(\frac{\pi}{2} - x), so the graph of ln⁡(sin⁡x)\ln(\sin x) is the graph of ln⁡(cos⁡x)\ln(\cos x) reflected in the vertical line x=π4x = \frac{\pi}{4}, and that reflection sends [π6,π2][\frac{\pi}{6}, \frac{\pi}{2}] onto [0,π3][0, \frac{\pi}{3}]. A reflection does not change lengths. Seeing this first would have given the answer in one line.

c) ddxex+e−x2=ex−e−x2=sinh⁡x\frac{d}{dx}\frac{e^x + e^{-x}}{2} = \frac{e^x - e^{-x}}{2} = \sinh x. Next cosh⁡2x−sinh⁡2x=(e2x+2+e−2x)−(e2x−2+e−2x)4=44=1\cosh^2 x - \sinh^2 x = \frac{(e^{2x} + 2 + e^{-2x}) - (e^{2x} - 2 + e^{-2x})}{4} = \frac44 = 1, so 1+sinh⁡2x=cosh⁡2x1 + \sinh^2 x = \cosh^2 x. Since cosh⁡x\cosh x is half a sum of two positive numbers, it is positive and the root is cosh⁡x\cosh x, with no absolute value to worry about. L=∫0ln⁡3cosh⁡x dx=sinh⁡(ln⁡3)−sinh⁡0=eln⁡3−e−ln⁡32=3−132=43L = \int_0^{\ln 3}\cosh x\,dx = \sinh(\ln 3) - \sinh 0 = \frac{e^{\ln 3} - e^{-\ln 3}}{2} = \frac{3 - \frac13}{2} = \frac43. The only computation is eln⁡3=3e^{\ln 3} = 3 and e−ln⁡3=13e^{-\ln 3} = \frac13: that is why exam bounds for cosh⁡\cosh are logarithms.

d) f′(x)=−2x1−x2f'(x) = \frac{-2x}{1 - x^2}, so 1+(f′)2=(1−x2)2+4x2(1−x2)2=1+2x2+x4(1−x2)2=(1+x2)2(1−x2)21 + (f')^2 = \frac{(1 - x^2)^2 + 4x^2}{(1 - x^2)^2} = \frac{1 + 2x^2 + x^4}{(1 - x^2)^2} = \frac{(1 + x^2)^2}{(1 - x^2)^2}. On [0,12][0, \frac12], 1−x2>01 - x^2 > 0, so the root is 1+x21−x2\frac{1 + x^2}{1 - x^2}. Numerator and denominator have the same degree: divide first, 1+x21−x2=−1+21−x2\frac{1 + x^2}{1 - x^2} = -1 + \frac{2}{1 - x^2}, then split 21−x2=11−x+11+x\frac{2}{1 - x^2} = \frac{1}{1 - x} + \frac{1}{1 + x}. L=[−x−ln⁡(1−x)+ln⁡(1+x)]01/2=−12−ln⁡12+ln⁡32=−12+ln⁡3L = \left[-x - \ln(1 - x) + \ln(1 + x)\right]_0^{1/2} = -\frac12 - \ln\frac12 + \ln\frac32 = -\frac12 + \ln 3. With ln⁡3≈1.10\ln 3 \approx 1.10, L≈0.60L \approx 0.60, just above the run 0.50.5 since the curve only drops by ln⁡43\ln\frac43.

e) ddxln⁡∣cos⁡x∣=−sin⁡xcos⁡x=−tan⁡x\frac{d}{dx}\ln|\cos x| = \frac{-\sin x}{\cos x} = -\tan x again, so 1+(f′)2=sec⁡2x1 + (f')^2 = \sec^2 x. But on [2π3,π][\frac{2\pi}{3}, \pi], cos⁡x<0\cos x < 0, so sec⁡x<0\sec x < 0 and sec⁡2x=∣sec⁡x∣=−sec⁡x\sqrt{\sec^2 x} = |\sec x| = -\sec x. L=−∫2π/3πsec⁡x dx=−[ln⁡∣sec⁡x+tan⁡x∣]2π/3πL = -\int_{2\pi/3}^{\pi}\sec x\,dx = -\left[\ln|\sec x + \tan x|\right]_{2\pi/3}^{\pi}. At π\pi: sec⁡π=−1\sec\pi = -1, tan⁡π=0\tan\pi = 0, so ln⁡1=0\ln 1 = 0. At 2π3\frac{2\pi}{3}: sec⁡=−2\sec = -2, tan⁡=−3\tan = -\sqrt 3, so ln⁡∣−2−3∣=ln⁡(2+3)\ln|-2 - \sqrt 3| = \ln(2 + \sqrt 3). Hence L=−(0−ln⁡(2+3))=ln⁡(2+3)L = -(0 - \ln(2 + \sqrt 3)) = \ln(2 + \sqrt 3). The student removed the root as sec⁡x\sec x and integrated a negative function: a NEGATIVE length is never an answer, it is an alarm. Symmetry confirms: ∣cos⁡(π−x)∣=∣cos⁡x∣|\cos(\pi - x)| = |\cos x|, so this arc is the mirror image of the arc of part a) under x↦π−xx \mapsto \pi - x.

Exercise 4: Choosing the variable: when dy/dx blows up, integrate in y

If the curve is given as x=g(y)x = g(y) for c≤y≤dc \le y \le d, with g′g' continuous, the same polygon argument gives L=∫cd1+(g′(y))2 dyL = \int_c^d \sqrt{1 + (g'(y))^2}\,dy. The three pieces must match: the derivative dxdy\frac{dx}{dy}, the differential dydy and the bounds in yy.

The figure shows y=x2/3y = x^{2/3} from (0,0)(0, 0) to (8,4)(8, 4).

-1123456789-112345(8, 4)y = x^(2/3)vertical tangent at O
  • a) Compute dydx\frac{dy}{dx} and explain why the arc length formula in xx does not apply as it stands on [0,8][0, 8].
  • b) Write the arc as x=g(y)x = g(y) and compute its length with yy as the variable.
  • c) Check part b) by doing the integral in xx anyway, as an improper integral, with u=9x2/3+4u = 9x^{2/3} + 4.
  • d) Find the length of x=y48+14y2x = \frac{y^4}{8} + \frac{1}{4y^2} for 1≤y≤21 \le y \le 2.
  • e) Find the length of the parabola x=y22x = \frac{y^2}{2} from (0,0)(0, 0) to (12,1)(\frac12, 1), and say why an integral in xx would be the worse choice.
Show the solution

Answers

  • a) dydx=23x1/3\frac{dy}{dx} = \frac{2}{3x^{1/3}} is undefined at 00 (vertical tangent): f′f' is not continuous on [0,8][0, 8].
  • b) x=y3/2x = y^{3/2}, 0≤y≤40 \le y \le 4: L=827(1010−1)L = \frac{8}{27}(10\sqrt{10} - 1)
  • c) 118∫440u du=827(1010−1)\frac{1}{18}\int_4^{40}\sqrt u\,du = \frac{8}{27}(10\sqrt{10} - 1), the same value
  • d) L=3316L = \frac{33}{16}
  • e) L=12(2+ln⁡(1+2))L = \frac12\left(\sqrt 2 + \ln(1 + \sqrt 2)\right); in xx, dydx=12x\frac{dy}{dx} = \frac{1}{\sqrt{2x}} is infinite at 00.

a) dydx=23x−1/3=23x3\frac{dy}{dx} = \frac23 x^{-1/3} = \frac{2}{3\sqrt[3]{x}}. It is not defined at x=0x = 0 and tends to +∞+\infty as x→0+x \to 0^+: the tangent at the origin is vertical, as the figure shows. The formula L=∫ab1+(f′)2 dxL = \int_a^b \sqrt{1 + (f')^2}\,dx was derived for f′f' CONTINUOUS on the closed interval; here the integrand 1+49x2/3\sqrt{1 + \frac{4}{9x^{2/3}}} is unbounded near 00, so the integral is improper and the formula cannot be applied as it stands. Writing ∫08\int_0^8 and carrying on without a word is the error that costs the method mark, even when the number comes out right.

b) For x,y≥0x, y \ge 0, y=x2/3y = x^{2/3} is equivalent to x=y3/2x = y^{3/2}, and yy runs from 00 to 82/3=48^{2/3} = 4. Now dxdy=32y1/2\frac{dx}{dy} = \frac32 y^{1/2}, continuous on [0,4][0, 4]: the vertical tangent in xx is a horizontal one in yy. 1+(dxdy)2=1+9y41 + (\frac{dx}{dy})^2 = 1 + \frac{9y}{4}, and L=∫041+9y4 dyL = \int_0^4 \sqrt{1 + \frac{9y}{4}}\,dy. With u=1+9y4u = 1 + \frac{9y}{4}, du=94 dydu = \frac94\,dy, and the bounds become u=1u = 1 and u=10u = 10: L=49∫110u1/2 du=49⋅23[u3/2]110=827(1010−1)L = \frac49\int_1^{10} u^{1/2}\,du = \frac49 \cdot \frac23\left[u^{3/2}\right]_1^{10} = \frac{8}{27}(10\sqrt{10} - 1). With 10≈3.16\sqrt{10} \approx 3.16, L≈9.07L \approx 9.07, just above the chord from (0,0)(0, 0) to (8,4)(8, 4), 80≈8.94\sqrt{80} \approx 8.94. The bounds are 00 and 44, values of yy: writing ∫08\int_0^8 with dydy is the classic mismatch.

c) In xx: 1+49x2/3=9x2/3+43x1/3\sqrt{1 + \frac{4}{9x^{2/3}}} = \frac{\sqrt{9x^{2/3} + 4}}{3x^{1/3}} for x>0x > 0. With u=9x2/3+4u = 9x^{2/3} + 4, du=6x−1/3 dxdu = 6x^{-1/3}\,dx, so dx3x1/3=du18\frac{dx}{3x^{1/3}} = \frac{du}{18}. As x→0+x \to 0^+, u→4u \to 4; at x=8x = 8, u=9⋅4+4=40u = 9 \cdot 4 + 4 = 40. So L=lim⁡t→0+∫t8⋯=118∫440u du=127(4040−8)=127(8010−8)=827(1010−1)L = \lim_{t \to 0^+}\int_t^8 \dots = \frac{1}{18}\int_4^{40}\sqrt u\,du = \frac{1}{27}\left(40\sqrt{40} - 8\right) = \frac{1}{27}(80\sqrt{10} - 8) = \frac{8}{27}(10\sqrt{10} - 1). Same value: the improper integral converges. But this route asked you to spot the problem, write the limit, and find a less obvious substitution; in yy nothing happened at all.

d) dxdy=y32−12y3\frac{dx}{dy} = \frac{y^3}{2} - \frac{1}{2y^3}, with A=y32A = \frac{y^3}{2}, B=12y3B = \frac{1}{2y^3} and AB=14AB = \frac14: the perfect square of Exercise 2, in the other variable. 1+(dxdy)2=(y32+12y3)21 + (\frac{dx}{dy})^2 = \left(\frac{y^3}{2} + \frac{1}{2y^3}\right)^2, positive on [1,2][1, 2]. L=∫12(y32+y−32)dy=[y48−14y2]12=(2−116)−(18−14)=3116+18=3316L = \int_1^2 \left(\frac{y^3}{2} + \frac{y^{-3}}{2}\right)dy = \left[\frac{y^4}{8} - \frac{1}{4y^2}\right]_1^2 = \left(2 - \frac{1}{16}\right) - \left(\frac18 - \frac14\right) = \frac{31}{16} + \frac18 = \frac{33}{16}. Nothing new in the method: only the letters changed, and the bounds are the given values of yy.

e) dxdy=y\frac{dx}{dy} = y, so L=∫011+y2 dyL = \int_0^1 \sqrt{1 + y^2}\,dy. No perfect square this time: y=tan⁡θy = \tan\theta, dy=sec⁡2θ dθdy = \sec^2\theta\,d\theta, bounds 00 and π4\frac{\pi}{4}, and L=∫0π/4sec⁡3θ dθ=12[sec⁡θtan⁡θ+ln⁡∣sec⁡θ+tan⁡θ∣]0π/4=12(2+ln⁡(1+2))L = \int_0^{\pi/4}\sec^3\theta\,d\theta = \frac12\left[\sec\theta\tan\theta + \ln|\sec\theta + \tan\theta|\right]_0^{\pi/4} = \frac12\left(\sqrt 2 + \ln(1 + \sqrt 2)\right). Since ln⁡(1+2)\ln(1 + \sqrt 2) lies between ln⁡2≈0.69\ln 2 \approx 0.69 and 11, LL is between 1.051.05 and 1.211.21, above the chord 14+1=52≈1.12\sqrt{\frac14 + 1} = \frac{\sqrt 5}{2} \approx 1.12. In xx, the arc is y=2xy = \sqrt{2x}, 0≤x≤120 \le x \le \frac12, with dydx=12x\frac{dy}{dx} = \frac{1}{\sqrt{2x}}, infinite at x=0x = 0: an improper integral of 1+12x\sqrt{1 + \frac{1}{2x}}, harder on every count. The rule: choose the variable in which the derivative stays FINITE on the closed interval.

Exercise 5: The arc length function and the point at a given distance

For a smooth curve y=f(x)y = f(x) and a starting point (a,f(a))(a, f(a)), the arc length function s(x)=∫ax1+(f′(t))2 dts(x) = \int_a^x \sqrt{1 + (f'(t))^2}\,dt gives the distance travelled ALONG the curve from (a,f(a))(a, f(a)) to (x,f(x))(x, f(x)).

It is an integral with a variable upper bound, so the Fundamental Theorem of Calculus applies to it directly. Recall cosh⁡x=ex+e−x2\cosh x = \frac{e^x + e^{-x}}{2} and sinh⁡x=ex−e−x2\sinh x = \frac{e^x - e^{-x}}{2}.

  • a) For f(x)=23x3/2f(x) = \frac23 x^{3/2}, find the arc length function s(x)s(x) with starting point (0,0)(0, 0).
  • b) Find the point of this curve at distance 143\frac{14}{3} from the origin, measured along the curve.
  • c) Compute s′(x)s'(x) without integrating, and explain why s′(x)≥1s'(x) \ge 1 for every smooth curve. Use s′(3)s'(3) to estimate the length of the arc from x=3x = 3 to x=3.1x = 3.1.
  • d) For y=cosh⁡xy = \cosh x with starting point (0,1)(0, 1), find s(x)s(x) and the point at distance 34\frac34 along the curve.
  • e) Still for y=cosh⁡xy = \cosh x and x≥0x \ge 0, show that s(x)=y′(x)s(x) = y'(x) and y2=1+s2y^2 = 1 + s^2. Deduce, without integrating, the arc length from (0,1)(0, 1) to the point of the curve at height 135\frac{13}{5}.
Show the solution

Answers

  • a) s(x)=23((1+x)3/2−1)s(x) = \frac23\left((1 + x)^{3/2} - 1\right)
  • b) (3,23)(3, 2\sqrt 3)
  • c) s′(x)=1+x≥1s'(x) = \sqrt{1 + x} \ge 1; s′(3)=2s'(3) = 2, so Δs≈0.2\Delta s \approx 0.2
  • d) s(x)=sinh⁡xs(x) = \sinh x; the point (ln⁡2,54)(\ln 2, \frac54)
  • e) s=sinh⁡x=y′s = \sinh x = y' and cosh⁡2−sinh⁡2=1\cosh^2 - \sinh^2 = 1; s=125s = \frac{12}{5}

a) f′(t)=t1/2f'(t) = t^{1/2}, so 1+(f′(t))2=1+t1 + (f'(t))^2 = 1 + t and s(x)=∫0x1+t dt=23[(1+t)3/2]0x=23((1+x)3/2−1)s(x) = \int_0^x \sqrt{1 + t}\,dt = \frac23\left[(1 + t)^{3/2}\right]_0^x = \frac23\left((1 + x)^{3/2} - 1\right). Check: s(0)=0s(0) = 0, as it must be at the starting point. The variable of integration is tt, a dummy letter; xx is the upper bound. Writing ∫0x1+x dx\int_0^x \sqrt{1 + x}\,dx mixes the two and is marked as an error.

b) Solve s(x)=143s(x) = \frac{14}{3}: 23((1+x)3/2−1)=143\frac23\left((1 + x)^{3/2} - 1\right) = \frac{14}{3} gives (1+x)3/2−1=7(1 + x)^{3/2} - 1 = 7, so (1+x)3/2=8(1 + x)^{3/2} = 8, 1+x=82/3=41 + x = 8^{2/3} = 4 and x=3x = 3. Then y=23⋅33/2=23⋅33=23y = \frac23 \cdot 3^{3/2} = \frac23 \cdot 3\sqrt 3 = 2\sqrt 3. The point is (3,23)(3, 2\sqrt 3), drawn on the figure of the solution. It is the only one: ss is strictly increasing, since its derivative is positive. Sanity check: the chord from the origin to (3,23)(3, 2\sqrt 3) has length 9+12=21≈4.58\sqrt{9 + 12} = \sqrt{21} \approx 4.58, just under 143≈4.67\frac{14}{3} \approx 4.67.

c) By the Fundamental Theorem, part 1, s′(x)=1+(f′(x))2=1+xs'(x) = \sqrt{1 + (f'(x))^2} = \sqrt{1 + x}. For any smooth curve, (f′)2≥0(f')^2 \ge 0 gives s′(x)≥1s'(x) \ge 1, with equality exactly where the tangent is horizontal: the distance along the curve grows at least as fast as xx, which is the statement arc ≥\ge run in differential form. At x=3x = 3, s′(3)=2s'(3) = 2, so for Δx=0.1\Delta x = 0.1 the linear approximation gives Δs≈2×0.1=0.2\Delta s \approx 2 \times 0.1 = 0.2. The same number comes from ds2=dx2+dy2ds^2 = dx^2 + dy^2: the slope at 33 is f′(3)=3f'(3) = \sqrt 3, so dy=0.13dy = 0.1\sqrt 3 and ds=0.01+0.03=0.2ds = \sqrt{0.01 + 0.03} = 0.2.

d) y′=sinh⁡xy' = \sinh x and 1+sinh⁡2t=cosh⁡2t1 + \sinh^2 t = \cosh^2 t with cosh⁡t>0\cosh t > 0, so s(x)=∫0xcosh⁡t dt=sinh⁡xs(x) = \int_0^x \cosh t\,dt = \sinh x. Solve sinh⁡x=34\sinh x = \frac34: ex−e−x=32e^x - e^{-x} = \frac32. Multiply by exe^x and set u=ex>0u = e^x > 0: u2−32u−1=0u^2 - \frac32 u - 1 = 0, that is 2u2−3u−2=0=(2u+1)(u−2)2u^2 - 3u - 2 = 0 = (2u + 1)(u - 2). The root u=−12u = -\frac12 is rejected since ex>0e^x > 0, so ex=2e^x = 2 and x=ln⁡2x = \ln 2. The height is cosh⁡(ln⁡2)=2+122=54\cosh(\ln 2) = \frac{2 + \frac12}{2} = \frac54. The point is (ln⁡2,54)(\ln 2, \frac54). Multiplying by exe^x to get a quadratic in exe^x is THE gesture for any equation in sinh⁡\sinh or cosh⁡\cosh.

e) From d), s(x)=sinh⁡xs(x) = \sinh x and y′(x)=sinh⁡xy'(x) = \sinh x: the arc length from the lowest point equals the slope. Then y2−s2=cosh⁡2x−sinh⁡2x=1y^2 - s^2 = \cosh^2 x - \sinh^2 x = 1, so y2=1+s2y^2 = 1 + s^2. At height y=135y = \frac{13}{5}: s2=16925−1=14425s^2 = \frac{169}{25} - 1 = \frac{144}{25} and s=125s = \frac{12}{5}, positive since x≥0x \ge 0. Check with d): at y=54y = \frac54, s2=2516−1=916s^2 = \frac{25}{16} - 1 = \frac{9}{16} and s=34s = \frac34. These two identities are what make the hanging chain of Exercise 9 computable by hand.

-112345-11234567P(3, 2√3)s = 14/3

Part B: problems and reasoning (/50)

Exercise 6: Surface area about the x-axis: 2 pi y ds, never 2 pi y dx

Rotating the arc y=f(x)≥0y = f(x) \ge 0, a≤x≤ba \le x \le b, about the xx-axis sweeps a surface. Cut it into thin bands: each is close to a frustum of a cone whose radius is f(x)f(x) and whose SLANT width is dsds, and a frustum of mean radius rr and slant ℓ\ell has area 2πrℓ2\pi r\ell. Hence S=∫ab2πf(x)1+(f′(x))2 dxS = \int_a^b 2\pi f(x)\sqrt{1 + (f'(x))^2}\,dx.

The figure shows one band on the surface generated by y=xy = \sqrt x: its width is measured along the curve, not along the axis.

dsr = yy = √x
  • a) Test the formula on the segment y=34xy = \frac34 x, 0≤x≤40 \le x \le 4, whose rotation is a cone of radius 33, height 44 and slant height 55, with lateral area πrℓ\pi r\ell. Then compute ∫042π⋅34x dx\int_0^4 2\pi \cdot \frac34 x\,dx and say what goes wrong.
  • b) Find the area of the surface generated by y=xy = \sqrt x, 0≤x≤20 \le x \le 2.
  • c) Find the area of the surface generated by y=x3y = x^3, 0≤x≤10 \le x \le 1.
  • d) Find the area of the surface generated by y=x36+12xy = \frac{x^3}{6} + \frac{1}{2x}, 1≤x≤21 \le x \le 2, the curve of Exercise 2.
  • e) For the sphere of radius rr, show that the zone between the planes x=ax = a and x=bx = b, with −r≤a<b≤r-r \le a < b \le r, has area 2πr(b−a)2\pi r(b - a) wherever it is cut. Deduce the area of the sphere.
Show the solution

Answers

  • a) S=15π=π⋅3⋅5S = 15\pi = \pi \cdot 3 \cdot 5. With dxdx: 12π=πrh12\pi = \pi rh, too small, the slant factor 54\frac54 is missing.
  • b) S=13π3S = \frac{13\pi}{3}
  • c) S=π27(1010−1)S = \frac{\pi}{27}(10\sqrt{10} - 1)
  • d) S=47π16S = \frac{47\pi}{16}
  • e) y1+(y′)2=ry\sqrt{1 + (y')^2} = r, so S=2πr(b−a)S = 2\pi r(b - a); the sphere has area 4πr24\pi r^2.

a) f′=34f' = \frac34 and 1+916=54\sqrt{1 + \frac{9}{16}} = \frac54. S=∫042π⋅34x⋅54 dx=15π8∫04x dx=15π8⋅8=15πS = \int_0^4 2\pi \cdot \frac34 x \cdot \frac54\,dx = \frac{15\pi}{8}\int_0^4 x\,dx = \frac{15\pi}{8} \cdot 8 = 15\pi, and the cone has lateral area π⋅3⋅5=15π\pi \cdot 3 \cdot 5 = 15\pi. With dxdx instead of dsds: 2π⋅34⋅8=12π=πrh2\pi \cdot \frac34 \cdot 8 = 12\pi = \pi r h, the area of a cone whose slant would be its height, which is impossible. The missing factor is exactly dsdx=54=ℓh\frac{ds}{dx} = \frac54 = \frac{\ell}{h}. Why does dxdx work for the volume and not for the area? A thin slice of the solid and the disk of width dxdx differ by a sliver whose volume is of order (dx)2(dx)^2, which vanishes in the limit; a band of the surface is dsdx\frac{ds}{dx} times wider than dxdx, a ratio that does NOT tend to 11 as dx→0dx \to 0.

b) f′(x)=12xf'(x) = \frac{1}{2\sqrt x}, so 1+(f′)2=4x+14x1 + (f')^2 = \frac{4x + 1}{4x} and 2πx4x+14x=2πx⋅4x+12x=π4x+12\pi\sqrt x\sqrt{\frac{4x + 1}{4x}} = 2\pi\sqrt x \cdot \frac{\sqrt{4x + 1}}{2\sqrt x} = \pi\sqrt{4x + 1}. The factor x\sqrt x cancels, and with it the infinite derivative at 00: the integral is proper. S=π∫024x+1 dx=π⋅14⋅23[(4x+1)3/2]02=π6(27−1)=13π3S = \pi\int_0^2 \sqrt{4x + 1}\,dx = \pi \cdot \frac14 \cdot \frac23\left[(4x + 1)^{3/2}\right]_0^2 = \frac{\pi}{6}(27 - 1) = \frac{13\pi}{3}. Simplify the product y⋅1+(y′)2y \cdot \sqrt{1 + (y')^2} BEFORE integrating: that is where these integrals become easy.

c) f′(x)=3x2f'(x) = 3x^2, so S=2π∫01x31+9x4 dxS = 2\pi\int_0^1 x^3\sqrt{1 + 9x^4}\,dx. The factor x3x^3 is, up to a constant, the derivative of 9x49x^4: u=1+9x4u = 1 + 9x^4, du=36x3 dxdu = 36x^3\,dx, bounds u=1u = 1 and u=10u = 10. S=2π36∫110u du=π18⋅23(1010−1)=π27(1010−1)S = \frac{2\pi}{36}\int_1^{10}\sqrt u\,du = \frac{\pi}{18} \cdot \frac23\left(10\sqrt{10} - 1\right) = \frac{\pi}{27}(10\sqrt{10} - 1). Compare with the arc length of y=x3y = x^3, ∫011+9x4 dx\int_0^1 \sqrt{1 + 9x^4}\,dx, which has no elementary antiderivative: on this curve the SURFACE is computable and the length is not, because the radius y=x3y = x^3 supplies the missing x3x^3.

d) From Exercise 2, ds=(x22+12x2)dxds = \left(\frac{x^2}{2} + \frac{1}{2x^2}\right)dx. So S=2π∫12(x36+12x)(x22+12x2)dxS = 2\pi\int_1^2 \left(\frac{x^3}{6} + \frac{1}{2x}\right)\left(\frac{x^2}{2} + \frac{1}{2x^2}\right)dx. Expand first: x512+x12+x4+14x3=x512+x3+14x3\frac{x^5}{12} + \frac{x}{12} + \frac{x}{4} + \frac{1}{4x^3} = \frac{x^5}{12} + \frac{x}{3} + \frac{1}{4x^3}. An antiderivative is x672+x26−18x2\frac{x^6}{72} + \frac{x^2}{6} - \frac{1}{8x^2}. Between 11 and 22: 6372+36+(−132+18)=78+12+332=4732\frac{63}{72} + \frac36 + \left(-\frac{1}{32} + \frac18\right) = \frac78 + \frac12 + \frac{3}{32} = \frac{47}{32}. So S=2π⋅4732=47π16S = 2\pi \cdot \frac{47}{32} = \frac{47\pi}{16}. The tempting shortcut, multiplying an antiderivative of yy by the length 1712\frac{17}{12}, is false: the integral of a product is not the product of the integrals.

e) y=r2−x2y = \sqrt{r^2 - x^2}, y′=−xr2−x2y' = \frac{-x}{\sqrt{r^2 - x^2}}, 1+(y′)2=r2r2−x21 + (y')^2 = \frac{r^2}{r^2 - x^2}, and y1+(y′)2=r2−x2⋅rr2−x2=ry\sqrt{1 + (y')^2} = \sqrt{r^2 - x^2} \cdot \frac{r}{\sqrt{r^2 - x^2}} = r. So S=∫ab2πr dx=2πr(b−a)S = \int_a^b 2\pi r\,dx = 2\pi r(b - a): the area depends only on the thickness b−ab - a of the zone. Near a pole the band is small but steeply tilted, near the equator it is wide but upright, and the two effects cancel exactly (Archimedes' result, the one he wanted on his tomb). With a=−ra = -r and b=rb = r: 4πr24\pi r^2. At x=±rx = \pm r, y′y' is infinite, but the product y1+(y′)2=ry\sqrt{1 + (y')^2} = r stays bounded, so the simplified integrand is continuous on [−r,r][-r, r].

Exercise 7: About the y-axis or about another line: the radius is the distance to the axis

The surface area formula is really S=∫2πr dsS = \int 2\pi r\,ds, where rr is the distance from the point of the curve to the AXIS of rotation and dsds is the length element, written in whichever variable is convenient. Only rr depends on the axis; dsds depends only on the curve.

The figure shows the arc y=x36+12xy = \frac{x^3}{6} + \frac{1}{2x}, 1≤x≤21 \le x \le 2, and, at one of its points, the radius to the yy-axis and the radius to the line y=−1y = -1.

-0.50.511.522.5-1.5-1-0.50.511.52radius xradius y + 1y = −1
  • a) Rotate the arc y=x2y = x^2, 0≤x≤10 \le x \le 1, about the yy-axis. Compute the area with xx as the variable.
  • b) Compute the same area with yy as the variable, and compare.
  • c) Rotate the arc of the figure about the yy-axis and find the area.
  • d) Rotate the same arc about the line y=−1y = -1 and find the area.
  • e) In part a), a student writes S=∫012πx21+4x2 dxS = \int_0^1 2\pi x^2\sqrt{1 + 4x^2}\,dx. Which surface does his integral describe, and how can the error be caught before any computation?
Show the solution

Answers

  • a) S=π6(55−1)S = \frac{\pi}{6}(5\sqrt 5 - 1)
  • b) 2π∫01y+14 dy=π6(55−1)2\pi\int_0^1 \sqrt{y + \frac14}\,dy = \frac{\pi}{6}(5\sqrt 5 - 1), the same
  • c) S=15π4+πln⁡2S = \frac{15\pi}{4} + \pi\ln 2
  • d) S=47π16+2π⋅1712=277π48S = \frac{47\pi}{16} + 2\pi \cdot \frac{17}{12} = \frac{277\pi}{48}
  • e) Radius yy instead of xx: the surface about the xx-axis. Draw the radius perpendicular to the axis first.

a) For a rotation about the yy-axis, the radius is the HORIZONTAL distance from the point to the axis, r=xr = x. With ds=1+4x2 dxds = \sqrt{1 + 4x^2}\,dx: S=∫012πx1+4x2 dxS = \int_0^1 2\pi x\sqrt{1 + 4x^2}\,dx. With u=1+4x2u = 1 + 4x^2, du=8x dxdu = 8x\,dx, bounds 11 and 55: S=2π8∫15u du=π4⋅23(55−1)=π6(55−1)S = \frac{2\pi}{8}\int_1^5 \sqrt u\,du = \frac{\pi}{4} \cdot \frac23\left(5\sqrt 5 - 1\right) = \frac{\pi}{6}(5\sqrt 5 - 1). The radius xx is exactly the factor that the substitution needs.

b) The arc is x=yx = \sqrt y, 0≤y≤10 \le y \le 1, with dxdy=12y\frac{dx}{dy} = \frac{1}{2\sqrt y} and ds=1+14y dyds = \sqrt{1 + \frac{1}{4y}}\,dy. The radius is still xx, now written y\sqrt y. S=∫012πy1+14y dy=2π∫01y+14 dy=4π3[(y+14)3/2]01=4π3(558−18)=π6(55−1)S = \int_0^1 2\pi\sqrt y\sqrt{1 + \frac{1}{4y}}\,dy = 2\pi\int_0^1 \sqrt{y + \frac14}\,dy = \frac{4\pi}{3}\left[(y + \tfrac14)^{3/2}\right]_0^1 = \frac{4\pi}{3}\left(\frac{5\sqrt 5}{8} - \frac18\right) = \frac{\pi}{6}(5\sqrt 5 - 1). Same value, as it must be: the surface does not know which variable you chose. What changes with the variable is only how rr and dsds are WRITTEN, never what they are.

c) Radius r=xr = x, and ds=(x22+12x2)dxds = \left(\frac{x^2}{2} + \frac{1}{2x^2}\right)dx from Exercise 2. S=2π∫12x(x22+12x2)dx=2π∫12(x32+12x)dx=2π[x48+ln⁡x2]12=2π(2−18+ln⁡22)=15π4+πln⁡2S = 2\pi\int_1^2 x\left(\frac{x^2}{2} + \frac{1}{2x^2}\right)dx = 2\pi\int_1^2 \left(\frac{x^3}{2} + \frac{1}{2x}\right)dx = 2\pi\left[\frac{x^4}{8} + \frac{\ln x}{2}\right]_1^2 = 2\pi\left(2 - \frac18 + \frac{\ln 2}{2}\right) = \frac{15\pi}{4} + \pi\ln 2. Only the radius differs from Exercise 6 d); the same dsds serves both surfaces.

d) The distance from a point (x,y)(x, y) of the arc to the line y=−1y = -1 is y−(−1)=y+1y - (-1) = y + 1, positive since y>0y > 0 on the arc. So S=∫2π(y+1) ds=∫2πy ds+2π∫dsS = \int 2\pi(y + 1)\,ds = \int 2\pi y\,ds + 2\pi\int ds. The first integral is the surface of Exercise 6 d), 47π16\frac{47\pi}{16}, the second is 2π2\pi times the length of Exercise 2 a), 1712\frac{17}{12}. S=47π16+17π6=141π+136π48=277π48S = \frac{47\pi}{16} + \frac{17\pi}{6} = \frac{141\pi + 136\pi}{48} = \frac{277\pi}{48}. Writing the radius as yy, or as y−1y - 1, is the usual slip: measure it from the axis, on the figure, before writing anything.

e) His integrand is 2πx21+4x2=2πy ds2\pi x^2\sqrt{1 + 4x^2} = 2\pi y\,ds: the radius is yy, the distance to the xx-AXIS, so he computed the surface obtained by rotating the arc about the xx-axis, a different surface with a different area. The error is caught by drawing, before any integral, the radius as a segment PERPENDICULAR to the axis from the axis to a point of the curve: for the yy-axis that segment is horizontal and its length is xx. A second warning sign: ∫x21+4x2 dx\int x^2\sqrt{1 + 4x^2}\,dx needs a trigonometric substitution leading to ∫tan⁡2θsec⁡3θ dθ\int \tan^2\theta\sec^3\theta\,d\theta, far heavier than the question intends, while the correct integrand is a one-line substitution.

Exercise 8: Five statements to correct

Each statement below was written by a student in a MATH 141 tutorial, and each is false. Say what is wrong, give the correct statement, and settle it with the simplest example you can find.

  • a) The length of y=f(x)y = f(x) on [a,b][a, b] is ∫ab(1+f′(x)) dx\int_a^b (1 + f'(x))\,dx, since ds=dx+dyds = dx + dy.
  • b) Rotating y=f(x)≥0y = f(x) \ge 0 about the xx-axis gives a surface of area ∫ab2πf(x) dx\int_a^b 2\pi f(x)\,dx: the same slices as for the volume, with the circumference instead of the area of the disk.
  • c) The graph of 2f2f is twice as long as the graph of ff on the same interval.
  • d) The length of y=x2/3y = x^{2/3} between x=−1x = -1 and x=8x = 8 cannot be computed, because dydx\frac{dy}{dx} does not exist at x=0x = 0.
  • e) Rotating a curve about the yy-axis, the area is ∫2πy ds\int 2\pi y\,ds: same formula, same radius.
Show the solution

Answers

  • a) False: ds2=dx2+dy2ds^2 = dx^2 + dy^2. For y=xy = x on [0,1][0, 1]: 22 instead of 2\sqrt 2.
  • b) False: the band width is dsds. Cone y=34xy = \frac34 x, 0≤x≤40 \le x \le 4: 12π12\pi instead of 15π15\pi.
  • c) False: y=xy = x and y=2xy = 2x on [0,1][0, 1] have lengths 2\sqrt 2 and 5≠22\sqrt 5 \ne 2\sqrt 2.
  • d) False: split at 00 and integrate in yy: L=8010+1313−1627L = \frac{80\sqrt{10} + 13\sqrt{13} - 16}{27}.
  • e) False: the radius about the yy-axis is xx. Cylinder x=1x = 1, 0≤y≤h0 \le y \le h: 2πh2\pi h, not πh2\pi h^2.

a) FALSE. On a short piece of curve, dxdx and dydy are the legs of a right triangle and dsds its hypotenuse: ds2=dx2+dy2ds^2 = dx^2 + dy^2, so ds=1+(f′)2 dxds = \sqrt{1 + (f')^2}\,dx. The segment y=xy = x on [0,1][0, 1] settles it: the statement gives ∫012 dx=2\int_0^1 2\,dx = 2, the true length is 2\sqrt 2. The integral ∫ab(1+f′) dx=(b−a)+f(b)−f(a)\int_a^b (1 + f')\,dx = (b - a) + f(b) - f(a) is the length of the staircase path, run plus rise, and it is even negative for a curve that falls steeply. Correct statement: L=∫ab1+(f′(x))2 dxL = \int_a^b \sqrt{1 + (f'(x))^2}\,dx.

b) FALSE. A band of the surface has slant width dsds, not dxdx. For the cone from y=34xy = \frac34 x, 0≤x≤40 \le x \le 4 (radius 33, slant 55), the statement gives ∫042π⋅34x dx=12π\int_0^4 2\pi \cdot \frac34 x\,dx = 12\pi, while the true lateral area is π⋅3⋅5=15π\pi \cdot 3 \cdot 5 = 15\pi. The volume tolerates dxdx because the slant only changes the slice by a second order amount; the area does not, since the ratio dsdx=1+(f′)2\frac{ds}{dx} = \sqrt{1 + (f')^2} does not approach 11 as the slices get thinner. Correct statement: S=∫ab2πf(x)1+(f′(x))2 dxS = \int_a^b 2\pi f(x)\sqrt{1 + (f'(x))^2}\,dx, which equals ∫ab2πf(x) dx\int_a^b 2\pi f(x)\,dx only where f′=0f' = 0.

c) FALSE. Multiplying ff by 22 stretches vertical distances only; horizontal ones stay. On [0,1][0, 1], y=xy = x has length 2\sqrt 2 and y=2xy = 2x has length 1+4=5\sqrt{1 + 4} = \sqrt 5, while 22=82\sqrt 2 = \sqrt 8. And a horizontal segment y=0y = 0 has the same length after doubling. The length of 2f2f is ∫ab1+4(f′)2 dx\int_a^b \sqrt{1 + 4(f')^2}\,dx, between LL and 2L2L but equal to neither in general. Correct statement: scaling BOTH coordinates by 22, that is the curve y=2f(x2)y = 2f(\frac{x}{2}) on [2a,2b][2a, 2b], doubles the length.

d) FALSE. The formula in xx does not apply across x=0x = 0, but the arc can be split there and each piece computed in yy, where the derivative is finite. Right piece, from (0,0)(0, 0) to (8,4)(8, 4): 827(1010−1)\frac{8}{27}(10\sqrt{10} - 1) by Exercise 4. Left piece, from (−1,1)(-1, 1) to (0,0)(0, 0): since (−x)2/3=x2/3(-x)^{2/3} = x^{2/3}, it is the mirror image of the arc from (0,0)(0, 0) to (1,1)(1, 1), which is x=y3/2x = y^{3/2}, 0≤y≤10 \le y \le 1: ∫011+9y4 dy=827((134)3/2−1)=1313−827\int_0^1 \sqrt{1 + \frac{9y}{4}}\,dy = \frac{8}{27}\left(\left(\tfrac{13}{4}\right)^{3/2} - 1\right) = \frac{13\sqrt{13} - 8}{27}. Total L=8010+1313−1627L = \frac{80\sqrt{10} + 13\sqrt{13} - 16}{27}. Correct statement: where dydx\frac{dy}{dx} fails to exist, split the arc and switch variable, or treat the integral as improper.

e) FALSE. The radius is the distance to the axis of rotation; for the yy-axis it is xx, so S=∫2πx dsS = \int 2\pi x\,ds. Simplest test: rotate the vertical segment x=1x = 1, 0≤y≤h0 \le y \le h, about the yy-axis. The result is a cylinder of radius 11 and height hh, of area 2πh2\pi h. With radius x=1x = 1 and ds=dyds = dy: ∫0h2π dy=2πh\int_0^h 2\pi\,dy = 2\pi h. With the radius yy of the statement: ∫0h2πy dy=πh2\int_0^h 2\pi y\,dy = \pi h^2, which grows like the SQUARE of the height: a cylinder ten times taller would get a hundred times the area, absurd for a surface that unrolls into a rectangle of sides 2π2\pi and hh. Correct statement: S=∫2πr dsS = \int 2\pi r\,ds, where rr is yy for the xx-axis, xx for the yy-axis, and the distance to the line otherwise.

Exercise 9: A chain between two posts: the catenary

A chain hanging under its own weight takes the shape of a catenary. Put the lowest point of the chain on the yy-axis, measure in metres, and suppose the chain follows y=2cosh⁡x2y = 2\cosh\frac{x}{2}, where cosh⁡u=eu+e−u2\cosh u = \frac{e^u + e^{-u}}{2} and sinh⁡u=eu−e−u2\sinh u = \frac{e^u - e^{-u}}{2}.

The chain is attached to the tops of two posts standing at x=−2ln⁡2x = -2\ln 2 and x=2ln⁡2x = 2\ln 2, about 2.772.77 m apart, on the ground y=0y = 0. No calculator: every answer is exact.

saglowest point (0, 2)x = −2 ln 2x = 2 ln 2postpost
  • a) Show that y′=sinh⁡x2y' = \sinh\frac{x}{2} and 1+(y′)2=cosh⁡2x21 + (y')^2 = \cosh^2\frac{x}{2}. Why can the square root be removed without an absolute value?
  • b) Find the length of the chain between the posts.
  • c) How high are the posts, and how far does the chain sag below the points where it is attached?
  • d) A bead sits on the chain, to the right of the lowest point, 11 m from it measured along the chain. Find its exact position.
  • e) Find the slope of the chain at the right post, and the angle θ\theta it makes with the horizontal (give cos⁡θ\cos\theta and sin⁡θ\sin\theta exactly). Check that the length of chain from the lowest point to the post equals 22 times this slope.
Show the solution

Answers

  • a) y′=2⋅12sinh⁡x2y' = 2 \cdot \frac12\sinh\frac{x}{2}; cosh⁡2−sinh⁡2=1\cosh^2 - \sinh^2 = 1; cosh⁡>0\cosh > 0, so cosh⁡2=cosh⁡\sqrt{\cosh^2} = \cosh.
  • b) L=4sinh⁡(ln⁡2)=3L = 4\sinh(\ln 2) = 3 m
  • c) Posts 52\frac52 m high, lowest point at 22 m: sag 12\frac12 m
  • d) x=2ln⁡1+52x = 2\ln\frac{1 + \sqrt 5}{2}, y=5y = \sqrt 5 m
  • e) Slope 34\frac34, cos⁡θ=45\cos\theta = \frac45, sin⁡θ=35\sin\theta = \frac35; s=32=2⋅34s = \frac32 = 2 \cdot \frac34.

a) By the chain rule, y′=2⋅12sinh⁡x2=sinh⁡x2y' = 2 \cdot \frac12\sinh\frac{x}{2} = \sinh\frac{x}{2}, using dducosh⁡u=eu−e−u2=sinh⁡u\frac{d}{du}\cosh u = \frac{e^u - e^{-u}}{2} = \sinh u. Expanding the definitions, cosh⁡2u−sinh⁡2u=(e2u+2+e−2u)−(e2u−2+e−2u)4=1\cosh^2 u - \sinh^2 u = \frac{(e^{2u} + 2 + e^{-2u}) - (e^{2u} - 2 + e^{-2u})}{4} = 1, so 1+(y′)2=1+sinh⁡2x2=cosh⁡2x21 + (y')^2 = 1 + \sinh^2\frac{x}{2} = \cosh^2\frac{x}{2}. And cosh⁡u\cosh u is half the sum of two positive exponentials, hence positive for every uu: cosh⁡2x2=cosh⁡x2\sqrt{\cosh^2\frac{x}{2}} = \cosh\frac{x}{2}, with no absolute value, unlike sec⁡2x\sqrt{\sec^2 x} in Exercise 3.

b) L=∫−2ln⁡22ln⁡2cosh⁡x2 dxL = \int_{-2\ln 2}^{2\ln 2}\cosh\frac{x}{2}\,dx. The integrand is even, so L=2∫02ln⁡2cosh⁡x2 dx=2[2sinh⁡x2]02ln⁡2=4sinh⁡(ln⁡2)L = 2\int_0^{2\ln 2}\cosh\frac{x}{2}\,dx = 2\left[2\sinh\frac{x}{2}\right]_0^{2\ln 2} = 4\sinh(\ln 2). Now sinh⁡(ln⁡2)=2−122=34\sinh(\ln 2) = \frac{2 - \frac12}{2} = \frac34, so L=3L = 3 m. Sanity check: the posts are 4ln⁡24\ln 2 apart, about 2.772.77 m (with ln⁡2≈0.69\ln 2 \approx 0.69), and the chain must be longer than that gap, since it is an arc over this chord. The factor 12\frac12 inside cosh⁡x2\cosh\frac{x}{2} produces a factor 22 in the antiderivative: forgetting it gives 32\frac32, a chain shorter than the gap it spans.

c) The lowest point is at x=0x = 0, where y=2cosh⁡0=2y = 2\cosh 0 = 2. At the posts, y=2cosh⁡(ln⁡2)=2⋅2+122=52y = 2\cosh(\ln 2) = 2 \cdot \frac{2 + \frac12}{2} = \frac52. So the posts are 52\frac52 m =2.5= 2.5 m high, and the chain sags 52−2=12\frac52 - 2 = \frac12 m below its attachment points. A 33 m chain between posts 2.772.77 m apart drops 5050 cm: a small excess of length buys a large sag, which is why power lines are strung tight.

d) Arc length from the lowest point: s(x)=∫0xcosh⁡t2 dt=2sinh⁡x2s(x) = \int_0^x \cosh\frac{t}{2}\,dt = 2\sinh\frac{x}{2}. Solve 2sinh⁡x2=12\sinh\frac{x}{2} = 1, that is ex/2−e−x/2=1e^{x/2} - e^{-x/2} = 1. With u=ex/2>0u = e^{x/2} > 0 and multiplying by uu: u2−u−1=0u^2 - u - 1 = 0, so u=1+52u = \frac{1 + \sqrt 5}{2}, the other root 1−52\frac{1 - \sqrt 5}{2} being negative and rejected. Hence x=2ln⁡1+52x = 2\ln\frac{1 + \sqrt 5}{2}. The height follows without computing cosh⁡\cosh from xx: cosh⁡x2=1+sinh⁡2x2=1+14=52\cosh\frac{x}{2} = \sqrt{1 + \sinh^2\frac{x}{2}} = \sqrt{1 + \frac14} = \frac{\sqrt 5}{2}, so y=5y = \sqrt 5. Check: u+1u=1+52+21+5=1+52+5−12=5=2cosh⁡x2u + \frac1u = \frac{1 + \sqrt 5}{2} + \frac{2}{1 + \sqrt 5} = \frac{1 + \sqrt 5}{2} + \frac{\sqrt 5 - 1}{2} = \sqrt 5 = 2\cosh\frac{x}{2}. The bead is 5−2\sqrt 5 - 2 m, about 2424 cm, above the lowest point after 11 m of chain.

e) At x=2ln⁡2x = 2\ln 2, the slope is y′=sinh⁡(ln⁡2)=34y' = \sinh(\ln 2) = \frac34. So tan⁡θ=34\tan\theta = \frac34: a 33, 44, 55 right triangle, hence cos⁡θ=45\cos\theta = \frac45, sin⁡θ=35\sin\theta = \frac35 and θ=arctan⁡34\theta = \arctan\frac34. The length of chain from the lowest point to the right post is half of b), 32\frac32, and 2×34=322 \times \frac34 = \frac32. This is the general identity s(x)=2sinh⁡x2=2y′(x)s(x) = 2\sinh\frac{x}{2} = 2y'(x): the chain from its lowest point has length proportional to the slope at its end. Physically, the vertical pull on the chain at the post carries the weight of that length of chain while the horizontal pull is the same everywhere, so the slope grows in proportion to the length of chain hanging below; that property is what defines a catenary.

Exercise 10: A final exam problem: Gabriel's horn, and a horn that can be painted

Gabriel's horn is the surface obtained by rotating y=1xy = \frac1x, x≥1x \ge 1, about the xx-axis. It encloses a solid, and both the volume of that solid and the area of the surface are improper integrals.

The figure shows the beginning of the horn; it continues forever to the right, narrowing towards the axis.

y = 1/xcontinues foreverx = 1
  • a) Show that the volume enclosed by the horn is finite, and compute it.
  • b) Show that its surface area is infinite. Name the comparison used and check its hypotheses.
  • c) The paradox: the horn can be filled with π\pi cubic units of paint, yet its inner surface cannot be painted. Explain why there is no contradiction.
  • d) Now rotate y=e−xy = e^{-x}, x≥0x \ge 0, about the xx-axis. Compute the enclosed volume and the surface area exactly.
  • e) For which p>0p > 0 does rotating y=x−py = x^{-p}, x≥1x \ge 1, about the xx-axis enclose a finite volume? Give a finite area? For which pp does Gabriel's paradox occur?
Show the solution

Answers

  • a) V=π∫1∞dxx2=πV = \pi\int_1^\infty \frac{dx}{x^2} = \pi
  • b) 2πx1+1x4≥2πx≥0\frac{2\pi}{x}\sqrt{1 + \frac{1}{x^4}} \ge \frac{2\pi}{x} \ge 0 and ∫1∞dxx\int_1^\infty \frac{dx}{x} diverges: S=∞S = \infty.
  • c) A coat of fixed thickness does not fit in the narrowing tube; volume and area are different measures.
  • d) V=π2V = \frac{\pi}{2}, S=π(2+ln⁡(1+2))S = \pi\left(\sqrt 2 + \ln(1 + \sqrt 2)\right)
  • e) VV finite iff p>12p > \frac12, SS finite iff p>1p > 1: the paradox for 12<p≤1\frac12 < p \le 1.

a) The solid is made of disks of radius 1x\frac1x (the disk method is used here, not taught). V=∫1∞π(1x)2dx=lim⁡t→∞π[−1x]1t=lim⁡t→∞π(1−1t)=πV = \int_1^\infty \pi\left(\frac1x\right)^2dx = \lim_{t \to \infty}\pi\left[-\frac1x\right]_1^t = \lim_{t \to \infty}\pi\left(1 - \frac1t\right) = \pi. The integral converges, as every ∫1∞dxxp\int_1^\infty \frac{dx}{x^p} with p>1p > 1 does, here with p=2p = 2.

b) f′(x)=−1x2f'(x) = -\frac{1}{x^2}, so S=∫1∞2πx1+1x4 dxS = \int_1^\infty \frac{2\pi}{x}\sqrt{1 + \frac{1}{x^4}}\,dx. This integral has no convenient antiderivative, and none is needed. For x≥1x \ge 1, 1+1x4≥1\sqrt{1 + \frac{1}{x^4}} \ge 1, so 2πx1+1x4≥2πx≥0\frac{2\pi}{x}\sqrt{1 + \frac{1}{x^4}} \ge \frac{2\pi}{x} \ge 0. Both functions are continuous on [1,∞)[1, \infty), and ∫1∞2πx dx=lim⁡t→∞2πln⁡t=∞\int_1^\infty \frac{2\pi}{x}\,dx = \lim_{t \to \infty} 2\pi\ln t = \infty. By the comparison test for improper integrals (a non-negative function larger than one whose integral diverges has a divergent integral), S=∞S = \infty. The marks are in the three checks: the inequality in the right direction, both functions non-negative, and the smaller integral divergent. Bounding BELOW by something convergent proves nothing.

c) Filling the horn and painting it measure different things. To paint the inside is to cover the surface with a layer of some thickness ε>0\varepsilon > 0; such a layer has volume about εS\varepsilon S, which is infinite. When the horn is filled, the paint far down the tube is NOT a layer of thickness ε\varepsilon: beyond x=1εx = \frac{1}{\varepsilon} the radius 1x\frac1x is smaller than ε\varepsilon, and the paint there is thinner than any coat we would call paint. So the π\pi units of paint do touch the whole inner surface, but only by becoming thinner and thinner. A finite volume and an infinite area are compatible because area is two dimensional and volume three dimensional: squaring a small radius makes it much smaller.

d) Volume: V=∫0∞πe−2x dx=lim⁡t→∞π2(1−e−2t)=π2V = \int_0^\infty \pi e^{-2x}\,dx = \lim_{t \to \infty}\frac{\pi}{2}\left(1 - e^{-2t}\right) = \frac{\pi}{2}. Area: f′=−e−xf' = -e^{-x}, so S=∫0∞2πe−x1+e−2x dxS = \int_0^\infty 2\pi e^{-x}\sqrt{1 + e^{-2x}}\,dx. With u=e−xu = e^{-x}, du=−e−x dxdu = -e^{-x}\,dx, x=0x = 0 gives u=1u = 1 and x→∞x \to \infty gives u→0u \to 0: S=2π∫011+u2 duS = 2\pi\int_0^1 \sqrt{1 + u^2}\,du. The substitution has turned the improper integral into a proper one, which is the integral of Exercise 4 e): ∫011+u2 du=12(2+ln⁡(1+2))\int_0^1 \sqrt{1 + u^2}\,du = \frac12\left(\sqrt 2 + \ln(1 + \sqrt 2)\right). So S=π(2+ln⁡(1+2))S = \pi\left(\sqrt 2 + \ln(1 + \sqrt 2)\right), finite. This horn CAN be painted: e−xe^{-x} tends to 00 so fast that even the area converges.

e) Volume: V=π∫1∞x−2p dxV = \pi\int_1^\infty x^{-2p}\,dx, a pp-integral with exponent 2p2p, finite if and only if 2p>12p > 1, that is p>12p > \frac12. Area: S=2π∫1∞x−p1+p2x−2p−2 dxS = 2\pi\int_1^\infty x^{-p}\sqrt{1 + p^2x^{-2p-2}}\,dx. For x≥1x \ge 1, x−2p−2≤1x^{-2p-2} \le 1, so 1≤1+p2x−2p−2≤1+p21 \le \sqrt{1 + p^2x^{-2p-2}} \le \sqrt{1 + p^2}, and 2πx−p≤2\pi x^{-p} \le integrand ≤2π1+p2 x−p\le 2\pi\sqrt{1 + p^2}\,x^{-p}. By comparison in both directions, SS is finite if and only if ∫1∞x−p dx\int_1^\infty x^{-p}\,dx converges, that is p>1p > 1. The paradox, finite volume and infinite area, occurs exactly for 12<p≤1\frac12 < p \le 1; Gabriel's horn is p=1p = 1, and p=34p = \frac34 is another. The reason in one line: far out the curve is almost flat, so ds≈dxds \approx dx, the area behaves like 2π∫y dx2\pi\int y\,dx and the volume like π∫y2 dx\pi\int y^2\,dx, and squaring a small yy helps convergence.

See also

Struggling with MATH 141?

I tutor first-year integral calculus at McGill and Concordia, in English or in French, in Montreal or online. Get in touch for a first session.

Site by Studio Squalli