Здравствуйте, andyp, Вы писали:

A>Числа l/m, k, k', 0 принадлежат S, условие на модуль для парных разностей выполняется (все по модулю меньше 1) => число k_1 = (k+k'+1)/2 принадлежит S. Но |k1 — 0| > 1 и k1 мы включать не должны были => пришли к противоречию. Или я не так понимаю условие?

"Но |k1 — 0| > 1 и k1 мы включать не должны были" -- вот это ничем не обосновано. Похоже, что ты совершаешь логическую ошибку "denying the antecedent": из "если А, то B" ты выводишь "если не А, то не B".