MATH 141 Calculus 2 • McGill University, Montreal

Corrected exercises: trigonometric integrals (MATH 141)

This is the corrected exercise set for the trigonometric integrals of MATH 141, Calculus 2, the integral calculus course taken at McGill University in first year. It follows section 7.2 of Stewart: powers of sin⁡x\sin x and cos⁡x\cos x, powers of tan⁡x\tan x and sec⁡x\sec x, the integrals of sec⁡x\sec x and sec⁡3x\sec^3 x, and products sin⁡mxcos⁡nx\sin mx\cos nx. Every answer is exact, as on the calculator-free midterm and final, and every antiderivative in the solutions has been checked by differentiating it back.

The thread running through the whole set: a trigonometric integral is a substitution in disguise. Save ONE factor to be the differential (cos⁡x dx\cos x\,dx, sin⁡x dx\sin x\,dx, sec⁡2x dx\sec^2 x\,dx or sec⁡xtan⁡x dx\sec x\tan x\,dx), take it from the ODD power, convert everything else with sin⁡2x+cos⁡2x=1\sin^2 x + \cos^2 x = 1 or tan⁡2x=sec⁡2x−1\tan^2 x = \sec^2 x - 1, and integrate a polynomial. When every power is even, no factor can be saved, and the tool changes: the half-angle formulas LOWER THE DEGREE. When two frequencies are multiplied, the product becomes a sum first.

The traps named explicitly in the solutions: saving the factor from the even power and creating a square root, the wrong sign in cos⁡2x=1+cos⁡2x2\cos^2 x = \frac{1 + \cos 2x}{2}, ∫sin⁡2x dx\int \sin^2 x\,dx written as sin⁡3x3\frac{\sin^3 x}{3}, the lower bound sec⁡0=1\sec 0 = 1 taken as 00, the lost 12\frac{1}{2} in ∫sec⁡3x dx\int \sec^3 x\,dx, the sign of sin⁡(A−B)\sin(A - B) when A<BA < B, 1−sin⁡2x\sqrt{1 - \sin^2 x} replaced by cos⁡x\cos x where the cosine is negative, and the csc formula copied from the sec formula without its minus sign.

10 corrected exercises • 100 points • 150 minutes

Revision sheet for this chapter → Every MATH 141 chapter →

Course recap

  • • Odd power of sin⁡x\sin x: save sin⁡x dx\sin x\,dx, u=cos⁡xu = \cos x, convert sin⁡2x=1−u2\sin^2 x = 1 - u^2. Odd power of cos⁡x\cos x: save cos⁡x dx\cos x\,dx, u=sin⁡xu = \sin x, convert cos⁡2x=1−u2\cos^2 x = 1 - u^2.
  • • All powers even: sin⁡2x=1−cos⁡2x2\sin^2 x = \frac{1 - \cos 2x}{2}, cos⁡2x=1+cos⁡2x2\cos^2 x = \frac{1 + \cos 2x}{2}, sin⁡xcos⁡x=sin⁡2x2\sin x\cos x = \frac{\sin 2x}{2}.
  • • Even power of sec⁡x\sec x: save sec⁡2x dx\sec^2 x\,dx, u=tan⁡xu = \tan x, convert sec⁡2x=1+u2\sec^2 x = 1 + u^2. Odd power of tan⁡x\tan x: save sec⁡xtan⁡x dx\sec x\tan x\,dx, u=sec⁡xu = \sec x, convert tan⁡2x=u2−1\tan^2 x = u^2 - 1.
  • • ∫tan⁡x dx=ln⁡∣sec⁡x∣+C\int \tan x\,dx = \ln|\sec x| + C, ∫sec⁡x dx=ln⁡∣sec⁡x+tan⁡x∣+C\int \sec x\,dx = \ln|\sec x + \tan x| + C, ∫sec⁡3x dx=12(sec⁡xtan⁡x+ln⁡∣sec⁡x+tan⁡x∣)+C\int \sec^3 x\,dx = \frac{1}{2}\left(\sec x\tan x + \ln|\sec x + \tan x|\right) + C.
  • • sin⁡Acos⁡B=12[sin⁡(A−B)+sin⁡(A+B)]\sin A\cos B = \frac{1}{2}[\sin(A - B) + \sin(A + B)], sin⁡Asin⁡B=12[cos⁡(A−B)−cos⁡(A+B)]\sin A\sin B = \frac{1}{2}[\cos(A - B) - \cos(A + B)], cos⁡Acos⁡B=12[cos⁡(A−B)+cos⁡(A+B)]\cos A\cos B = \frac{1}{2}[\cos(A - B) + \cos(A + B)].
  • • On [−π,π][-\pi, \pi], for positive integers: ∫sin⁡mxsin⁡nx dx\int \sin mx\sin nx\,dx and ∫cos⁡mxcos⁡nx dx\int \cos mx\cos nx\,dx are 00 if m≠nm \neq n and π\pi if m=nm = n; ∫sin⁡mxcos⁡nx dx=0\int \sin mx\cos nx\,dx = 0 always.

Part A: the basics (/50)

Exercise 1: An odd power of sine or cosine: save one factor, convert the rest

When ∫sin⁡mxcos⁡nx dx\int \sin^m x \cos^n x\,dx has an ODD power, the whole integral is a substitution in disguise. Detach ONE factor of the odd power to be the differential (cos⁡x dx=du\cos x\,dx = du with u=sin⁡xu = \sin x, or sin⁡x dx=−du\sin x\,dx = -du with u=cos⁡xu = \cos x), convert every remaining factor of that function with sin⁡2x+cos⁡2x=1\sin^2 x + \cos^2 x = 1, and integrate a polynomial in uu.

The figure shows the region whose area part d) computes.

π/4π/20.10.2y = sin²x cos³xarea = ?
  • a) Compute ∫sin⁡3xcos⁡x dx\int \sin^3 x \sqrt{\cos x}\,dx. Say which factor you detach and why the square root causes no trouble.
  • b) Compute ∫cos⁡5xsin⁡4x dx\int \cos^5 x \sin^4 x\,dx.
  • c) Compute ∫sin⁡3xcos⁡3x dx\int \sin^3 x \cos^3 x\,dx twice, once with u=sin⁡xu = \sin x and once with u=cos⁡xu = \cos x. Show that the two answers differ by a constant, and find it.
  • d) Evaluate ∫0π/2sin⁡2xcos⁡3x dx\int_0^{\pi/2} \sin^2 x \cos^3 x\,dx by changing the bounds with the substitution.
  • e) A student attacks the integral of d) with u=cos⁡xu = \cos x. Write the first line of his computation and explain exactly where it breaks.
Show the solution

Answers

  • a) −23cos⁡3/2x+27cos⁡7/2x+C-\frac{2}{3}\cos^{3/2} x + \frac{2}{7}\cos^{7/2} x + C
  • b) sin⁡5x5−2sin⁡7x7+sin⁡9x9+C\frac{\sin^5 x}{5} - \frac{2\sin^7 x}{7} + \frac{\sin^9 x}{9} + C
  • c) sin⁡4x4−sin⁡6x6+C\frac{\sin^4 x}{4} - \frac{\sin^6 x}{6} + C and −cos⁡4x4+cos⁡6x6+C-\frac{\cos^4 x}{4} + \frac{\cos^6 x}{6} + C; they differ by 112\frac{1}{12}.
  • d) 215\frac{2}{15}
  • e) Detaching sin⁡x dx\sin x\,dx from sin⁡2x\sin^2 x leaves one sin⁡x=±1−u2\sin x = \pm\sqrt{1 - u^2}: a square root. The factor must come from the ODD power.

a) The power of sin⁡x\sin x is 33, odd, so detach one sin⁡x\sin x for the differential: u=cos⁡xu = \cos x, du=−sin⁡x dxdu = -\sin x\,dx. The two factors left, sin⁡2x=1−cos⁡2x=1−u2\sin^2 x = 1 - \cos^2 x = 1 - u^2, convert cleanly. Then ∫sin⁡3xcos⁡x dx=∫sin⁡2xcos⁡x sin⁡x dx=−∫(1−u2)u1/2 du=−∫(u1/2−u5/2) du=−23u3/2+27u7/2+C=−23cos⁡3/2x+27cos⁡7/2x+C\int \sin^3 x \sqrt{\cos x}\,dx = \int \sin^2 x \sqrt{\cos x}\,\sin x\,dx = -\int (1 - u^2)u^{1/2}\,du = -\int (u^{1/2} - u^{5/2})\,du = -\frac{2}{3}u^{3/2} + \frac{2}{7}u^{7/2} + C = -\frac{2}{3}\cos^{3/2} x + \frac{2}{7}\cos^{7/2} x + C. The square root is harmless because it sits on the function we SUBSTITUTE: cos⁡x\sqrt{\cos x} becomes u1/2u^{1/2}, a power like any other. The method never needed the other power to be an integer, only the saved power to be odd. Check by differentiating: sin⁡xcos⁡x−sin⁡xcos⁡5/2x=sin⁡xcos⁡x(1−cos⁡2x)=sin⁡3xcos⁡x\sin x\sqrt{\cos x} - \sin x\cos^{5/2} x = \sin x\sqrt{\cos x}(1 - \cos^2 x) = \sin^3 x\sqrt{\cos x}.

b) Here the ODD power is on the cosine, 55, so the roles swap: detach cos⁡x dx=du\cos x\,dx = du with u=sin⁡xu = \sin x, and write cos⁡4x=(cos⁡2x)2=(1−u2)2\cos^4 x = (\cos^2 x)^2 = (1 - u^2)^2. Then ∫cos⁡5xsin⁡4x dx=∫(1−u2)2u4 du=∫(u4−2u6+u8) du=u55−2u77+u99+C=sin⁡5x5−2sin⁡7x7+sin⁡9x9+C\int \cos^5 x \sin^4 x\,dx = \int (1 - u^2)^2 u^4\,du = \int (u^4 - 2u^6 + u^8)\,du = \frac{u^5}{5} - \frac{2u^7}{7} + \frac{u^9}{9} + C = \frac{\sin^5 x}{5} - \frac{2\sin^7 x}{7} + \frac{\sin^9 x}{9} + C. The even power 44 of the sine is simply carried along as u4u^4. Trying to save a factor of sin⁡x\sin x instead would leave sin⁡3x\sin^3 x, an odd power of the function you are not substituting, and the method stalls.

c) Both powers are odd, so both routes work. With u=sin⁡xu = \sin x (save cos⁡x dx\cos x\,dx, convert cos⁡2x=1−u2\cos^2 x = 1 - u^2): ∫u3(1−u2) du=sin⁡4x4−sin⁡6x6+C1\int u^3(1 - u^2)\,du = \frac{\sin^4 x}{4} - \frac{\sin^6 x}{6} + C_1. With u=cos⁡xu = \cos x (save sin⁡x dx=−du\sin x\,dx = -du, convert sin⁡2x=1−u2\sin^2 x = 1 - u^2): −∫(1−u2)u3 du=−cos⁡4x4+cos⁡6x6+C2-\int (1 - u^2)u^3\,du = -\frac{\cos^4 x}{4} + \frac{\cos^6 x}{6} + C_2. They LOOK different, and a marker accepts either. To compare, put s=sin⁡2xs = \sin^2 x, so cos⁡2x=1−s\cos^2 x = 1 - s: the difference is s24−s36+(1−s)24−(1−s)36\frac{s^2}{4} - \frac{s^3}{6} + \frac{(1 - s)^2}{4} - \frac{(1 - s)^3}{6}. Expanding, every term in ss cancels and what remains is 14−16=112\frac{1}{4} - \frac{1}{6} = \frac{1}{12}. Two antiderivatives of the same function on an interval differ by a constant, here 112\frac{1}{12}: neither student is wrong. When the two powers are odd, choose the SMALLER one to save, the polynomial is shorter.

