プリンキピア

第5章積分

5.7 Integrals Resulting in Inverse Trigonometric Functions5.7 逆三角関数になる積分

Learning Objectives学習目標

  • 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 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, 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.
この章の最後の節を、三つの公式から始めよう。積分の計算には、これらの公式と置換を組み合わせて使う。まず、逆正弦関数になる積分公式を証明する。

Proof証明

Let y=sin−1xa. Then asiny=x. Now let’s use implicit differentiation. We obtain
y=sin−1xa とおくと asiny=x である。陰関数微分を使うと、
ddx(asiny)=ddx(x)acosydydx=1dydx=1acosy.
For −π2≤y≤π2,cosy≥0. Thus, applying the Pythagorean identity sin2y+cos2y=1, we have cosy=1–sin2y. This gives
−π2≤y≤π2,cosy≥0 である。恒等式 sin2y+cos2y=1 を使うと、cosy=1–sin2y となる。したがって、
1acosy=1a1−sin2y=1a2−a2sin2y=1a2−x2.
Then for −a<x<a, and generalizing to u, we have
すると −a<x<a に対して、変数を u と書き直すことで、次の公式が得られる。
∫1a2−u2du=sin−1(ua)+C.
∫1a2−u2du=sin−1(ua)+C
□
□
Example 5.49例題 5.49
Evaluating a Definite Integral Using Inverse Trigonometric Functions逆三角関数を使って定積分を求める
Evaluate the definite integral ∫012dx1−x2.
定積分 ∫012dx1−x2 を求めよ。
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
逆三角関数になる積分公式から原始関数を直接求め、その後、定積分を計算できる。すると、
∫012dx1−x2=sin−1x|012=sin−112−sin−10=π6−0=π6.
Example 5.50例題 5.50
Finding an Antiderivative Involving an Inverse Trigonometric Function逆三角関数を含む原始関数を求める
Evaluate the integral ∫dx4−9x2.
積分 ∫dx4−9x2 を求めよ。
Solution解き方
Substitute u=3x. Then du=3dx and we have
u=3x と置換すると du=3dx なので、
∫dx4−9x2=13∫du4−u2.
∫dx4−9x2=13∫du4−u2
Applying the formula with a=2, we obtain
a=2 として公式を使うと、
∫dx4−9x2=13∫du4−u2=13sin−1(u2)+C=13sin−1(3x2)+C.
Example 5.51例題 5.51
Evaluating a Definite Integral定積分を求める
Evaluate the definite integral ∫03/2du1−u2.
定積分 ∫03/2du1−u2 を求めよ。
Solution解き方
The format of the problem matches the inverse sine formula. Thus,
この問題は逆正弦関数の公式の形に一致する。したがって、
∫03/2du1−u2=sin−1u|03/2=[sin−1(32)]−[sin−1(0)]=π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.
英語のヒント
逆三角関数は六つあるが、ここで挙げた積分公式は三つである。残りの三つは、使っている公式と符号の関係で結び付くためである。被積分関数の前に負号がある場合は、新たに三つの公式を覚えるより、−1を外に出して、すでに示した公式を使えばよい。この節の最後に、逆正接関数になる積分を調べよう。
Example 5.52例題 5.52

Finding an Antiderivative Involving the Inverse Tangent Function逆正接関数を含む原始関数を求める

Evaluate the integral ∫11+4x2dx.
積分 ∫11+4x2dx を求めよ。
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−1u+C. So we use substitution, letting u=2x, then du=2dx and 1/2du=dx. Then, we have
逆三角関数になる積分公式と比較すると、tan−1u+C の公式に似ている。そこで u=2x と置換すると du=2dx、1/2du=dx となる。したがって、
12∫11+u2du=12tan−1u+C=12tan−1(2x)+C.
12∫11+u2du=12tan−1u+C=12tan−1(2x)+C
Example 5.53例題 5.53

Applying the Integration Formulas積分公式を適用する

Evaluate the integral ∫19+x2dx.
積分 ∫19+x2dx を求めよ。
Solution解き方
Apply the formula with a=3. Then,
a=3 として公式を使うと、
∫dx9+x2=13tan−1(x3)+C.
∫dx9+x2=13tan−1(x3)+C
Example 5.54例題 5.54

