3.1.17 · D5Advanced Trigonometry
Question bank — Inverse trig functions — arcsin, arccos, arctan — domain, range, graphs
True or false — justify
for every real .
False. It only holds when already lies in ; outside that the output "snaps back" into the range, e.g. .
for every .
True. Here we feed a valid ratio in, get an angle inside the range, and sine of that angle returns the ratio — this direction never leaves the safe zone, so it always undoes cleanly.
can return a negative number.
False. Its range is by construction, so the smallest possible output is and it climbs only to ; a negative answer is impossible.
can equal for some large .
False. is a horizontal asymptote: as but never reaches it, which is exactly why the range is the open interval.
is an odd function.
True. Sine is odd and its inverse inherits that, so ; geometrically its graph has half-turn symmetry about the origin.
is an odd function.
False. Instead , so it is symmetric about the point , not the origin — feeding in reflects the answer through the middle of .
holds only for .
False. It holds for the whole domain , because the cofunction argument always lands inside , the valid arccos range.
The domain of is .
False. That is the domain of and . spans all real numbers, so accepts any real input.
The graph of is the reflection of the entire sine curve across .
False. You must first restrict sine to ; reflecting the whole wavy sine would fail the vertical-line test and not be a function.
is a decreasing function on its whole domain.
True. It is the reflection of the decreasing cosine branch on , so as rises from to the angle falls from down to .
Spot the error
" some angle." — find the flaw.
The input is outside ; no real angle has sine , so is undefined (a sine ratio can never exceed ).
" because ."
, not , and anyway. The correct answer is , found in the second quadrant where cosine is negative.
"Since blows up at , of a huge number is exactly ."
"Blows up" means approaches without arriving. gets arbitrarily close to but the range is open, so it never actually equals .
" and have the same range because they undo similar functions."
They do not. Cosine is even on (fails one-to-one), forcing arccos onto , whereas arcsin uses .
"."
, so the answer cannot be . Since and is in range, the result is .
", so both signs are valid."
Only the root is valid: lands in where cosine is , so with no negative option.
"."
. Because repeats every , and , so the answer is .
Why questions
Why must we restrict the domain before defining any inverse trig function?
Because the original trig functions are not one-to-one — many angles share a ratio — so without a restriction the "inverse" would have to return several angles at once, which no function may do.
Why does arccos get instead of ?
On cosine is even (), so it repeats outputs and cannot be inverted; is the simplest interval where cosine is strictly monotone and still covers every value in once.
Why is the inverse's graph a reflection across the line ?
Because inverting swaps inputs and outputs: if lies on then lies on , and swapping coordinates is exactly a reflection across .
Why is the range of open while 's is closed?
Sine reaches its extremes at real angles (so those endpoints are attainable), but only approaches near without ever hitting them, so those angle-endpoints are excluded.
Why does inherit oddness but does not?
Sine is odd, and reflecting an odd function across keeps it odd, so ; cosine is even, and its range shift to turns the symmetry into instead.
Why does the identity work?
With we have , and the angle automatically lies in , so it is , forcing the two to sum to .
Edge cases
What is , and is it a boundary or interior point?
, the closed upper boundary of arcsin's range — attainable precisely because sine actually reaches there.
What is ?
, the top of arccos's range; this is where the decreasing branch bottoms out in cosine value while topping out in angle.
What is and why is it clean?
; zero sits comfortably in the open interval's interior, and makes it the natural anchor point of the whole curve.
Is inside the range or on its edge?
On the closed lower edge: it is attained because , so unlike arctan's asymptotes this endpoint genuinely belongs to the range.
What happens to as ?
It approaches from above but never reaches it, mirroring the upper asymptote — this is the open lower end of the range.
What is , and why isn't it ?
and ; since arccos can never return a negative, is impossible, so the answer is .
Is still even though one term is ?
Yes: and , summing to — the identity holds right across the domain including this midpoint.
Connections
- One-to-one functions and invertibility
- Unit circle and reference angles
- Trigonometric identities
- Reflection of graphs across y=x
- Solving trigonometric equations
- Derivatives of inverse trig functions