Pc6 - Integrals giving inverse trigonometric functions

Pc6 - Integrals giving inverse trigonometric functions

Recognise integrals that reverse the derivatives of arcsine and arctangent, including scaled inputs. Pc6 also uses sine and tangent substitutions for related integrals, with careful choices of angle range, transformed limits and square-root signs.

Two shapes to recognise

How can an area under 4−x2\sqrt{4-x^2} produce a multiple of π\pi? The graph is a circle's upper half, but the same answer can be found algebraically by turning 4−x24-x^2 into a squared cosine. First, recognise the simpler inverse-trigonometric integrals that make that method work.

You already know

d(arcsin⁡u)/dx=u′/1−u2d(\arcsin u)/dx=u'/\sqrt{1-u^2} and d(arctan⁡u)/dx=u′/(1+u2)d(\arctan u)/dx=u'/(1+u^2). The chain rule means that a scaled input needs a compensating constant when these derivatives are reversed.

For example, differentiating arcsin⁡(x/3)\arcsin(x/3) gives 1/9−x21/\sqrt{9-x^2}. Differentiating arctan⁡(x/3)\arctan(x/3) gives 3/(9+x2)3/(9+x^2), so its coefficient must be divided by 33 to integrate 1/(9+x2)1/(9+x^2).

Standard inverse-trigonometric integrals

For a>0a>0,

∫dxa2−x2=arcsin⁡xa+C∣x∣<a∫dxa2+x2=1aarctan⁡xa+Cx∈R\begin{aligned} \int\frac{dx}{\sqrt{a^2-x^2}}&=\arcsin\frac xa+C && |x|<a \\ \int\frac{dx}{a^2+x^2}&=\frac1a\arctan\frac xa+C && x\in\mathbb R \end{aligned}

In the formula booklet.

The square root distinguishes the two shapes. A difference under a square root suggests arcsine; a positive sum of squares in the denominator suggests arctangent. A denominator a2−x2a^2-x^2 without a root is a different integral, generally handled by partial fractions.

Worked example 1: recognising both shapes

Question. Find

∫(29−x2+39+x2) dx\int\left(\frac2{\sqrt{9-x^2}}+\frac3{9+x^2}\right)\,dx

Plan. Integrate the two terms separately, using a=3a=3 in both standard formulae.

∫29−x2 dx=2arcsin⁡x3arcsine shape∫39+x2 dx=3(13arctan⁡x3)arctangent shape=arctan⁡x3\begin{aligned} \int\frac2{\sqrt{9-x^2}}\,dx&=2\arcsin\frac x3 && \text{arcsine shape} \\ \int\frac3{9+x^2}\,dx&=3\left(\frac13\arctan\frac x3\right) && \text{arctangent shape} \\ &=\arctan\frac x3 \end{aligned}

Why this step? The arctangent formula has an outside factor 1/a1/a; the arcsine formula does not. They look similar but scale differently.

Answer. 2arcsin⁡(x/3)+arctan⁡(x/3)+C2\arcsin(x/3)+\arctan(x/3)+C, for ∣x∣<3|x|<3.

Check. Differentiating gives 2/9−x2+3/(9+x2)2/\sqrt{9-x^2}+3/(9+x^2), the original integrand.

Change only the input from xx to 2x2x throughout the two kernels. The substitution u=2xu=2x contributes an extra factor 1/21/2.

Worked example 2: a scaled variable

Question. Find

∫(29−4x2+39+4x2) dx\int\left(\frac2{\sqrt{9-4x^2}}+\frac3{9+4x^2}\right)\,dx

Plan. Put u=2xu=2x, so dx=du/2dx=du/2, then use the previous recognition rules.

I=12∫(29−u2+39+u2) duchange variable=12(2arcsin⁡u3+arctan⁡u3)+Cstandard forms=arcsin⁡2x3+12arctan⁡2x3+Creturn to x\begin{aligned} I&=\frac12\int\left(\frac2{\sqrt{9-u^2}}+\frac3{9+u^2}\right)\,du && \text{change variable} \\ &=\frac12\left(2\arcsin\frac u3+\arctan\frac u3\right)+C && \text{standard forms} \\ &=\arcsin\frac{2x}3+\frac12\arctan\frac{2x}3+C && \text{return to }x \end{aligned}

Why this step? Replacing xx by 2x2x in an antiderivative would double its derivative. The factor 1/21/2 compensates for that chain factor.

Answer. arcsin⁡(2x/3)+12arctan⁡(2x/3)+C\arcsin(2x/3)+\frac12\arctan(2x/3)+C, for ∣x∣<3/2|x|<3/2.

Check. At x=0x=0, the integrand is 2/3+1/3=12/3+1/3=1; the derivative of the answer is also 2/3+1/3=12/3+1/3=1.

