a bir irrasyonel sayı olmak üzere, x=aπ için
Fn(x)=sin(n+1)xsinnx, ( n=1,2,3,...)
dizisinin limit noktaları kümesinin (−∞,∞) aralığı olduğunu göstermek yeterlidir.
( x=rπ ve r rasyonel olursa, Fn(x) dizisinin sonsuz teriminin paydası sıfır olur).
Fn(x)=cosx+sinxcosnxsinnx
yazabiliriz. x=aπ ve a irrasyonel olduğundan, sinx≠0 olur. O halde problemi çözmek için cosnxsinnx, ( n=1,2,3,...) dizisinin limit noktaları kümesinin (−∞,∞) aralığı olduğunu göstermek yeter.
Herhangi α∈[−1,1] alalım. siny=α olacak şekilde bir tek y∈[−π2,π2] vardır.
a=xπ irrasyonel olduğundan, {na+k}, ( n∈N, k∈Z) kümesi R de yoğundur.
O halde, her n∈N için
12πy<pna+qn<12π(y+1n)
sağlanacak şekilde pn∈N ve qn∈Z vardır.
Buradan
0<|y−2π(pna+qn)|<1n
olur. Şimdi, |sinu−sinv|≤|u−v| kullanılırsa,
0≤|α−sin(2πapn)|=|siny−sin(2πapn+2πqn)|≤|y−2π(apn+qn)|<1n
olur. Buradan
limn→∞sin(2pnx)=α
bulunur.
y∈[−π2,π2] ve y<2π(pna+qn)<y+1n
olduğundan
cos2π(pna+qn)=cos(2pnx)=√1−sin2(2pnx)
olur. Buradan da,
limn→∞cos(2pnx)sin(2pnx)=√1−α2α
elde edilir. Burada α∈[−1,1] olduğundan √1−α2α ifadesi (−∞,∞) aralığını
tarar.