10.10 A bunch of trigonometric limits
There are some useful properties about what happens to the values of trig functions when the angles we input into them tend to zero1515 15 They’re also in the formula sheet, where they are called the ”small angle approximations”. These are that
and it isn’t immediately clear why this is true. I hope you like geometry, because if (like me) you don’t, then proving this is just a bit painful (note: the proof is definitely not in the A Level, so you can just skip to the next section where the actual differentiation of trig functions - which is in the A Level - is).
First, we can draw a diagram of the unit circle, with a bunch of additional triangles
from which we can work out the areas of some of the shapes. The area of the small triangle (ADO) is just half the base times the height. The height is AB, which (by applying trigonometry to ABO) is just and thus the area of ADO is . The area of the section of the circle, with angle is , i.e. . The area of OCD is .
From here, we can write down an inequality, and use a principle called various things (including the "squeeze principle" and the "sandwich principle") but meaning one thing; if for every value of it is true that , then if as both and both tend towards , then will also tend towards .
Our inequality states that the area of ABO is smaller than the section of the circle, which in turn is smaller than the area of triangle OCD. Thus we have that
which we can then start to rearrange. Firstly, all the s can go
Then, we can divide through by , which gives that 1616 16 Remember that
The middle bit looks pretty close to what we’re trying to prove! If we apply to each part of the inequality, we get that
From here, we can now take a limit as .
From the graph of , as we can see that , and so by the squeeze principle (mentioned above) because limits on either side of the middle are equal to , then
To then prove that
we can just rewrite in terms of Equation 10.92, by multiplying by .
But we want to apply somewhere! If we split into we then have that
Which is equal to , because as approaches , so does .