Evaluating a Definite Integral定積分を求める

Evaluate the definite integral ∫3/33dx1+x2.
定積分 ∫3/33dx1+x2 を求めよ。
Solution解き方
Use the formula for the inverse tangent. We have
逆正接関数の公式を使うと、
∫3/33dx1+x2=tan−1x|3/33=[tan−1(3)]−[tan−1(33)]=π6.

Key Concepts重要な概念

  • Formulas for derivatives of inverse trigonometric functions developed in Derivatives of Exponential and Logarithmic Functions lead directly to integration formulas involving inverse trigonometric functions.
    「指数関数と対数関数の導関数」などで学んだ微分公式から、逆三角関数に関係する積分公式が得られる。
  • Use the formulas listed in the rule on integration formulas resulting in inverse trigonometric functions to match up the correct format and make alterations as necessary to solve the problem.
    逆三角関数になる積分公式の形と照らし合わせ、必要な変形を行って問題を解く。
  • Substitution is often required to put the integrand in the correct form.
    被積分関数を公式に合う形にするには、置換が必要なことが多い。

Key Equations重要な式

Integrals That Produce Inverse Trigonometric Functions
逆三角関数になる積分
∫dua2−u2=sin−1(ua)+C
∫dua2+u2=1atan−1(ua)+C
∫duuu2−a2=1asec−1(ua)+C
Exercises 391–396練習問題 391–396
In the following exercises, evaluate each integral in terms of an inverse trigonometric function.
次の各問では、積分を逆三角関数で表せ。
Exercise 391問題 391
∫03/2dx1−x2
∫03/2dx1−x2
Solution解き方
sin−1x|03/2=π3
sin−1x|03/2=π3
Exercise 392問題 392
∫−1/21/2dx1−x2
∫−1/21/2dx1−x2
Exercise 393問題 393
∫31dx1+x2
∫31dx1+x2
Solution解き方
tan−1x|31=−π12
tan−1x|31=−π12
Exercise 394問題 394
∫1/33dx1+x2
∫1/33dx1+x2
Exercise 395問題 395
∫232dx|x|x2−1
∫232dx|x|x2−1
Solution解き方
sec−1|232=π4-π6=π12
sec−1|232=π4-π6=π12
Exercise 396問題 396
∫22dx|x|x2−1
∫22dx|x|x2−1
Exercises 397–406練習問題 397–406
In the following exercises, find each indefinite integral, using appropriate substitutions.
次の各問では、適切な置換を使って不定積分を求めよ。
Exercise 397問題 397
∫dx9−x2
∫dx9−x2
Solution解き方
sin−1(x3)+C
sin−1(x3)+C
Exercise 398問題 398
∫dx1−16x2
∫dx1−16x2
Exercise 399問題 399
∫dx9+x2
∫dx9+x2
Solution解き方
13tan−1(x3)+C
13tan−1(x3)+C
Exercise 400問題 400
∫dx25+16x2
∫dx25+16x2
Exercise 401問題 401
∫dx|x|x2−9
∫dx|x|x2−9
Solution解き方
13sec−1(x3)+C
13sec−1(x3)+C
Exercise 402問題 402
∫dx|x|4x2−16
∫dx|x|4x2−16
Exercise 403問題 403
Explain the relationship −cos−1t+C=∫dt1−t2=sin−1t+C. Is it true, in general, that cos−1t=−sin−1t?
関係 −cos−1t+C=∫dt1−t2=sin−1t+C を説明せよ。一般に cos−1t=−sin−1t は成り立つか。
Solution解き方
cos(π2−θ)=sinθ. So, sin−1t=π2−cos−1t. They differ by a constant.
cos(π2−θ)=sinθ なので、sin−1t=π2−cos−1t である。二つの原始関数の差は定数となる。
Exercise 404問題 404
Explain the relationship sec−1t+C=∫dt|t|t2−1=−csc−1t+C. Is it true, in general, that sec−1t=−csc−1t?
関係 sec−1t+C=∫dt|t|t2−1=−csc−1t+C を説明せよ。一般に sec−1t=−csc−1t は成り立つか。
Exercise 405問題 405
Explain what is wrong with the following integral: ∫12dt1−t2.
次の積分のどこが間違っているか説明せよ:∫12dt1−t2。
Solution解き方
1−t2 is not defined as a real number when t>1.
t>1 のとき、1−t2 は実数として定義されない。
Exercise 406問題 406
Explain what is wrong with the following integral: ∫−11dt|t|t2−1.
次の積分のどこが間違っているか説明せよ:∫−11dt|t|t2−1。
Exercises 407–410練習問題 407–410
In the following exercises, solve for the antiderivative ∫f of f with C=0, then use a calculator to graph f and the antiderivative over the given interval [a,b]. Identify a value of C such that adding C to the antiderivative recovers the definite integral F(x)=∫axf(t)dt.
次の各問では、f の原始関数 ∫f を C=0 として求め、指定区間 [a,b] で f と原始関数を電卓で描け。原始関数に定数 C を加えて、F(x)=∫axf(t)dt に一致させるための C を求めよ。
Exercise 407問題 407
[T] ∫19−x2dx over [−3,3]
[T] 区間 [−3,3] における ∫19−x2dx。
Solution解き方
左は1/√(9−x²)のグラフで、y 軸に関して対称、y 切片は1/3である。右は原始関数 arcsin(x/3)のグラフで、原点を通って増加する。

OpenStax, Rice University; Calculus Volume 1. · CC BY-NC-SA 4.0


The antiderivative is sin−1(x3)+C. Taking C=π2 recovers the definite integral.
原始関数は sin−1(x3)+C である。C=π2 とすれば、定積分の値が得られる。
Exercise 408問題 408
[T] ∫99+x2dx over [−6,6]
[T] 区間 [−6,6] における ∫99+x2dx。
Exercise 409問題 409
[T] ∫cosx4+sin2xdx over [−6,6]
[T] 区間 [−6,6] における ∫cosx4+sin2xdx。
Solution解き方
左は cos x/(4+sin²x)の振動するグラフ。x=0で1/4、x=±πで−1/4をとる。右は原始関数(1/2)arctan((1/2)sin x)で、x=±π/2などで極値をとりながら振動する。

OpenStax, Rice University; Calculus Volume 1. · CC BY-NC-SA 4.0


The antiderivative is 12tan−1(sinx2)+C. Taking C=12tan−1(sin(6)2) recovers the definite integral.
原始関数は 12tan−1(sinx2)+C である。C=12tan−1(sin(6)2) とすれば、定積分の値が得られる。
Exercise 410問題 410
[T] ∫ex1+e2xdx over [−6,6]
[T] 区間 [−6,6] における ∫ex1+e2xdx。
Exercises 411–416練習問題 411–416
In the following exercises, compute the antiderivative using appropriate substitutions.
次の各問では、適切な置換で原始関数を求めよ。
Exercise 411問題 411
∫sin−1tdt1−t2
∫sin−1tdt1−t2
Solution解き方
12(sin−1t)2+C
12(sin−1t)2+C
Exercise 412問題 412
∫dtsin−1t1−t2
∫dtsin−1t1−t2
Exercise 413問題 413
∫tan−1(2t)1+4t2dt
∫tan−1(2t)1+4t2dt
Solution解き方
14(tan−1(2t))2
14(tan−1(2t))2
Exercise 414問題 414
∫ttan−1(t2)1+t4dt
∫ttan−1(t2)1+t4dt
Exercise 415問題 415
∫sec−1(t2)|t|t2−4dt
∫sec−1(t2)|t|t2−4dt
Solution解き方
14(sec−1(t2)2)+C
14(sec−1(t2)2)+C
Exercise 416問題 416
∫tsec−1(t2)t2t4−1dt
∫tsec−1(t2)t2t4−1dt
Exercises 417–422練習問題 417–422
In the following exercises, use a calculator to graph the antiderivative ∫f with C=0 over the given interval [a,b]. Approximate a value of C, if possible, such that adding C to the antiderivative gives the same value as the definite integral F(x)=∫axf(t)dt.
次の各問では、原始関数 ∫f を C=0 として求め、区間 [a,b] で電卓を使って描け。可能であれば、原始関数に C を加えて F(x)=∫axf(t)dt に一致させるような C を見積もれ。
Exercise 417問題 417
[T] ∫1xx2−4dx over [2,6]
[T] 区間 [2,6] における ∫1xx2−4dx。
Solution解き方
x>2での−(1/2)arctan(2/√(x²−4))のグラフ。第4象限で増加し、x が2の右側から近づくと値は−π/4に近づく。x=2では傾きが非常に大きくなる。

