MATH 141 Calculus 2 • McGill University, Montreal

Corrected exercises: trigonometric substitution (MATH 141)

This is the corrected exercise set for trigonometric substitution in MATH 141, Calculus 2, the integration course taken at McGill University in science, engineering and the life sciences. It follows section 7.3 of Stewart. Every answer is exact, as on the midterm and the final, where calculators are not allowed: the limits are chosen so that the angles are π6\frac{\pi}{6}, π4\frac{\pi}{4} or π3\frac{\pi}{3}, and the solutions name each substitution, each identity and each change of limits, because that is where the marks are.

The thread running through the whole set: a trigonometric substitution is a round trip. The FORM under the root chooses the identity, a2−x2a^2 - x^2 for the sine, a2+x2a^2 + x^2 for the tangent, x2−a2x^2 - a^2 for the secant. The INTERVAL of θ\theta fixes the sign of the root once the square comes out. And the answer comes BACK to xx through the right triangle, or never leaves θ\theta because the limits were changed. Every mark lost in this chapter is a missing leg of that trip.

The traps named explicitly in the solutions: choosing the substitution from the letters instead of the sign pattern, forgetting dxdx, keeping the old limits after the variable changed, writing tan⁡θ\tan\theta for the root on the negative branch of the secant, reading cos⁡θ=9−x2\cos\theta = \sqrt{9 - x^2} without the hypotenuse, writing sin⁡2θ=2x3\sin 2\theta = \frac{2x}{3}, losing the minus sign when completing the square of 3+2x−x23 + 2x - x^2, and reaching for a triangle when u=x2+a2u = x^2 + a^2 did the job in two lines.

10 corrected exercises • 100 points • 150 minutes

Revision sheet for this chapter → Every MATH 141 chapter →

Course recap

  • • a2−x2\sqrt{a^2 - x^2}: x=asin⁡θx = a\sin\theta, −π2≤θ≤π2-\frac{\pi}{2} \le \theta \le \frac{\pi}{2}, dx=acos⁡θ dθdx = a\cos\theta\,d\theta, root =acos⁡θ= a\cos\theta.
  • • a2+x2\sqrt{a^2 + x^2}: x=atan⁡θx = a\tan\theta, −π2<θ<π2-\frac{\pi}{2} < \theta < \frac{\pi}{2}, dx=asec⁡2θ dθdx = a\sec^2\theta\,d\theta, root =asec⁡θ= a\sec\theta.
  • • x2−a2\sqrt{x^2 - a^2}: x=asec⁡θx = a\sec\theta, dx=asec⁡θtan⁡θ dθdx = a\sec\theta\tan\theta\,d\theta, root =a∣tan⁡θ∣= a|\tan\theta|: equal to atan⁡θa\tan\theta only where tan⁡θ≥0\tan\theta \ge 0.
  • • Back to xx: draw the triangle of the substitution, read every ratio as a ratio of two sides; sin⁡2θ=2sin⁡θcos⁡θ\sin 2\theta = 2\sin\theta\cos\theta first. Definite integral: move the limits instead.
  • • A quadratic with an xx term: complete the square, 3+2x−x2=4−(x−1)23 + 2x - x^2 = 4 - (x - 1)^2, and substitute for x−1x - 1.
  • • An odd power of xx outside the root: try u=u = radicand before any triangle.
  • • Half-angle: cos⁡2θ=1+cos⁡2θ2\cos^2\theta = \frac{1 + \cos 2\theta}{2}, sin⁡2θ=1−cos⁡2θ2\sin^2\theta = \frac{1 - \cos 2\theta}{2}. Area of an ellipse: πab\pi ab.

Part A: the basics (/50)

Exercise 1: Reading the form under the root: substitution, dx and the sign

A trigonometric substitution replaces xx by a trigonometric function of a new angle θ\theta, chosen so that a Pythagorean identity collapses the expression under the root. Which identity, and therefore which substitution, is dictated by the FORM of the radicand, not by the rest of the integrand.

The interval allowed for θ\theta is not decoration: it is what decides the SIGN of the root once the square comes out, and a marker checks that you said so.

  • a) For each of 25−x2\sqrt{25 - x^2}, x2+9\sqrt{x^2 + 9} and x2−16\sqrt{x^2 - 16}, give the substitution, dxdx, an interval for θ\theta, and the radical written without a root, justifying its sign.
  • b) Compute ∫dxx225−x2\displaystyle\int \frac{dx}{x^2\sqrt{25 - x^2}}, and return to xx with a right triangle.
  • c) Check your answer to b) by differentiating it.
  • d) A classmate does b) with x=5cos⁡θx = 5\cos\theta, 0≤θ≤π0 \le \theta \le \pi. Is that allowed? Carry it through and compare.
  • e) For which of the three radicands of a) does one interval of θ\theta fail to cover the whole domain in xx? What does that mean for a definite integral?
Show the solution

Answers

  • a) x=5sin⁡θx = 5\sin\theta: 5cos⁡θ5\cos\theta. x=3tan⁡θx = 3\tan\theta: 3sec⁡θ3\sec\theta. x=4sec⁡θx = 4\sec\theta: 4tan⁡θ4\tan\theta (with tan⁡θ≥0\tan\theta \ge 0).
  • b) −25−x225x+C\displaystyle -\frac{\sqrt{25 - x^2}}{25x} + C
  • c) The derivative simplifies to 1x225−x2\frac{1}{x^2\sqrt{25 - x^2}}.
  • d) Allowed: sin⁡θ≥0\sin\theta \ge 0 on [0,π][0, \pi], and the same answer comes out.
  • e) x2−16\sqrt{x^2 - 16}: domain x≤−4x \le -4 or x≥4x \ge 4, two pieces, two intervals of θ\theta; the sign of tan⁡θ\tan\theta must be checked on each.

a) Under 25−x2\sqrt{25 - x^2} a constant MINUS x2x^2: the identity 1−sin⁡2θ=cos⁡2θ1 - \sin^2\theta = \cos^2\theta collapses it, so x=5sin⁡θx = 5\sin\theta with −π2≤θ≤π2-\frac{\pi}{2} \le \theta \le \frac{\pi}{2}, dx=5cos⁡θ dθdx = 5\cos\theta\,d\theta and 25−25sin⁡2θ=5∣cos⁡θ∣=5cos⁡θ\sqrt{25 - 25\sin^2\theta} = 5|\cos\theta| = 5\cos\theta, because cos⁡θ≥0\cos\theta \ge 0 on that interval. Under x2+9\sqrt{x^2 + 9} a SUM: 1+tan⁡2θ=sec⁡2θ1 + \tan^2\theta = \sec^2\theta, so x=3tan⁡θx = 3\tan\theta with −π2<θ<π2-\frac{\pi}{2} < \theta < \frac{\pi}{2}, dx=3sec⁡2θ dθdx = 3\sec^2\theta\,d\theta and 9tan⁡2θ+9=3∣sec⁡θ∣=3sec⁡θ\sqrt{9\tan^2\theta + 9} = 3|\sec\theta| = 3\sec\theta, since sec⁡θ>0\sec\theta > 0 there. Under x2−16\sqrt{x^2 - 16} x2x^2 MINUS a constant: sec⁡2θ−1=tan⁡2θ\sec^2\theta - 1 = \tan^2\theta, so x=4sec⁡θx = 4\sec\theta, dx=4sec⁡θtan⁡θ dθdx = 4\sec\theta\tan\theta\,d\theta and 16sec⁡2θ−16=4∣tan⁡θ∣\sqrt{16\sec^2\theta - 16} = 4|\tan\theta|, equal to 4tan⁡θ4\tan\theta on 0≤θ<π20 \le \theta < \frac{\pi}{2} (for x≥4x \ge 4) and on π≤θ<3π2\pi \le \theta < \frac{3\pi}{2} (for x≤−4x \le -4), the two intervals of Stewart's convention, where tan⁡θ≥0\tan\theta \ge 0. The rule to memorise is the sign pattern, not the letters: which term is subtracted decides the identity.

b) The form is a2−x2a^2 - x^2 with a=5a = 5, and there is no odd power of xx outside the root to hand to a plain substitution. So x=5sin⁡θx = 5\sin\theta, dx=5cos⁡θ dθdx = 5\cos\theta\,d\theta, 25−x2=5cos⁡θ\sqrt{25 - x^2} = 5\cos\theta, and ∫5cos⁡θ dθ25sin⁡2θ⋅5cos⁡θ=125∫csc⁡2θ dθ=−125cot⁡θ+C\int \frac{5\cos\theta\,d\theta}{25\sin^2\theta \cdot 5\cos\theta} = \frac{1}{25}\int \csc^2\theta\,d\theta = -\frac{1}{25}\cot\theta + C. To return to xx, draw the triangle that sin⁡θ=x5\sin\theta = \frac{x}{5} describes: opposite side xx, hypotenuse 55, adjacent side 25−x2\sqrt{25 - x^2} by Pythagoras (figure of the solution, left). Then cot⁡θ=adjacentopposite=25−x2x\cot\theta = \frac{\text{adjacent}}{\text{opposite}} = \frac{\sqrt{25 - x^2}}{x}, and ∫dxx225−x2=−25−x225x+C\int \frac{dx}{x^2\sqrt{25 - x^2}} = -\frac{\sqrt{25 - x^2}}{25x} + C. Leaving cot⁡θ\cot\theta, or writing cot⁡(arcsin⁡x5)\cot(\arcsin\frac{x}{5}), costs the return mark: the question is in xx.

c) Write F(x)=−125⋅25−x2xF(x) = -\frac{1}{25}\cdot\frac{\sqrt{25 - x^2}}{x}. By the quotient rule, ddx25−x2x=−x25−x2⋅x−25−x2x2=−x2−(25−x2)x225−x2=−25x225−x2\frac{d}{dx}\frac{\sqrt{25 - x^2}}{x} = \frac{\frac{-x}{\sqrt{25 - x^2}}\cdot x - \sqrt{25 - x^2}}{x^2} = \frac{-x^2 - (25 - x^2)}{x^2\sqrt{25 - x^2}} = \frac{-25}{x^2\sqrt{25 - x^2}}. Multiplying by −125-\frac{1}{25} gives F′(x)=1x225−x2F'(x) = \frac{1}{x^2\sqrt{25 - x^2}}, the integrand. On an exam without a calculator this check costs one minute and is the only proof you have that the triangle was read correctly.

d) Yes. The identity 1−cos⁡2θ=sin⁡2θ1 - \cos^2\theta = \sin^2\theta works just as well, and on 0≤θ≤π0 \le \theta \le \pi the sine is non-negative, so 25−x2=5sin⁡θ\sqrt{25 - x^2} = 5\sin\theta. Now dx=−5sin⁡θ dθdx = -5\sin\theta\,d\theta, note the MINUS, and the integral becomes ∫−5sin⁡θ dθ25cos⁡2θ⋅5sin⁡θ=−125∫sec⁡2θ dθ=−125tan⁡θ+C\int \frac{-5\sin\theta\,d\theta}{25\cos^2\theta\cdot 5\sin\theta} = -\frac{1}{25}\int\sec^2\theta\,d\theta = -\frac{1}{25}\tan\theta + C. The triangle of cos⁡θ=x5\cos\theta = \frac{x}{5} has xx ADJACENT and 25−x2\sqrt{25 - x^2} opposite, so tan⁡θ=25−x2x\tan\theta = \frac{\sqrt{25 - x^2}}{x} and the answer is again −25−x225x+C-\frac{\sqrt{25 - x^2}}{25x} + C. The cosine choice is legal but carries two extra traps, the sign of dxdx and a triangle drawn the other way round; the sine is the default for a reason.

