El único "analítica" de la desigualdad es necesario,
aparte de la trigonometría básica,
es
$|\sin(x)| \le |x|
$.
Vamos
$x = y+h$,
así
$\begin{array}\\
\cos(x)-\cos(y)
&=\cos(y+h)-\cos(y)\\
&=\cos(y)\cos(h)-\sin(y)\sin(h)-\cos(y)\\
&=\cos(y)(\cos(h)-1)-\sin(y)\sin(h)\\
\end{array}
$
Ahora usamos
$|a\cos(y)+b\sin(y)|
\le \sqrt{a^2+b^2}
$.
Para mostrar esto,
elija $v$, de modo que
$\tan(v) = a/b$.
Entonces
$\begin{array}\\
a\cos(y)+b\sin(y)
&=b\tan(v)\cos(y)+b\sin(y)\\
&=b((\sin(v)/\cos(v))\cos(y)+\sin(y))\\
&=(b/\cos(v))(\sin(v)\cos(y)+\cos(v)\sin(y))\\
&=(b/\cos(v))\sin(v+y)\\
\end{array}
$
Pero,
desde
$\begin{array}\\
\tan^2(v)
&=\sin^2(v)/\cos^2(v)\\
&=(1-\cos^2(v))/\cos^2(v)\\
&=1/\cos^2(v)-1,\\
1/\cos(v)
&=\sqrt{1+\tan^2(v)}\\
&=\sqrt{1+a^2/b^2}\\
&=\sqrt{a^2+b^2}/b\\
\text{so}\\
b/\cos(v)
&=\sqrt{a^2+b^2}\\
\end{array}
$
Por lo tanto
$a\cos(y)+b\sin(y)
=\sqrt{a^2+b^2}\sin(v+y)
$.
Desde
$|\sin(v+y)| \le 1$,
$|a\cos(y)+b\sin(y)|
\le \sqrt{a^2+b^2}
$.
Finalmente, llegamos
$\begin{array}\\
|\cos(y+h)-\cos(y)|
&=|\cos(y)(\cos(h)-1)-\sin(y)\sin(h)|\\
&\le \sqrt{(\cos(h)-1)^2+\sin^2{h}}\\
&= \sqrt{\cos^2(h)-2\cos(h)+1+\sin^2{h}}\\
&= \sqrt{2-2\cos(h)}\\
&= \sqrt{4\sin^2(h/2)}
\quad\text{(since }1-\cos(h) = 2\sin^2(h/2))\\
&=2|\sin(h/2)|\\
&\le |h|
\quad\text{(using } |\sin(h/2)| \le |h/2|)\\
\end{array}
$
de modo que,
como deseado,
$\left|\dfrac{\cos(x)-\cos(y)}{x-y}\right|
\le 1
$.
Tenga en cuenta que,
sólo a partir de básicos de trigonometría,
tenemos
$|\cos(x)-\cos(y)|
\le 2|\sin((x-y)/2)|
$.