Заданы три бесконечных целочисленных возрастающих арифметических прогрессий, разность которых 3, 5 и 7, каждая из которых содержит хотя бы одно отрицательное число. Натуральное число «n» назовем хорошим, если оно принадлежит всем прогрессиям.
а) Доказать, что существует хотя бы одно хорошее число.
б) Можно ли утверждать, что для любых прогрессий существует хорошее число на отрезке [100; 200]?
в) Можно ли утверждать, что для любых прогрессий существует хорошее число на отрезке [200; 400]?
Эта задача представляет собой частный случай китайской теоремы об остатках. В каждой прогрессии числа дают один и тот же остаток от деления на 
или 
И все числа с данным остатком лежат в этой прогрессии (она начинается с отрицательных чисел, поэтому не может пропустить первые несколько. Рассмотрим остатки от деления числа на 
Ясно, что зная этот остаток, можно узнать остатки от деления на и
Докажем, что двум разным остаткам не может соответствовать одинаковый набор остатков от деления на 3, 5, 7. В самом деле, если это так — вычтем такие числа друг из друга. Полученное число кратно 3, 5, 7, а Значит, кратно и Поэтому исходные остатки от деления на 
тоже были одинаковы.
Всего есть остатков от деления на И есть 
наборов остатков от деления на 3, 5, 7 — при делении на каждое k есть k возможных остатков. Как мы знаем, каждому остатку от деления на соответствует свой набор остатков от деления на 3, 5, 7. Поскольку этих наборов как раз и повторений нет — каждый набор чему-то соответствует.
а) Возьмем число с таким остатком от деления на 
которому соответствует наш набор. Это число будет во всех прогрессиях.
б) Нет. Потребуем, чтобы число давало от деления на 3, 5, 7 остатки, соответственно, 0, 4, 1. Этот набор соответствует числу 
поэтому подходящими числами будут 
в) Да, среди 
натурального числа подряд обязательно встретятся все остатков от деления на
Ответ: б) Нет; в) Да.