OpenStax, Rice University; Calculus Volume 1. · CC BY-NC-SA 4.0


The antiderivative is 12sec−1(x2)+C. Taking C=0 recovers the definite integral over [2,6].
原始関数は 12sec−1(x2)+C である。C=0 を選ぶと、区間 [2,6] で下端から積分した関数に一致する。
Exercise 418問題 418
[T] ∫1(2x+2)xdx over [0,6]
[T] 区間 [0,6] における ∫1(2x+2)xdx。
Exercise 419問題 419
[T] ∫(sinx+xcosx)1+x2sin2xdx over [−6,6]
[T] 区間 [−6,6] における ∫(sinx+xcosx)1+x2sin2xdx。
Solution解き方
区間[−6,6]の arctan(x sin x)のグラフ。y 軸に関して対称で、原点付近に極小、x≈±2に正の極大、x≈±5に負の極小がある。

OpenStax, Rice University; Calculus Volume 1. · CC BY-NC-SA 4.0


The general antiderivative is tan−1(xsinx)+C. Taking C=−tan−1(6sin(6)) recovers the definite integral.
原始関数の一般形は tan−1(xsinx)+C である。C=−tan−1(6sin(6)) とすれば、定積分の値が得られる。
Exercise 420問題 420
[T] ∫2e−2x1−e−4xdx over [0,2]
[T] 区間 [0,2] における ∫2e−2x1−e−4xdx。
Exercise 421問題 421
[T] ∫1x+xln2x over [0,2]
[T] 区間 [0,2] における ∫1x+xln2x。
Solution解き方
区間(0,2]の arctan(ln x)のグラフ。増加する曲線で、x 軸と(1,0)で交わる。

OpenStax, Rice University; Calculus Volume 1. · CC BY-NC-SA 4.0