e) The domain of 25−x2\sqrt{25 - x^2} is [−5,5][-5, 5], swept once by 5sin⁡θ5\sin\theta on [−π2,π2][-\frac{\pi}{2}, \frac{\pi}{2}]; that of x2+9\sqrt{x^2 + 9} is every real, swept once by 3tan⁡θ3\tan\theta on (−π2,π2)(-\frac{\pi}{2}, \frac{\pi}{2}). But x2−16\sqrt{x^2 - 16} lives on TWO pieces, x≥4x \ge 4 and x≤−4x \le -4, and x=4sec⁡θx = 4\sec\theta needs one interval of θ\theta for each. For a definite integral on the negative piece, the new limits must be read in the interval chosen for that piece, and the sign of tan⁡θ\tan\theta must be checked there: with the principal choice π2<θ≤π\frac{\pi}{2} < \theta \le \pi the tangent is NEGATIVE and the root is −4tan⁡θ-4\tan\theta. Exercise 4 shows what forgetting this costs.

θθθ5x√(25 − x²)x = 5 sin θ√(x² + 9)x3x = 3 tan θx√(x² − 16)4x = 4 sec θ

Exercise 2: The circle behind the root of 9 minus x squared

The integral ∫9−x2 dx\int \sqrt{9 - x^2}\,dx is the model of the chapter: the substitution rule of section 5.5 has nothing to grip, since no factor xx stands outside the root to absorb du=−2x dxdu = -2x\,dx. Its graph is the upper half of the circle x2+y2=9x^2 + y^2 = 9, and the figure shades the area ∫029−x2 dx\int_0^2 \sqrt{9 - x^2}\,dx, up to the point P(2,5)P(2, \sqrt 5).

-4-3-2-11234-11234y = √(9 − x²)P(2, √5)
  • a) With x=3sin⁡θx = 3\sin\theta, write the integral in θ\theta and compute it with a half-angle formula.
  • b) Return to xx with a right triangle. Write sin⁡2θ\sin 2\theta in terms of xx.
  • c) Differentiate your antiderivative to check it.
  • d) Evaluate ∫029−x2 dx\int_0^2 \sqrt{9 - x^2}\,dx exactly. Then cut the shaded region into a triangle and a circular sector, and show that each piece is one term of your answer. Bracket the value without a calculator.
  • e) Deduce ∫−339−x2 dx\int_{-3}^{3}\sqrt{9 - x^2}\,dx and ∫039−x2 dx\int_0^3\sqrt{9 - x^2}\,dx from your antiderivative, and say which geometric fact each confirms.
Show the solution

Answers

  • a) ∫9cos⁡2θ dθ=92θ+94sin⁡2θ+C\int 9\cos^2\theta\,d\theta = \frac{9}{2}\theta + \frac{9}{4}\sin 2\theta + C
  • b) sin⁡2θ=2x9−x29\sin 2\theta = \frac{2x\sqrt{9 - x^2}}{9}, so ∫9−x2 dx=92arcsin⁡x3+x29−x2+C\int\sqrt{9 - x^2}\,dx = \frac{9}{2}\arcsin\frac{x}{3} + \frac{x}{2}\sqrt{9 - x^2} + C
  • c) The derivative simplifies to 9−x29−x2=9−x2\frac{9 - x^2}{\sqrt{9 - x^2}} = \sqrt{9 - x^2}.
  • d) 92arcsin⁡23+5\frac{9}{2}\arcsin\frac{2}{3} + \sqrt 5: sector 92arcsin⁡23\frac{9}{2}\arcsin\frac{2}{3} plus triangle 5\sqrt 5; between 252\sqrt 5 and 66.
  • e) 9π2\frac{9\pi}{2}, half the disc; 9π4\frac{9\pi}{4}, a quarter of it.

a) The form is a2−x2a^2 - x^2 with a=3a = 3: x=3sin⁡θx = 3\sin\theta, −π2≤θ≤π2-\frac{\pi}{2} \le \theta \le \frac{\pi}{2}, dx=3cos⁡θ dθdx = 3\cos\theta\,d\theta, and 9−9sin⁡2θ=3∣cos⁡θ∣=3cos⁡θ\sqrt{9 - 9\sin^2\theta} = 3|\cos\theta| = 3\cos\theta because the cosine is non-negative on that interval. The integral becomes ∫3cos⁡θ⋅3cos⁡θ dθ=9∫cos⁡2θ dθ\int 3\cos\theta\cdot 3\cos\theta\,d\theta = 9\int\cos^2\theta\,d\theta. An even power of the cosine alone calls for the half-angle formula of section 7.2, cos⁡2θ=1+cos⁡2θ2\cos^2\theta = \frac{1 + \cos 2\theta}{2}: 9∫1+cos⁡2θ2 dθ=92θ+94sin⁡2θ+C9\int\frac{1 + \cos 2\theta}{2}\,d\theta = \frac{9}{2}\theta + \frac{9}{4}\sin 2\theta + C. Forgetting dxdx here, and integrating 3cos⁡θ dθ3\cos\theta\,d\theta, gives 3sin⁡θ=x3\sin\theta = x: an answer so simple it should raise an alarm.

b) sin⁡θ=x3\sin\theta = \frac{x}{3} describes a right triangle with xx opposite θ\theta and hypotenuse 33, so the adjacent side is 9−x2\sqrt{9 - x^2} and cos⁡θ=9−x23\cos\theta = \frac{\sqrt{9 - x^2}}{3}, with the 33 in the denominator. The term sin⁡2θ\sin 2\theta cannot be read on the triangle as it stands: expand it first, sin⁡2θ=2sin⁡θcos⁡θ=2⋅x3⋅9−x23=2x9−x29\sin 2\theta = 2\sin\theta\cos\theta = 2\cdot\frac{x}{3}\cdot\frac{\sqrt{9 - x^2}}{3} = \frac{2x\sqrt{9 - x^2}}{9}. Then 94sin⁡2θ=x29−x2\frac{9}{4}\sin 2\theta = \frac{x}{2}\sqrt{9 - x^2}, and θ=arcsin⁡x3\theta = \arcsin\frac{x}{3}, which is legitimate because θ\theta was taken in [−π2,π2][-\frac{\pi}{2}, \frac{\pi}{2}], the range of arcsine. Final answer: ∫9−x2 dx=92arcsin⁡x3+x29−x2+C\int\sqrt{9 - x^2}\,dx = \frac{9}{2}\arcsin\frac{x}{3} + \frac{x}{2}\sqrt{9 - x^2} + C. Writing sin⁡2θ=2x3\sin 2\theta = \frac{2x}{3} is the classic slip: it doubles the angle's sine as if it were linear.

c) ddx[92arcsin⁡x3]=92⋅1/31−x2/9=92⋅19−x2\frac{d}{dx}\left[\frac{9}{2}\arcsin\frac{x}{3}\right] = \frac{9}{2}\cdot\frac{1/3}{\sqrt{1 - x^2/9}} = \frac{9}{2}\cdot\frac{1}{\sqrt{9 - x^2}}, and by the product rule ddx[x29−x2]=129−x2−x229−x2\frac{d}{dx}\left[\frac{x}{2}\sqrt{9 - x^2}\right] = \frac{1}{2}\sqrt{9 - x^2} - \frac{x^2}{2\sqrt{9 - x^2}}. Over the common denominator 9−x2\sqrt{9 - x^2} the numerator is 92+9−x22−x22=9−x2\frac{9}{2} + \frac{9 - x^2}{2} - \frac{x^2}{2} = 9 - x^2, and 9−x29−x2=9−x2\frac{9 - x^2}{\sqrt{9 - x^2}} = \sqrt{9 - x^2}. The two terms of the antiderivative are not independent: neither one alone differentiates to anything useful, only their sum does.

d) ∫029−x2 dx=[92arcsin⁡x3+x29−x2]02=92arcsin⁡23+5\int_0^2 \sqrt{9 - x^2}\,dx = \left[\frac{9}{2}\arcsin\frac{x}{3} + \frac{x}{2}\sqrt{9 - x^2}\right]_0^2 = \frac{9}{2}\arcsin\frac{2}{3} + \sqrt 5. Now the geometry. Join the origin OO to P(2,5)P(2, \sqrt 5), which is on the circle since 4+5=94 + 5 = 9. The segment OPOP cuts the shaded region into the right triangle OO, (2,0)(2, 0), PP, of area 12⋅2⋅5=5\frac{1}{2}\cdot 2\cdot\sqrt 5 = \sqrt 5, and the sector between the positive yy-axis and OPOP. That sector has radius 33 and an angle α\alpha measured from the vertical with sin⁡α=23\sin\alpha = \frac{2}{3}, so its area is 12⋅9⋅α=92arcsin⁡23\frac{1}{2}\cdot 9\cdot\alpha = \frac{9}{2}\arcsin\frac{2}{3}. The antiderivative IS triangle plus sector: θ\theta is the angle at the centre. To bracket: 12<23<22\frac{1}{2} < \frac{2}{3} < \frac{\sqrt 2}{2}, so π6<arcsin⁡23<π4\frac{\pi}{6} < \arcsin\frac{2}{3} < \frac{\pi}{4}, and the value lies between 3π4+5≈4.6\frac{3\pi}{4} + \sqrt 5 \approx 4.6 and 9π8+5≈5.8\frac{9\pi}{8} + \sqrt 5 \approx 5.8. That is consistent with the region itself: it contains the rectangle of height 5\sqrt 5, area 25≈4.52\sqrt 5 \approx 4.5, and fits in the rectangle of height 33, area 66.

e) ∫−339−x2 dx=92(arcsin⁡1−arcsin⁡(−1))+0=92⋅π=9π2\int_{-3}^{3}\sqrt{9 - x^2}\,dx = \frac{9}{2}\left(\arcsin 1 - \arcsin(-1)\right) + 0 = \frac{9}{2}\cdot\pi = \frac{9\pi}{2}: the area of the upper half disc, 12π⋅32\frac{1}{2}\pi\cdot 3^2. And ∫039−x2 dx=92⋅π2=9π4\int_0^3\sqrt{9 - x^2}\,dx = \frac{9}{2}\cdot\frac{\pi}{2} = \frac{9\pi}{4}, the quarter disc. The product term vanishes at both ends because the root does. These two values are the standard sanity check of this antiderivative: if your formula does not give πa22\frac{\pi a^2}{2} between −a-a and aa, a coefficient is wrong, usually the 12\frac{1}{2} of the half-angle formula.

Exercise 3: Tangent substitution: a sum of squares and limits that move

When the radicand is a SUM x2+a2x^2 + a^2, the identity that collapses it is 1+tan⁡2θ=sec⁡2θ1 + \tan^2\theta = \sec^2\theta: the substitution is x=atan⁡θx = a\tan\theta with −π2<θ<π2-\frac{\pi}{2} < \theta < \frac{\pi}{2}, where sec⁡θ>0\sec\theta > 0. A power such as (x2+a2)3/2(x^2 + a^2)^{3/2} is a root in disguise and is handled the same way.

