In this section, we establish two fundamental trigonometric inequalities for all angles measured in radians. These inequalities bound and near the origin and form the geometric foundation for critical limit proofs in calculus.
Quick Reference
| Inequality | Domain | Primary Application |
|---|---|---|
| - | \theta | \le 1 - \cos\theta \le |
Statement of the Inequalities
In this section, we will establish the following inequalities for all angles measured in radians (see the following figure):

Proof of the Inequalities
Proof
To prove, let's picture as an acute angle in standard position (see the following figure). Because the circle is a unit circle, the length of the arc is (with ) and the length of the line segment .

In the right triangle :
Because , we have .
In the right triangle :
Using the Pythagorean theorem, we have:
but we learned that the length of the line segment . Therefore,
On the left hand side of the above inequality, we have two nonnegative quantities, so each of them is smaller than or equal to their sum and hence each of them is less than or equal to . That is,
They are equivalent to:
[Remember that if , then .]
We proved that these inequalities hold when .
When , these inequalities are obvious since and .
For , these inequalities are once again obvious since and .
Therefore, for all :