d) The power of cos⁡x\cos x is 33, odd: save cos⁡x dx=du\cos x\,dx = du with u=sin⁡xu = \sin x, and convert cos⁡2x=1−u2\cos^2 x = 1 - u^2. Bounds: x=0x = 0 gives u=0u = 0 and x=π2x = \frac{\pi}{2} gives u=1u = 1. So ∫0π/2sin⁡2xcos⁡3x dx=∫01u2(1−u2) du=13−15=215\int_0^{\pi/2} \sin^2 x \cos^3 x\,dx = \int_0^1 u^2(1 - u^2)\,du = \frac{1}{3} - \frac{1}{5} = \frac{2}{15}. Once the bounds are changed, xx never comes back. Sanity check against the figure: the curve stays below 0.190.19 on an interval of length π2≈1.57\frac{\pi}{2} \approx 1.57, so the area is below 0.30.3, and 215≈0.13\frac{2}{15} \approx 0.13 fits.

e) He writes ∫sin⁡2xcos⁡3x dx=∫sin⁡xcos⁡3x (sin⁡x dx)\int \sin^2 x \cos^3 x\,dx = \int \sin x\cos^3 x\,(\sin x\,dx) and sets u=cos⁡xu = \cos x, sin⁡x dx=−du\sin x\,dx = -du. What is left to convert is ONE factor sin⁡x\sin x, and sin⁡x=±1−u2\sin x = \pm\sqrt{1 - u^2}, with a sign that depends on the interval: −∫u31−u2 du-\int u^3\sqrt{1 - u^2}\,du is a harder integral than the one he started with. That is the whole rule of the chapter: an EVEN number of factors converts through sin⁡2x=1−cos⁡2x\sin^2 x = 1 - \cos^2 x, an odd number leaves a square root. So the factor you detach must come from the odd power, and the even power is the one you convert.

Exercise 2: Only even powers: lower the degree with the half-angle formulas

When every power of sin⁡x\sin x and cos⁡x\cos x is EVEN, no factor can be saved: detaching cos⁡x dx\cos x\,dx from cos⁡2x\cos^2 x leaves an odd power behind. The tool changes: sin⁡2x=1−cos⁡2x2\sin^2 x = \frac{1 - \cos 2x}{2} and cos⁡2x=1+cos⁡2x2\cos^2 x = \frac{1 + \cos 2x}{2}, which halve the power and double the frequency. Repeat until every term integrates at sight.

The figure shows y=sin⁡2xy = \sin^2 x on [0,π][0, \pi] and the dashed line y=12y = \frac{1}{2}.

π/2π1/21y = sin²x
  • a) Predict ∫0πsin⁡2x dx\int_0^\pi \sin^2 x\,dx from the figure, then compute it.
  • b) Compute ∫cos⁡4x dx\int \cos^4 x\,dx. How many times do you use a half-angle formula?
  • c) Compute ∫sin⁡4xcos⁡2x dx\int \sin^4 x \cos^2 x\,dx by first writing sin⁡4xcos⁡2x=sin⁡2x (sin⁡xcos⁡x)2\sin^4 x\cos^2 x = \sin^2 x\,(\sin x\cos x)^2.
  • d) Evaluate ∫0π/4cos⁡2x dx\int_0^{\pi/4} \cos^2 x\,dx exactly.
  • e) A student writes ∫sin⁡2x dx=sin⁡3x3+C\int \sin^2 x\,dx = \frac{\sin^3 x}{3} + C. Refute it in two independent ways.
Show the solution

Answers

  • a) π2\frac{\pi}{2}
  • b) 3x8+sin⁡2x4+sin⁡4x32+C\frac{3x}{8} + \frac{\sin 2x}{4} + \frac{\sin 4x}{32} + C; twice.
  • c) x16−sin⁡4x64−sin⁡32x48+C\frac{x}{16} - \frac{\sin 4x}{64} - \frac{\sin^3 2x}{48} + C
  • d) π8+14\frac{\pi}{8} + \frac{1}{4}
  • e) Its derivative is sin⁡2xcos⁡x\sin^2 x\cos x, not sin⁡2x\sin^2 x; and it gives 00 on [0,π][0, \pi] for a positive integrand.

a) The curve oscillates between 00 and 11 around the dashed line y=12y = \frac{1}{2}, and the part above the line is the mirror image of the gap below it: the region has the same area as the rectangle of height 12\frac{1}{2} on [0,π][0, \pi], that is π2\frac{\pi}{2}. Computation: ∫0πsin⁡2x dx=∫0π1−cos⁡2x2 dx=[x2−sin⁡2x4]0π=π2−0=π2\int_0^\pi \sin^2 x\,dx = \int_0^\pi \frac{1 - \cos 2x}{2}\,dx = \left[\frac{x}{2} - \frac{\sin 2x}{4}\right]_0^\pi = \frac{\pi}{2} - 0 = \frac{\pi}{2}. The figure IS the half-angle formula: sin⁡2x=12−cos⁡2x2\sin^2 x = \frac{1}{2} - \frac{\cos 2x}{2} is a constant 12\frac{1}{2} plus a wave that integrates to zero over whole periods.

b) cos⁡4x=(cos⁡2x)2=(1+cos⁡2x2)2=14(1+2cos⁡2x+cos⁡22x)\cos^4 x = (\cos^2 x)^2 = \left(\frac{1 + \cos 2x}{2}\right)^2 = \frac{1}{4}(1 + 2\cos 2x + \cos^2 2x). The square cos⁡22x\cos^2 2x is again an even power, so use the formula a SECOND time, with angle 2x2x: cos⁡22x=1+cos⁡4x2\cos^2 2x = \frac{1 + \cos 4x}{2}. Then cos⁡4x=14+cos⁡2x2+1+cos⁡4x8=38+cos⁡2x2+cos⁡4x8\cos^4 x = \frac{1}{4} + \frac{\cos 2x}{2} + \frac{1 + \cos 4x}{8} = \frac{3}{8} + \frac{\cos 2x}{2} + \frac{\cos 4x}{8}, and ∫cos⁡4x dx=3x8+sin⁡2x4+sin⁡4x32+C\int \cos^4 x\,dx = \frac{3x}{8} + \frac{\sin 2x}{4} + \frac{\sin 4x}{32} + C. Two uses of the formula for a fourth power, and each one doubles the frequency. The usual slip is forgetting the inner chain rule factor: ∫cos⁡4x dx=sin⁡4x4\int \cos 4x\,dx = \frac{\sin 4x}{4}, not sin⁡4x\sin 4x.

c) Pairing is the shortcut: sin⁡xcos⁡x=sin⁡2x2\sin x\cos x = \frac{\sin 2x}{2}, so (sin⁡xcos⁡x)2=sin⁡22x4(\sin x\cos x)^2 = \frac{\sin^2 2x}{4}, and sin⁡2x=1−cos⁡2x2\sin^2 x = \frac{1 - \cos 2x}{2}. The integrand becomes 1−cos⁡2x2⋅sin⁡22x4=18(sin⁡22x−sin⁡22xcos⁡2x)\frac{1 - \cos 2x}{2}\cdot\frac{\sin^2 2x}{4} = \frac{1}{8}\left(\sin^2 2x - \sin^2 2x\cos 2x\right). The first piece is an even power again: ∫sin⁡22x dx=∫1−cos⁡4x2 dx=x2−sin⁡4x8\int \sin^2 2x\,dx = \int \frac{1 - \cos 4x}{2}\,dx = \frac{x}{2} - \frac{\sin 4x}{8}. The second piece has an ODD power of cos⁡2x\cos 2x, so it is a substitution: w=sin⁡2xw = \sin 2x, dw=2cos⁡2x dxdw = 2\cos 2x\,dx, and ∫sin⁡22xcos⁡2x dx=sin⁡32x6\int \sin^2 2x\cos 2x\,dx = \frac{\sin^3 2x}{6}. Altogether ∫sin⁡4xcos⁡2x dx=18(x2−sin⁡4x8−sin⁡32x6)+C=x16−sin⁡4x64−sin⁡32x48+C\int \sin^4 x\cos^2 x\,dx = \frac{1}{8}\left(\frac{x}{2} - \frac{\sin 4x}{8} - \frac{\sin^3 2x}{6}\right) + C = \frac{x}{16} - \frac{\sin 4x}{64} - \frac{\sin^3 2x}{48} + C. Note that halving the degree produced a term with an odd power: the two gestures of the chapter often alternate inside one integral.

d) ∫0π/4cos⁡2x dx=∫0π/41+cos⁡2x2 dx=[x2+sin⁡2x4]0π/4=π8+sin⁡(π/2)4=π8+14\int_0^{\pi/4} \cos^2 x\,dx = \int_0^{\pi/4} \frac{1 + \cos 2x}{2}\,dx = \left[\frac{x}{2} + \frac{\sin 2x}{4}\right]_0^{\pi/4} = \frac{\pi}{8} + \frac{\sin(\pi/2)}{4} = \frac{\pi}{8} + \frac{1}{4}. Check the sign in the formula before using it: at x=0x = 0, cos⁡20=1\cos^2 0 = 1 and 1+cos⁡02=1\frac{1 + \cos 0}{2} = 1, while the wrong version 1−cos⁡2x2\frac{1 - \cos 2x}{2} gives 00. Order of magnitude: cos⁡2x\cos^2 x runs from 11 down to 12\frac{1}{2} on an interval of length π4≈0.79\frac{\pi}{4} \approx 0.79, so the answer lies between 0.390.39 and 0.790.79; π8+14≈0.64\frac{\pi}{8} + \frac{1}{4} \approx 0.64 fits.

e) First, differentiate: ddxsin⁡3x3=sin⁡2xcos⁡x\frac{d}{dx}\frac{\sin^3 x}{3} = \sin^2 x\cos x, which is not sin⁡2x\sin^2 x. The power rule ∫u2 du=u33\int u^2\,du = \frac{u^3}{3} needs du=cos⁡x dxdu = \cos x\,dx in the integrand, and there is no cos⁡x\cos x to play that role. Second, use part a): [sin⁡3x3]0π=0\left[\frac{\sin^3 x}{3}\right]_0^\pi = 0, whereas sin⁡2x≥0\sin^2 x \ge 0 and is not identically zero, so its integral on [0,π][0, \pi] must be positive, and it is π2\frac{\pi}{2}. An antiderivative guessed by analogy is always checked by one differentiation before it is used.

Exercise 3: Tangent and secant: save sec squared, or save sec times tan