For a definite integral there is a second decision: return to xx, or move the limits with the variable and never come back. The second is shorter and is what the solutions below do.

  • a) Compute ∫dxx2x2+4\displaystyle\int \frac{dx}{x^2\sqrt{x^2 + 4}} and return to xx with a triangle.
  • b) Compute ∫02dx(x2+4)3/2\displaystyle\int_0^2 \frac{dx}{(x^2 + 4)^{3/2}} with x=2tan⁡θx = 2\tan\theta, changing the limits, without ever returning to xx.
  • c) Show that x4x2+4\frac{x}{4\sqrt{x^2 + 4}} is an antiderivative of the integrand of b), and use it to confirm your value.
  • d) A student does b) with x=2tan⁡θx = 2\tan\theta but keeps the limits 00 and 22 on the θ\theta integral. Why is her upper limit not even an admissible value of θ\theta?
  • e) Explain why (x2+4)3/2=8sec⁡3θ(x^2 + 4)^{3/2} = 8\sec^3\theta with no absolute value, and why the answer to b) must be less than 14\frac{1}{4} before any computation.
Show the solution

Answers

  • a) −x2+44x+C\displaystyle -\frac{\sqrt{x^2 + 4}}{4x} + C
  • b) 14∫0π/4cos⁡θ dθ=28\frac{1}{4}\int_0^{\pi/4}\cos\theta\,d\theta = \frac{\sqrt 2}{8}
  • c) Its derivative is 1(x2+4)3/2\frac{1}{(x^2 + 4)^{3/2}}, and 248=28\frac{2}{4\sqrt 8} = \frac{\sqrt 2}{8}.
  • d) θ=2>π2\theta = 2 > \frac{\pi}{2} lies outside (−π2,π2)(-\frac{\pi}{2}, \frac{\pi}{2}); the limits are 00 and π4\frac{\pi}{4}.
  • e) sec⁡θ>0\sec\theta > 0 on (−π2,π2)(-\frac{\pi}{2}, \frac{\pi}{2}); the integrand is at most 18\frac{1}{8} on an interval of length 22.

a) The form x2+a2x^2 + a^2 with a=2a = 2 gives x=2tan⁡θx = 2\tan\theta, dx=2sec⁡2θ dθdx = 2\sec^2\theta\,d\theta, x2+4=2sec⁡θ\sqrt{x^2 + 4} = 2\sec\theta. So ∫2sec⁡2θ dθ4tan⁡2θ⋅2sec⁡θ=14∫sec⁡θtan⁡2θ dθ\int\frac{2\sec^2\theta\,d\theta}{4\tan^2\theta\cdot 2\sec\theta} = \frac{1}{4}\int\frac{\sec\theta}{\tan^2\theta}\,d\theta. Rewrite in sines and cosines: sec⁡θtan⁡2θ=1cos⁡θ⋅cos⁡2θsin⁡2θ=cos⁡θsin⁡2θ\frac{\sec\theta}{\tan^2\theta} = \frac{1}{\cos\theta}\cdot\frac{\cos^2\theta}{\sin^2\theta} = \frac{\cos\theta}{\sin^2\theta}, and with w=sin⁡θw = \sin\theta the integral is 14∫w−2 dw=−14sin⁡θ+C\frac{1}{4}\int w^{-2}\,dw = -\frac{1}{4\sin\theta} + C. The triangle of tan⁡θ=x2\tan\theta = \frac{x}{2} has xx opposite, 22 adjacent and hypotenuse x2+4\sqrt{x^2 + 4}, so sin⁡θ=xx2+4\sin\theta = \frac{x}{\sqrt{x^2 + 4}} and the answer is −x2+44x+C-\frac{\sqrt{x^2 + 4}}{4x} + C. Converting to sines and cosines is the reflex when a quotient of sec⁡\sec and tan⁡\tan does not match a formula of the table.

b) x=2tan⁡θx = 2\tan\theta, dx=2sec⁡2θ dθdx = 2\sec^2\theta\,d\theta and (x2+4)3/2=(4sec⁡2θ)3/2=8sec⁡3θ(x^2 + 4)^{3/2} = (4\sec^2\theta)^{3/2} = 8\sec^3\theta. The integrand becomes 2sec⁡2θ8sec⁡3θ=14cos⁡θ\frac{2\sec^2\theta}{8\sec^3\theta} = \frac{1}{4}\cos\theta. The limits move with the variable: x=0x = 0 gives tan⁡θ=0\tan\theta = 0, so θ=0\theta = 0; x=2x = 2 gives tan⁡θ=1\tan\theta = 1, so θ=π4\theta = \frac{\pi}{4}. Then ∫02dx(x2+4)3/2=14∫0π/4cos⁡θ dθ=14sin⁡π4=28\int_0^2\frac{dx}{(x^2 + 4)^{3/2}} = \frac{1}{4}\int_0^{\pi/4}\cos\theta\,d\theta = \frac{1}{4}\sin\frac{\pi}{4} = \frac{\sqrt 2}{8}. No triangle was needed: once the limits are in θ\theta, the computation ends in θ\theta. Writing the new limits next to the substitution, on the same line, is what earns the mark and prevents the error of part d).

c) With G(x)=x4(x2+4)−1/2G(x) = \frac{x}{4}(x^2 + 4)^{-1/2}, the product rule gives G′(x)=14(x2+4)−1/2−x24(x2+4)−3/2=(x2+4)−x24(x2+4)3/2=1(x2+4)3/2G'(x) = \frac{1}{4}(x^2 + 4)^{-1/2} - \frac{x^2}{4}(x^2 + 4)^{-3/2} = \frac{(x^2 + 4) - x^2}{4(x^2 + 4)^{3/2}} = \frac{1}{(x^2 + 4)^{3/2}}. This is exactly what the triangle would have produced from 14sin⁡θ\frac{1}{4}\sin\theta, since sin⁡θ=xx2+4\sin\theta = \frac{x}{\sqrt{x^2 + 4}}. Then G(2)−G(0)=248=282=142=28G(2) - G(0) = \frac{2}{4\sqrt 8} = \frac{2}{8\sqrt 2} = \frac{1}{4\sqrt 2} = \frac{\sqrt 2}{8}. The two routes agree, and on an exam the route in θ\theta is the one to take: fewer steps, fewer places to slip.

d) Keeping the limits gives 14[sin⁡θ]02=14sin⁡2\frac{1}{4}\left[\sin\theta\right]_0^2 = \frac{1}{4}\sin 2, a number with no reason to be right. The deeper problem: the substitution was made with −π2<θ<π2-\frac{\pi}{2} < \theta < \frac{\pi}{2}, and 2>π2≈1.572 > \frac{\pi}{2} \approx 1.57. The value θ=2\theta = 2 is not in that interval, and it corresponds to x=2tan⁡2x = 2\tan 2, which is NEGATIVE since the tangent is negative in the second quadrant: the student is integrating over a stretch of xx that has nothing to do with [0,2][0, 2]. The limits of a definite integral always belong to the variable of integration; when the variable changes, they change with it.

e) (4sec⁡2θ)3/2=8(sec⁡2θ)3=8∣sec⁡θ∣3(4\sec^2\theta)^{3/2} = 8\left(\sqrt{\sec^2\theta}\right)^3 = 8|\sec\theta|^3, and on −π2<θ<π2-\frac{\pi}{2} < \theta < \frac{\pi}{2} the cosine is positive, so sec⁡θ>0\sec\theta > 0 and the absolute value drops. That is the reason for the interval, not a formality. For the size: on [0,2][0, 2], x2+4≥4x^2 + 4 \ge 4, so (x2+4)3/2≥8(x^2 + 4)^{3/2} \ge 8 and the integrand is at most 18\frac{1}{8}; over an interval of length 22 the integral is at most 14\frac{1}{4}. And 28≈1.418≈0.18\frac{\sqrt 2}{8} \approx \frac{1.41}{8} \approx 0.18 satisfies it. A bound like this takes twenty seconds and catches a lost factor of 22 or 44.

Exercise 4: Secant substitution: one integrand, two branches, two signs

For x2−a2\sqrt{x^2 - a^2} the identity is sec⁡2θ−1=tan⁡2θ\sec^2\theta - 1 = \tan^2\theta and the substitution x=asec⁡θx = a\sec\theta. The domain now has two pieces, x≥ax \ge a and x≤−ax \le -a, and the root a2tan⁡2θ=a∣tan⁡θ∣\sqrt{a^2\tan^2\theta} = a|\tan\theta| equals atan⁡θa\tan\theta only where tan⁡θ≥0\tan\theta \ge 0.

The figure shows y=x2−1xy = \frac{\sqrt{x^2 - 1}}{x} on both pieces of its domain, with the region between the curve and the axis shaded over [−2,−1][-2, -1].

-3-2-1123-1.5-1-0.50.511.5y = √(x² − 1)/x
  • a) Compute ∫12x2−1x dx\displaystyle\int_1^2 \frac{\sqrt{x^2 - 1}}{x}\,dx with x=sec⁡θx = \sec\theta, 0≤θ<π20 \le \theta < \frac{\pi}{2}.
  • b) Read the sign of ∫−2−1x2−1x dx\displaystyle\int_{-2}^{-1}\frac{\sqrt{x^2 - 1}}{x}\,dx on the figure, then compute it with x=sec⁡θx = \sec\theta, π≤θ<3π2\pi \le \theta < \frac{3\pi}{2} (the convention of Stewart).
  • c) Compute it again with the principal choice π2<θ≤π\frac{\pi}{2} < \theta \le \pi, where tan⁡θ≤0\tan\theta \le 0, and show that the answer is the same only if the absolute value ∣tan⁡θ∣|\tan\theta| is written.
  • d) Confirm b) by a symmetry argument, with no substitution at all.
  • e) A classmate finds 3−π3\sqrt 3 - \frac{\pi}{3} for b). Name the error and give a five-second check that catches it.
Show the solution

Answers

  • a) ∫0π/3tan⁡2θ dθ=3−π3\int_0^{\pi/3}\tan^2\theta\,d\theta = \sqrt 3 - \frac{\pi}{3}
  • b) Negative on the figure; ∫4π/3πtan⁡2θ dθ=π3−3\int_{4\pi/3}^{\pi}\tan^2\theta\,d\theta = \frac{\pi}{3} - \sqrt 3
  • c) x2−1=−tan⁡θ\sqrt{x^2 - 1} = -\tan\theta: ∫2π/3π(−tan⁡2θ) dθ=π3−3\int_{2\pi/3}^{\pi}(-\tan^2\theta)\,d\theta = \frac{\pi}{3} - \sqrt 3
  • d) The integrand is odd, so the integral is −(3−π3)-\left(\sqrt 3 - \frac{\pi}{3}\right).
  • e) He wrote tan⁡2θ=tan⁡θ\sqrt{\tan^2\theta} = \tan\theta where tan⁡θ<0\tan\theta < 0; a positive value for a negative integrand is impossible.

