Deje $f:\mathbb{R}\longrightarrow{\mathbb{C}}$ ser continua y tener período de $2\pi$ , e $\alpha$ tal que $\displaystyle\frac{\alpha}{\pi}$ es irracional.
A continuación,$\displaystyle\lim_{N \to\infty}{\displaystyle\frac{1}{N}\displaystyle\sum_{n=1}^N{f(x+n\alpha)}}=\displaystyle\frac{1}{2\pi}\displaystyle\int_{-\pi}^{\pi}f(x)dx$ .
Primero vamos a demostrar esta propiedad para las funciones de la forma $f(x)=e^{inkx}$ donde $k$ es un número entero.
Si $k$ es un número entero con $k\neq{0}$ , entonces a partir de la $\displaystyle\frac{\alpha}{\pi}$ es irracional debemos tener ese $e^{ik\alpha}\neq{1}$ , por lo tanto para cualquier $N\geq{1}$ hemos
$\displaystyle\sum_{i=1}^N{e^{kn\alpha}}=\displaystyle\frac{e^{k(N+1)\alpha}-1}{e^{k\alpha}-1}$ , luego
$\displaystyle\lim_{N \to\infty}{\displaystyle\frac{1}{N}\displaystyle\sum_{n=1}^N{e^{ik(x+n\alpha)}}}=\displaystyle\lim_{N \to\infty}{\displaystyle\frac{1}{N}\displaystyle\frac{e^{k(N+1)\alpha}-1}{e^{k\alpha}-1}}$ , pero la secuencia de $\frac{e^{k(N+1)\alpha}-1}{e^{k\alpha}-1}$ es limitada; desde $e^{k\alpha}-1\neq{0}$ , lo $\displaystyle\lim_{N \to\infty}{\displaystyle\frac{1}{N}\displaystyle\sum_{n=1}^N{e^{ik(x+n\alpha)}}}=\displaystyle\lim_{N \to\infty}{\displaystyle\frac{1}{N}\displaystyle\frac{e^{k(N+1)\alpha}-1}{e^{k\alpha}-1}}=0$$k\neq{0}$ .
Si $k=0$ , está claro que $\displaystyle\lim_{N \to\infty}{\displaystyle\frac{1}{N}\displaystyle\sum_{n=1}^N{e^{ik(x+n\alpha)}}}=1$.
Pero $\displaystyle\frac{1}{2\pi}\displaystyle\int_{-\pi}^{\pi}f(x)dx=0$ si $k\neq{0}$ , y
$\displaystyle\frac{1}{2\pi}\displaystyle\int_{-\pi}^{\pi}f(x)dx=1$ si $k=0$ , por lo que
$\displaystyle\lim_{N \to\infty}{\displaystyle\frac{1}{N}\displaystyle\sum_{n=1}^N{f(x+n\alpha)}}=\displaystyle\frac{1}{2\pi}\displaystyle\int_{-\pi}^{\pi}f(x)dx$ si $f(x)=e^{inkx}$ , para algún entero $k$ .
Ahora vamos a $P(x)$ ser un trigonométricas polinomio , entonces existe $M\in{\mathbb{N}}$ tal que
$P(x)=\displaystyle\sum_{n=-M}^M{c_ne^{in}}$ algunos $c_n\in{\mathbb{C}}$ ,entonces vamos a tener, porque de lo que se muestra arriba, que
$\displaystyle\lim_{N \to\infty}{\displaystyle\frac{1}{N}\displaystyle\sum_{n=1}^N{P(x+n\alpha)}}=\displaystyle\frac{1}{2\pi}\displaystyle\int_{-\pi}^{\pi}P(x)dx$ , ya que este tiene para todos los sumandos del polinomio.
Ahora vamos a $f:\mathbb{R}\longrightarrow{\mathbb{C}}$ ser continua, del período $2\pi$ .
Deje $\epsilon>0$ . Pd de la Piedra-Weiestrass teorema existe una trigonométricas polinomio $P(x)$ tal que $\left |{P(x)-f(x)}\right|<\epsilon$ $\forall{x\in{\mathbb{R}}}$ . Pero $\displaystyle\lim_{N \to\infty}{\displaystyle\frac{1}{N}\displaystyle\sum_{n=1}^N{P(x+n\alpha)}}=\displaystyle\frac{1}{2\pi}\displaystyle\int_{-\pi}^{\pi}P(x)dx$ , por lo que no es $M\in{\mathbb{N}}$ con $\left |{\displaystyle\frac{1}{N}\displaystyle\sum_{n=1}^N{P(x+n\alpha)}-\frac{1}{2\pi}\displaystyle\int_{-\pi}^{\pi}P(x)dx}\right |<\epsilon$ $\forall{N\geq{M}}$ (1), pero $\left |{\displaystyle\frac{1}{2\pi}\displaystyle\int_{-\pi}^{\pi}f(x)dx}-\displaystyle\frac{1}{2\pi}\displaystyle\int_{-\pi}^{\pi}P(x)dx\right |<\epsilon$ (2); desde $\left |{P(x)-f(x)}\right |<\epsilon$ $\forall{x\in{\mathbb{R}}}$ , y también
$\displaystyle\frac{1}{N}\left |{\displaystyle\sum_{n=1}^N{P(x+n\alpha)}-\displaystyle\sum_{n=1}^N{f(x+n\alpha)}}\right |\leq{\displaystyle\frac{1}{N}\displaystyle\sum_{n=1}^N{\left |{P(x+n\alpha)-f(x+n\alpha)}\right |}<\displaystyle\frac{N}{N}\epsilon=\epsilon}$ (3), por lo tanto para cualquier $N\geq{M}$ , entonces tenemos
$
\a la izquierda|{\displaystyle\frac{1}{N}\displaystyle\sum_{n=1}^N{f(x+n\alpha)}-\displaystyle\frac{1}{2\pi}\displaystyle\int_{-\pi}^{\pi}f(x)dx}\right |<3\epsilon$ , usando la desigualdad triangular y las desigualdades(1), (2), (3).
Por lo tanto,$\displaystyle\lim_{N \to\infty}{\displaystyle\frac{1}{N}\displaystyle\sum_{n=1}^N{f(x+n\alpha)}}=\displaystyle\frac{1}{2\pi}\displaystyle\int_{-\pi}^{\pi}f(x)dx$, ya que el $\epsilon>0 $ fue arbitraria.