The general antiderivative is tan−1(lnx)+C. Taking C=π2=tan−1∞ recovers the definite integral.
原始関数の一般形は tan−1(lnx)+C である。C=π2=tan−1∞ とすれば、定積分の値が得られる。
Exercise 422問題 422
[T] ∫sin−1x1−x2 over [−1,1]
[T] 区間 [−1,1] における ∫sin−1x1−x2。
Exercises 423–428練習問題 423–428
In the following exercises, compute each integral using appropriate substitutions.
次の各問では、適切な置換を使って積分を求めよ。
Exercise 423問題 423
∫et1−e2tdt
∫et1−e2tdt
Solution解き方
sin−1(et)+C
sin−1(et)+C
Exercise 424問題 424
∫et1+e2tdt
∫et1+e2tdt
Exercise 425問題 425
∫dtt1−ln2t
∫dtt1−ln2t
Solution解き方
sin−1(lnt)+C
sin−1(lnt)+C
Exercise 426問題 426
∫dtt(1+ln2t)
∫dtt(1+ln2t)
Exercise 427問題 427
∫cos−1(2t)1−4t2dt
∫cos−1(2t)1−4t2dt
Solution解き方
−14(cos−1(2t))2+C
−14(cos−1(2t))2+C
Exercise 428問題 428
∫etcos−1(et)1−e2tdt
∫etcos−1(et)1−e2tdt
Exercises 429–438練習問題 429–438
In the following exercises, compute each definite integral.
次の各問では、定積分を求めよ。
Exercise 429問題 429
∫01/2tan(sin−1t)1−t2dt
∫01/2tan(sin−1t)1−t2dt
Solution解き方
12ln(43)
12ln(43)
Exercise 430問題 430
∫1/41/2tan(cos−1t)1−t2dt
∫1/41/2tan(cos−1t)1−t2dt
Exercise 431問題 431
∫01/2sin(tan−1t)1+t2dt
∫01/2sin(tan−1t)1+t2dt
Solution解き方
1−25
1−25
Exercise 432問題 432
∫01/2cos(tan−1t)1+t2dt
∫01/2cos(tan−1t)1+t2dt
Exercise 433問題 433
For A>0, compute I(A)=∫−AAdt1+t2 and evaluate lima→∞I(A), the area under the graph of 11+t2 on [−∞,∞].
A>0 とする。I(A)=∫−AAdt1+t2 を計算し、lima→∞I(A) を求めよ。これは [−∞,∞] 全体にわたる 11+t2 のグラフの下の面積である。
Solution解き方
2tan−1(A)→π as A→∞
A→∞ のとき、2tan−1(A)→π となる。
Exercise 434問題 434
For 1<B<∞, compute I(B)=∫1Bdttt2−1 and evaluate limB→∞I(B), the area under the graph of 1tt2−1 over [1,∞).
1<B<∞ とする。I(B)=∫1Bdttt2−1 を計算し、limB→∞I(B) を求めよ。これは区間 [1,∞) 上の 1tt2−1 のグラフの下の面積である。
Exercise 435問題 435
Use the substitution u=2cotx and the identity 1+cot2x=csc2x to evaluate ∫dx1+cos2x. (Hint: Multiply the top and bottom of the integrand by csc2x.)
置換 u=2cotx と恒等式 1+cot2x=csc2x を使って、∫dx1+cos2x を求めよ。(ヒント:被積分関数の分子と分母に csc2x.) を掛ける。)
Solution解き方
Using the hint, one has ∫csc2xcsc2x+cot2xdx=∫csc2x1+2cot2xdx. Set u=2cotx. Then, du=−2csc2xdx and the integral is −12∫du1+u2=−12tan−1u+C=−12tan−1(2cotx)+C. If one uses the identity tan−1s+tan−1(1s)=π2, then this can also be written 12tan−1(tanx2)+C.
ヒントを使うと ∫csc2xcsc2x+cot2xdx=∫csc2x1+2cot2xdx となる。u=2cotx とおけば du=−2csc2xdx なので、積分は −12∫du1+u2=−12tan−1u+C=−12tan−1(2cotx)+C となる。適切な区間で恒等式 tan−1s+tan−1(1s)=π2 を使えば、積分定数に定数差を含めて 12tan−1(tanx2)+C とも書ける。
Exercise 436問題 436
[T] Approximate the points at which the graphs of f(x)=2x2−1 and g(x)=(1+4x2)−3/2 intersect to four decimal places, and approximate the area between their graphs to three decimal places.
[T] f(x)=2x2−1 と g(x)=(1+4x2)−3/2 のグラフの交点を小数第4位まで求め、二つのグラフに挟まれた面積を小数第3位まで近似せよ。
Exercise 437問題 437
47. [T] Approximate the points at which the graphs of f(x)=x2−1 and g(x)=(x2+1)12 intersect to four decimal places, and approximate the area between their graphs to three decimal places.
47. [T] f(x)=x2−1 と g(x)=(x2+1)12 のグラフの交点を小数第4位まで求め、二つのグラフに挟まれた面積を小数第3位まで近似せよ。
Solution解き方
x≈±1.7321. The left endpoint estimate with N=100 is 4.781 and these decimals persist for N=500.
x≈±1.7321。N=100 での左端近似は4.781であり、N=500 としてもこの小数部分は変わらない。
Exercise 438問題 438
Use the following graph to prove that ∫0x1−t2dt=12x1−x2+12sin−1x.
次の図を使って、∫0x1−t2dt=12x1−x2+12sin−1x を証明せよ。
単位円の扇形を青、その下の直角三角形を茶色で示した図。三角形の斜辺は扇形の半径の一つで、長さ1である。赤い点線で補助長方形を作り、その対角線が斜辺となるようにしている。円弧は y=√(1−x²)で表される。

OpenStax, Rice University; Calculus Volume 1. · CC BY-NC-SA 4.0