a) x=sec⁡θx = \sec\theta, dx=sec⁡θtan⁡θ dθdx = \sec\theta\tan\theta\,d\theta, and on 0≤θ<π20 \le \theta < \frac{\pi}{2} the tangent is non-negative, so sec⁡2θ−1=tan⁡θ\sqrt{\sec^2\theta - 1} = \tan\theta. The limits: x=1x = 1 gives cos⁡θ=1\cos\theta = 1, θ=0\theta = 0; x=2x = 2 gives cos⁡θ=12\cos\theta = \frac{1}{2}, θ=π3\theta = \frac{\pi}{3}. The integrand becomes tan⁡θsec⁡θ⋅sec⁡θtan⁡θ dθ=tan⁡2θ dθ=(sec⁡2θ−1) dθ\frac{\tan\theta}{\sec\theta}\cdot\sec\theta\tan\theta\,d\theta = \tan^2\theta\,d\theta = (\sec^2\theta - 1)\,d\theta. So the integral is [tan⁡θ−θ]0π/3=3−π3\left[\tan\theta - \theta\right]_0^{\pi/3} = \sqrt 3 - \frac{\pi}{3}. Positive, as it must be: 3≈1.73\sqrt 3 \approx 1.73 and π3≈1.05\frac{\pi}{3} \approx 1.05, and the integrand is positive on (1,2](1, 2]. The identity tan⁡2θ=sec⁡2θ−1\tan^2\theta = \sec^2\theta - 1 is the only tool needed, and it comes straight from the table of section 7.2.

b) On [−2,−1][-2, -1] the numerator x2−1\sqrt{x^2 - 1} is non-negative and the denominator xx is negative: the curve is BELOW the axis and the integral is negative, as the shaded region shows. With Stewart's convention, x=−1x = -1 gives sec⁡θ=−1\sec\theta = -1, so θ=π\theta = \pi, and x=−2x = -2 gives cos⁡θ=−12\cos\theta = -\frac{1}{2} with π≤θ<3π2\pi \le \theta < \frac{3\pi}{2}, so θ=4π3\theta = \frac{4\pi}{3}. On that interval the tangent is non-negative (third quadrant), so again x2−1=tan⁡θ\sqrt{x^2 - 1} = \tan\theta and the integrand is tan⁡2θ dθ\tan^2\theta\,d\theta. The limits run from 4π3\frac{4\pi}{3} (for x=−2x = -2) to π\pi (for x=−1x = -1), in that order: ∫4π/3πtan⁡2θ dθ=[tan⁡θ−θ]4π/3π=(0−π)−(3−4π3)=π3−3\int_{4\pi/3}^{\pi}\tan^2\theta\,d\theta = \left[\tan\theta - \theta\right]_{4\pi/3}^{\pi} = (0 - \pi) - \left(\sqrt 3 - \frac{4\pi}{3}\right) = \frac{\pi}{3} - \sqrt 3. Negative. The upper limit is smaller than the lower one, and that is fine: the limits are wherever the substitution sends them, never reordered by hand.

c) With π2<θ≤π\frac{\pi}{2} < \theta \le \pi: x=−2x = -2 gives θ=2π3\theta = \frac{2\pi}{3} and x=−1x = -1 gives θ=π\theta = \pi. In the second quadrant tan⁡θ≤0\tan\theta \le 0, so tan⁡2θ=∣tan⁡θ∣=−tan⁡θ\sqrt{\tan^2\theta} = |\tan\theta| = -\tan\theta. The integrand becomes −tan⁡θsec⁡θ⋅sec⁡θtan⁡θ dθ=−tan⁡2θ dθ\frac{-\tan\theta}{\sec\theta}\cdot\sec\theta\tan\theta\,d\theta = -\tan^2\theta\,d\theta, and ∫2π/3π(−tan⁡2θ) dθ=−[tan⁡θ−θ]2π/3π=−[(0−π)−(−3−2π3)]=−(3−π3)=π3−3\int_{2\pi/3}^{\pi}(-\tan^2\theta)\,d\theta = -\left[\tan\theta - \theta\right]_{2\pi/3}^{\pi} = -\left[(0 - \pi) - \left(-\sqrt 3 - \frac{2\pi}{3}\right)\right] = -\left(\sqrt 3 - \frac{\pi}{3}\right) = \frac{\pi}{3} - \sqrt 3. The same number as in b). Both conventions are correct; what is never correct is writing tan⁡θ\tan\theta for the root without looking at the quadrant.

d) Let f(x)=x2−1xf(x) = \frac{\sqrt{x^2 - 1}}{x}. Then f(−x)=x2−1−x=−f(x)f(-x) = \frac{\sqrt{x^2 - 1}}{-x} = -f(x): ff is odd, and the figure shows it, the left branch is the right branch turned half a turn about the origin. The substitution x=−ux = -u turns ∫−2−1f(x) dx\int_{-2}^{-1}f(x)\,dx into −∫12f(u) du=−(3−π3)=π3−3-\int_1^2 f(u)\,du = -\left(\sqrt 3 - \frac{\pi}{3}\right) = \frac{\pi}{3} - \sqrt 3. On an exam this is the fastest route of all, and the right one to use as a CHECK of b) when the secant has been used.

e) He took π2<θ≤π\frac{\pi}{2} < \theta \le \pi, the principal range of arcsecant, and wrote x2−1=tan⁡θ\sqrt{x^2 - 1} = \tan\theta as on the positive branch. There tan⁡θ<0\tan\theta < 0, so the root he used is negative, and every value of the integrand has the wrong sign: he obtained exactly the opposite of the answer. The five-second check is the SIGN of the integrand: on [−2,−1][-2, -1] it is negative, so the integral must be negative, and 3−π3>0\sqrt 3 - \frac{\pi}{3} > 0 is impossible. It costs the whole question, and it is the error the figure was drawn to prevent.

Exercise 5: The area of an ellipse, and a strip of it

The ellipse x216+y29=1\frac{x^2}{16} + \frac{y^2}{9} = 1 has semi-axes 44 and 33. Solving for yy, its upper half is the graph of y=3416−x2y = \frac{3}{4}\sqrt{16 - x^2} and its lower half that of y=−3416−x2y = -\frac{3}{4}\sqrt{16 - x^2}.

The figure shades the part of the ellipse between the vertical lines x=0x = 0 and x=2x = 2.

-6-5-4-3-2-1123456-4-3-2-11234x²/16 + y²/9 = 1
  • a) Explain why the area enclosed by the ellipse is 3∫0416−x2 dx3\int_0^4\sqrt{16 - x^2}\,dx.
  • b) Compute this area with x=4sin⁡θx = 4\sin\theta, changing the limits.
  • c) Compute the area of the shaded strip exactly, and check its size against two rectangles.
  • d) Redo b) for the ellipse x2a2+y2b2=1\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1, a,b>0a, b > 0, and check the formula on a circle.
  • e) A student writes the area as ∫−443416−x2 dx\int_{-4}^{4}\frac{3}{4}\sqrt{16 - x^2}\,dx. What region did she compute, and what is missing?
Show the solution

Answers

  • a) Four symmetric quarters, each ∫043416−x2 dx\int_0^4\frac{3}{4}\sqrt{16 - x^2}\,dx.
  • b) 48∫0π/2cos⁡2θ dθ=12π48\int_0^{\pi/2}\cos^2\theta\,d\theta = 12\pi
  • c) 24∫0π/6cos⁡2θ dθ=2π+3324\int_0^{\pi/6}\cos^2\theta\,d\theta = 2\pi + 3\sqrt 3, between 636\sqrt 3 and 1212.
  • d) πab\pi ab; for a=b=ra = b = r, πr2\pi r^2.
  • e) The upper half only, 6π6\pi; the lower half doubles it to 12π12\pi.

a) The ellipse is symmetric about both axes: replacing xx by −x-x or yy by −y-y leaves its equation unchanged. So its area is four times the area of the part in the first quadrant, which is the region under y=3416−x2y = \frac{3}{4}\sqrt{16 - x^2} for 0≤x≤40 \le x \le 4. The area is 4∫043416−x2 dx=3∫0416−x2 dx4\int_0^4\frac{3}{4}\sqrt{16 - x^2}\,dx = 3\int_0^4\sqrt{16 - x^2}\,dx. Stating the symmetry is part of the answer: a formula like 4∫4\int without a reason is a formula the marker cannot check.

b) Form a2−x2a^2 - x^2 with a=4a = 4: x=4sin⁡θx = 4\sin\theta, dx=4cos⁡θ dθdx = 4\cos\theta\,d\theta, and 16−x2=4cos⁡θ\sqrt{16 - x^2} = 4\cos\theta since cos⁡θ≥0\cos\theta \ge 0 on [0,π2][0, \frac{\pi}{2}]. The limits: x=0x = 0 gives θ=0\theta = 0, and x=4x = 4 gives sin⁡θ=1\sin\theta = 1, θ=π2\theta = \frac{\pi}{2}. So 3∫0416−x2 dx=3∫0π/216cos⁡2θ dθ=48∫0π/21+cos⁡2θ2 dθ=48[θ2+sin⁡2θ4]0π/2=48⋅π4=12π3\int_0^4\sqrt{16 - x^2}\,dx = 3\int_0^{\pi/2}16\cos^2\theta\,d\theta = 48\int_0^{\pi/2}\frac{1 + \cos 2\theta}{2}\,d\theta = 48\left[\frac{\theta}{2} + \frac{\sin 2\theta}{4}\right]_0^{\pi/2} = 48\cdot\frac{\pi}{4} = 12\pi. The term sin⁡2θ\sin 2\theta vanishes at both limits, which is typical when the limits are 00 and π2\frac{\pi}{2}: no triangle, no return to xx.

c) The strip is symmetric about the xx-axis, so its area is 2∫023416−x2 dx=32∫0216−x2 dx2\int_0^2\frac{3}{4}\sqrt{16 - x^2}\,dx = \frac{3}{2}\int_0^2\sqrt{16 - x^2}\,dx. With x=4sin⁡θx = 4\sin\theta, x=2x = 2 gives sin⁡θ=12\sin\theta = \frac{1}{2}, so θ=π6\theta = \frac{\pi}{6}. The area is 32∫0π/616cos⁡2θ dθ=24[θ2+sin⁡2θ4]0π/6=24(π12+38)=2π+33\frac{3}{2}\int_0^{\pi/6}16\cos^2\theta\,d\theta = 24\left[\frac{\theta}{2} + \frac{\sin 2\theta}{4}\right]_0^{\pi/6} = 24\left(\frac{\pi}{12} + \frac{\sqrt 3}{8}\right) = 2\pi + 3\sqrt 3. Here sin⁡2θ=sin⁡π3=32\sin 2\theta = \sin\frac{\pi}{3} = \frac{\sqrt 3}{2} does NOT vanish, and dropping it is the usual loss. Size: the height of the strip decreases from 66 at x=0x = 0 to 2⋅3412=332\cdot\frac{3}{4}\sqrt{12} = 3\sqrt 3 at x=2x = 2, so the area lies between 2⋅33=63≈10.42\cdot 3\sqrt 3 = 6\sqrt 3 \approx 10.4 and 2⋅6=122\cdot 6 = 12. And 2π+33≈6.28+5.20=11.482\pi + 3\sqrt 3 \approx 6.28 + 5.20 = 11.48 fits.

