Composite functions: arcsin of sin x and sin of arcsin… | StemPy Lab
Course 18.1·Lesson 3 of 3
Composite functions: arcsin of sin x and sin of arcsin x
The inverse undoes the function, but only inside the branch. sin(sin−1x)=x
Lesson 3 of 3Show all lessonsHide
Try the code and the simulations beside the lesson.
What you will be able to do
say when sin(sin−1x)=x and when sin−1(sinx)=x;
find sin−1(sinx), cos−1(cosx) and tan−1(tanx) for any x;
sketch the three zigzag graphs and read off their periods.
Doing and undoing, in two orders
An inverse function undoes the function. But the two orders are not equal.
Inverse first, then the function.sin−1x is an angle whose sine is x. Taking the sine of that angle gives back x:
sin(sin−1x)=xfor −1≤x≤1.
For x outside [−1,1] the inner part does not exist. So sin(sin−12) is not defined, even though it looks like it should be 2. In the same way cos(cos−1x)=x for −1≤x≤1, and tan(tan−1x)=x for every real x.
The function first, then the inverse. Here the inverse returns the angle in the branch that has the same sine. If x is already in the branch, nothing changes. If not, the answer is a different angle.
Try x=65π. Then sinx=21, and sin−121=6π. So sin−1(sin65π)=6π, which is not 65π.
The three rules, piece by piece
To find sin−1(sinx), find the angle in [−2π,2π] with the same sine. Use sin(π−x)=sinx and the period 2π.
If −2π≤x≤2π, the result is x.
If 2π≤x≤23π, the result is π−x.
If −23π≤x≤−2π, the result is −π−x.
Then the pattern repeats every 2π.
For cos−1(cosx) the branch is [0,π].
If 0≤x≤π, the result is x.
If π≤x≤2π, the result is 2π−x.
If −π≤x≤0, the result is −x, because the cosine is even.
The pattern repeats every 2π.
For tan−1(tanx) the branch is (−2π,2π). If x is in it, the result is x. If 2π<x<23π, the result is x−π. The pattern repeats every π, and the function is not defined at odd multiples of 2π.
Three graphs for x from minus 2 pi to 2 pi, each with a dashed straight line y = x. Left: y = sin inverse of sin x, a zigzag between minus pi over 2 and pi over 2 that lies on the dashed line only for x between minus pi over 2 and pi over 2, then turns back, with period 2 pi. Middle: y = cos inverse of cos x, a zigzag between 0 and pi with peaks at x = minus pi and x = pi, which lies on the dashed line only for x between 0 and pi. Right: y = tan inverse of tan x, rising straight pieces between minus pi over 2 and pi over 2 that repeat every pi, with a gap at each odd multiple of pi over 2. Only the middle piece lies on the dashed line.
A worked example
Find (a) sin−1(sin4), (b) cos−1(cos5), (c) tan−1(tan2), (d) sin−1(sin10). The angles are in radians.
(a)2π≈1.571 and 23π≈4.712, so 4 lies between them. The result is π−4≈−0.858. Check: sin4≈−0.757 and sin(−0.858)≈−0.757.
(b)5 lies between π≈3.142 and 2π≈6.283. The result is 2π−5≈1.283.
(c)2 lies between 2π and 23π. The result is 2−π≈−1.142.
(d) Take away one period: 10−2π≈3.717, which lies between 2π and 23π. The result is π−3.717=3π−10≈−0.575.
Practise with new numbers
Try it in Python
The program compares sin−1(sinx) with the piece-by-piece rule for six values of x.
Common mistakes
Writing sin−1(sinx)=x for every x. It holds only on [−2π,2π].
Writing sin(sin−1x)=x for every x. It holds only on [−1,1].
A negative answer for cos−1(cosx). The result is always in [0,π].
Using the period 2π for tan−1(tanx). The tangent repeats every π.
Remember these
sin(sin−1x)=x and cos(cos−1x)=x for x in [−1,1]. tan(tan−1x)=x for all real x.
sin−1(sinx)=x only for x in [−2π,2π], and cos−1(cosx)=x only for x in [0,π].
Otherwise find the angle in the branch with the same sine, cosine or tangent.
The zigzag graphs have period 2π for sine and cosine, and π for tangent.
Check yourself
Try each one on your own first. If you are stuck, open a hint. Then check with Show the answer.
Find sin(sin−153).
Find sin−1(sin65π).
Find cos−1(cos(−3π)).
Find tan−1(tan43π).
Is sin(sin−11.5) equal to 1.5? Explain.
References
NCERT, Mathematics Textbook for Class XII, Part I, Chapter 2: Inverse Trigonometric Functions.
OpenStax, Algebra and Trigonometry 2e, Section 8.3: Inverse Trigonometric Functions.