The same idea works for ∫tan⁡mxsec⁡nx dx\int \tan^m x \sec^n x\,dx, with two possible differentials: sec⁡2x dx=du\sec^2 x\,dx = du for u=tan⁡xu = \tan x, and sec⁡xtan⁡x dx=du\sec x\tan x\,dx = du for u=sec⁡xu = \sec x. The identity that converts the rest is tan⁡2x=sec⁡2x−1\tan^2 x = \sec^2 x - 1.

If the power of sec⁡x\sec x is EVEN, save sec⁡2x\sec^2 x and convert the other secants into tangents. If the power of tan⁡x\tan x is ODD, save sec⁡xtan⁡x\sec x\tan x and convert the other tangents into secants.

  • a) Compute ∫tan⁡6xsec⁡4x dx\int \tan^6 x \sec^4 x\,dx.
  • b) Compute ∫tan⁡5xsec⁡3x dx\int \tan^5 x \sec^3 x\,dx. Why is the route of a) closed here?
  • c) Compute ∫tan⁡3x dx\int \tan^3 x\,dx, where there is no secant at all.
  • d) Evaluate ∫0π/3tan⁡xsec⁡3x dx\int_0^{\pi/3} \tan x \sec^3 x\,dx.
  • e) Explain why neither rule applies to ∫tan⁡2xsec⁡x dx\int \tan^2 x \sec x\,dx, and rewrite it as a combination of powers of sec⁡x\sec x alone.
Show the solution

Answers

  • a) tan⁡7x7+tan⁡9x9+C\frac{\tan^7 x}{7} + \frac{\tan^9 x}{9} + C
  • b) sec⁡7x7−2sec⁡5x5+sec⁡3x3+C\frac{\sec^7 x}{7} - \frac{2\sec^5 x}{5} + \frac{\sec^3 x}{3} + C; the power of sec⁡x\sec x is odd.
  • c) tan⁡2x2−ln⁡∣sec⁡x∣+C\frac{\tan^2 x}{2} - \ln|\sec x| + C
  • d) 73\frac{7}{3}
  • e) Even power of tan⁡x\tan x and odd power of sec⁡x\sec x: ∫tan⁡2xsec⁡x dx=∫sec⁡3x dx−∫sec⁡x dx\int \tan^2 x\sec x\,dx = \int \sec^3 x\,dx - \int \sec x\,dx.

a) The power of sec⁡x\sec x is 44, even: save sec⁡2x dx=du\sec^2 x\,dx = du with u=tan⁡xu = \tan x, and convert the remaining sec⁡2x=1+tan⁡2x=1+u2\sec^2 x = 1 + \tan^2 x = 1 + u^2. Then ∫tan⁡6xsec⁡4x dx=∫tan⁡6x sec⁡2x (sec⁡2x dx)=∫u6(1+u2) du=u77+u99+C=tan⁡7x7+tan⁡9x9+C\int \tan^6 x\sec^4 x\,dx = \int \tan^6 x\,\sec^2 x\,(\sec^2 x\,dx) = \int u^6(1 + u^2)\,du = \frac{u^7}{7} + \frac{u^9}{9} + C = \frac{\tan^7 x}{7} + \frac{\tan^9 x}{9} + C. The power of the tangent, even here, did not matter at all: it is carried along as u6u^6.

b) Now the power of sec⁡x\sec x is 33, odd, so saving sec⁡2x\sec^2 x would leave one sec⁡x=1+u2\sec x = \sqrt{1 + u^2}: the route of a) is closed. But the power of tan⁡x\tan x is 55, odd: save sec⁡xtan⁡x dx=du\sec x\tan x\,dx = du with u=sec⁡xu = \sec x, and convert the four remaining tangents, tan⁡4x=(sec⁡2x−1)2=(u2−1)2\tan^4 x = (\sec^2 x - 1)^2 = (u^2 - 1)^2. What is left of the secants is sec⁡2x=u2\sec^2 x = u^2. So ∫tan⁡5xsec⁡3x dx=∫tan⁡4xsec⁡2x (sec⁡xtan⁡x dx)=∫(u2−1)2u2 du=∫(u6−2u4+u2) du=sec⁡7x7−2sec⁡5x5+sec⁡3x3+C\int \tan^5 x\sec^3 x\,dx = \int \tan^4 x\sec^2 x\,(\sec x\tan x\,dx) = \int (u^2 - 1)^2u^2\,du = \int (u^6 - 2u^4 + u^2)\,du = \frac{\sec^7 x}{7} - \frac{2\sec^5 x}{5} + \frac{\sec^3 x}{3} + C. Count the factors before writing anything: one sec⁡x\sec x and one tan⁡x\tan x are spent on dudu, so the powers left are tan⁡4\tan^4 and sec⁡2\sec^2, not tan⁡5\tan^5 and sec⁡3\sec^3.

c) With no secant, save nothing yet: split one tan⁡2x\tan^2 x and convert it, tan⁡3x=tan⁡x(sec⁡2x−1)=tan⁡xsec⁡2x−tan⁡x\tan^3 x = \tan x(\sec^2 x - 1) = \tan x\sec^2 x - \tan x. The first piece is the pattern of a) with u=tan⁡xu = \tan x: ∫tan⁡xsec⁡2x dx=tan⁡2x2\int \tan x\sec^2 x\,dx = \frac{\tan^2 x}{2}. The second is the known ∫tan⁡x dx=ln⁡∣sec⁡x∣\int \tan x\,dx = \ln|\sec x|. So ∫tan⁡3x dx=tan⁡2x2−ln⁡∣sec⁡x∣+C\int \tan^3 x\,dx = \frac{\tan^2 x}{2} - \ln|\sec x| + C. A classmate who used u=sec⁡xu = \sec x on the first piece gets sec⁡2x2−ln⁡∣sec⁡x∣+C\frac{\sec^2 x}{2} - \ln|\sec x| + C: the same family, since sec⁡2x=1+tan⁡2x\sec^2 x = 1 + \tan^2 x shifts the constant by 12\frac{1}{2}.

d) The power of tan⁡x\tan x is 11, odd: save sec⁡xtan⁡x dx=du\sec x\tan x\,dx = du with u=sec⁡xu = \sec x, and the rest is sec⁡2x=u2\sec^2 x = u^2. Bounds: sec⁡0=1\sec 0 = 1 and sec⁡π3=1cos⁡(π/3)=2\sec\frac{\pi}{3} = \frac{1}{\cos(\pi/3)} = 2. So ∫0π/3tan⁡xsec⁡3x dx=∫12u2 du=8−13=73\int_0^{\pi/3} \tan x\sec^3 x\,dx = \int_1^2 u^2\,du = \frac{8 - 1}{3} = \frac{7}{3}. The new lower bound is 11, not 00: sec⁡0=1\sec 0 = 1 is the most common slip on this kind of question, and it would give 83\frac{8}{3}.

e) The power of sec⁡x\sec x is 11, odd, so saving sec⁡2x\sec^2 x is impossible without a square root; the power of tan⁡x\tan x is 22, even, so saving sec⁡xtan⁡x\sec x\tan x leaves one tan⁡x=u2−1\tan x = \sqrt{u^2 - 1}. Neither substitution closes. What remains is the identity used as a pure REWRITING: tan⁡2xsec⁡x=(sec⁡2x−1)sec⁡x=sec⁡3x−sec⁡x\tan^2 x\sec x = (\sec^2 x - 1)\sec x = \sec^3 x - \sec x, so ∫tan⁡2xsec⁡x dx=∫sec⁡3x dx−∫sec⁡x dx\int \tan^2 x\sec x\,dx = \int \sec^3 x\,dx - \int \sec x\,dx. Both integrals on the right are the two antiderivatives nobody guesses, and they are the subject of the next exercise.

Exercise 4: The secant and its cube: the two antiderivatives nobody guesses

Two antiderivatives of the chapter are not found by saving a factor: ∫sec⁡x dx=ln⁡∣sec⁡x+tan⁡x∣+C\int \sec x\,dx = \ln|\sec x + \tan x| + C and ∫sec⁡3x dx\int \sec^3 x\,dx, which comes from integration by parts. The first is memorized, the second is rebuilt in four lines.

The figure shows y=sec⁡3xy = \sec^3 x on [0,π4][0, \frac{\pi}{4}], the dashed horizontal at height 11, and the dashed chord joining the two ends of the arc.

π/412√2y = sec³xchordarea = ?
  • a) Differentiate F(x)=ln⁡∣sec⁡x+tan⁡x∣F(x) = \ln|\sec x + \tan x| and conclude.
  • b) Compute ∫sec⁡3x dx\int \sec^3 x\,dx by parts with u=sec⁡xu = \sec x and dv=sec⁡2x dxdv = \sec^2 x\,dx. Explain why the integral you started with reappears, and why that is good news.
  • c) Finish the integral of Exercise 3 e): compute ∫tan⁡2xsec⁡x dx\int \tan^2 x\sec x\,dx.
  • d) Evaluate ∫0π/4sec⁡3x dx\int_0^{\pi/4} \sec^3 x\,dx exactly.
  • e) Using the figure and the values π≈3.14\pi \approx 3.14, 2≈1.41\sqrt 2 \approx 1.41, ln⁡2≈0.69\ln 2 \approx 0.69, check that your answer to d) is plausible, without a calculator.
Show the solution

Answers

  • a) F′(x)=sec⁡xF'(x) = \sec x, so ∫sec⁡x dx=ln⁡∣sec⁡x+tan⁡x∣+C\int \sec x\,dx = \ln|\sec x + \tan x| + C.
  • b) 12(sec⁡xtan⁡x+ln⁡∣sec⁡x+tan⁡x∣)+C\frac{1}{2}\left(\sec x\tan x + \ln|\sec x + \tan x|\right) + C
  • c) 12(sec⁡xtan⁡x−ln⁡∣sec⁡x+tan⁡x∣)+C\frac{1}{2}\left(\sec x\tan x - \ln|\sec x + \tan x|\right) + C
  • d) 2+ln⁡(1+2)2\frac{\sqrt 2 + \ln(1 + \sqrt 2)}{2}
  • e) The value lies between 1.051.05 and 1.211.21, inside the bounds π4≈0.79\frac{\pi}{4} \approx 0.79 and π4⋅1+222≈1.50\frac{\pi}{4}\cdot\frac{1 + 2\sqrt 2}{2} \approx 1.50.

a) By the chain rule, F′(x)=sec⁡xtan⁡x+sec⁡2xsec⁡x+tan⁡x=sec⁡x(tan⁡x+sec⁡x)sec⁡x+tan⁡x=sec⁡xF'(x) = \frac{\sec x\tan x + \sec^2 x}{\sec x + \tan x} = \frac{\sec x(\tan x + \sec x)}{\sec x + \tan x} = \sec x, on every interval where cos⁡x≠0\cos x \neq 0 and sec⁡x+tan⁡x≠0\sec x + \tan x \neq 0. The absolute value is there because ddxln⁡∣g∣=g′g\frac{d}{dx}\ln|g| = \frac{g'}{g} holds for gg of either sign. So ∫sec⁡x dx=ln⁡∣sec⁡x+tan⁡x∣+C\int \sec x\,dx = \ln|\sec x + \tan x| + C. The formula is found historically by multiplying sec⁡x\sec x by sec⁡x+tan⁡xsec⁡x+tan⁡x\frac{\sec x + \tan x}{\sec x + \tan x}, which makes the numerator the derivative of the denominator; on an exam it is quoted, and checked by this differentiation if in doubt.