d) By the same symmetry, the area is 4∫0abaa2−x2 dx4\int_0^a\frac{b}{a}\sqrt{a^2 - x^2}\,dx. With x=asin⁡θx = a\sin\theta, dx=acos⁡θ dθdx = a\cos\theta\,d\theta, a2−x2=acos⁡θ\sqrt{a^2 - x^2} = a\cos\theta and limits 00 and π2\frac{\pi}{2}: 4⋅ba∫0π/2a2cos⁡2θ dθ=4ab⋅π4=πab4\cdot\frac{b}{a}\int_0^{\pi/2}a^2\cos^2\theta\,d\theta = 4ab\cdot\frac{\pi}{4} = \pi ab. For a=4a = 4, b=3b = 3 this is 12π12\pi, as in b). For a circle, a=b=ra = b = r gives πr2\pi r^2. A general formula that does not reduce to the circle is wrong, and this check takes one line.

e) ∫−443416−x2 dx\int_{-4}^{4}\frac{3}{4}\sqrt{16 - x^2}\,dx is the area under the upper half only, between the curve and the xx-axis: 34⋅π⋅162=6π\frac{3}{4}\cdot\frac{\pi\cdot 16}{2} = 6\pi, half of the ellipse. The root always returns the non-negative square root, so it can never describe the lower half, which is y=−3416−x2y = -\frac{3}{4}\sqrt{16 - x^2}. The enclosed area is ∫−442⋅3416−x2 dx=12π\int_{-4}^{4}2\cdot\frac{3}{4}\sqrt{16 - x^2}\,dx = 12\pi, the height of the ellipse at xx being the distance between its two halves. The missing factor 22 is the question to ask of every area built on a root.

Part B: problems and reasoning (/50)

Exercise 6: Complete the square first: the circle hidden in 3 + 2x minus x squared

A quadratic under the root that is not already of the form a2±x2a^2 \pm x^2 must be put in that form BEFORE any substitution. Completing the square turns it into ±(x−h)2±k2\pm(x - h)^2 \pm k^2, and the trigonometric substitution is then made on u=x−hu = x - h, not on xx.

The figure shows the graph of y=3+2x−x2y = \sqrt{3 + 2x - x^2}.

-2-11234-1123y = √(3 + 2x − x²)
  • a) Complete the square in 3+2x−x23 + 2x - x^2 and explain what the figure shows, with its centre and radius.
  • b) Compute ∫x3+2x−x2 dx\displaystyle\int\frac{x}{\sqrt{3 + 2x - x^2}}\,dx.
  • c) Evaluate ∫12x3+2x−x2 dx\displaystyle\int_1^2\frac{x}{\sqrt{3 + 2x - x^2}}\,dx exactly, and bracket it without a calculator.
  • d) Compute ∫dx(x2+6x+13)3/2\displaystyle\int\frac{dx}{(x^2 + 6x + 13)^{3/2}}.
  • e) A student writes 3+2x−x2=(x−1)2−43 + 2x - x^2 = (x - 1)^2 - 4 and sets x−1=2sec⁡θx - 1 = 2\sec\theta. Show with one value of xx that the square is wrong, and say what the wrong sign changes.
Show the solution

Answers

  • a) 3+2x−x2=4−(x−1)23 + 2x - x^2 = 4 - (x - 1)^2: upper half of the circle of centre (1,0)(1, 0) and radius 22.
  • b) arcsin⁡x−12−3+2x−x2+C\arcsin\frac{x - 1}{2} - \sqrt{3 + 2x - x^2} + C
  • c) π6+2−3\frac{\pi}{6} + 2 - \sqrt 3, between 12\frac{1}{2} and 23\frac{2}{\sqrt 3}
  • d) x+34x2+6x+13+C\displaystyle\frac{x + 3}{4\sqrt{x^2 + 6x + 13}} + C
  • e) At x=1x = 1: 44 against −4-4. The wrong sign swaps the sine form for the secant form, on a domain where the root does not exist.

a) Factor out the MINUS sign first, it is where the error hides: 3+2x−x2=−(x2−2x)+3=−[(x−1)2−1]+3=4−(x−1)23 + 2x - x^2 = -(x^2 - 2x) + 3 = -\left[(x - 1)^2 - 1\right] + 3 = 4 - (x - 1)^2. Check at x=0x = 0: 4−1=34 - 1 = 3. So y=4−(x−1)2y = \sqrt{4 - (x - 1)^2}, that is (x−1)2+y2=4(x - 1)^2 + y^2 = 4 with y≥0y \ge 0: the figure is the upper half of the circle of centre (1,0)(1, 0) and radius 22, defined on [−1,3][-1, 3]. The form is a2−u2a^2 - u^2 with a=2a = 2 and u=x−1u = x - 1, so the substitution is x−1=2sin⁡θx - 1 = 2\sin\theta, −π2≤θ≤π2-\frac{\pi}{2} \le \theta \le \frac{\pi}{2}: the same angle as in Exercise 2, on a circle moved one unit to the right.

b) x=1+2sin⁡θx = 1 + 2\sin\theta, dx=2cos⁡θ dθdx = 2\cos\theta\,d\theta, 3+2x−x2=4−4sin⁡2θ=2cos⁡θ\sqrt{3 + 2x - x^2} = \sqrt{4 - 4\sin^2\theta} = 2\cos\theta (non-negative on the interval). The numerator is x=1+2sin⁡θx = 1 + 2\sin\theta, NOT 2sin⁡θ2\sin\theta: the shift must be carried everywhere xx appears. The integral becomes ∫(1+2sin⁡θ)⋅2cos⁡θ2cos⁡θ dθ=∫(1+2sin⁡θ) dθ=θ−2cos⁡θ+C\int\frac{(1 + 2\sin\theta)\cdot 2\cos\theta}{2\cos\theta}\,d\theta = \int(1 + 2\sin\theta)\,d\theta = \theta - 2\cos\theta + C. Back to xx: θ=arcsin⁡x−12\theta = \arcsin\frac{x - 1}{2} and 2cos⁡θ=4−(x−1)2=3+2x−x22\cos\theta = \sqrt{4 - (x - 1)^2} = \sqrt{3 + 2x - x^2}. Answer: arcsin⁡x−12−3+2x−x2+C\arcsin\frac{x - 1}{2} - \sqrt{3 + 2x - x^2} + C. Check by differentiating: 14−(x−1)2−2−2x23+2x−x2=1+(x−1)3+2x−x2=x3+2x−x2\frac{1}{\sqrt{4 - (x - 1)^2}} - \frac{2 - 2x}{2\sqrt{3 + 2x - x^2}} = \frac{1 + (x - 1)}{\sqrt{3 + 2x - x^2}} = \frac{x}{\sqrt{3 + 2x - x^2}}.

c) With the limits moved: x=1x = 1 gives sin⁡θ=0\sin\theta = 0, θ=0\theta = 0; x=2x = 2 gives sin⁡θ=12\sin\theta = \frac{1}{2}, θ=π6\theta = \frac{\pi}{6}. So the integral is [θ−2cos⁡θ]0π/6=(π6−3)−(0−2)=π6+2−3\left[\theta - 2\cos\theta\right]_0^{\pi/6} = \left(\frac{\pi}{6} - \sqrt 3\right) - (0 - 2) = \frac{\pi}{6} + 2 - \sqrt 3. Bracket: on [1,2][1, 2] the numerator grows from 11 to 22 and the root falls from 22 to 3\sqrt 3, so the integrand increases from 12\frac{1}{2} to 23≈1.15\frac{2}{\sqrt 3} \approx 1.15, and over an interval of length 11 the integral lies between 0.50.5 and 1.151.15. Since π6≈0.52\frac{\pi}{6} \approx 0.52 and 2−3≈0.272 - \sqrt 3 \approx 0.27, the value is about 0.790.79. The integrand stays bounded on [1,2][1, 2], the root only vanishing at x=3x = 3, so nothing improper is involved here.

d) x2+6x+13=(x+3)2+4x^2 + 6x + 13 = (x + 3)^2 + 4: a SUM of squares, so x+3=2tan⁡θx + 3 = 2\tan\theta, −π2<θ<π2-\frac{\pi}{2} < \theta < \frac{\pi}{2}, dx=2sec⁡2θ dθdx = 2\sec^2\theta\,d\theta and (x2+6x+13)3/2=(4sec⁡2θ)3/2=8sec⁡3θ(x^2 + 6x + 13)^{3/2} = (4\sec^2\theta)^{3/2} = 8\sec^3\theta. The integral is ∫2sec⁡2θ8sec⁡3θ dθ=14∫cos⁡θ dθ=14sin⁡θ+C\int\frac{2\sec^2\theta}{8\sec^3\theta}\,d\theta = \frac{1}{4}\int\cos\theta\,d\theta = \frac{1}{4}\sin\theta + C. The triangle of tan⁡θ=x+32\tan\theta = \frac{x + 3}{2} has x+3x + 3 opposite, 22 adjacent and hypotenuse (x+3)2+4=x2+6x+13\sqrt{(x + 3)^2 + 4} = \sqrt{x^2 + 6x + 13}, so sin⁡θ=x+3x2+6x+13\sin\theta = \frac{x + 3}{\sqrt{x^2 + 6x + 13}} and the answer is x+34x2+6x+13+C\frac{x + 3}{4\sqrt{x^2 + 6x + 13}} + C. Label the sides of the triangle with x+3x + 3, never with xx: the shift survives to the last line.

e) At x=1x = 1: 3+2−1=43 + 2 - 1 = 4, while (1−1)2−4=−4(1 - 1)^2 - 4 = -4. The completed square is the negative of the right one, the minus sign in front of x2x^2 having been lost. The consequence is not a small slip. The form (x−1)2−4(x - 1)^2 - 4 is u2−a2u^2 - a^2, which calls for a secant, and it is non-negative only for ∣x−1∣≥2|x - 1| \ge 2, that is outside (−1,3)(-1, 3): the student is working on exactly the set where the original root does not exist, apart from the two endpoints. One value of xx substituted into both sides catches it in five seconds, and the figure shows it at a glance: the graph is a bounded arc, the signature of a2−u2a^2 - u^2.

Exercise 7: Trigonometric or plain substitution? The power outside the root decides

A trigonometric substitution is a heavy tool, and the substitution rule of section 5.5 is sometimes available at a fraction of the cost. What decides is the factor OUTSIDE the root: an odd power of xx next to a2±x2\sqrt{a^2 \pm x^2} leaves one factor x dxx\,dx to form dudu; an even power, or no power at all, leaves nothing to absorb.

  • a) Compute ∫x3x2+4 dx\displaystyle\int\frac{x^3}{\sqrt{x^2 + 4}}\,dx with u=x2+4u = x^2 + 4, then evaluate it from 00 to 22.
  • b) Compute the same indefinite integral with x=2tan⁡θx = 2\tan\theta and show that the two answers are the same function.
  • c) Evaluate ∫03x29−x2 dx\int_0^3 x^2\sqrt{9 - x^2}\,dx. Show why u=9−x2u = 9 - x^2 gets nowhere.
  • d) Without computing, choose the method for each: ∫x16−x2 dx\int x\sqrt{16 - x^2}\,dx, ∫x216−x2 dx\int\frac{x^2}{\sqrt{16 - x^2}}\,dx, ∫xx2+16 dx\int\frac{x}{x^2 + 16}\,dx and ∫dxx2+16\int\frac{dx}{x^2 + 16}. Then compute the first one.
Show the solution

