I need a rigorous proof that verify why the limit of $\dfrac{\sin(x)}{x}$ as $x$ approaches $0$ is $1$. I tried before but i do not know how start this proof. I would appreciate if somebody help me. Thanks.
-
2$\begingroup$ You could use the Taylor expansion of sin about zero? $\endgroup$– msteveCommented Aug 24, 2014 at 2:56
-
3$\begingroup$ @AlexG.: Using L'Hôpital's rule would be circular. In order to prove that the derivative of $\sin$ is $\cos$, you need to know the limit in the question. $\endgroup$– Michael AlbaneseCommented Aug 24, 2014 at 2:56
-
2$\begingroup$ Read Robjohn's answer here $\endgroup$– CousinCommented Aug 24, 2014 at 3:08
-
1$\begingroup$ The big triangle is a right triangle, and $\tan\theta={\text{opposite}\over \text{adjacent}}$, but the adjacent side is already 1, making the length of that vertical side $\tan\theta$, which he writes as $\sin\theta\over \cos\theta$. $\endgroup$– JohnDCommented Aug 24, 2014 at 4:00
-
2$\begingroup$ Note that you need a rigorous definition of $\sin(x)$ before you can hope to have a rigorous proof that $\lim_{x \to 0} \sin(x)/x = 1$. $\endgroup$– user14972Commented Aug 24, 2014 at 4:25
2 Answers
Here's a proof by the squeeze theorem.
Consider a unit circle as in the diagram below.
The right-angled triangle ABC has hypotenuse 1 because it is a radius of the unit circle. So BC has length $\sin \alpha$.
Similarly, the right-angled triangle ADE has adjacent 1 because it is a radius of the unit circle. So DE has length $\tan \alpha$.
Then the triangle ABC has area $\frac12 bh = \frac12 \sin \alpha$. The sector ABE has area $\frac12 \alpha$. And the triangle ADE has area $\frac12 bh = \frac12 \tan \alpha$.
And we can clearly see that $$\frac12 \sin \alpha \lt \frac12 \alpha \lt \frac12 \tan \alpha$$ Dividing by $\frac12 \sin \alpha$ and taking the reciprocals gets us $$1 \gt \frac{\sin \alpha}{\alpha} \gt \cos \alpha$$ Then, taking the limit as $\alpha \to 0^+$ we have $$1 \ge \lim_{\alpha \to 0^+} \frac{\sin \alpha}{\alpha} \ge 1 \implies \lim_{\alpha \to 0^+} \frac{\sin \alpha}{\alpha} = 1$$ Then setting $\beta = -\alpha$ we get $$\lim_{\beta \to 0^-} \frac{\sin \beta}{\beta} = 1$$ And thus $$\lim_{\alpha \to 0} \frac{\sin \alpha}{\alpha} = 1$$
-
$\begingroup$ Sorry but i didn't get the video's explanation, why there's a side of the triangle named as sin(x), and other as tan(x)? They actually are sides, not trigonometric functions as i know... $\endgroup$– egarroCommented Aug 24, 2014 at 3:26
-
1$\begingroup$ @egarro, the trigonometric functions refer to triangles. If you have a right triangle with appropriate angle $x$ and hypotenuse $1$ then the opposite side will by definition be of length $\sin(x)$. $\endgroup$– jxnhCommented Aug 24, 2014 at 3:28
You can expand $ \sin(x) $ using a Taylor series: $$ \sin(x) \approx x - \frac{x^{3}}{3!} + \frac{x^{5}}{5!} - \frac{x^{7}}{7!} + \cdots + (-1)^{n} \cdot \frac{x^{2 n + 1}}{(2 n + 1)!}. $$ Hence, $$ \frac{\sin(x)}{x} \approx 1 - \frac{x^{2}}{3!} + \frac{x^{4}}{5!} - \frac{x^{6}}{7!} + \cdots + (-1)^{n} \cdot \frac{x^{2 n}}{(2 n + 1)!}. $$ Therefore, as $ x $ tends to zero, $ \dfrac{\sin(x)}{x} $ tends to $ 1 $.
-
1$\begingroup$ you think that using taylor series it will be right for a formal proof? you know for a test or something like that... ;) $\endgroup$– egarroCommented Aug 24, 2014 at 3:43
-
5$\begingroup$ Disagree with this proof. The individual terms go to $0$, but that does not guarantee that the sum goes to $0$ as well- one has to be careful. $\endgroup$ Commented Aug 24, 2014 at 3:46
-
3$\begingroup$ You can't calculate exact value of sin(x)/x for x=$0$. When you say x tends to $0$, you're already taking an approximation.So, we have to calculate the limit here.Taylor series gives very accurate approximation of sin(x), so it can be used to calculate limit. $\endgroup$ Commented Aug 24, 2014 at 3:56
-
$\begingroup$ @user3679857 Thanks for your help ;) $\endgroup$– egarroCommented Aug 24, 2014 at 3:58
-
3$\begingroup$ Don't you need derivative of Sinx in Taylor expansion and you need the same limit to find derivative of Sinx? $\endgroup$ Commented Aug 6, 2022 at 3:10