a bir irrasyonel sayı olmak üzere, x=a\pi için
F_{n}\left( x\right) =\frac{\sin \left( n+1\right) x}{\sin nx}, ( n=1,2,3,...)
dizisinin limit noktaları kümesinin \left( -\infty
,\infty \right) aralığı olduğunu göstermek yeterlidir.
( x=r\pi ve r rasyonel olursa, F_{n}\left( x\right) dizisinin sonsuz teriminin paydası sıfır olur).
\begin{equation*}
F_{n}\left( x\right) =\cos x+\sin x\frac{\cos nx}{\sin nx}
\end{equation*}
yazabiliriz. x=a\pi ve a irrasyonel olduğundan, \sin x\neq 0 olur. O halde problemi çözmek için \frac{\cos nx}{\sin nx}, (
n=1,2,3,...) dizisinin limit noktaları kümesinin \left( -\infty
,\infty \right) aralığı olduğunu göstermek yeter.
Herhangi \alpha \in \left[ -1,1\right] alalım. \sin y=\alpha olacak şekilde bir tek y\in \left[ -\frac{\pi }{2},\frac{\pi }{2}\right] vardır.
a=\frac{x}{\pi } irrasyonel olduğundan, \left\{ na+k\right\} , (
n\in \mathbb{N}, k\in \mathbb{Z}) kümesi \mathbb{R} de yoğundur.
O halde, her n\in \mathbb{N} için
\begin{equation*}
\frac{1}{2\pi }y<p_{n}a+q_{n}<\frac{1}{2\pi }\left( y+\frac{1}{n}\right)
\end{equation*}
sağlanacak şekilde p_{n}\in \mathbb{N} ve q_{n}\in \mathbb{Z} vardır.
Buradan
\begin{equation*}
0<\left\vert y-2\pi \left( p_{n}a+q_{n}\right) \right\vert <\frac{1}{n}
\end{equation*}
olur. Şimdi, \left\vert \sin u-\sin v\right\vert \leq \left\vert
u-v\right\vert kullanılırsa,
\begin{eqnarray*}
0 &\leq &\left\vert \alpha -\sin \left( 2\pi ap_{n}\right) \right\vert
=\left\vert \sin y-\sin \left( 2\pi ap_{n}+2\pi q_{n}\right) \right\vert \\
&\leq &\left\vert y-2\pi \left( ap_{n}+q_{n}\right) \right\vert <\frac{1}{n}
\end{eqnarray*}
olur. Buradan
\begin{equation*}
\lim_{n\rightarrow \infty }\sin \left( 2p_{n}x\right) =\alpha
\end{equation*}
bulunur.
\begin{equation*}
y\in \left[ -\frac{\pi }{2},\frac{\pi }{2}\right] \text{ ve }y<2\pi \left(
p_{n}a+q_{n}\right) <y+\frac{1}{n}
\end{equation*}
olduğundan
\begin{equation*}
\cos 2\pi \left( p_{n}a+q_{n}\right) =\cos \left( 2p_{n}x\right) =\sqrt{%
1-\sin ^{2}\left( 2p_{n}x\right) }
\end{equation*}
olur. Buradan da,
\begin{equation*}
\lim_{n\rightarrow \infty }\frac{\cos \left( 2p_{n}x\right) }{\sin \left(
2p_{n}x\right) }=\frac{\sqrt{1-\alpha ^{2}}}{\alpha }
\end{equation*}
elde edilir. Burada \alpha \in \left[ -1,1\right] olduğundan \frac{\sqrt{1-\alpha ^{2}}
}{\alpha } ifadesi \left( -\infty ,\infty \right) aralığını
tarar.