b) With u=sec⁡xu = \sec x, dv=sec⁡2x dxdv = \sec^2 x\,dx: du=sec⁡xtan⁡x dxdu = \sec x\tan x\,dx and v=tan⁡xv = \tan x. Then I=∫sec⁡3x dx=sec⁡xtan⁡x−∫sec⁡xtan⁡2x dxI = \int \sec^3 x\,dx = \sec x\tan x - \int \sec x\tan^2 x\,dx. Convert with tan⁡2x=sec⁡2x−1\tan^2 x = \sec^2 x - 1: ∫sec⁡xtan⁡2x dx=∫sec⁡3x dx−∫sec⁡x dx=I−ln⁡∣sec⁡x+tan⁡x∣\int \sec x\tan^2 x\,dx = \int \sec^3 x\,dx - \int \sec x\,dx = I - \ln|\sec x + \tan x|. So I=sec⁡xtan⁡x−I+ln⁡∣sec⁡x+tan⁡x∣I = \sec x\tan x - I + \ln|\sec x + \tan x|. The unknown II reappeared with a MINUS sign, which is exactly what makes the equation solvable: 2I=sec⁡xtan⁡x+ln⁡∣sec⁡x+tan⁡x∣2I = \sec x\tan x + \ln|\sec x + \tan x|, hence ∫sec⁡3x dx=12(sec⁡xtan⁡x+ln⁡∣sec⁡x+tan⁡x∣)+C\int \sec^3 x\,dx = \frac{1}{2}\left(\sec x\tan x + \ln|\sec x + \tan x|\right) + C. The constant is added at the end only, once II has been isolated. Had it reappeared with a plus sign, the equation would read 0=…0 = \dots and the choice of uu would have to change.

c) From Exercise 3 e), ∫tan⁡2xsec⁡x dx=∫sec⁡3x dx−∫sec⁡x dx=12sec⁡xtan⁡x+12ln⁡∣sec⁡x+tan⁡x∣−ln⁡∣sec⁡x+tan⁡x∣+C=12(sec⁡xtan⁡x−ln⁡∣sec⁡x+tan⁡x∣)+C\int \tan^2 x\sec x\,dx = \int \sec^3 x\,dx - \int \sec x\,dx = \frac{1}{2}\sec x\tan x + \frac{1}{2}\ln|\sec x + \tan x| - \ln|\sec x + \tan x| + C = \frac{1}{2}\left(\sec x\tan x - \ln|\sec x + \tan x|\right) + C. The logarithms combine to −12ln⁡∣…∣-\frac{1}{2}\ln|\dots|: dropping the 12\frac{1}{2} of part b) at this step is the classic way to lose the mark.

d) At x=π4x = \frac{\pi}{4}: sec⁡π4=2\sec\frac{\pi}{4} = \sqrt 2 and tan⁡π4=1\tan\frac{\pi}{4} = 1. At x=0x = 0: sec⁡0=1\sec 0 = 1, tan⁡0=0\tan 0 = 0, and ln⁡1=0\ln 1 = 0. So ∫0π/4sec⁡3x dx=12(2⋅1+ln⁡(2+1))−12(0+ln⁡1)=2+ln⁡(1+2)2\int_0^{\pi/4} \sec^3 x\,dx = \frac{1}{2}\left(\sqrt 2\cdot 1 + \ln(\sqrt 2 + 1)\right) - \frac{1}{2}(0 + \ln 1) = \frac{\sqrt 2 + \ln(1 + \sqrt 2)}{2}. This is the exact answer expected without a calculator; no decimal is required.

e) The figure gives two bounds. The curve stays above height 11, so the area exceeds the rectangle π4⋅1≈0.79\frac{\pi}{4}\cdot 1 \approx 0.79. The curve bends upward (it is convex), so it stays below its chord, and the area is less than the trapezoid π4⋅1+222≈0.79×1.91≈1.50\frac{\pi}{4}\cdot\frac{1 + 2\sqrt 2}{2} \approx 0.79 \times 1.91 \approx 1.50, using sec⁡3π4=(2)3=22\sec^3\frac{\pi}{4} = (\sqrt 2)^3 = 2\sqrt 2. Now estimate the answer: 1+2≈2.411 + \sqrt 2 \approx 2.41 lies between 22 and e≈2.72e \approx 2.72, so ln⁡(1+2)\ln(1 + \sqrt 2) lies between ln⁡2≈0.69\ln 2 \approx 0.69 and 11, and the answer lies between 1.41+0.692=1.05\frac{1.41 + 0.69}{2} = 1.05 and 1.41+12≈1.21\frac{1.41 + 1}{2} \approx 1.21. It sits well inside (0.79, 1.50)(0.79,\ 1.50): plausible. A sign error in part b), giving 2−ln⁡(1+2)2<0.37\frac{\sqrt 2 - \ln(1 + \sqrt 2)}{2} < 0.37, would fall below the rectangle and be caught at once.

Exercise 5: Products of different frequencies: turn the product into a sum

∫sin⁡mxcos⁡nx dx\int \sin mx\cos nx\,dx with m≠nm \neq n is neither a power nor a substitution. The product-to-sum formulas turn it into two terms that integrate at sight: sin⁡Acos⁡B=12[sin⁡(A−B)+sin⁡(A+B)]\sin A\cos B = \frac{1}{2}\left[\sin(A - B) + \sin(A + B)\right], sin⁡Asin⁡B=12[cos⁡(A−B)−cos⁡(A+B)]\sin A\sin B = \frac{1}{2}\left[\cos(A - B) - \cos(A + B)\right], cos⁡Acos⁡B=12[cos⁡(A−B)+cos⁡(A+B)]\cos A\cos B = \frac{1}{2}\left[\cos(A - B) + \cos(A + B)\right].

The figure shows y=sin⁡3xsin⁡xy = \sin 3x\sin x on [0,π][0, \pi], with its signed areas.

π/2π0.5-1++−y = sin 3x sin x
  • a) Compute ∫sin⁡5xcos⁡3x dx\int \sin 5x\cos 3x\,dx.
  • b) Compute ∫sin⁡2xsin⁡6x dx\int \sin 2x\sin 6x\,dx.
  • c) Compute ∫sin⁡2xcos⁡5x dx\int \sin 2x\cos 5x\,dx. What happens to sin⁡(A−B)\sin(A - B) when A<BA < B?
  • d) Evaluate ∫0π/4cos⁡4xcos⁡2x dx\int_0^{\pi/4} \cos 4x\cos 2x\,dx.
  • e) Compute ∫0πsin⁡3xsin⁡x dx\int_0^\pi \sin 3x\sin x\,dx and explain the answer on the figure.
Show the solution

Answers

  • a) −cos⁡2x4−cos⁡8x16+C-\frac{\cos 2x}{4} - \frac{\cos 8x}{16} + C
  • b) sin⁡4x8−sin⁡8x16+C\frac{\sin 4x}{8} - \frac{\sin 8x}{16} + C
  • c) cos⁡3x6−cos⁡7x14+C\frac{\cos 3x}{6} - \frac{\cos 7x}{14} + C; sin⁡(−3x)=−sin⁡3x\sin(-3x) = -\sin 3x.
  • d) 16\frac{1}{6}
  • e) 00: the two positive lobes exactly balance the negative one.

a) With A=5xA = 5x, B=3xB = 3x: sin⁡5xcos⁡3x=12[sin⁡2x+sin⁡8x]\sin 5x\cos 3x = \frac{1}{2}\left[\sin 2x + \sin 8x\right]. Then ∫sin⁡5xcos⁡3x dx=12(−cos⁡2x2−cos⁡8x8)+C=−cos⁡2x4−cos⁡8x16+C\int \sin 5x\cos 3x\,dx = \frac{1}{2}\left(-\frac{\cos 2x}{2} - \frac{\cos 8x}{8}\right) + C = -\frac{\cos 2x}{4} - \frac{\cos 8x}{16} + C. Why not substitute? u=sin⁡5xu = \sin 5x gives du=5cos⁡5x dxdu = 5\cos 5x\,dx, and there is a cos⁡3x\cos 3x, not a cos⁡5x\cos 5x: the frequencies do not match, so no factor is the differential of anything. And ∫sin⁡5x dx⋅∫cos⁡3x dx\int \sin 5x\,dx\cdot\int \cos 3x\,dx is not an option: an integral of a product is never the product of the integrals.

b) sin⁡2xsin⁡6x=12[cos⁡(2x−6x)−cos⁡8x]=12[cos⁡4x−cos⁡8x]\sin 2x\sin 6x = \frac{1}{2}\left[\cos(2x - 6x) - \cos 8x\right] = \frac{1}{2}\left[\cos 4x - \cos 8x\right], since cosine is even, cos⁡(−4x)=cos⁡4x\cos(-4x) = \cos 4x. Then ∫sin⁡2xsin⁡6x dx=sin⁡4x8−sin⁡8x16+C\int \sin 2x\sin 6x\,dx = \frac{\sin 4x}{8} - \frac{\sin 8x}{16} + C. The minus sign belongs to the SUM angle: sin⁡Asin⁡B\sin A\sin B is half of cos⁡(A−B)\cos(A - B) minus cos⁡(A+B)\cos(A + B). Swapping the two is caught by a check at x=π4x = \frac{\pi}{4}, not at x=0x = 0 where both versions give 00: sin⁡π2sin⁡3π2=−1\sin\frac{\pi}{2}\sin\frac{3\pi}{2} = -1, and 12[cos⁡π−cos⁡2π]=−1\frac{1}{2}[\cos\pi - \cos 2\pi] = -1. Correct.

c) Here A=2x<B=5xA = 2x < B = 5x: sin⁡2xcos⁡5x=12[sin⁡(−3x)+sin⁡7x]=12[−sin⁡3x+sin⁡7x]\sin 2x\cos 5x = \frac{1}{2}\left[\sin(-3x) + \sin 7x\right] = \frac{1}{2}\left[-\sin 3x + \sin 7x\right]. Sine is ODD, so the negative angle brings out a sign; it is the step students skip, writing sin⁡3x\sin 3x for sin⁡(−3x)\sin(-3x). Then ∫sin⁡2xcos⁡5x dx=12(cos⁡3x3−cos⁡7x7)+C=cos⁡3x6−cos⁡7x14+C\int \sin 2x\cos 5x\,dx = \frac{1}{2}\left(\frac{\cos 3x}{3} - \frac{\cos 7x}{7}\right) + C = \frac{\cos 3x}{6} - \frac{\cos 7x}{14} + C. With the sign lost, the answer would be −cos⁡3x6−cos⁡7x14-\frac{\cos 3x}{6} - \frac{\cos 7x}{14}, whose derivative is sin⁡3x+sin⁡7x2=sin⁡5xcos⁡2x\frac{\sin 3x + \sin 7x}{2} = \sin 5x\cos 2x: the integral of a different product.

