Как доказать, что предел sin x / x = 1 при x стремится к 0?

Площадь маленького синего треугольника $\color{blue}{OAB}$ равна $\displaystyle A(\color{blue}{OAB})=\frac{1\cdot\sin x}{2}=\color{blue}{\frac{\sin x}{2}}$

Площадь сектора с точками равна $\displaystyle\pi\frac{x}{2\pi}=\frac{x}{2}$

Площадь большого красного треугольника $\color{red}{OAC}$ равна $\displaystyle A(\color{red}{OAC})=\frac{1\cdot\tan x}{2}=\color{red}{\frac{\tan x}{2}}$

Затем у нас есть $\displaystyle A(OAB) \leq \frac{x}{2} \leq A(OAC)$:

\[0\lt \sin x \leq x \leq \tan x, \quad\displaystyle\forall x \in ]0, \frac{\pi}{2}[\]

Поскольку $0\lt \sin x$, у нас есть \(\begin{aligned} \frac{\sin x}{\sin x} &\leq \frac{x}{\sin x} \leq \frac{\tan x}{\sin x}\\ 1&\leq \frac{x}{\sin x} \leq \frac{1}{\cos x}\\ \end{aligned}\)

Взяв обратное значение:

\[\cos x \leq \frac{\sin x}{x} \leq 1\]

Поскольку функции $\displaystyle \cos x, \frac{\sin x}{x},1$ являются четными, мы заключаем:

\[\quad\cos x \leq \frac{\sin x}{x} \leq 1, \quad \displaystyle\forall x \in ]-\frac{\pi}{2}, 0[ \cup ]0, \frac{\pi}{2}[\]

С использованием теоремы о вложенных последовательностях (Einschnürungssatz):

\[\lim _{x \rightarrow 0} \frac{\sin x}{x}= \lim _{x \rightarrow 0} \cos x=\lim _{x \rightarrow 0} 1 = 1\]

мы приходим к выводу:

\[\lim _{x \rightarrow 0} \frac{\sin x}{x} = 1\]