Answers

  • a) 13(x2+4)3/2−4x2+4+C\frac{1}{3}(x^2 + 4)^{3/2} - 4\sqrt{x^2 + 4} + C; from 00 to 22: 16−823\frac{16 - 8\sqrt 2}{3}
  • b) 83sec⁡3θ−8sec⁡θ+C\frac{8}{3}\sec^3\theta - 8\sec\theta + C, which is the same function once sec⁡θ=x2+42\sec\theta = \frac{\sqrt{x^2 + 4}}{2}.
  • c) 81π16\frac{81\pi}{16}; u=9−x2u = 9 - x^2 leaves ∫u9−u\int\sqrt{u}\sqrt{9 - u}, no simpler.
  • d) u=16−x2u = 16 - x^2; x=4sin⁡θx = 4\sin\theta; u=x2+16u = x^2 + 16 (a logarithm); the arctangent formula. First one: −13(16−x2)3/2+C-\frac{1}{3}(16 - x^2)^{3/2} + C.

a) Write x3 dx=x2⋅x dxx^3\,dx = x^2\cdot x\,dx. With u=x2+4u = x^2 + 4, du=2x dxdu = 2x\,dx and x2=u−4x^2 = u - 4, so ∫x3x2+4 dx=12∫u−4u du=12∫(u1/2−4u−1/2)du=13u3/2−4u1/2+C=13(x2+4)3/2−4x2+4+C\int\frac{x^3}{\sqrt{x^2 + 4}}\,dx = \frac{1}{2}\int\frac{u - 4}{\sqrt u}\,du = \frac{1}{2}\int\left(u^{1/2} - 4u^{-1/2}\right)du = \frac{1}{3}u^{3/2} - 4u^{1/2} + C = \frac{1}{3}(x^2 + 4)^{3/2} - 4\sqrt{x^2 + 4} + C. From 00 to 22: at x=2x = 2, u=8u = 8 and 13⋅162−82=−823\frac{1}{3}\cdot 16\sqrt 2 - 8\sqrt 2 = -\frac{8\sqrt 2}{3}; at x=0x = 0, u=4u = 4 and 83−8=−163\frac{8}{3} - 8 = -\frac{16}{3}. The difference is 16−823≈16−11.33≈1.6\frac{16 - 8\sqrt 2}{3} \approx \frac{16 - 11.3}{3} \approx 1.6, positive as the integrand is on (0,2](0, 2]. The odd power made this a two-line computation.

b) x=2tan⁡θx = 2\tan\theta, dx=2sec⁡2θ dθdx = 2\sec^2\theta\,d\theta, x2+4=2sec⁡θ\sqrt{x^2 + 4} = 2\sec\theta: the integral becomes ∫8tan⁡3θ⋅2sec⁡2θ2sec⁡θ dθ=8∫tan⁡3θsec⁡θ dθ\int\frac{8\tan^3\theta\cdot 2\sec^2\theta}{2\sec\theta}\,d\theta = 8\int\tan^3\theta\sec\theta\,d\theta. This is a trigonometric integral of section 7.2 with an odd power of the tangent: keep sec⁡θtan⁡θ dθ\sec\theta\tan\theta\,d\theta and write tan⁡2θ=sec⁡2θ−1\tan^2\theta = \sec^2\theta - 1, so with w=sec⁡θw = \sec\theta it is 8∫(w2−1) dw=83sec⁡3θ−8sec⁡θ+C8\int(w^2 - 1)\,dw = \frac{8}{3}\sec^3\theta - 8\sec\theta + C. The triangle of tan⁡θ=x2\tan\theta = \frac{x}{2} gives sec⁡θ=x2+42\sec\theta = \frac{\sqrt{x^2 + 4}}{2}, so 83⋅(x2+4)3/28−8⋅x2+42=13(x2+4)3/2−4x2+4\frac{8}{3}\cdot\frac{(x^2 + 4)^{3/2}}{8} - 8\cdot\frac{\sqrt{x^2 + 4}}{2} = \frac{1}{3}(x^2 + 4)^{3/2} - 4\sqrt{x^2 + 4}: the same function, not merely the same up to a constant. The trigonometric route works, but it needed a second chapter's technique and a triangle, where a) needed neither.

c) Try u=9−x2u = 9 - x^2: du=−2x dxdu = -2x\,dx, but the integrand has x2 dxx^2\,dx, and after using one xx for dudu the other remains, x=9−ux = \sqrt{9 - u}. The integral becomes −12∫9−uu du-\frac{1}{2}\int\sqrt{9 - u}\sqrt u\,du, a root of a product, no simpler than the start. With an even power, the trigonometric substitution is the tool: x=3sin⁡θx = 3\sin\theta, dx=3cos⁡θ dθdx = 3\cos\theta\,d\theta, 9−x2=3cos⁡θ\sqrt{9 - x^2} = 3\cos\theta, limits 00 and π2\frac{\pi}{2}. Then ∫0π/29sin⁡2θ⋅3cos⁡θ⋅3cos⁡θ dθ=81∫0π/2sin⁡2θcos⁡2θ dθ\int_0^{\pi/2}9\sin^2\theta\cdot 3\cos\theta\cdot 3\cos\theta\,d\theta = 81\int_0^{\pi/2}\sin^2\theta\cos^2\theta\,d\theta. Since sin⁡θcos⁡θ=12sin⁡2θ\sin\theta\cos\theta = \frac{1}{2}\sin 2\theta, this is 814∫0π/2sin⁡22θ dθ=818∫0π/2(1−cos⁡4θ) dθ=818⋅π2=81π16\frac{81}{4}\int_0^{\pi/2}\sin^2 2\theta\,d\theta = \frac{81}{8}\int_0^{\pi/2}(1 - \cos 4\theta)\,d\theta = \frac{81}{8}\cdot\frac{\pi}{2} = \frac{81\pi}{16}. Size check: the integrand is at most 63≈10.46\sqrt 3 \approx 10.4 (at x2=6x^2 = 6) on an interval of length 33, and 81π16≈15.9\frac{81\pi}{16} \approx 15.9 is well below 3131.

d) ∫x16−x2 dx\int x\sqrt{16 - x^2}\,dx: odd power outside, so u=16−x2u = 16 - x^2, du=−2x dxdu = -2x\,dx, and −12∫u1/2 du=−13(16−x2)3/2+C-\frac{1}{2}\int u^{1/2}\,du = -\frac{1}{3}(16 - x^2)^{3/2} + C. ∫x216−x2 dx\int\frac{x^2}{\sqrt{16 - x^2}}\,dx: even power, form a2−x2a^2 - x^2, so x=4sin⁡θx = 4\sin\theta. ∫xx2+16 dx\int\frac{x}{x^2 + 16}\,dx: there is no root at all and the numerator is half the derivative of the denominator, so u=x2+16u = x^2 + 16 gives 12ln⁡(x2+16)+C\frac{1}{2}\ln(x^2 + 16) + C; a tangent substitution would work and waste five minutes. ∫dxx2+16\int\frac{dx}{x^2 + 16}: this is in the table, 14arctan⁡x4+C\frac{1}{4}\arctan\frac{x}{4} + C; the substitution x=4tan⁡θx = 4\tan\theta is precisely how that formula is proved, not something to redo on an exam. The rule: look for the plain substitution FIRST, and reach for the triangle only when it fails.

Exercise 8: Five statements to correct

Each statement below comes from a MATH 141 paper, and each is false. Say what is wrong, give the correct statement, and settle it with a computation or a counterexample.

  • a) With x=2sin⁡θx = 2\sin\theta, ∫01dx4−x2=∫01dθ=1\int_0^1\frac{dx}{\sqrt{4 - x^2}} = \int_0^1 d\theta = 1.
  • b) After x=3sin⁡θx = 3\sin\theta, the triangle gives cos⁡θ=9−x2\cos\theta = \sqrt{9 - x^2}, so ∫dx(9−x2)3/2=19tan⁡θ+C=x279−x2+C\int\frac{dx}{(9 - x^2)^{3/2}} = \frac{1}{9}\tan\theta + C = \frac{x}{27\sqrt{9 - x^2}} + C.
  • c) ∫xx2−1 dx\int\frac{x}{\sqrt{x^2 - 1}}\,dx requires x=sec⁡θx = \sec\theta, since the root has the form x2−a2x^2 - a^2.
  • d) A trigonometric substitution is only for integrands that contain a square root.
  • e) Since θ=arcsin⁡x3\theta = \arcsin\frac{x}{3}, we have sin⁡2θ=2x3\sin 2\theta = \frac{2x}{3}.
Show the solution

Answers

  • a) False: the limits become 00 and π6\frac{\pi}{6}, and the integral is π6\frac{\pi}{6}.
  • b) False: cos⁡θ=9−x23\cos\theta = \frac{\sqrt{9 - x^2}}{3}, and the answer is x99−x2+C\frac{x}{9\sqrt{9 - x^2}} + C.
  • c) False: u=x2−1u = x^2 - 1 gives x2−1+C\sqrt{x^2 - 1} + C in one line.
  • d) False: x=2tan⁡θx = 2\tan\theta gives ∫02dx(x2+4)2=π64+132\int_0^2\frac{dx}{(x^2 + 4)^2} = \frac{\pi}{64} + \frac{1}{32}.
  • e) False: sin⁡2θ=2sin⁡θcos⁡θ=2x9−x29\sin 2\theta = 2\sin\theta\cos\theta = \frac{2x\sqrt{9 - x^2}}{9}; at x=3x = 3 it is 00, not 22.

a) FALSE. The integrand does become 2cos⁡θ dθ2cos⁡θ=dθ\frac{2\cos\theta\,d\theta}{2\cos\theta} = d\theta, but the limits 00 and 11 are values of xx. With x=2sin⁡θx = 2\sin\theta: x=0x = 0 gives θ=0\theta = 0 and x=1x = 1 gives sin⁡θ=12\sin\theta = \frac{1}{2}, so θ=π6\theta = \frac{\pi}{6}. Correct statement: ∫01dx4−x2=∫0π/6dθ=π6\int_0^1\frac{dx}{\sqrt{4 - x^2}} = \int_0^{\pi/6}d\theta = \frac{\pi}{6}, which the table confirms, [arcsin⁡x2]01=π6\left[\arcsin\frac{x}{2}\right]_0^1 = \frac{\pi}{6}. Size check: the integrand is at least 12\frac{1}{2} on [0,1][0, 1], and π6≈0.52\frac{\pi}{6} \approx 0.52; the value 11 would need an integrand averaging 11, which only happens near x=3x = \sqrt 3.

b) FALSE. The triangle of sin⁡θ=x3\sin\theta = \frac{x}{3} has hypotenuse 33, so cos⁡θ=adjacenthypotenuse=9−x23\cos\theta = \frac{\text{adjacent}}{\text{hypotenuse}} = \frac{\sqrt{9 - x^2}}{3}: the division by the hypotenuse was dropped. The θ\theta computation is right: 3cos⁡θ27cos⁡3θ=19sec⁡2θ\frac{3\cos\theta}{27\cos^3\theta} = \frac{1}{9}\sec^2\theta, so 19tan⁡θ+C\frac{1}{9}\tan\theta + C. But tan⁡θ=oppositeadjacent=x9−x2\tan\theta = \frac{\text{opposite}}{\text{adjacent}} = \frac{x}{\sqrt{9 - x^2}}, and the correct answer is x99−x2+C\frac{x}{9\sqrt{9 - x^2}} + C. The false one is off by a factor 33, and differentiating it at x=0x = 0 gives 181\frac{1}{81} instead of the integrand's 127\frac{1}{27}. Correct statement: read every ratio on the triangle as a ratio of TWO sides; a single side is never a trigonometric value.