d) cos⁡4xcos⁡2x=12[cos⁡2x+cos⁡6x]\cos 4x\cos 2x = \frac{1}{2}\left[\cos 2x + \cos 6x\right], so ∫0π/4cos⁡4xcos⁡2x dx=[sin⁡2x4+sin⁡6x12]0π/4=sin⁡(π/2)4+sin⁡(3π/2)12=14−112=16\int_0^{\pi/4} \cos 4x\cos 2x\,dx = \left[\frac{\sin 2x}{4} + \frac{\sin 6x}{12}\right]_0^{\pi/4} = \frac{\sin(\pi/2)}{4} + \frac{\sin(3\pi/2)}{12} = \frac{1}{4} - \frac{1}{12} = \frac{1}{6}. The value sin⁡3π2=−1\sin\frac{3\pi}{2} = -1 is where the marks go: at x=π4x = \frac{\pi}{4}, the angle 6x6x is 3π2\frac{3\pi}{2}, not π2\frac{\pi}{2}.

e) sin⁡3xsin⁡x=12[cos⁡2x−cos⁡4x]\sin 3x\sin x = \frac{1}{2}\left[\cos 2x - \cos 4x\right], so ∫0πsin⁡3xsin⁡x dx=[sin⁡2x4−sin⁡4x8]0π=0−0=0\int_0^\pi \sin 3x\sin x\,dx = \left[\frac{\sin 2x}{4} - \frac{\sin 4x}{8}\right]_0^\pi = 0 - 0 = 0. On the figure, the curve is positive on (0,π3)(0, \frac{\pi}{3}) and on (2π3,π)(\frac{2\pi}{3}, \pi) and negative in between: the integral is a SIGNED area, and the negative lobe weighs exactly as much as the two positive ones together. This is not a coincidence of these two frequencies: for any positive integers m≠nm \neq n, sin⁡mxsin⁡nx\sin mx\sin nx is half a difference of two cosines of NON-ZERO integer frequencies, and each of them integrates to 00 over [0,π][0, \pi]. Exercise 10 uses exactly this on [−π,π][-\pi, \pi].

Part B: problems and reasoning (/50)

Exercise 6: Substitute or rewrite first, then recognize the trigonometric integral

On a final, a trigonometric integral rarely arrives in the textbook form. It hides behind an inner function (x\sqrt x, x2x^2, 3x3x), behind a double angle, or behind a quotient that becomes a product of powers once everything is written in sin⁡\sin and cos⁡\cos. The first line of the answer names that preliminary step; the rest is the method of Part A.

  • a) Compute ∫cos⁡3xx dx\int \frac{\cos^3 \sqrt x}{\sqrt x}\,dx.
  • b) Evaluate ∫0πxsin⁡2(x2) dx\int_0^{\sqrt\pi} x\sin^2(x^2)\,dx.
  • c) Compute ∫tan⁡3xsec⁡43x dx\int \tan 3x\sec^4 3x\,dx by two different routes, and reconcile the answers.
  • d) Compute ∫sin⁡2xcos⁡3x dx\int \sin 2x\cos^3 x\,dx. Why is the product-to-sum formula a poor idea here?
  • e) Compute ∫cos⁡2xtan⁡3x dx\int \cos^2 x\tan^3 x\,dx.
Show the solution

Answers

  • a) 2sin⁡x−23sin⁡3x+C2\sin\sqrt x - \frac{2}{3}\sin^3\sqrt x + C
  • b) π4\frac{\pi}{4}
  • c) sec⁡43x12+C\frac{\sec^4 3x}{12} + C, or tan⁡23x6+tan⁡43x12+C\frac{\tan^2 3x}{6} + \frac{\tan^4 3x}{12} + C; they differ by 112\frac{1}{12}.
  • d) −25cos⁡5x+C-\frac{2}{5}\cos^5 x + C; cos⁡3x\cos^3 x is a power, not a single frequency.
  • e) cos⁡2x2−ln⁡∣cos⁡x∣+C\frac{\cos^2 x}{2} - \ln|\cos x| + C

a) The inner function comes first: w=xw = \sqrt x, dw=dx2xdw = \frac{dx}{2\sqrt x}, so dxx=2 dw\frac{dx}{\sqrt x} = 2\,dw and the integral becomes 2∫cos⁡3w dw2\int \cos^3 w\,dw. Now an odd power of cosine: save cos⁡w dw=dv\cos w\,dw = dv with v=sin⁡wv = \sin w, convert cos⁡2w=1−v2\cos^2 w = 1 - v^2: 2∫(1−v2) dv=2v−23v32\int (1 - v^2)\,dv = 2v - \frac{2}{3}v^3. Back to xx: ∫cos⁡3xx dx=2sin⁡x−23sin⁡3x+C\int \frac{\cos^3\sqrt x}{\sqrt x}\,dx = 2\sin\sqrt x - \frac{2}{3}\sin^3\sqrt x + C. The factor 1x\frac{1}{\sqrt x} is the signal: it is (twice) the derivative of the inner function, which is why the first substitution closes.

b) w=x2w = x^2, dw=2x dxdw = 2x\,dx, bounds 00 and (π)2=π(\sqrt\pi)^2 = \pi: ∫0πxsin⁡2(x2) dx=12∫0πsin⁡2w dw\int_0^{\sqrt\pi} x\sin^2(x^2)\,dx = \frac{1}{2}\int_0^\pi \sin^2 w\,dw. The power is even, so lower it: 12[w2−sin⁡2w4]0π=12⋅π2=π4\frac{1}{2}\left[\frac{w}{2} - \frac{\sin 2w}{4}\right]_0^\pi = \frac{1}{2}\cdot\frac{\pi}{2} = \frac{\pi}{4}. The answer reuses Exercise 2 a) through one substitution. Keeping the bounds 00 and π\sqrt\pi after changing the variable would give 12(π2−sin⁡2π4)\frac{1}{2}\left(\frac{\sqrt\pi}{2} - \frac{\sin 2\sqrt\pi}{4}\right), a number that cannot be simplified without a calculator: a strong hint that the bounds were not changed.

c) Put w=3xw = 3x, dw=3 dxdw = 3\,dx: the integral is 13∫tan⁡wsec⁡4w dw\frac{1}{3}\int \tan w\sec^4 w\,dw, which has BOTH an odd power of tan⁡\tan and an even power of sec⁡\sec. Route 1, save sec⁡wtan⁡w dw=du\sec w\tan w\,dw = du with u=sec⁡wu = \sec w: 13∫sec⁡3w (sec⁡wtan⁡w dw)=13⋅u44=sec⁡43x12+C\frac{1}{3}\int \sec^3 w\,(\sec w\tan w\,dw) = \frac{1}{3}\cdot\frac{u^4}{4} = \frac{\sec^4 3x}{12} + C. Route 2, save sec⁡2w dw=du\sec^2 w\,dw = du with u=tan⁡wu = \tan w and convert sec⁡2w=1+u2\sec^2 w = 1 + u^2: 13∫u(1+u2) du=13(u22+u44)=tan⁡23x6+tan⁡43x12+C\frac{1}{3}\int u(1 + u^2)\,du = \frac{1}{3}\left(\frac{u^2}{2} + \frac{u^4}{4}\right) = \frac{\tan^2 3x}{6} + \frac{\tan^4 3x}{12} + C. Reconcile with sec⁡2=1+tan⁡2\sec^2 = 1 + \tan^2: sec⁡43x12=(1+tan⁡23x)212=112+tan⁡23x6+tan⁡43x12\frac{\sec^4 3x}{12} = \frac{(1 + \tan^2 3x)^2}{12} = \frac{1}{12} + \frac{\tan^2 3x}{6} + \frac{\tan^4 3x}{12}. They differ by the constant 112\frac{1}{12}: both are correct. Route 1 is shorter; forgetting the factor 13\frac{1}{3} of the inner substitution costs the mark in either.

d) Rewrite the double angle first: sin⁡2x=2sin⁡xcos⁡x\sin 2x = 2\sin x\cos x, so sin⁡2xcos⁡3x=2sin⁡xcos⁡4x\sin 2x\cos^3 x = 2\sin x\cos^4 x. One factor sin⁡x\sin x, odd power: u=cos⁡xu = \cos x, du=−sin⁡x dxdu = -\sin x\,dx, and ∫2sin⁡xcos⁡4x dx=−2∫u4 du=−25cos⁡5x+C\int 2\sin x\cos^4 x\,dx = -2\int u^4\,du = -\frac{2}{5}\cos^5 x + C. The product-to-sum formulas multiply two SINGLE frequencies, sin⁡mxcos⁡nx\sin mx\cos nx; here cos⁡3x\cos^3 x is a cube, so the formula would first need cos⁡3x=3cos⁡x+cos⁡3x4\cos^3 x = \frac{3\cos x + \cos 3x}{4}, then two more products: correct in the end, and four times longer. The form of the integrand, a power of cos⁡x\cos x times its derivative up to a constant, decides.

e) Write everything in sines and cosines: cos⁡2xtan⁡3x=cos⁡2x⋅sin⁡3xcos⁡3x=sin⁡3xcos⁡x\cos^2 x\tan^3 x = \cos^2 x\cdot\frac{\sin^3 x}{\cos^3 x} = \frac{\sin^3 x}{\cos x}. The power of sin⁡x\sin x is odd: save sin⁡x dx=−du\sin x\,dx = -du with u=cos⁡xu = \cos x, convert sin⁡2x=1−u2\sin^2 x = 1 - u^2. Then ∫sin⁡3xcos⁡x dx=−∫1−u2u du=−∫(1u−u)du=−ln⁡∣u∣+u22+C=cos⁡2x2−ln⁡∣cos⁡x∣+C\int \frac{\sin^3 x}{\cos x}\,dx = -\int \frac{1 - u^2}{u}\,du = -\int\left(\frac{1}{u} - u\right)du = -\ln|u| + \frac{u^2}{2} + C = \frac{\cos^2 x}{2} - \ln|\cos x| + C. The power of cos⁡x\cos x is negative, −1-1, and that changes nothing: only the saved power has to be odd. Remember that −ln⁡∣cos⁡x∣=ln⁡∣sec⁡x∣-\ln|\cos x| = \ln|\sec x| if you want to compare with a classmate's answer.

Exercise 7: Read the answer before computing: symmetry, signs and a hidden square root

A definite trigonometric integral can often be predicted, or at least bounded, before any antiderivative is written: a symmetry of the graph, the sign of the integrand, a mirror between sin⁡\sin and cos⁡\cos. Those predictions are also the best way to catch an error in a substitution that LOOKS legitimate.

The figure shows y=cos⁡3xy = \cos^3 x on [0,π][0, \pi].

