プリンキピア

第1章関数とグラフ

Inverse Trigonometric Functions逆三角関数

The six basic trigonometric functions are periodic, and therefore they are not one-to-one. However, if we restrict the domain of a trigonometric function to an interval where it is one-to-one, we can define its inverse. Consider the sine function (Figure 1.34). The sine function is one-to-one on an infinite number of intervals, but the standard convention is to restrict the domain to the interval [−π2,π2]. By doing so, we define the inverse sine function on the domain [−1,1] such that for any x in the interval [−1,1], the inverse sine function tells us which angle θ in the interval [−π2,π2] satisfies sinθ=x. Similarly, we can restrict the domains of the other trigonometric functions to define inverse trigonometric functions, which are functions that tell us which angle in a certain interval has a specified trigonometric value.
英語のヒント
基本的な6つの三角関数は周期関数なので、一対一ではない。しかし、一対一になる区間に定義域を制限すれば、逆関数を定義できる。正弦関数を考えよう(図1.34)。正弦関数が一対一になる区間は無数にあるが、通常は定義域を区間[−π2,π2]に制限する。これにより、定義域[−1,1]上に逆正弦関数を定義する。区間[−1,1]内の任意のxについて、区間[−π2,π2]内でsinθ=xを満たす角θを返す関数である。ほかの三角関数も同様に定義域を制限して逆関数を定義する。逆三角関数は、三角関数の値が与えられたとき、特定の区間内のどの角がその値をとるかを教える関数である。
To graph the inverse trigonometric functions, we use the graphs of the trigonometric functions restricted to the domains defined earlier and reflect the graphs about the line y=x (Figure 1.41).
逆三角関数のグラフを描くには、先ほど定めた区間に三角関数の定義域を制限し、そのグラフを直線y=xについて反転する(図1.41)。
6つの逆三角関数のグラフ。sin⁻¹xは(−1, −π/2)から(1, π/2)まで増加する曲線で、両軸と原点で交わる。cos⁻¹xは(−1, π)から(1, 0)まで減少し、x軸との交点は(1, 0)、y軸との交点は(0, π/2)。 tan⁻¹xは水平漸近線y = −π/2とy = π/2の間で増加し、どちらの線にも交わらない。両軸と原点で交わる。cot⁻¹xは水平漸近線y = πの少し下から減少し、x軸に近づくが、どちらの水平漸近線にも交わらない。 csc⁻¹xの左側の枝は、x軸の少し下から減少し、黒丸の点(−1, −π/2)で終わる。右側の枝は(1, π/2)から減少し、水平漸近線であるx軸に近づくが接しない。 sec⁻¹xの左側の枝は、水平線y = π/2の少し上から増加し、黒丸の点(−1, π)で終わる。右側の枝は(1, 0)から増加し、水平漸近線y = π/2に近づくが接しない。

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