c) FALSE. The substitution x=sec⁡θx = \sec\theta works, but it is not required, and on an exam it is a waste. The odd power outside the root hands over dudu: with u=x2−1u = x^2 - 1, du=2x dxdu = 2x\,dx, so ∫x dxx2−1=12∫u−1/2 du=x2−1+C\int\frac{x\,dx}{\sqrt{x^2 - 1}} = \frac{1}{2}\int u^{-1/2}\,du = \sqrt{x^2 - 1} + C, valid on both pieces of the domain at once, whereas the secant would force the two-branch discussion of Exercise 4. Correct statement: the form of the root chooses AMONG the three trigonometric substitutions; it does not decide whether one is needed. Check first for a plain substitution.

d) FALSE. The identity 1+tan⁡2θ=sec⁡2θ1 + \tan^2\theta = \sec^2\theta simplifies x2+a2x^2 + a^2 whatever power it carries. Counterexample: ∫02dx(x2+4)2\int_0^2\frac{dx}{(x^2 + 4)^2} with x=2tan⁡θx = 2\tan\theta, dx=2sec⁡2θ dθdx = 2\sec^2\theta\,d\theta, (x2+4)2=16sec⁡4θ(x^2 + 4)^2 = 16\sec^4\theta, limits 00 and π4\frac{\pi}{4}: 18∫0π/4cos⁡2θ dθ=18[θ2+sin⁡2θ4]0π/4=18(π8+14)=π64+132\frac{1}{8}\int_0^{\pi/4}\cos^2\theta\,d\theta = \frac{1}{8}\left[\frac{\theta}{2} + \frac{\sin 2\theta}{4}\right]_0^{\pi/4} = \frac{1}{8}\left(\frac{\pi}{8} + \frac{1}{4}\right) = \frac{\pi}{64} + \frac{1}{32}. Correct statement: a trigonometric substitution applies whenever an expression a2−x2a^2 - x^2, a2+x2a^2 + x^2 or x2−a2x^2 - a^2 is raised to a power, root or not; the square root is only the most common case.

e) FALSE. The sine of a double angle is not twice the sine: sin⁡2θ=2sin⁡θcos⁡θ\sin 2\theta = 2\sin\theta\cos\theta. With sin⁡θ=x3\sin\theta = \frac{x}{3} and cos⁡θ=9−x23\cos\theta = \frac{\sqrt{9 - x^2}}{3}, sin⁡2θ=2x9−x29\sin 2\theta = \frac{2x\sqrt{9 - x^2}}{9}. A single value refutes the statement: at x=3x = 3, θ=π2\theta = \frac{\pi}{2} and sin⁡2θ=sin⁡π=0\sin 2\theta = \sin\pi = 0, while 2x3=2\frac{2x}{3} = 2, a value no sine can take. Correct statement: expand sin⁡2θ\sin 2\theta with the double-angle formula FIRST, then read both factors on the triangle. This slip turns the right antiderivative of 9−x2\sqrt{9 - x^2} into a wrong one, and a derivative check catches it.

Exercise 9: A fuel gauge for a tank lying on its side

A cylindrical fuel tank of radius 11 m and length 55 m lies on its side. A dipstick measures the depth hh of fuel, 0≤h≤20 \le h \le 2 (in metres), and the operator needs the volume. Since every cross-section is the same, the volume is 55 times the area of fuel in one cross-section.

In the figure the cross-section is the disc x2+y2≤1x^2 + y^2 \le 1, centre OO, and the fuel fills the part below the level line y=h−1y = h - 1 (drawn for h=12h = \frac{1}{2}).

fuelhy = h − 1O1
  • a) Show that the area of fuel in a cross-section is A(h)=∫−1h−121−y2 dyA(h) = \int_{-1}^{h - 1}2\sqrt{1 - y^2}\,dy.
  • b) Compute A(h)A(h) in closed form with y=sin⁡θy = \sin\theta.
  • c) Give the volume of fuel for h=12h = \frac{1}{2} m and for h=32h = \frac{3}{2} m, and the fraction of the full tank each represents. Check that the two volumes add up to the full tank, and say why they must.
  • d) A careless operator marks the dipstick as if the volume were proportional to the depth. At h=12h = \frac{1}{2}, by how much does he overestimate the fuel?
  • e) Find dVdh\frac{dV}{dh} with the Fundamental Theorem of Calculus. When fuel is pumped in at a constant rate, at what depth does the level rise most slowly, and why does the figure make that obvious?
Show the solution

Answers

  • a) A horizontal strip at height yy has width 21−y22\sqrt{1 - y^2} and thickness dydy.
  • b) A(h)=arcsin⁡(h−1)+(h−1)2h−h2+π2A(h) = \arcsin(h - 1) + (h - 1)\sqrt{2h - h^2} + \frac{\pi}{2}
  • c) V(12)=5π3−534V(\frac{1}{2}) = \frac{5\pi}{3} - \frac{5\sqrt 3}{4} m3^3, fraction 13−34π≈0.2\frac{1}{3} - \frac{\sqrt 3}{4\pi} \approx 0.2; V(32)=10π3+534V(\frac{3}{2}) = \frac{10\pi}{3} + \frac{5\sqrt 3}{4} m3^3; sum 5π5\pi.
  • d) By 512(33−π)≈0.86\frac{5}{12}(3\sqrt 3 - \pi) \approx 0.86 m3^3 (he reads 5π4\frac{5\pi}{4}).
  • e) dVdh=102h−h2\frac{dV}{dh} = 10\sqrt{2h - h^2}, largest at h=1h = 1: the level rises slowest at half depth, where the surface is widest.

a) Slice the fuel horizontally. At height yy the chord of the unit circle runs from x=−1−y2x = -\sqrt{1 - y^2} to x=1−y2x = \sqrt{1 - y^2}, so a strip of thickness dydy has area about 21−y2 dy2\sqrt{1 - y^2}\,dy. The fuel occupies the heights from the bottom of the tank, y=−1y = -1, up to the level y=h−1y = h - 1 (a depth hh measured from the bottom). Adding the strips gives A(h)=∫−1h−121−y2 dyA(h) = \int_{-1}^{h - 1}2\sqrt{1 - y^2}\,dy. Slicing horizontally is the natural choice here: the level is horizontal, so it becomes a LIMIT of integration instead of a curve to intersect.

b) The form is 1−y21 - y^2: y=sin⁡θy = \sin\theta, dy=cos⁡θ dθdy = \cos\theta\,d\theta, 1−y2=cos⁡θ\sqrt{1 - y^2} = \cos\theta on [−π2,π2][-\frac{\pi}{2}, \frac{\pi}{2}]. Then ∫2cos⁡2θ dθ=∫(1+cos⁡2θ) dθ=θ+sin⁡θcos⁡θ+C\int 2\cos^2\theta\,d\theta = \int(1 + \cos 2\theta)\,d\theta = \theta + \sin\theta\cos\theta + C, which returns to arcsin⁡y+y1−y2+C\arcsin y + y\sqrt{1 - y^2} + C. Here returning to yy is the right choice, because the upper limit h−1h - 1 is a letter: moving it would give arcsin⁡(h−1)\arcsin(h - 1) anyway. So A(h)=[arcsin⁡y+y1−y2]−1h−1=arcsin⁡(h−1)+(h−1)1−(h−1)2−(−π2)A(h) = \left[\arcsin y + y\sqrt{1 - y^2}\right]_{-1}^{h - 1} = \arcsin(h - 1) + (h - 1)\sqrt{1 - (h - 1)^2} - \left(-\frac{\pi}{2}\right), and since 1−(h−1)2=2h−h21 - (h - 1)^2 = 2h - h^2, A(h)=arcsin⁡(h−1)+(h−1)2h−h2+π2A(h) = \arcsin(h - 1) + (h - 1)\sqrt{2h - h^2} + \frac{\pi}{2}. Checks: A(0)=−π2+0+π2=0A(0) = -\frac{\pi}{2} + 0 + \frac{\pi}{2} = 0, empty tank; A(2)=π2+0+π2=πA(2) = \frac{\pi}{2} + 0 + \frac{\pi}{2} = \pi, the whole disc; A(1)=π2A(1) = \frac{\pi}{2}, half.

c) For h=12h = \frac{1}{2}: arcsin⁡(−12)=−π6\arcsin\left(-\frac{1}{2}\right) = -\frac{\pi}{6} and (−12)1−14=−34\left(-\frac{1}{2}\right)\sqrt{1 - \frac{1}{4}} = -\frac{\sqrt 3}{4}, so A=−π6−34+π2=π3−34A = -\frac{\pi}{6} - \frac{\sqrt 3}{4} + \frac{\pi}{2} = \frac{\pi}{3} - \frac{\sqrt 3}{4} and V=5π3−534V = \frac{5\pi}{3} - \frac{5\sqrt 3}{4} m3^3. The full tank holds 5π5\pi m3^3, so the fraction is 13−34π≈0.333−1.7312.6≈0.20\frac{1}{3} - \frac{\sqrt 3}{4\pi} \approx 0.333 - \frac{1.73}{12.6} \approx 0.20. For h=32h = \frac{3}{2}: arcsin⁡12=π6\arcsin\frac{1}{2} = \frac{\pi}{6}, so A=π6+34+π2=2π3+34A = \frac{\pi}{6} + \frac{\sqrt 3}{4} + \frac{\pi}{2} = \frac{2\pi}{3} + \frac{\sqrt 3}{4} and V=10π3+534V = \frac{10\pi}{3} + \frac{5\sqrt 3}{4} m3^3, about 8080 per cent. The two add up to 5π5\pi: the empty part at depth 32\frac{3}{2} is the mirror image, top to bottom, of the full part at depth 12\frac{1}{2}.

d) Proportional marking would read h2\frac{h}{2} of the full tank, so at h=12h = \frac{1}{2} he reads a quarter, 5π4\frac{5\pi}{4} m3^3. The overestimate is 5π4−(5π3−534)=534−5π12=512(33−π)\frac{5\pi}{4} - \left(\frac{5\pi}{3} - \frac{5\sqrt 3}{4}\right) = \frac{5\sqrt 3}{4} - \frac{5\pi}{12} = \frac{5}{12}(3\sqrt 3 - \pi) m3^3, about 512(5.20−3.14)≈0.86\frac{5}{12}(5.20 - 3.14) \approx 0.86 m3^3, or roughly 860860 litres. The reason is geometric: near the bottom the tank is narrow, so the first half metre of depth holds much less than a quarter of the volume. A gauge for a horizontal cylinder has to be graduated with A(h)A(h), never with a ruler.

e) V(h)=5∫−1h−121−y2 dyV(h) = 5\int_{-1}^{h - 1}2\sqrt{1 - y^2}\,dy, so by the Fundamental Theorem of Calculus (part 1) with the chain rule, dVdh=5⋅21−(h−1)2⋅1=102h−h2\frac{dV}{dh} = 5\cdot 2\sqrt{1 - (h - 1)^2}\cdot 1 = 10\sqrt{2h - h^2}. Differentiating the closed form of b) gives the same, a useful check. This is the length 55 times the WIDTH of the fuel surface, 22h−h22\sqrt{2h - h^2}. If fuel arrives at a constant rate rr, then dhdt=r102h−h2\frac{dh}{dt} = \frac{r}{10\sqrt{2h - h^2}}, smallest when 2h−h2=1−(h−1)22h - h^2 = 1 - (h - 1)^2 is largest, at h=1h = 1. The figure shows why: at half depth the surface is a full diameter wide, so each extra litre spreads over the largest area and raises the level the least.