π/2π1-1+−y = cos³x
  • a) Using the substitution x=π2−tx = \frac{\pi}{2} - t, show that ∫0π/2sin⁡2x dx=∫0π/2cos⁡2x dx\int_0^{\pi/2} \sin^2 x\,dx = \int_0^{\pi/2} \cos^2 x\,dx. Deduce the value of each without any half-angle formula.
  • b) Compute ∫0πcos⁡3x dx\int_0^\pi \cos^3 x\,dx and ∫0πsin⁡3x dx\int_0^\pi \sin^3 x\,dx. Explain the first answer on the figure.
  • c) Evaluate ∫−π/4π/4(tan⁡3xsec⁡2x+sec⁡4x)dx\int_{-\pi/4}^{\pi/4} \left(\tan^3 x\sec^2 x + \sec^4 x\right)dx with as little computation as possible.
  • d) A student computes ∫0πcos⁡2x dx\int_0^\pi \cos^2 x\,dx with u=sin⁡xu = \sin x: he writes cos⁡x dx=du\cos x\,dx = du and cos⁡x=1−u2\cos x = \sqrt{1 - u^2}, so the integral becomes ∫001−u2 du=0\int_0^0 \sqrt{1 - u^2}\,du = 0. Find the error and give the correct value.
  • e) Yet ∫0πsin⁡2xcos⁡3x dx\int_0^\pi \sin^2 x\cos^3 x\,dx IS correctly computed with u=sin⁡xu = \sin x and bounds 00 and 00. Compute it, and explain why this substitution is legitimate when the one in d) was not.
Show the solution

Answers

  • a) Both equal π4\frac{\pi}{4}, since their sum is ∫0π/21 dx=π2\int_0^{\pi/2} 1\,dx = \frac{\pi}{2}.
  • b) ∫0πcos⁡3x dx=0\int_0^\pi \cos^3 x\,dx = 0 and ∫0πsin⁡3x dx=43\int_0^\pi \sin^3 x\,dx = \frac{4}{3}.
  • c) 0+83=830 + \frac{8}{3} = \frac{8}{3}
  • d) 1−sin⁡2x=∣cos⁡x∣\sqrt{1 - \sin^2 x} = |\cos x|, not cos⁡x\cos x, on (π2,π)(\frac{\pi}{2}, \pi). The value is π2\frac{\pi}{2}.
  • e) 00: the integrand is exactly g(sin⁡x)cos⁡xg(\sin x)\cos x with g(u)=u2(1−u2)g(u) = u^2(1 - u^2), no root involved.

a) With x=π2−tx = \frac{\pi}{2} - t, dx=−dtdx = -dt, and the bounds x=0x = 0, x=π2x = \frac{\pi}{2} become t=π2t = \frac{\pi}{2}, t=0t = 0. Since sin⁡(π2−t)=cos⁡t\sin(\frac{\pi}{2} - t) = \cos t: ∫0π/2sin⁡2x dx=−∫π/20cos⁡2t dt=∫0π/2cos⁡2t dt\int_0^{\pi/2} \sin^2 x\,dx = -\int_{\pi/2}^0 \cos^2 t\,dt = \int_0^{\pi/2} \cos^2 t\,dt. Call the common value JJ. Adding, 2J=∫0π/2(sin⁡2x+cos⁡2x) dx=∫0π/21 dx=π22J = \int_0^{\pi/2}(\sin^2 x + \cos^2 x)\,dx = \int_0^{\pi/2} 1\,dx = \frac{\pi}{2}, so J=π4J = \frac{\pi}{4}. The two graphs are mirror images about x=π4x = \frac{\pi}{4}, and each fills exactly half of the rectangle [0,π2]×[0,1][0, \frac{\pi}{2}] \times [0, 1]. This two-line argument replaces the half-angle computation whenever the interval is a quarter period.

b) cos⁡3x\cos^3 x: odd power, u=sin⁡xu = \sin x, cos⁡2x=1−u2\cos^2 x = 1 - u^2, bounds sin⁡0=0\sin 0 = 0 and sin⁡π=0\sin\pi = 0: ∫0πcos⁡3x dx=∫00(1−u2) du=0\int_0^\pi \cos^3 x\,dx = \int_0^0 (1 - u^2)\,du = 0. On the figure, cos⁡(π−x)=−cos⁡x\cos(\pi - x) = -\cos x, so the graph on (π2,π)(\frac{\pi}{2}, \pi) is the positive lobe turned upside down: the two signed areas cancel. For sin⁡3x\sin^3 x: u=cos⁡xu = \cos x, du=−sin⁡x dxdu = -\sin x\,dx, bounds 11 and −1-1: ∫0πsin⁡3x dx=−∫1−1(1−u2) du=∫−11(1−u2) du=2−23=43\int_0^\pi \sin^3 x\,dx = -\int_1^{-1}(1 - u^2)\,du = \int_{-1}^1 (1 - u^2)\,du = 2 - \frac{2}{3} = \frac{4}{3}. This time the integrand is positive on (0,π)(0, \pi), so a positive answer was expected; a result of 00 or a negative number would signal a bound written in the wrong order.

c) Split. The function tan⁡3xsec⁡2x\tan^3 x\sec^2 x is ODD (tan⁡\tan is odd, sec⁡\sec is even, and an odd power of an odd function times an even function is odd), so its integral over the symmetric interval [−π4,π4][-\frac{\pi}{4}, \frac{\pi}{4}] is 00 with no computation. The function sec⁡4x\sec^4 x is even: save sec⁡2x\sec^2 x, u=tan⁡xu = \tan x, sec⁡2x=1+u2\sec^2 x = 1 + u^2, bounds tan⁡(±π4)=±1\tan(\pm\frac{\pi}{4}) = \pm 1: ∫−11(1+u2) du=2+23=83\int_{-1}^1 (1 + u^2)\,du = 2 + \frac{2}{3} = \frac{8}{3}. Total: 83\frac{8}{3}. Seeing the odd piece saves half the work and removes half the chances of a sign slip.

d) The error is cos⁡x=1−u2\cos x = \sqrt{1 - u^2}. From u=sin⁡xu = \sin x one only gets cos⁡2x=1−u2\cos^2 x = 1 - u^2, hence 1−u2=∣cos⁡x∣\sqrt{1 - u^2} = |\cos x|, which equals cos⁡x\cos x on [0,π2][0, \frac{\pi}{2}] and −cos⁡x-\cos x on [π2,π][\frac{\pi}{2}, \pi]. The substitution silently flips the sign of the integrand on the second half, and the two halves then cancel. The integrand cos⁡2x\cos^2 x is non-negative and not identically zero, so an answer of 00 is impossible, which is the check that should have stopped him. The honest route: every power is even, so lower it, ∫0π1+cos⁡2x2 dx=π2\int_0^\pi \frac{1 + \cos 2x}{2}\,dx = \frac{\pi}{2}. The rule of Exercise 1 e) is the same rule seen from the other side: with an even power there is no factor to save, and forcing one creates a square root.

e) Here the integrand is sin⁡2xcos⁡2x⋅cos⁡x=sin⁡2x(1−sin⁡2x)cos⁡x\sin^2 x\cos^2 x\cdot\cos x = \sin^2 x(1 - \sin^2 x)\cos x, EXACTLY of the form g(sin⁡x)cos⁡xg(\sin x)\cos x with the polynomial g(u)=u2(1−u2)g(u) = u^2(1 - u^2). The substitution rule ∫abg(sin⁡x)cos⁡x dx=∫sin⁡asin⁡bg(u) du\int_a^b g(\sin x)\cos x\,dx = \int_{\sin a}^{\sin b} g(u)\,du holds with no condition on the monotonicity of sin⁡x\sin x, so ∫0πsin⁡2xcos⁡3x dx=∫00u2(1−u2) du=0\int_0^\pi \sin^2 x\cos^3 x\,dx = \int_0^0 u^2(1 - u^2)\,du = 0. In d), the student never had g(sin⁡x)cos⁡xg(\sin x)\cos x: he had cos⁡x⋅cos⁡x\cos x\cdot\cos x and replaced ONE cos⁡x\cos x by a square root, which is where the sign was lost. Symmetry confirms e): sin⁡2(π−x)=sin⁡2x\sin^2(\pi - x) = \sin^2 x and cos⁡3(π−x)=−cos⁡3x\cos^3(\pi - x) = -\cos^3 x, so the integrand is antisymmetric about π2\frac{\pi}{2}, as on the figure.

Exercise 8: Five statements to correct

Each statement below was written on a MATH 141 paper. Each is false. For each one, say what is wrong, write the correct statement, and give the quickest check that exposes the error.

  • a) ∫cos⁡2x dx=x2−sin⁡2x4+C\int \cos^2 x\,dx = \frac{x}{2} - \frac{\sin 2x}{4} + C.
  • b) To integrate sin⁡3xcos⁡2x\sin^3 x\cos^2 x, set u=sin⁡xu = \sin x, since du=cos⁡x dxdu = \cos x\,dx appears.
  • c) ∫tan⁡2x dx=tan⁡3x3+C\int \tan^2 x\,dx = \frac{\tan^3 x}{3} + C.
  • d) Since ∫sec⁡x dx=ln⁡∣sec⁡x+tan⁡x∣+C\int \sec x\,dx = \ln|\sec x + \tan x| + C, by symmetry ∫csc⁡x dx=ln⁡∣csc⁡x+cot⁡x∣+C\int \csc x\,dx = \ln|\csc x + \cot x| + C.
  • e) For positive integers, ∫−ππsin⁡mxcos⁡nx dx=0\int_{-\pi}^{\pi} \sin mx\cos nx\,dx = 0 when m≠nm \neq n, and =π= \pi when m=nm = n.
Show the solution

Answers

  • a) ∫cos⁡2x dx=x2+sin⁡2x4+C\int \cos^2 x\,dx = \frac{x}{2} + \frac{\sin 2x}{4} + C
  • b) Set u=cos⁡xu = \cos x (the odd power is on sin⁡\sin): −cos⁡3x3+cos⁡5x5+C-\frac{\cos^3 x}{3} + \frac{\cos^5 x}{5} + C.
  • c) ∫tan⁡2x dx=tan⁡x−x+C\int \tan^2 x\,dx = \tan x - x + C
  • d) ∫csc⁡x dx=−ln⁡∣csc⁡x+cot⁡x∣+C=ln⁡∣csc⁡x−cot⁡x∣+C\int \csc x\,dx = -\ln|\csc x + \cot x| + C = \ln|\csc x - \cot x| + C
  • e) ∫−ππsin⁡mxcos⁡nx dx=0\int_{-\pi}^{\pi} \sin mx\cos nx\,dx = 0 for ALL integers mm, nn, including m=nm = n.

a) The half-angle formula was taken with the wrong sign: cos⁡2x=1+cos⁡2x2\cos^2 x = \frac{1 + \cos 2x}{2}, so ∫cos⁡2x dx=x2+sin⁡2x4+C\int \cos^2 x\,dx = \frac{x}{2} + \frac{\sin 2x}{4} + C. Quickest check: plug x=0x = 0 into the formula used, cos⁡20=1\cos^2 0 = 1 must equal 1+cos⁡02=1\frac{1 + \cos 0}{2} = 1, whereas 1−cos⁡02=0\frac{1 - \cos 0}{2} = 0. A second check: differentiating the false answer gives 12−cos⁡2x2=sin⁡2x\frac{1}{2} - \frac{\cos 2x}{2} = \sin^2 x, so the student integrated the wrong function.