Figure 1.41図 1.41
The graph of each of the inverse trigonometric functions is a reflection about the line y=x of the corresponding restricted trigonometric function.
逆三角関数のグラフは、対応する三角関数を定義域の指定区間に制限し、直線y=xについて反転したものである。
When evaluating an inverse trigonometric function, the output is an angle. For example, to evaluate cos−1(12), we need to find an angle θ such that cosθ=12. Clearly, many angles have this property. However, given the definition of cos−1, we need the angle θ that not only solves this equation, but also lies in the interval [0,π]. We conclude that cos−1(12)=π3.
英語のヒント
逆三角関数の出力は角である。たとえば、cos−1(12)の値を求めるには、cosθ=12を満たす角θを探す。この性質を持つ角はたくさんある。しかし、cos−1の定義に従えば、必要なのは、この式を満たすだけでなく、区間[0,π]にも含まれる角θである。したがって、cos−1(12)=π3となる。
We now consider a composition of a trigonometric function and its inverse. For example, consider the two expressions sin(sin−1(22)) and sin−1(sin(π)). For the first one, we simplify as follows:
次に、三角関数とその逆関数の合成を考える。例として、2つの式sin(sin−1(22))とsin−1(sin(π))を取り上げよう。第1の式は、次のように簡単にできる。
sin(sin−1(22))=sin(π4)=22.
sin(sin−1(22))=sin(π4)=22
For the second one, we have
第2の式は、次のようになる。
sin−1(sin(π))=sin−1(0)=0.
sin−1(sin(π))=sin−1(0)=0
The inverse function is supposed to “undo” the original function, so why isn’t sin−1(sin(π))=π? Recalling our definition of inverse functions, a function f and its inverse f−1 satisfy the conditions f(f−1(y))=y for all y in the domain of f−1 and f−1(f(x))=x for all x in the domain of f, so what happened here? The issue is that the inverse sine function, sin−1, is the inverse of the restricted sine function defined on the domain [−π2,π2]. Therefore, for x in the interval [−π2,π2], it is true that sin−1(sinx)=x. However, for values of x outside this interval, the equation does not hold, even though sin−1(sinx) is defined for all real numbers x.
英語のヒント
逆関数はもとの関数の働きを「元に戻す」はずなのに、なぜsin−1(sin(π))=πとはならないのだろうか。逆関数の定義を思い出そう。関数fと逆関数f−1は、f−1の定義域のすべてのyについてf(f−1(y))=yを満たし、fの定義域のすべてのxについてf−1(f(x))=xを満たす。では、ここでは何が起きたのだろうか。問題のポイントは、逆正弦関数sin−1が、定義域を[−π2,π2].に制限した正弦関数の逆関数だということである。したがって、区間[−π2,π2],内のxについてはsin−1(sinx)=xが成り立つ。しかし、この区間の外にあるxでは、この等式は成り立たない。sin−1(sinx)そのものは、すべての実数xについて定義されていても、元の値に戻るとは限らない。
What about sin(sin−1y)? Does that have a similar issue? The answer is no. Since the domain of sin−1 is the interval [−1,1], we conclude that sin(sin−1y)=y if −1≤y≤1 and the expression is not defined for other values of y. To summarize,
では、sin(sin−1y)には同じ問題があるだろうか。こちらにはない。sin−1の定義域は区間[−1,1]なので、−1≤y≤1ならsin(sin−1y)=yとなり、それ以外のyでは式自体が定義されない。まとめると、次のようになる。
sin(sin−1y)=yif−1≤y≤1
sin(sin−1y)=yただし−1≤y≤1
and
また、
sin−1(sinx)=xif−π2≤x≤π2.
sin−1(sinx)=xただし−π2≤x≤π2
Similarly, for the cosine function,
余弦関数についても同様に、
cos(cos−1y)=yif−1≤y≤1
cos(cos−1y)=yただし−1≤y≤1
and
また、
cos−1(cosx)=xif0≤x≤π.
cos−1(cosx)=xただし0≤x≤π
Similar properties hold for the other trigonometric functions and their inverses.
ほかの三角関数とその逆関数についても、同様の性質が成り立つ。
Example 1.32例題 1.32

Evaluating Expressions Involving Inverse Trigonometric Functions逆三角関数を含む式の値を求める

Evaluate each of the following expressions.
次の各式の値を求めよ。
  1. sin−1(−32)
    sin−1(−32)
  2. tan(tan−1(−13))
    tan(tan−1(−13))
  3. cos−1(cos(5π4))
    cos−1(cos(5π4))
  4. sin−1(cos(2π3))
    sin−1(cos(2π3))
Solution解き方
  1. Evaluating sin−1(−3/2) is equivalent to finding the angle θ such that sinθ=−3/2 and −π/2≤θ≤π/2. The angle θ=−π/3 satisfies these two conditions. Therefore, sin−1(−3/2)=−π/3.
    sin−1(−3/2)の値を求めることは、sinθ=−3/2かつ−π/2≤θ≤π/2となる角θを探すことと同じである。角θ=−π/3がこの2条件を満たすので、sin−1(−3/2)=−π/3である。
  2. First we use the fact that tan−1(−1/3)=−π/6. Then tan(-π/6)=−1/3. Therefore, tan(tan−1(−1/3))=−1/3.
    まずtan−1(−1/3)=−π/6を使う。さらにtan(-π/6)=−1/3なので、tan(tan−1(−1/3))=−1/3となる。
  3. To evaluate cos−1(cos(5π/4)), first use the fact that cos(5π/4)=−2/2. Then we need to find the angle θ such that cos(θ)=−2/2 and 0≤θ≤π. Since 3π/4 satisfies both these conditions, we have cos-1(cos(5π/4))=cos−1(−2/2)=3π/4.
    cos−1(cos(5π/4))の値を求めるには、まずcos(5π/4)=−2/2を使う。次に、cos(θ)=−2/2かつ0≤θ≤πを満たす角θを探す。3π/4が両条件を満たすので、cos-1(cos(5π/4))=cos−1(−2/2)=3π/4である。
  4. Since cos(2π/3)=−1/2, we need to evaluate sin−1(−1/2). That is, we need to find the angle θ such that sin(θ)=−1/2 and −π/2≤θ≤π/2. Since −π/6 satisfies both these conditions, we can conclude that sin−1(cos(2π/3))=sin−1(−1/2)=−π/6.
    cos(2π/3)=−1/2なので、sin−1(−1/2)の値を求めればよい。つまり、sin(θ)=−1/2かつ−π/2≤θ≤π/2を満たす角θを探す。−π/6が両条件を満たすので、sin−1(cos(2π/3))=sin−1(−1/2)=−π/6とわかる。
Project探究課題