Deje $x, y \in \mathbb{R}$ ser arbitraria, y sin pérdida de generalidad, supongamos $y < x$.
La función de $f: \mathbb{R} \to \mathbb{R}$ definido por $f(t) = \cos(t)$ es continua y diferenciable en a $\mathbb{R}$, por lo que obviamente es continua en a $[y, x]$ y diferenciable en a $(y, x)$.
Por el Valor medio Teorema, existe un punto de $c \in (y, x)$ tal que
$$f^{\prime}(c) = -\sin(c) = \dfrac{\cos(x)-\cos(y)}{x-y}\text{.}$$
Sin embargo, recordando que $|-\sin(w)| = |\sin(w)| \leq 1$ todos los $w \in \mathbb{R}$, se deduce que
$$\left|\dfrac{\cos(x)-\cos(y)}{x-y}\right| \leq 1$$
por lo tanto
$$|\cos(x)-\cos(y)| \leq |x-y|$$
y la demanda sigue desde $x$ $y$ fueron arbitrariamente elegido.
Si $y > x$, casi idéntico argumento de la anterior conduce a la misma conclusión.
Si $y = x$, la igualdad tiene (desde $|\cos(x)-\cos(y)| = |x-y| = 0$).