b) The power of cos⁡x\cos x is 22, even; saving cos⁡x dx\cos x\,dx leaves ONE cos⁡x=±1−u2\cos x = \pm\sqrt{1 - u^2}, and the method stalls. The odd power is on the sine, so save sin⁡x dx=−du\sin x\,dx = -du with u=cos⁡xu = \cos x and convert sin⁡2x=1−u2\sin^2 x = 1 - u^2: ∫sin⁡3xcos⁡2x dx=−∫(1−u2)u2 du=−cos⁡3x3+cos⁡5x5+C\int \sin^3 x\cos^2 x\,dx = -\int (1 - u^2)u^2\,du = -\frac{\cos^3 x}{3} + \frac{\cos^5 x}{5} + C. The fact that a cos⁡x\cos x appears somewhere is not enough; what matters is what is LEFT after detaching it.

c) The power rule needs the derivative of the inside: ddxtan⁡3x3=tan⁡2xsec⁡2x\frac{d}{dx}\frac{\tan^3 x}{3} = \tan^2 x\sec^2 x, not tan⁡2x\tan^2 x. Convert instead: tan⁡2x=sec⁡2x−1\tan^2 x = \sec^2 x - 1, so ∫tan⁡2x dx=tan⁡x−x+C\int \tan^2 x\,dx = \tan x - x + C. Check: ddx(tan⁡x−x)=sec⁡2x−1=tan⁡2x\frac{d}{dx}(\tan x - x) = \sec^2 x - 1 = \tan^2 x.

d) Symmetry between sec and csc always brings a SIGN, because ddxcsc⁡x=−csc⁡xcot⁡x\frac{d}{dx}\csc x = -\csc x\cot x and ddxcot⁡x=−csc⁡2x\frac{d}{dx}\cot x = -\csc^2 x. Differentiate the proposal: −csc⁡xcot⁡x−csc⁡2xcsc⁡x+cot⁡x=−csc⁡x\frac{-\csc x\cot x - \csc^2 x}{\csc x + \cot x} = -\csc x. It is off by a sign. The correct formula is ∫csc⁡x dx=−ln⁡∣csc⁡x+cot⁡x∣+C\int \csc x\,dx = -\ln|\csc x + \cot x| + C, which is the same as ln⁡∣csc⁡x−cot⁡x∣+C\ln|\csc x - \cot x| + C because (csc⁡x+cot⁡x)(csc⁡x−cot⁡x)=csc⁡2x−cot⁡2x=1(\csc x + \cot x)(\csc x - \cot x) = \csc^2 x - \cot^2 x = 1.

e) sin⁡mxcos⁡nx\sin mx\cos nx is an ODD function (odd times even) for ALL mm and nn, so its integral over the symmetric interval [−π,π][-\pi, \pi] is 00 in every case, m=nm = n included. For m=nm = n, directly: sin⁡mxcos⁡mx=sin⁡2mx2\sin mx\cos mx = \frac{\sin 2mx}{2}, whose integral over [−π,π][-\pi, \pi] is 00. The value π\pi belongs to the other two families: ∫−ππsin⁡2mx dx=∫−ππcos⁡2mx dx=π\int_{-\pi}^{\pi} \sin^2 mx\,dx = \int_{-\pi}^{\pi} \cos^2 mx\,dx = \pi for m≥1m \ge 1, by the half-angle formula. The complete table, 00 for every mixed product and π\pi only for the square of one function, is what Exercise 10 uses.

Exercise 9: The Mercator map: where the integral of the secant comes from

On a Mercator map of a globe of radius RR, the circle of latitude φ\varphi (in radians, 0≤φ<π20 \le \varphi < \frac{\pi}{2}) has true length 2πRcos⁡φ2\pi R\cos\varphi but is drawn with the width 2πR2\pi R of the equator: the map stretches it horizontally by the factor sec⁡φ\sec\varphi. To keep angles true, Mercator stretched the map VERTICALLY by the same factor at every latitude, which places the parallel of latitude φ\varphi at the height y(φ)=R∫0φsec⁡t dty(\varphi) = R\int_0^\varphi \sec t\,dt above the equator.

The figure compares the parallels every 15∘15^\circ on the globe (spaced RφR\varphi, evenly) and on the map.

globe: Rφmap: y(φ)15°15°30°30°45°45°60°60°75°75°0°0°
  • a) Using the Fundamental Theorem, compute y′(φ)y'(\varphi) and explain why the parallels spread out on the map, as in the figure.
  • b) Compute y(φ)y(\varphi) in closed form, and explain why no absolute value is needed.
  • c) Give the exact heights of the parallels of 45∘45^\circ and 60∘60^\circ. On the globe, 60∘60^\circ is 43\frac{4}{3} as far from the equator as 45∘45^\circ. Show, without a calculator, that on the map the ratio is larger than 43\frac{4}{3}.
  • d) Mercator's navigators used tables of ln⁡tan⁡(π4+φ2)\ln\tan\left(\frac{\pi}{4} + \frac{\varphi}{2}\right). Show that sec⁡φ+tan⁡φ=tan⁡(π4+φ2)\sec\varphi + \tan\varphi = \tan\left(\frac{\pi}{4} + \frac{\varphi}{2}\right).
  • e) A wall map is cut at the height y=Rln⁡3y = R\ln 3. Find the exact latitude of its top edge. Then explain why no Mercator map, however tall, can show the pole.
Show the solution

Answers

  • a) y′(φ)=Rsec⁡φy'(\varphi) = R\sec\varphi, which is at least RR and grows with φ\varphi.
  • b) y(φ)=Rln⁡(sec⁡φ+tan⁡φ)y(\varphi) = R\ln(\sec\varphi + \tan\varphi)
  • c) Rln⁡(1+2)R\ln(1 + \sqrt 2) and Rln⁡(2+3)R\ln(2 + \sqrt 3); ratio above 43\frac{4}{3} since (2+3)3=26+153>17+122=(1+2)4(2 + \sqrt 3)^3 = 26 + 15\sqrt 3 > 17 + 12\sqrt 2 = (1 + \sqrt 2)^4.
  • d) Both sides equal 1+sin⁡φcos⁡φ\frac{1 + \sin\varphi}{\cos\varphi}.
  • e) φ=arcsin⁡45=arctan⁡43\varphi = \arcsin\frac{4}{5} = \arctan\frac{4}{3}; sec⁡φ+tan⁡φ→∞\sec\varphi + \tan\varphi \to \infty as φ→π2−\varphi \to \frac{\pi}{2}^-.

a) y(φ)=R∫0φsec⁡t dty(\varphi) = R\int_0^\varphi \sec t\,dt with sec⁡\sec continuous on [0,π2)[0, \frac{\pi}{2}), so by the first part of the Fundamental Theorem y′(φ)=Rsec⁡φy'(\varphi) = R\sec\varphi. This is exactly the vertical stretch Mercator wanted, equal to the horizontal one. Since sec⁡φ≥1\sec\varphi \ge 1, the map rises at least as fast as the globe (ddφ(Rφ)=R\frac{d}{d\varphi}(R\varphi) = R), and since sec⁡φ\sec\varphi INCREASES on [0,π2)[0, \frac{\pi}{2}), each band of 15∘15^\circ is drawn taller than the one below it: that is the spreading visible on the figure, slight near the equator (sec⁡0=1\sec 0 = 1) and dramatic above 60∘60^\circ (sec⁡π3=2\sec\frac{\pi}{3} = 2).

b) y(φ)=R[ln⁡∣sec⁡t+tan⁡t∣]0φ=Rln⁡∣sec⁡φ+tan⁡φ∣−Rln⁡∣1+0∣=Rln⁡∣sec⁡φ+tan⁡φ∣y(\varphi) = R\left[\ln|\sec t + \tan t|\right]_0^\varphi = R\ln|\sec\varphi + \tan\varphi| - R\ln|1 + 0| = R\ln|\sec\varphi + \tan\varphi|. On [0,π2)[0, \frac{\pi}{2}), both sec⁡φ≥1\sec\varphi \ge 1 and tan⁡φ≥0\tan\varphi \ge 0, so sec⁡φ+tan⁡φ≥1>0\sec\varphi + \tan\varphi \ge 1 > 0 and the absolute value can be dropped: y(φ)=Rln⁡(sec⁡φ+tan⁡φ)y(\varphi) = R\ln(\sec\varphi + \tan\varphi). Dropping it WITHOUT that sentence costs the justification mark; it is the kind of line a marker looks for.

c) sec⁡π4=2\sec\frac{\pi}{4} = \sqrt 2 and tan⁡π4=1\tan\frac{\pi}{4} = 1, so y(π4)=Rln⁡(1+2)y(\frac{\pi}{4}) = R\ln(1 + \sqrt 2). sec⁡π3=2\sec\frac{\pi}{3} = 2 and tan⁡π3=3\tan\frac{\pi}{3} = \sqrt 3, so y(π3)=Rln⁡(2+3)y(\frac{\pi}{3}) = R\ln(2 + \sqrt 3). To compare the ratio with 43\frac{4}{3} without decimals, compare 3ln⁡(2+3)3\ln(2 + \sqrt 3) with 4ln⁡(1+2)4\ln(1 + \sqrt 2), that is (2+3)3(2 + \sqrt 3)^3 with (1+2)4(1 + \sqrt 2)^4, since ln⁡\ln is increasing. First (2+3)2=7+43(2 + \sqrt 3)^2 = 7 + 4\sqrt 3, then (7+43)(2+3)=14+73+83+12=26+153(7 + 4\sqrt 3)(2 + \sqrt 3) = 14 + 7\sqrt 3 + 8\sqrt 3 + 12 = 26 + 15\sqrt 3. Next (1+2)2=3+22(1 + \sqrt 2)^2 = 3 + 2\sqrt 2, then (3+22)2=9+122+8=17+122(3 + 2\sqrt 2)^2 = 9 + 12\sqrt 2 + 8 = 17 + 12\sqrt 2. Since 26>1726 > 17 and 153>12215\sqrt 3 > 12\sqrt 2, the first is larger, so y(π/3)y(π/4)>43\frac{y(\pi/3)}{y(\pi/4)} > \frac{4}{3}: the map exaggerates the distance between the two parallels, which is the price of true angles.

d) Write sec⁡φ+tan⁡φ=1+sin⁡φcos⁡φ\sec\varphi + \tan\varphi = \frac{1 + \sin\varphi}{\cos\varphi} and put θ=φ2\theta = \frac{\varphi}{2}. The double-angle formulas give 1+sin⁡φ=cos⁡2θ+sin⁡2θ+2sin⁡θcos⁡θ=(cos⁡θ+sin⁡θ)21 + \sin\varphi = \cos^2\theta + \sin^2\theta + 2\sin\theta\cos\theta = (\cos\theta + \sin\theta)^2 and cos⁡φ=cos⁡2θ−sin⁡2θ=(cos⁡θ−sin⁡θ)(cos⁡θ+sin⁡θ)\cos\varphi = \cos^2\theta - \sin^2\theta = (\cos\theta - \sin\theta)(\cos\theta + \sin\theta). Dividing, sec⁡φ+tan⁡φ=cos⁡θ+sin⁡θcos⁡θ−sin⁡θ=1+tan⁡θ1−tan⁡θ\sec\varphi + \tan\varphi = \frac{\cos\theta + \sin\theta}{\cos\theta - \sin\theta} = \frac{1 + \tan\theta}{1 - \tan\theta}, after dividing top and bottom by cos⁡θ>0\cos\theta > 0. This is the addition formula tan⁡(π4+θ)=tan⁡π4+tan⁡θ1−tan⁡π4tan⁡θ\tan\left(\frac{\pi}{4} + \theta\right) = \frac{\tan\frac{\pi}{4} + \tan\theta}{1 - \tan\frac{\pi}{4}\tan\theta} with tan⁡π4=1\tan\frac{\pi}{4} = 1. So y(φ)=Rln⁡tan⁡(π4+φ2)y(\varphi) = R\ln\tan\left(\frac{\pi}{4} + \frac{\varphi}{2}\right): the same antiderivative in another form, the one the navigators tabulated.