Completing the square can reveal the same forms after a translation. For example, x2−2x+5=(x−1)2+4x^2-2x+5=(x-1)^2+4, so its reciprocal integrates to 12arctan⁡((x−1)/2)+C\frac12\arctan((x-1)/2)+C. The standard formula is supplied; spotting and making the translation is your job.

The same idea applies to a quadratic under a square root. In this example the completed square reveals both the translation and the appropriate radius.

Worked example 3: a hidden difference of squares

Question. Evaluate ∫12dx3+2x−x2\int_1^2\dfrac{dx}{\sqrt{3+2x-x^2}} exactly.

Plan. Complete the square, put u=x−1u=x-1, and use the standard arcsine integral with transformed limits.

3+2x−x2=4−(x−1)2complete the squareu=x−1,du=dxtranslate the inputx=1,2 ⟹ u=0,1change both limitsI=∫01du4−u2arcsine shape=[arcsin⁡u2]01=π6\begin{aligned} 3+2x-x^2&=4-(x-1)^2 && \text{complete the square} \\ u&=x-1,\quad du=dx && \text{translate the input} \\ x=1,2&\ \Longrightarrow\ u=0,1 && \text{change both limits} \\ I&=\int_0^1\frac{du}{\sqrt{4-u^2}} && \text{arcsine shape} \\ &=\left[\arcsin\frac u2\right]_0^1=\frac\pi6 \end{aligned}

Why this step? The negative coefficient of x2x^2 signals a difference of squares after completing the square; it does not prevent a real-valued square root on the given interval.

Answer. π/6\pi/6.

Check. The integrand increases from 1/21/2 to 1/31/\sqrt3 over an interval of width 11, so its integral lies between those numbers; π/6\pi/6 does.

After recognising the completed square, the integration is the same standard form as before. The extra work is algebra and careful translation of the endpoints.

Watch out

Wrong: ∫dx/(9+x2)=arctan⁡(x/3)+C\int dx/(9+x^2)=\arctan(x/3)+C.

Right: 13arctan⁡(x/3)+C\frac13\arctan(x/3)+C. Differentiate a proposed answer to catch a missing scale factor immediately.

The next pair changes the variable scale again, while keeping the two standard shapes.

Sine substitution removes a difference of squares

When a2−x2\sqrt{a^2-x^2} appears in a more complicated integrand, put x=asin⁡θx=a\sin\theta, with −π/2≤θ≤π/2-\pi/2\le\theta\le\pi/2. Then

dx=acos⁡θ dθ,a2−x2=a1−sin⁡2θ=acos⁡θdx=a\cos\theta\,d\theta,\qquad \sqrt{a^2-x^2}=a\sqrt{1-\sin^2\theta}=a\cos\theta

The last equality uses a>0a>0 and cos⁡θ≥0\cos\theta\ge0 on the chosen range. Without that restriction, cos⁡2θ=∣cos⁡θ∣\sqrt{\cos^2\theta}=|\cos\theta|, not automatically cos⁡θ\cos\theta.

[DIAGRAM: asset_name: A triangle for the sine substitution; asset_slug: h645_b040_sine_triangle; caption: Measuring theta from the vertical gives x equals two sin theta and the square root equals two cos theta; description: The first-quadrant part of the circle x squared plus y squared equals four contains the point one comma square root three. A right triangle joins the origin, the point and its projection on the x-axis. Its hypotenuse is two, horizontal side is x equals one, and vertical side is square root of four minus x squared equals square root three. Theta is measured clockwise from the positive vertical axis to the radius and is pi over six. A side panel connects the triangle with x equals two sin theta and the square root equals two cos theta, with non-negative cosine on the principal sine interval.]
Measuring theta from the vertical gives x equals two sin theta and the square root equals two cos theta

The angle in this triangle is measured from the vertical, so the horizontal coordinate is the opposite side. That makes it a picture of the sine substitution rather than the usual cosine-coordinate parametrisation.

Sine substitution

For a>0a>0 and −a≤x≤a-a\le x\le a, use

x=asin⁡θ,−π2≤θ≤π2x=a\sin\theta,\qquad -\frac\pi2\le\theta\le\frac\pi2

so that a2−x2=acos⁡θ\sqrt{a^2-x^2}=a\cos\theta. Convert dxdx, the entire integrand and any limits consistently.

Not in the formula booklet: learn it.

The substitution is useful because 1−sin⁡2θ=cos⁡2θ1-\sin^2\theta=\cos^2\theta removes the square root. The remaining squared cosine can be integrated using the booklet's double-angle identities.

Continue this lesson.

You’re previewing NovaLearn without an account. Create a free account to read the rest.

Create free account