Exercise 10: A final exam question: the hyperbola, the secant cubed and a hyperbolic sector

A long final exam question often chains a trigonometric substitution with a result of the previous chapter. The curve here is the right branch of the hyperbola x2−y2=1x^2 - y^2 = 1, and the figure shades the region between that branch and the line x=2x = 2; the dashed segments join the origin to the corners (2,±3)(2, \pm\sqrt 3).

You may quote from section 7.2: ∫sec⁡3θ dθ=12(sec⁡θtan⁡θ+ln⁡∣sec⁡θ+tan⁡θ∣)+C\int\sec^3\theta\,d\theta = \frac{1}{2}\left(\sec\theta\tan\theta + \ln|\sec\theta + \tan\theta|\right) + C and ∫sec⁡θ dθ=ln⁡∣sec⁡θ+tan⁡θ∣+C\int\sec\theta\,d\theta = \ln|\sec\theta + \tan\theta| + C.

-112345-3-2-1123x² − y² = 1x = 2
  • a) With x=sec⁡θx = \sec\theta, 0≤θ<π20 \le \theta < \frac{\pi}{2}, show that for x≥1x \ge 1: ∫x2−1 dx=x2x2−1−12ln⁡(x+x2−1)+C\int\sqrt{x^2 - 1}\,dx = \frac{x}{2}\sqrt{x^2 - 1} - \frac{1}{2}\ln\left(x + \sqrt{x^2 - 1}\right) + C.
  • b) Check this formula by differentiating it.
  • c) Find the exact area of the shaded region.
  • d) Without a calculator, show that this area lies between 3\sqrt 3 and 232\sqrt 3, and explain from the figure which two shapes these numbers measure.
  • e) The two dashed segments and the arc of the hyperbola between them enclose a hyperbolic sector. Show that its area is ln⁡(2+3)\ln(2 + \sqrt 3), and compare with the circular sector of the unit circle cut out by the rays to (cos⁡α,±sin⁡α)(\cos\alpha, \pm\sin\alpha).
Show the solution

Answers

  • a) ∫tan⁡2θsec⁡θ dθ=12sec⁡θtan⁡θ−12ln⁡∣sec⁡θ+tan⁡θ∣+C\int\tan^2\theta\sec\theta\,d\theta = \frac{1}{2}\sec\theta\tan\theta - \frac{1}{2}\ln|\sec\theta + \tan\theta| + C, then the triangle.
  • b) The derivative simplifies to x2−1x2−1=x2−1\frac{x^2 - 1}{\sqrt{x^2 - 1}} = \sqrt{x^2 - 1}.
  • c) 23−ln⁡(2+3)2\sqrt 3 - \ln(2 + \sqrt 3)
  • d) Triangle (1,0)(1, 0), (2,±3)(2, \pm\sqrt 3): 3\sqrt 3; rectangle [1,2]×[−3,3][1, 2] \times [-\sqrt 3, \sqrt 3]: 232\sqrt 3; and 0<ln⁡(2+3)<ln⁡4<30 < \ln(2 + \sqrt 3) < \ln 4 < \sqrt 3.
  • e) Triangle from the origin, 232\sqrt 3, minus the region of c): ln⁡(2+3)\ln(2 + \sqrt 3); for the circle the sector's area is the angle α\alpha.

a) x=sec⁡θx = \sec\theta, dx=sec⁡θtan⁡θ dθdx = \sec\theta\tan\theta\,d\theta and sec⁡2θ−1=tan⁡θ\sqrt{\sec^2\theta - 1} = \tan\theta, non-negative on 0≤θ<π20 \le \theta < \frac{\pi}{2}, which covers x≥1x \ge 1. The integral becomes ∫tan⁡θ⋅sec⁡θtan⁡θ dθ=∫tan⁡2θsec⁡θ dθ=∫(sec⁡3θ−sec⁡θ) dθ\int\tan\theta\cdot\sec\theta\tan\theta\,d\theta = \int\tan^2\theta\sec\theta\,d\theta = \int(\sec^3\theta - \sec\theta)\,d\theta, using tan⁡2θ=sec⁡2θ−1\tan^2\theta = \sec^2\theta - 1. With the two quoted results: 12sec⁡θtan⁡θ+12ln⁡∣sec⁡θ+tan⁡θ∣−ln⁡∣sec⁡θ+tan⁡θ∣=12sec⁡θtan⁡θ−12ln⁡∣sec⁡θ+tan⁡θ∣+C\frac{1}{2}\sec\theta\tan\theta + \frac{1}{2}\ln|\sec\theta + \tan\theta| - \ln|\sec\theta + \tan\theta| = \frac{1}{2}\sec\theta\tan\theta - \frac{1}{2}\ln|\sec\theta + \tan\theta| + C. The triangle of sec⁡θ=x1\sec\theta = \frac{x}{1} has hypotenuse xx, adjacent 11 and opposite x2−1\sqrt{x^2 - 1}, so tan⁡θ=x2−1\tan\theta = \sqrt{x^2 - 1}, and x+x2−1≥1>0x + \sqrt{x^2 - 1} \ge 1 > 0 lets the absolute value go: x2x2−1−12ln⁡(x+x2−1)+C\frac{x}{2}\sqrt{x^2 - 1} - \frac{1}{2}\ln\left(x + \sqrt{x^2 - 1}\right) + C. The two logarithms combining with coefficient 12−1=−12\frac{1}{2} - 1 = -\frac{1}{2} is where signs are usually lost.

b) The first term: ddx[x2x2−1]=12x2−1+x22x2−1\frac{d}{dx}\left[\frac{x}{2}\sqrt{x^2 - 1}\right] = \frac{1}{2}\sqrt{x^2 - 1} + \frac{x^2}{2\sqrt{x^2 - 1}}. The second: ddxln⁡(x+x2−1)=1+xx2−1x+x2−1=x2−1+xx2−1x+x2−1=1x2−1\frac{d}{dx}\ln\left(x + \sqrt{x^2 - 1}\right) = \frac{1 + \frac{x}{\sqrt{x^2 - 1}}}{x + \sqrt{x^2 - 1}} = \frac{\frac{\sqrt{x^2 - 1} + x}{\sqrt{x^2 - 1}}}{x + \sqrt{x^2 - 1}} = \frac{1}{\sqrt{x^2 - 1}}, a simplification worth remembering. So the derivative is (x2−1)+x2−12x2−1=2(x2−1)2x2−1=x2−1\frac{(x^2 - 1) + x^2 - 1}{2\sqrt{x^2 - 1}} = \frac{2(x^2 - 1)}{2\sqrt{x^2 - 1}} = \sqrt{x^2 - 1}, for x>1x > 1. The formula is right.

c) The region is symmetric about the xx-axis: for 1≤x≤21 \le x \le 2 it runs from y=−x2−1y = -\sqrt{x^2 - 1} to y=x2−1y = \sqrt{x^2 - 1}. Its area is 2∫12x2−1 dx=2[x2x2−1−12ln⁡(x+x2−1)]12=2[(3−12ln⁡(2+3))−(0−12ln⁡1)]=23−ln⁡(2+3)2\int_1^2\sqrt{x^2 - 1}\,dx = 2\left[\frac{x}{2}\sqrt{x^2 - 1} - \frac{1}{2}\ln\left(x + \sqrt{x^2 - 1}\right)\right]_1^2 = 2\left[\left(\sqrt 3 - \frac{1}{2}\ln(2 + \sqrt 3)\right) - \left(0 - \frac{1}{2}\ln 1\right)\right] = 2\sqrt 3 - \ln(2 + \sqrt 3). In θ\theta the same computation runs from θ=0\theta = 0 to θ=π3\theta = \frac{\pi}{3}, where sec⁡θ=2\sec\theta = 2 and tan⁡θ=3\tan\theta = \sqrt 3, and gives the same number. Here returning to xx costs nothing, since the antiderivative in xx is already known from a).

d) The triangle with vertices (1,0)(1, 0), (2,3)(2, \sqrt 3) and (2,−3)(2, -\sqrt 3) has base 232\sqrt 3 and height 11, area 3\sqrt 3. The rectangle [1,2]×[−3,3][1, 2] \times [-\sqrt 3, \sqrt 3] has area 232\sqrt 3. The region contains the triangle because y=x2−1y = \sqrt{x^2 - 1} is concave on (1,∞)(1, \infty) (its second derivative is −1(x2−1)3/2<0-\frac{1}{(x^2 - 1)^{3/2}} < 0), so the arc lies above its chord from (1,0)(1, 0) to (2,3)(2, \sqrt 3); and it sits inside the rectangle. Numerically: 3<23−ln⁡(2+3)<23\sqrt 3 < 2\sqrt 3 - \ln(2 + \sqrt 3) < 2\sqrt 3 means 0<ln⁡(2+3)<30 < \ln(2 + \sqrt 3) < \sqrt 3. The left inequality holds since 2+3>12 + \sqrt 3 > 1; the right one since 2+3<42 + \sqrt 3 < 4 and ln⁡4=2ln⁡2≈1.39<1.73≈3\ln 4 = 2\ln 2 \approx 1.39 < 1.73 \approx \sqrt 3. No calculator, only ln⁡2\ln 2.

e) The triangle with vertices OO, (2,3)(2, \sqrt 3) and (2,−3)(2, -\sqrt 3) has base 232\sqrt 3 and height 22, area 232\sqrt 3. It contains the shaded region, since x2−1≤32x\sqrt{x^2 - 1} \le \frac{\sqrt 3}{2}x for 1≤x≤21 \le x \le 2 (square both sides: x2−1≤34x2x^2 - 1 \le \frac{3}{4}x^2 means x2≤4x^2 \le 4), and what remains is exactly the hyperbolic sector. Its area is 23−(23−ln⁡(2+3))=ln⁡(2+3)2\sqrt 3 - \left(2\sqrt 3 - \ln(2 + \sqrt 3)\right) = \ln(2 + \sqrt 3). For the unit circle, the sector cut out by the rays to (cos⁡α,±sin⁡α)(\cos\alpha, \pm\sin\alpha) has angle 2α2\alpha and area 12⋅2α=α\frac{1}{2}\cdot 2\alpha = \alpha. So ln⁡(2+3)\ln(2 + \sqrt 3) plays for the hyperbola the role the angle plays for the circle: with cosh⁡t=et+e−t2\cosh t = \frac{e^t + e^{-t}}{2} and t=ln⁡(2+3)t = \ln(2 + \sqrt 3), e−t=2−3e^{-t} = 2 - \sqrt 3, so cosh⁡t=2\cosh t = 2 and sinh⁡t=et−e−t2=3\sinh t = \frac{e^t - e^{-t}}{2} = \sqrt 3: the corner is (cosh⁡t,sinh⁡t)(\cosh t, \sinh t), as the circle's is (cos⁡α,sin⁡α)(\cos\alpha, \sin\alpha).

See also

Struggling with MATH 141?

I tutor first-year 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