Уважаемые, эксперты,здравствуйте! Возникло недопонимание,нуждаюсь в разъянении и вашей помощи. Заранее благодарен!

Задача:
Пусть α(альфа)-иррациональное число.Доказать что множество {αn(mod1)} при n=1,2.... всюду плотно на отрезке [0,1].
Решение:
Прежде всего отметим, что все точки множества лежат в интервале и различны при различных n:
1) αn=0 mod(1) <---> αn = целое ---> α=целое/n (противоречит иррациональности α)
2) αn=1 mod(1) <---> αn = 1 + целое ---> α=(1+целое)/n (противоречит иррациональности α)
3) если αn=αm mod(1) при n≠m, то αn=αm + целое --->α=(целое)/(n-m) (противоречит иррациональности α)

Пусть δ>0. Разобъем отрезок [0;1] на N равных частей так, чтобы длина каждого отрезка разбиения была меньше δ. Так как все точки рассматриваемого множества различны, то в интервале (0;1) находится бесконечное множество различных точек, следовательно хотя бы на одном отрезке разбиения [k/N;(k+1)/N] найдутся по крайней мере две различных точки нашего множества, т.е.
αn-m∈[k/N;(k+1)/N]
αs-p∈[k/N;(k+1)/N]
при некоторых целых n,m,s,p,k. Тогда расстояние между этими точками не более длины отрезка, которая меньше δ, т.е.
(αn-m∈[k/N;(k+1)/N])-(αs-p∈[k/N;(k+1)/N]) <δ
или, полагая t=n-s, получаем, что
x=(αt mod(1) <δ
Но тогда кратные x (x,2x,3x,...) являются точками нашего множества, располагающимися вдоль [0,1] с шагом меньшим δ. Отсюда следует, что для любой точки y отрезка [0;1] найдется точка нашего множества, которая удалена от y меньше, чем на δ. Это и означает, что рассмтриваемое множество всюду плотно.

Вопрос заключается в следующем: достаточно ли чтобы хотя бы на одном отрезке разбиения [k/N;(k+1)/N] нашлось две по крайней мере различные точки нашего множества,для того чтобы рассматриваемое множество было всюду плотным???
Задача: доказать,что для каждого отрезка разбиения [k/N;(k+1)/N] найдется две по крайней мере различные точки нашего множества,для того чтобы рассматриваемое множество было всюду.