# Solving $\lim\limits_{x\to0} \frac{x - \sin(x)}{x^2}$ without L'Hospital's Rule.

How to solve $\lim\limits_{x\to 0} \frac{x - \sin(x)}{x^2}$ Without L'Hospital's Rule? you can use trigonometric identities and inequalities, but you can't use series or more advanced stuff.

-
$\sin$ is odd, so $\sin'' = 0$ (or you can just use $\sin'' = -\sin$). Thus you have $\sin x = x + 0x^2 + O(x^2)$ and that's it. – savick01 Apr 19 '12 at 19:30
@savick01 Maybe he doesn't want Taylor polynomials either. – Peter Tamaroff Apr 19 '12 at 19:31
@PeterT.off Maybe, but it's not very hard. By definition of the derivative he has: $f(x) = f(0) + f'(0)x + O(x)$, so also: $f'(x) = f'(0) + f''(0)x + O(x)$ and by integrating that he gets $f(x) = f(0) + f'(x) x + f''(0) \frac{x^2}{2} + O(x^2)$, so he can even include the proof in his work. – savick01 Apr 19 '12 at 19:36
@Peter T.off This is implcit usage of L'Hopital's rule – Norbert Apr 19 '12 at 19:36

2
See groups.google.com/group/sci.math/msg/5e39a97048392a83 (sci.math thread "The approximation sin(x) = x - (1/6)x^3"), which is also at mathforum.org/kb/message.jspa?messageID=6865083 I started to LaTeX the relevant part (the part titled "NON-CALCULUS PROOF THAT sin(x) > x - (1/6)x^3"), but quickly realized that I simply don't have the time to rewrite it now. – Dave L. Renfro Apr 19 '12 at 19:48
show 1 more comment

## 3 Answers

The given expression is odd; therefore it is enough to consider $x>0$. We then have $$0<{x-\sin x\over x^2}<{\tan x -\sin x\over x^2}=\tan x\ {1-\cos x\over x^2}={\tan x\over2}\ \Bigl({\sin(x/2)\over x/2}\Bigr)^2\ ,$$ and right side obviously converges to $0$ when $x\to0+$.

-

2
Wait. That's only obvious because you know that $\sin(x)\over x$ converges to 1. So wouldn't you need to show that as well, within the constraints given in the question? – Mark Adler Apr 19 '12 at 20:09

3
@MarkAdler: showing that $\sin(x)/x$ is 1 follows from the elementary inequality $\sin (x) < x$, $0<x<\pi/2$ (you can convince yourself of this inequality by staring at a unit circle long enough). – Fabian Apr 20 '12 at 14:46
First off, my point is that the answer above just converts one limit problem into another, without providing the solution for the second. It still does not. Second, how does that follow? $x/2<x$ for $0<x<\pi/2$, however ${x/2\over x}$ does not go to $1$. It goes to $1/2$. – Mark Adler Apr 20 '12 at 20:34

This can be done geometrically.

Surprisingly, two answers I wrote in this regard(geometric proofs of limits) before can be combined to give a solution for this.

$$\lim_{x \to 0} \frac{ \tan x - x}{x^2} = 0 \tag{1}$$

A geometric proof of that can be found here: Limit, solution in unusual way

$$\lim_{x \to 0} \frac{1 - \cos x}{x} = 0 \tag{2}$$

A geometric proof of that can be found here: Finding the limit of $(1-\cos(x))/x$ as $x\to 0$ with squeeze theorem

To combine the two:

$$\tan x - x = \frac{\sin x - x \cos x}{\cos x} = \frac{(\sin x - x) + x(1 - \cos x)}{\cos x}$$

-

3
Of course, you also need the geometric proof that $\lim_{x\to 0} \frac{\sin x}{x} = 1$. – Aryabhata Apr 19 '12 at 20:16

We will in fact prove that $\lim_{x \to 0} \dfrac{x-\sin(x)}{x^3} = \dfrac16$. This implies that $\lim_{x \to 0} \dfrac{x-\sin(x)}{x^2} = 0$.

Let $$S=\lim_{x \to 0} \dfrac{x-\sin(x)}{x^3}$$ Replacing $x$ by $2y$, we get that \begin{align} S & = \lim_{y \to 0} \dfrac{2y-\sin(2y)}{(2y)^3} = \lim_{y \to 0} \dfrac{2y-2 \sin(y) \cos(y)}{8y^3}\\ & = \lim_{y \to 0} \dfrac{2y - 2 \sin(y) + 2 \sin(y) - 2 \sin(y) \cos(y)}{8y^3}\\ & = \lim_{y \to 0} \dfrac{2 y - 2 \sin(y)}{8y^3} + \lim_{y \to 0} \dfrac{2 \sin(y) - 2 \sin(y) \cos(y)}{8y^3}\\ & = \dfrac14 \lim_{y \to 0} \dfrac{y-\sin(y)}{y^3} + \dfrac14 \lim_{y \to 0} \dfrac{\sin(y) (1 - \cos(y))}{y^3}\\ & = \dfrac{S}4 + \dfrac14 \lim_{y \to 0} \dfrac{\sin(y) 2 \sin^2(y/2)}{y^3}\\ & = \dfrac{S}4 + \dfrac18 \lim_{y \to 0} \dfrac{\sin(y)}{y} \dfrac{\sin^2(y/2)}{(y/2)^2}\\ & = \dfrac{S}4 + \dfrac18 \lim_{y \to 0} \dfrac{\sin(y)}{y} \lim_{y \to 0} \dfrac{\sin^2(y/2)}{(y/2)^2}\\ & = \dfrac{S}4 + \dfrac18\\ \dfrac{3S}4 & = \dfrac18\\ S & = \dfrac16 \end{align}

Hence, $$\lim_{x \to 0} \dfrac{x-\sin(x)}{x^2} = \lim_{x \to 0} \left(\dfrac{x-\sin(x)}{x^3} \right)x = \left(\lim_{x \to 0} \dfrac{x-\sin(x)}{x^3} \right) \left( \lim_{x \to 0} x \right) = \dfrac{\lim_{x \to 0} x}6 = 0$$

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 28, "mathjax_display_tex": 6, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.889420211315155, "perplexity_flag": "middle"}