Взаимнопростые числа

[wpoms.]

Докажите, что среди любых десяти последовательных целых чисел найдется одно число, которое будет взаимно простым с остальными числами. Например, рассмотрим числа `114`, `115`, `116`, `117`, `118`, `119`, `120`, `121`, `122`, `123`. Числа `119` и `121` будут взаимно просты с остальными числами. [Два целых числа `a`, `b` называются взаимно простыми если их наибольший общий делитель равен единице.]

@темы: Теория чисел

Comments

[kostyaknop]

Из пяти нечётных чисел в этом десятке - не более двух кратно 3, ровно одно кратно 5, не более одного кратно 7. И последнее, пятое, нечётное число, оказывается взаимно простым с 2,3,5 и 7, а значит, взаимно просто со всеми числами, отличающимися от него менее чем на 11.

[All_ex]

Да, примерно так и думал...

[Гость]

Для начала заметим: числа m и n имеют одинаковый остаток при делении на k тогда и только тогда, когда разность m-n делится на k. Покажем, что среди 10 последовательных чисел найдется такое, которое не делится на числа 2, 3, 5, 7. Действительно, среди этих чисел пять делятся на 2. Оставшиеся пять нечетных чисел можем записать как n, n+2, n+4, n+6, n+8, где n – самое маленькое из них. Они разбиваются на три группы чисел, имеющих одинаковые остатки при делении на 3: {n, n+6}, {n+2, n+8} и {n+4}, поэтому среди них не более двух делятся на 3. При делении n, n+2, n+4, n+6, n+8 на 5 получается пять различных остатков, поэтому среди них ровно одно делится на 5. Аналогично, среди этих чисел имеется не более одного, которое делится на 7. Таким образом из исходного набора исключается не более 9 чисел, оставшееся число не делится на 2, 3, 5 и 7. Оно и будет удовлетворять условию задачи. Действительно, пусть это число a и оно имеет общий делитель d>1 с некоторым числом b из указанного набора. Тогда модуль разности a и b делится на d (и на все простые делители числа d). Но это невозможно, поскольку указанный модуль не превосходит 9, а все простые числа, меньшие 9, как уже было показано, не являются делителями числа a, а значит и d