e) Solve ln⁡(sec⁡φ+tan⁡φ)=ln⁡3\ln(\sec\varphi + \tan\varphi) = \ln 3, that is 1+sin⁡φcos⁡φ=3\frac{1 + \sin\varphi}{\cos\varphi} = 3. With s=sin⁡φs = \sin\varphi and cos⁡φ=1−s2>0\cos\varphi = \sqrt{1 - s^2} > 0 on this range: 1+s=31−s21 + s = 3\sqrt{1 - s^2}; squaring, (1+s)2=9(1−s)(1+s)(1 + s)^2 = 9(1 - s)(1 + s), and dividing by 1+s>01 + s > 0, 1+s=9−9s1 + s = 9 - 9s, so s=45s = \frac{4}{5}. Check, since squaring can add a root: cos⁡φ=35\cos\varphi = \frac{3}{5}, sec⁡φ+tan⁡φ=53+43=3\sec\varphi + \tan\varphi = \frac{5}{3} + \frac{4}{3} = 3. The top edge is at φ=arcsin⁡45=arctan⁡43\varphi = \arcsin\frac{4}{5} = \arctan\frac{4}{3}, a little above 53∘53^\circ. For the pole: as φ→π2−\varphi \to \frac{\pi}{2}^-, sec⁡φ→+∞\sec\varphi \to +\infty and tan⁡φ→+∞\tan\varphi \to +\infty, so y(φ)=Rln⁡(sec⁡φ+tan⁡φ)→+∞y(\varphi) = R\ln(\sec\varphi + \tan\varphi) \to +\infty. Every latitude below π2\frac{\pi}{2} has a finite height, but the heights are unbounded: no finite sheet reaches the pole.

Exercise 10: Two tones on one wire: the energy of a signal and its hidden coefficients

An electrical signal carries two tones, f(t)=3sin⁡t+2sin⁡2tf(t) = 3\sin t + 2\sin 2t (volts, with tt scaled so that one cycle is [−π,π][-\pi, \pi]). Up to a constant factor, its energy over one cycle is E=∫−ππf(t)2 dtE = \int_{-\pi}^{\pi} f(t)^2\,dt. The figure shows f(t)2f(t)^2, whose area is EE, and a dashed line at height 132\frac{13}{2}.

This is a typical final exam problem: the computations are short, provided the right identity is chosen at each step.

-ππ1020y = f(t)²13/2t
  • a) Show that ∫−ππsin⁡2nt dt=π\int_{-\pi}^{\pi} \sin^2 nt\,dt = \pi for every positive integer nn.
  • b) Show that ∫−ππsin⁡mtsin⁡nt dt=0\int_{-\pi}^{\pi} \sin mt\sin nt\,dt = 0 for positive integers m≠nm \neq n.
  • c) Deduce EE without expanding anything but the square, and interpret the dashed line of the figure.
  • d) The signal h(t)=sin⁡3th(t) = \sin^3 t is known to be of the form asin⁡t+csin⁡3ta\sin t + c\sin 3t. Find aa and cc by multiplying by sin⁡t\sin t, then by sin⁡3t\sin 3t, and integrating over [−π,π][-\pi, \pi].
  • e) Use d) to evaluate ∫0πsin⁡3t dt\int_0^\pi \sin^3 t\,dt and the energy ∫−ππsin⁡6t dt\int_{-\pi}^{\pi} \sin^6 t\,dt of hh, and compare with the direct routes.
Show the solution

Answers

  • a) ∫−ππ1−cos⁡2nt2 dt=π\int_{-\pi}^{\pi} \frac{1 - \cos 2nt}{2}\,dt = \pi
  • b) 12∫−ππ[cos⁡(m−n)t−cos⁡(m+n)t]dt=0\frac{1}{2}\int_{-\pi}^{\pi}\left[\cos(m - n)t - \cos(m + n)t\right]dt = 0
  • c) E=9π+4π=13πE = 9\pi + 4\pi = 13\pi; the rectangle of height 132\frac{13}{2} on [−π,π][-\pi, \pi] has the same area.
  • d) a=34a = \frac{3}{4}, c=−14c = -\frac{1}{4}: sin⁡3t=34sin⁡t−14sin⁡3t\sin^3 t = \frac{3}{4}\sin t - \frac{1}{4}\sin 3t.
  • e) ∫0πsin⁡3t dt=43\int_0^\pi \sin^3 t\,dt = \frac{4}{3} and ∫−ππsin⁡6t dt=5π8\int_{-\pi}^{\pi} \sin^6 t\,dt = \frac{5\pi}{8}.

a) Even power, so lower it: sin⁡2nt=1−cos⁡2nt2\sin^2 nt = \frac{1 - \cos 2nt}{2}, and ∫−ππsin⁡2nt dt=[t2−sin⁡2nt4n]−ππ=π−0=π\int_{-\pi}^{\pi} \sin^2 nt\,dt = \left[\frac{t}{2} - \frac{\sin 2nt}{4n}\right]_{-\pi}^{\pi} = \pi - 0 = \pi, because sin⁡(±2nπ)=0\sin(\pm 2n\pi) = 0 for every integer nn. The value does not depend on nn: over a whole number of periods, sin⁡2\sin^2 averages 12\frac{1}{2} whatever the frequency.

b) Product to sum: sin⁡mtsin⁡nt=12[cos⁡(m−n)t−cos⁡(m+n)t]\sin mt\sin nt = \frac{1}{2}\left[\cos(m - n)t - \cos(m + n)t\right]. Since m≠nm \neq n, both m−nm - n and m+nm + n are NON-ZERO integers, and for a non-zero integer kk, ∫−ππcos⁡kt dt=[sin⁡ktk]−ππ=0\int_{-\pi}^{\pi} \cos kt\,dt = \left[\frac{\sin kt}{k}\right]_{-\pi}^{\pi} = 0. Hence ∫−ππsin⁡mtsin⁡nt dt=0\int_{-\pi}^{\pi} \sin mt\sin nt\,dt = 0. The hypothesis m≠nm \neq n is used exactly once: for m=nm = n, the term cos⁡0=1\cos 0 = 1 appears and integrates to 2π2\pi, giving back part a).

c) f(t)2=9sin⁡2t+12sin⁡tsin⁡2t+4sin⁡22tf(t)^2 = 9\sin^2 t + 12\sin t\sin 2t + 4\sin^2 2t. By a), the first and last terms integrate to 9π9\pi and 4π4\pi; by b), the cross term integrates to 00. So E=13πE = 13\pi: the energies of the two tones simply ADD, and EE is the energy of the first tone (9π9\pi) plus that of the second (4π4\pi). On the figure, the area under f(t)2f(t)^2 equals that of the rectangle of height 132\frac{13}{2} on an interval of length 2π2\pi, since 132⋅2π=13π\frac{13}{2}\cdot 2\pi = 13\pi: the bumps above the dashed line exactly fill the gaps below it. Without a) and b), the same result needs three antiderivatives, one of them a product to sum, and three evaluations at ±π\pm\pi.

d) Multiply sin⁡3t=asin⁡t+csin⁡3t\sin^3 t = a\sin t + c\sin 3t by sin⁡t\sin t and integrate over [−π,π][-\pi, \pi]: by a) and b), ∫−ππsin⁡4t dt=aπ+0\int_{-\pi}^{\pi} \sin^4 t\,dt = a\pi + 0. The left side lowers the degree twice: sin⁡4t=38−cos⁡2t2+cos⁡4t8\sin^4 t = \frac{3}{8} - \frac{\cos 2t}{2} + \frac{\cos 4t}{8}, whose integral over [−π,π][-\pi, \pi] is 38⋅2π=3π4\frac{3}{8}\cdot 2\pi = \frac{3\pi}{4}. So a=34a = \frac{3}{4}. Multiply by sin⁡3t\sin 3t instead: ∫−ππsin⁡3tsin⁡3t dt=0+cπ\int_{-\pi}^{\pi} \sin^3 t\sin 3t\,dt = 0 + c\pi. On the left, sin⁡3tsin⁡t=cos⁡2t−cos⁡4t2\sin 3t\sin t = \frac{\cos 2t - \cos 4t}{2} and sin⁡2t=1−cos⁡2t2\sin^2 t = \frac{1 - \cos 2t}{2}, so the integrand is 14(cos⁡2t−cos⁡4t−cos⁡22t+cos⁡2tcos⁡4t)\frac{1}{4}\left(\cos 2t - \cos 4t - \cos^2 2t + \cos 2t\cos 4t\right); over [−π,π][-\pi, \pi] every term gives 00 except −cos⁡22t-\cos^2 2t, which gives −π-\pi. So cπ=−π4c\pi = -\frac{\pi}{4} and c=−14c = -\frac{1}{4}. Check with the triple-angle identity sin⁡3t=3sin⁡t−4sin⁡3t\sin 3t = 3\sin t - 4\sin^3 t: it gives sin⁡3t=3sin⁡t−sin⁡3t4\sin^3 t = \frac{3\sin t - \sin 3t}{4}, the same decomposition.

e) ∫0πsin⁡3t dt=34∫0πsin⁡t dt−14∫0πsin⁡3t dt=34⋅2−14⋅23=32−16=43\int_0^\pi \sin^3 t\,dt = \frac{3}{4}\int_0^\pi \sin t\,dt - \frac{1}{4}\int_0^\pi \sin 3t\,dt = \frac{3}{4}\cdot 2 - \frac{1}{4}\cdot\frac{2}{3} = \frac{3}{2} - \frac{1}{6} = \frac{4}{3}, the value found in Exercise 7 b) by saving a factor. The energy of hh uses c) again: ∫−ππsin⁡6t dt=∫−ππ(34sin⁡t−14sin⁡3t)2dt=916π+116π=10π16=5π8\int_{-\pi}^{\pi} \sin^6 t\,dt = \int_{-\pi}^{\pi}\left(\frac{3}{4}\sin t - \frac{1}{4}\sin 3t\right)^2 dt = \frac{9}{16}\pi + \frac{1}{16}\pi = \frac{10\pi}{16} = \frac{5\pi}{8}, the cross term vanishing by b). The direct route lowers sin⁡6t=(1−cos⁡2t2)3\sin^6 t = \left(\frac{1 - \cos 2t}{2}\right)^3, expands a cube and lowers cos⁡22t\cos^2 2t and cos⁡32t\cos^3 2t in turn, to find the same constant term 516\frac{5}{16} and the same 516⋅2π=5π8\frac{5}{16}\cdot 2\pi = \frac{5\pi}{8}. Both routes are valid; the second is where sign errors live.

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