Exercise 2.2 · Q2:
Prove the following:
Let , where .
As , .
Using ,
. Hence proved.
Want the reason behind every step, the basics and the checks?
is the right-hand side of . With , the right side becomes , which equals only when , the principal range of . The condition is exactly what puts there. Notice the interval is not symmetric about 0, unlike Q1: has a different range from .
- Given
- A real number with .
- To show
- .
- Plan
- (1) Put , so . (2) Derive . (3) Rewrite the right side as . (4) Show . (5) See what goes wrong for .
Basics you need
for all , but only for . For example . Basics: what an inverse needs
, , , . Basics: sin and cos on the unit circle
On , a bigger input gives a smaller angle (, ). So applying to an inequality reverses it.
Solution
Substitute
Let . This is defined because , and
The left side is .
Choosing itself (rather than any angle with cosine ) links directly to the left side and pins down the interval it lies in.Derive
Write :
We know , so we want everything in terms of . That is why we choose and replace by .with , (Basic 3).Rewrite the right side
so
Since is a cosine, it is always in and the right side is defined.
Show lies in
From , apply the decreasing function ; the inequalities reverse (Basic 4):
that is,
Multiply by 3:
So is in the principal range of and .
The largest (namely 1) gives the smallest angle (0), and the smallest (namely ) gives the largest angle , because . Tripling gives exactly , the top of the principal range.Conclude
for every .
What goes wrong for
If , then , so : outside . The angle has the same cosine and lies in , so
If , then , and , so
Neither equals : the first would need (that is , excluded), the second would need . So the identity fails at every . For example:
- : left side ; right side .
- : left side ; right side .
Both sides for (the scales differ). They coincide only on the green band . Left of it, rises above , but never outputs more than , so the right side folds back down. The red dots mark . The algebraic identity is true for every ; the failure comes only from , which needs . So the stated interval is exactly the set where the identity holds.
With : , and gives . Hence on . (A proof question; the answer key gives no answer.) For the identity is false.
Inside, : , left side . And , . ✓ Equal.
Outside, : , left side . But and , which is , as Step 6 predicts.
- Not reversing the inequality. is decreasing, so becomes .
- Copying the interval from Q1. The range of is , not , so the valid interval is , not .
- Skipping the range check. Without it, the same lines would "prove" at .
- is when .
- The valid interval depends on which inverse function is used, because each has its own principal range.
- Outside the interval the identity changes to a folded form: or .
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Principal branch of : domain , range | Steps 1, 4, 6 | Section 2.2, table of principal value branches (Lesson: principal values) |
| ; for | Steps 1, 4 | Section 2.3 ("similar results follow") |
| Steps 2, 3 | Derived in Step 2 from Class XI compound-angle formulas | |
| ; is decreasing | Step 4 | ; graph of , Section 2.2 |
| Step 6 | Class XI trigonometry |
Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →