106 Chapter 1 | Integration

1.7 | Integrals Resulting in Inverse Trigonometric

Functions
Learning Objectives
1.7.1 Integrate functions resulting in inverse trigonometric functions

In this section we focus on integrals that result in inverse trigonometric functions. We have worked with these functions
before. Recall from Functions and Graphs (http://cnx.org/content/m53472/latest/) that trigonometric functions
are not one-to-one unless the domains are restricted. When working with inverses of trigonometric functions, we always
need to be careful to take these restrictions into account. Also in Derivatives (http://cnx.org/content/m53494/latest/)
, we developed formulas for derivatives of inverse trigonometric functions. The formulas developed there give rise directly
to integration formulas involving inverse trigonometric functions.

Integrals that Result in Inverse Sine Functions

Let us begin this last section of the chapter with the three formulas. Along with these formulas, we use substitution to
evaluate the integrals. We prove the formula for the inverse sine integral.

Rule: Integration Formulas Resulting in Inverse Trigonometric Functions

The following integration formulas yield inverse trigonometric functions:
1.

⌠ du = sin −1 u + C (1.23)
⌡ a2 − u2
a

2.

⌠ du = 1 tan −1 u + C (1.24)
⌡a 2 + u 2 a a
3.

⌠ du =1 −1 u
(1.25)
a sec a + C
⌡u u 2 − a 2

Proof
Let y = sin −1 ax . Then asin y = x. Now let’s use implicit differentiation. We obtain

d ⎛⎝asin y⎞⎠ = d (x)

dx dx
dy
acos y = 1
dx

dy 1 .
= acos y
dx

For − π ≤ y ≤ π , cos y ≥ 0. Thus, applying the Pythagorean identity sin 2 y + cos 2 y = 1, we have
2 2
cos y = 1 = sin 2 y. This gives

This OpenStax book is available for free at http://cnx.org/content/col11965/1.2

Chapter 1 | Integration 107

1 1
acos y =
a 1 − sin 2 y

= 1
a − a 2 sin 2 y
2

= 1 .
a − x2
2

Then for −a ≤ x ≤ a, we have

⌠ 1 du = sin −1⎛⎝u ⎞⎠ + C.
⌡ a2 − u2
a

Example 1.49

Evaluating a Definite Integral Using Inverse Trigonometric Functions

1
Evaluate the definite integral ⌠ dx .
⌡0 1 − x 2

Solution
We can go directly to the formula for the antiderivative in the rule on integration formulas resulting in inverse
trigonometric functions, and then evaluate the definite integral. We have

1
⌠ dx 1

⌡0 1 − x 2
= sin −1 x
0 |
= sin −1 1 − sin −1 0
= π −0
2
= π.
2

Find the antiderivative of ⌠

1.40 dx .
⌡ 1 − 16x 2

Example 1.50

Finding an Antiderivative Involving an Inverse Trigonometric Function

Evaluate the integral ⌠ dx .

⌡ 4 − 9x 2

Solution
108 Chapter 1 | Integration

Substitute u = 3x. Then du = 3dx and we have

⌠ dx = 1 ⌠ du .
⌡ 4 − 9x 2 3 ⌡ 4 − u 2
Applying the formula with a = 2, we obtain

⌠ dx = 1 ⌠ du
⌡ 4 − 9x 2 3⌡ 4 − u2

⎛ ⎞
= 1 sin −1 ⎝u ⎠ + C
3 2
1 −1 ⎛3x ⎞
= sin ⎝ ⎠ + C.
3 2

Find the indefinite integral using an inverse trigonometric function and substitution for ⌠ dx .
1.41
⌡ 9 − x2

Example 1.51

Evaluating a Definite Integral

3/2
Evaluate the definite integral ⌠ du .
⌡0 1 − u2

Solution
The format of the problem matches the inverse sine formula. Thus,

3/2
⌠ 3/2

⌡0
du
1 − u2
= sin −1 u
0 |
⎡ ⎛ ⎞⎤
= ⎣sin −1 ⎝ 3 ⎠⎦ − ⎡⎣sin −1 (0)⎤⎦
2
π
= .
3

Integrals Resulting in Other Inverse Trigonometric Functions

There are six inverse trigonometric functions. However, only three integration formulas are noted in the rule on integration
formulas resulting in inverse trigonometric functions because the remaining three are negative versions of the ones we use.
The only difference is whether the integrand is positive or negative. Rather than memorizing three more formulas, if the
integrand is negative, simply factor out −1 and evaluate the integral using one of the formulas already provided. To close
this section, we examine one more formula: the integral resulting in the inverse tangent function.

This OpenStax book is available for free at http://cnx.org/content/col11965/1.2

Chapter 1 | Integration 109

Example 1.52

Finding an Antiderivative Involving the Inverse Tangent Function

Find an antiderivative of ⌠ 1 dx.

⌡1 + 4x 2

Solution
Comparing this problem with the formulas stated in the rule on integration formulas resulting in inverse
trigonometric functions, the integrand looks similar to the formula for tan −1 u + C. So we use substitution,
letting u = 2x, then du = 2dx and 1/2du = dx. Then, we have

1 ⌠ 1 du = 1 tan −1 u + C = 1 tan −1 (2x) + C.

2 ⌡1 + u 2 2 2

Use substitution to find the antiderivative of ⌠ dx 2 .

1.42
⌡25 + 4x

Example 1.53

Applying the Integration Formulas

Find the antiderivative of ⌠ 1 dx.

⌡9 + x 2

Solution
Apply the formula with a = 3. Then,

⌠ dx = 1 tan −1 ⎛ x ⎞ + C.
⎝3 ⎠
⌡9 + x 2 3

Find the antiderivative of ⌠ dx 2 .

1.43
⌡16 + x

Example 1.54

Evaluating a Definite Integral

3
Evaluate the definite integral ⌠ dx .
⌡ 3/3
1 + x2
110 Chapter 1 | Integration

Solution
Use the formula for the inverse tangent. We have

3
⌠
3

⌡ 3/3
dx
1+x 2
= tan −1 x
3/3
|
⎡ ⎛ ⎞⎤
= ⎡⎣tan −1 ⎛⎝ 3⎞⎠⎤⎦ − ⎣tan −1 ⎝ 3 ⎠⎦
3
= .π
6

1.44 2
Evaluate the definite integral ⌠ dx .
⌡0 4 + x 2

This OpenStax book is available for free at http://cnx.org/content/col11965/1.2

Chapter 1 | Integration 111

1.7 EXERCISES
In the following exercises, evaluate each integral in terms 403. Explain the relationship

−cos −1 t + C = ⌠ dt = sin −1 t + C. Is it true, in

of an inverse trigonometric function.

3/2 ⌡ 1 − t2
391. ⌠ dx general, that cos −1 t = −sin −1 t ?
⌡0 1 − x2
404. Explain the relationship

sec −1 t + C = ⌠ dt
1/2
⌠ = −csc −1 t + C. Is it true, in
⌡|t| t − 1
392. dx
⌡−1/2 1 − x 2
2

general, that sec −1 t = −csc −1 t ?

1
393. ⌠ dx 405. Explain what is wrong with the following integral:
⌡ 3 1 + x2 2
⌠ dt .
⌡1 1 − t 2
3
394. ⌠ dx
⌡1/ 3 1 + x 2 406. Explain what is wrong with the following integral:
1
⌠ dt .
2 ⌡−1 |t| t 2 − 1
⌠ dx
⌡1 |x| x 2 − 1
395.

In the following exercises, solve for the antiderivative ∫f

2/ 3 of f with C = 0,
⌠
then use a calculator to graph f and
dx the antiderivative over the given interval ⎡⎣a, b⎤⎦. Identify a
⌡1 |x| x 2 − 1
396.
value of C such that adding C to the antiderivative recovers
x
In the following exercises, find each indefinite integral, the definite integral F(x) = ∫ f (t)dt.
a
using appropriate substitutions.

⌠ dx 407. [T] ⌠ 1 dx over [−3, 3]

397.
⌡ 9 − x2 ⌡ 9 − x2

⌠ dx 408. [T] ⌠ 9 dx over ⎡⎣−6, 6⎤⎦

398. ⌡9 + x 2
⌡ 1 − 16x 2
409. [T] ⌠ cos x2 dx over ⎡⎣−6, 6⎤⎦
399. ⌠ dx 2 ⌡4 + sin x
⌡9 + x

410. [T] ⌠ e x dx over ⎡⎣−6, 6⎤⎦

400. ⌠ dx ⌡1 + e 2x
⌡25 + 16x 2
In the following exercises, compute the antiderivative using
⌠ dx appropriate substitutions.
⌡|x| x 2 − 9
401.

411. ⌠sin −1 tdt

⌡ 1 − t2
⌠ dx
⌡|x| 4x 2 − 16
402.

412. ⌠ dt
⌡sin −1 t 1 − t 2
112 Chapter 1 | Integration

413. ⌠ ⌠ dt
−1
tan (2t)
dt
⌡ 1 + 4t 2
⌡t⎝1 + ln t⎠
426. ⎛ 2 ⎞

⌠ttan ⎝t
−1 ⎛ 2⎞
⌠cos (2t) dt
⎠ −1
dt
⌡ 1+t
414. 4 427.
⌡ 1 − 4t 2

⌠sec ⎝2 ⎠ dt
−1 ⎛ t ⎞
⌠e cos ⎝e ⎠dt
t −1 ⎛ t⎞

⌡|t| t 2 − 4
415.
⌡ 1 − e 2t
428.

⌠tsec ⎝t ⎠dt
−1 ⎛ 2⎞ In the following exercises, compute each definite integral.

⌡t 2 t 4 − 1
416.

⌠
1/2
tan⎛⎝sin −1 t⎞⎠
dt
⌡0
429.
In the following exercises, use a calculator to graph the 1 − t2
antiderivative ∫f with C = 0 over the given interval

⌠ tan⎝cos t⎠dt
⎡ ⎤
1/2 ⎛ −1 ⎞
⎣a, b . Approximate a value of C, if possible, such that
⎦

⌡1/4 1 − t 2
430.
adding C to the antiderivative gives the same value as the
x
definite integral F(x) = ∫ f (t)dt.
a

⌠
1/2
sin⎛⎝tan −1 t⎞⎠
⌠ 1 dx over 2, 6
dt
⌡0
431.
417. [T] ⎡ ⎤ 1 + t2
⌡x x 2 − 4
⎣ ⎦

⌠
1/2
418. [T] ⌠ 1 dx over ⎡⎣0, 6⎤⎦ cos⎛⎝tan −1 t⎞⎠
⌡(2x + 2) x dt
⌡0
432.
1 + t2

419. [T] ⌠
(sin x + x cos x)
dx over ⎡⎣−6, 6⎤⎦
⌡ 1 + x sin x
A
compute I(A) = ⌠
2 2
433. For A > 0, dt and
⌡−A 1 + t 2
420. [T] ⌠ 2e −2x dx over [0, 2] 1
⌡ 1 − e −4x
evaluate a lim I(A), the area under the graph of
→∞ 1 + t2
on [−∞, ∞].
421. [T] ⌠ 1 over [0, 2]
⌡x + xln 2 x B
434. For 1 < B < ∞, compute I(B) = ⌠ dt and
⌠ sin x over [−1, 1]
−1 ⌡1 t t 2 − 1
422. [T]
⌡ 1 − x2 evaluate
B→∞
lim I(B), the area under the graph of

In the following exercises, compute each integral using

1 over [1, ∞).
appropriate substitutions. t t2 − 1

423. ⌠ e x dt 435. Use the substitution u = 2 cot x and the identity

⌡ 1 − e 2t 1 + cot 2 x = csc 2 x to evaluate ⌠ dx 2 . (Hint:
⌡1 + cos x
424. ⌠ e t dt Multiply the top and bottom of the integrand by csc 2 x.)
⌡1 + e 2t

425. ⌠ dt
⌡t 1 − ln 2 t

This OpenStax book is available for free at http://cnx.org/content/col11965/1.2

Chapter 1 | Integration 113

436. [T] Approximate the points at which the graphs of

−3/2
f (x) = 2x 2 − 1 and g(x) = ⎛⎝1 + 4x 2⎞⎠ intersect, and
approximate the area between their graphs accurate to three
decimal places.

437. 47. [T] Approximate the points at which the graphs

of f (x) = x 2 − 1 and f (x) = x 2 − 1 intersect, and
approximate the area between their graphs accurate to three
decimal places.

438. Use the following graph to prove that

x
⌠ 1 − t 2dt = 1 x 1 − x 2 + 1 sin −1 x.
⌡0 2 2