Выбор модуля для доказательства делимости / простоты / степени
Ошибка.
Попробуйте повторить позже
Дано натуральное Докажите, что существуют натуральных чисел таких, что произведение любых из них даёт остаток при делении на оставшееся число.
Положим при и, наконец, Тогда очевидным образом. Рассмотрим члены нашей последовательности по модулю при Если имеем а Поэтому
что и требовалось.
Ошибка.
Попробуйте повторить позже
Натуральные числа и таковы, что делится на Докажите, что
Подсказка 1
Подумайте, за счëт чего одно натуральное число может быть больше другого.
Подсказка 2
Вот пусть у нас есть два натуральных числа x и y такие, что x делится на y. Что вы можете сказать про них? Какое из них не меньше другого?
Подсказка 3
Если применять предыдущие подсказки к задаче, то становится ясно, что нужно доказать некоторую делимость, из которой будет следовать, что 2a > b. Попробуйте рассмотреть число ab+1 по модулю b + 2. Что можно про него сказать, с какими числами оно сравнимо?
Заметим, что откуда Значит, кратно откуда то есть что и требовалось.
Ошибка.
Попробуйте повторить позже
Даны натуральные числа Оказалось, что делится на Докажите, что — составное.
Подсказка 1:
Попробуйте рассуждать от противного, пусть a + b + c - простое, поищите противоречие. Подумайте, каким оно может быть в этой задаче.
Подсказка 2:
Вспомним известный факт. Если некоторое число mn делится на простое число p, то либо m кратно p, либо n. Попробуйте получить подобную делимость, используя условие.
Подсказка 3:
Если оба числа m и n будут меньше p, то делимость будет невозможна. Попробуйте найти такое число mn, делящееся на a + b + c, и вы решите задачу.
Вспомним известное тождество Перепишем его в следующем виде:
Числа и делятся на а значит и число также будет делиться на Заметим, что
То есть делится на
Предположим, что — простое. Тогда есть случая:
кратно но тогда что невозможно, потому что потому что числа натуральные.
кратно что также невозможно, потому что
Аналогично разбирается случай, когда кратно
Пришли к противоречию, значит — составное.
Ошибка.
Попробуйте повторить позже
Докажите, что существует лишь конечное число натуральных для которых делится на
Подсказка 1
Попробуйте рассмотреть задачу попроще. Докажите, что существует конечное количество натуральных n таких, что 10 кратно n - 10. Это очевидно, так как 10 конкретное число, оно имеет лишь конечное число делителей.
Подсказка 2
Посмотрите на многочлен из условия по модулю n - 10. Подумайте, с чем он сравним. Возможно, он сравним с каким-то конкретным числом, тогда задача станет похожа на задачу из подсказки 1.
Подсказка 3
Ясно, что если мы найдем остаток при делении n на n - 10, то мы найдем и остаток при делении многочлена n - 10. Чему он равен?
Обозначим многочлен через Ясно, что Значит, То есть делимость на равносильна делимости на Очевидно, что существует лишь конечное количество подходящее под эту делимость, потому что у конечное количество делителей.
Ошибка.
Попробуйте повторить позже
Докажите, что где — простое число.
Подсказка 1
Что интересного можно сказать о основаниях степеней слагаемых в левой части сравнения?
Подсказка 2
Их сумма равна 2p+2 и равна модулю, по которому ведется сравнения. Как это можно использовать?
Подсказка 3
В частности, это значит, что одно из чисел сравнимо с числом, противоположным по знаку со вторым, так p+2≡-p по модулю 2p+p. Какой вид теперь имеет сравнение?
Подсказка 4
Левая часть p^{p+2}-p^p=p^p(p^2-1). Как теперь можно закончить решение?
Поскольку простое, то оно и нечетное. Значит,
Поскольку и то
Ошибка.
Попробуйте повторить позже
Натуральные числа и таковы, что делится на для любых натуральных Докажите, что
Подсказка 1
Как известно, любое натуральное число имеет конечное количество делителей. Попробуйте найти противоречие с этим утверждением.
Подсказка 2
В выражении слишком много переменных. Попробуйте уменьшить их количество с помощью сравнений, тогда рассуждать будет попроще.
Подсказка 3
a сравнимо с -b по модулю a+b. Этот факт сильно упрощает выражение. Подумайте, как теперь свести задачу к противоречию из 1 подсказки.
Заметим, что Значит,
Получается, что кратно при любом и Давайте зафиксируем Тогда понятно, что если число ненулевое, то тогда найдётся такое что будет больше, чем то есть делимости не будет. Значит, откуда
Ошибка.
Попробуйте повторить позже
Натуральные числа и таковы, что а число делится на Докажите, что существуют натуральные числа и меньшие и такие, что число делится на
Подсказка 1:
Попробуйте провернуть некоторые манипуляции с изначальным выражением, чтобы получить выражение формата a^100 + b^100 + c^100, делящееся на n.
Подсказка 2:
С выражениями x + y, y + z, z + x очень трудно работать по модулю xy+xz+yz. Попробуйте превратить их в более удобные.
Подсказка 3:
Умножьте изначальное выражение на некоторый многочлен от x, y, z, чтобы реализовать предыдущую подсказку.
Домножим выражение из условия на Заметим, что
Аналогично два других слагаемых сравнимы с и Тогда получаем, что выражение делится на Значит, можно взять
Ошибка.
Попробуйте повторить позже
Докажите, что для каждого натурального число — составное.
Подсказка 1
Явно найти делитель числа — вероятно, самый простой способ доказать, что оно не является простым. Еще проще будет проверять делимость на число, не зависящее от n. Найдите значения при первых нескольких n, это может найти постоянные делители (возможно, с дополнительным условием на n), если они зависят от n.
Подсказка 2
8^n растет довольно быстро, тем не менее значения выражения при n = 1, 2, 3 посчитать несложно, они равны соответственно 169, 1233, 9745. Проверять делимость по большому модулю затруднительно, поэтому стоит начать с минимальных делителей - соответственно 13, 3, 5. Например, чему должно удовлетворять число n, чтобы 19*8^n+17 было кратно 3 (заметьте, что n=2 должно удовлетворять этому условию)?
Подсказка 3
Покажите, что при всех четных n число кратно 3. С чем должно быть сравнимо 8^n при этом условии?
Подсказка 4
С 1. Вообще доказывать сравнимость с 1 числа вида a^b довольно просто - для каждого числа a взаимнопростого с числом m существует b такое, что a^b сравнимо с 1 по модулю m, но тогда для любого k число a^{kb} так же сравнимо с 1. Так, 8^2=64 сравнимо с 1 по модулю. Какие условия можно наложить на число n, чтобы оно делилось на 13 и 5?
Подсказка 5
Мы уже доказали утверждения задачи для всех четных n. Доказать делимость на некоторое фиксированное число для любого нечетного n будет трудно, ведь это неправда - числа 169, 9745 взаимнопросты. Остается надеяться, что это можно сделать, для всех n сравнимых с фиксированным остатком по модулю 4.
Подсказка 6
Таким образом, осталось показать, что выражение делится на 13 при всех n=4k+1 и на 5 при всех n=4k+3.
Ошибка.
Попробуйте повторить позже
Петя выписал на доску натуральное число Каждую минуту он приписывает справа к числу Докажите, что в течение каждого часа на доске хотя бы раз будет появляться составное число.
Подсказка 1
Какие модули бывает полезно рассматривать в задачах на десятичную запись числа?
Пусть и
Пусть прошло минут. Тогда на доске записано число вида Обозначим за
Получается, что за ближайшие минут будет иметь всевозможные остатки по модулю Значит, за эти минут, какое-то из поделится на Но по признаку делимости на 11 Т.е. начиная с какого-то момента, каждые минут, будет делиться на что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Решите в натуральных числах уравнение:
Подсказка 1
Разность чисел 2015 и 2022 относительно небольшая. Этим можно воспользоваться при выборе модуля, по которому мы будем рассматривать исходное уравнение.
Подсказка 2
Число a²⁰²² является одновременно квадратом и кубом натурального числа. По какому модулю квадраты и кубы дают "приятные" остатки? Помните, что мы хотим отловить разницу чисел 2015 и 2022 за счет выбора модуля.
Подсказка 3
Под каждый из отмеченных критериев подходит модуль 8. Какие может давать левая часть по данному модулю?
Подсказка 4
Левая часть сравнима с 4 при с=1, с 2 при с=2, с -2 при всех следующих значениях с. Какие может правая часть по модулю 8 в зависимости от четности чисел a и b? При каких значениях (a, b, c) достигается равенство остатков?
Подсказка 5
Равенство возможно лишь в случае, когда a — нечетное, b — четное и c =2. То есть левая часть равна 2²⁰²²-1. Что можно сказать о левой части в случае, если a>1 или b>2?
Подсказка 6
Покажите, что в каждом из этих случаев левая часть больше, чем правая.
Получается, что правая и левая части могут быть сравнимы по модулю только в случае, когда нечетное, четное и Тогда обе части уравнения сравнимы с по модулю
При
При
Т.е. единственный возможный вариант: Но тогда Т.е. решений данное уравнение в натуральных числах не имеет.
нет решений
Ошибка.
Попробуйте повторить позже
Докажите, что число, состоящее из 21 единицы и нескольких нулей, не может быть квадратом целого числа.
Предположим, что — число, состоящее из единициы и нескольких нулей. Тогда сумма цифр этого числа равна По признаку делимости на и данное число делится на но не делится на (так как сумма цифр делится на но не делится на )
Однако либо не делится на либо делится сразу на Следовательно, возникает противоречие, и мы приходим к выводу, что числа, состоящего из единицы и некоторого количества нулей, не существует.
Ошибка.
Попробуйте повторить позже
Докажите, что сумма квадратов трех нечетных чисел не может быть квадратом целого числа.
Ошибка.
Попробуйте повторить позже
Можно ли в числе 123456 переставить цифры так, чтобы оно стало квадратом?
Предположим, что это возможно. Тогда сумма цифр этого квадрата Следовательно, число делится на Но раз это квадрат, то он должен делиться на но сумма цифр не делится на значит, это невозможно.
Ошибка.
Попробуйте повторить позже
Докажите, что не существует натуральных чисел для которых число является простым.
Подсказка 1
Можем ли мы найти какой-то модуль, по которому остаток выражения будет 0?
Подсказка 2
В условии не просто так дано, что b>a+1. Это даёт нам, что b-a>1. Конечно, подходящий для делимости модуль должен быть больше 1.
Пусть Покажем, что значение выражения делится на Далее все сравнения по модулю
То есть это выражение делится на Оно больше, чем поэтому является составным числом.
Ошибка.
Попробуйте повторить позже
Вадим выписывает числа на доску. Изначально он пишет на доске какое-то число, большее Далее Вадим берет число выписанное последним, и дописывает на доску число Может ли Вадим выбрать начальное число так, чтобы для любого простого числа рано или поздно на доске появилось число, которое делится на это простое?
Подсказка 1
Предположим, что изначально остаток по модулю р для какого-то р был произвольным? Каким он должен стать, чтобы прийти в итоге к делимости через х²-1?
Подсказка 2
Мы должны прийти к остатку 1 по модулю р (почему к -1 не получится?). Для этого должно быть разрешимо уравнение x²≡2 (mod p). Для каких р это сравнение неразрешимо?
Подсказка 3
Сравнение неразрешимо для p=8k+3 или p=8k+5. Чтобы это доказать, стоит рассмотреть произведение чётных чисел, меньших р и нечётных, меньших р. Можем ли мы выбрать такое р, чтобы остаток у n по его модулю был не 1?
Подсказка 4
Такое простое найдётся, если простых нужного вида бесконечно. Чтобы доказать их бесконечность, можно использовать доказательство от противного.
Далее все сравнения по модулю Заметим, что если исходно не делилось на то мы должны на каком-то шаге получить Значит, или или Во втором случае остаток мы могли получить только из но тогда чего не бывает. Значит, на каком-то шаге
______________________________________________________________________________________________________________________________________________________
Найдём для начала такие простые числа, для которых не существует решения такого уравнения в целых числах.
Теперь заменим четные числа из левой скобки на Пусть Тогда этих чётных чисел
Значит, для Пусть Тогда этих чётных чисел
Значит, для
______________________________________________________________________________________________________________________________________________________
Покажем, что простых вида бесконечно много. Пусть их конечно, они Рассмотрим число Оно даёт остаток по модулю при этом не делится на поскольку первое слагаемое делится, а второе — нет. Также оно не делится на все из простых чисел нужного вида (кроме тройки, но она только в первой степени). Значит, имеется ещё какой-то делитель нужного вида (ведь мы не можем получить остаток по модулю произведением остатков
______________________________________________________________________________________________________________________________________________________
Пусть есть решение у Возведём в степень Тогда для
Противоречие, поэтому такого не найдётся. Для выбранного Вадимом начального числа найдём достаточно большое вида тогда изначально остаток по модулю у числа не и не Значит, после наших операций никогда не получится числа, делящегося на
Не может
Ошибка.
Попробуйте повторить позже
Миша выписал все остатки от деления некоторого числа на . При этом оказались выписаны в каком-то порядке все числа от до . Докажите, что число составное.
Подсказка 1
Введите переменные, обозначающие остатки от деления N на 120 и 160. Это два числа, у которых общий множитель 40 — поэтому остатки должны быть одинаковы и при делении на 40. Какими числами они могут быть из остатков из условия?
Подсказка 2
Да, это 43 и 83 в каком-то порядке. А что мы можем сказать об остатке при делении N на 140? 120, 140, 160… Что между ними общего?
Подсказка 3
Конечно, 120, 140, 160 делятся на 20. Надо, чтобы остаток по делении на 120 отличался от 43 и 83 только на 20k, где k - целое число. Такой только 63. Отлично, получилось, что N = 140k + 63. Составное ли это число?
Рассмотрим остатки при делении на . Заметим, что они сами должны давать одинаковый остаток при делении , поскольку
То есть числа дают тот же остаток при делении на , что и само число . Отсюда делаем вывод, что это обязательно числа и в каком-то порядке (все остальные остатки при делении на встречаются в единственном экземпляре). Теперь рассмотрим остаток при делении на . Заметим, что
из доказанного выше. В каждом из случаев первое слагаемое кратно , как и , то есть числа и (или, что то же самое, ) дают один и тот же остаток при делении на . Получили, что даёт остаток при делении на .
Отсюда , то есть остаток при делении на может быть равен только (другие остатки, дающие при делении на , уже закончились). Итак, и кратно . Поскольку оно, очевидно, больше , то является составным.
Замечание. Про заключительную делимость можно было догадаться, если придумать несложный пример , откуда становится понятно, что мы хотим думать именно про .
что и требовалось доказать
Ошибка.
Попробуйте повторить позже
Натуральное число разбили на сумму нескольких натуральных слагаемых (не обязательно различных). Оказалось, что . При каких такое могло произойти?
Источники:
Легко проверить, что , поэтому если сумма кубов чисел делится на 6, то и просто сумма делится. Для подойдет пример из единиц, двоек и троек.
при , где
Ошибка.
Попробуйте повторить позже
Докажите, что число не является точным кубом ни при каком натуральном
Предположим противное. Пусть четно. Несложно видеть, что кратно а значит кратно С другой стороны при верно, что
при имеем что не является кубом натурального числа.
Пусть нечетно. Заметим, что — множество остатков кубов по модулю — множество остатков, которые дают нечетные степени 3 при делении на Осталось заметить, что
тем самым получили противоречие.
Ошибка.
Попробуйте повторить позже
Докажите, что число можно представить в виде произведения четырёх натуральных чисел, каждое из которых больше единицы.
Источники:
Покажем, что число из условия делится на :
Начнём с :
Аналогично с и :
Очевидно, что , поэтому причём , поэтому мы получили искомое представление.
Ошибка.
Попробуйте повторить позже
Докажите, что сумма не является квадратом целого числа.
Подсказка 1
Что интересного можно сказать про каждое из слагаемых? Чем оно является?
Подсказка 2
Конечно, квадратом! А по какому модулю нам выгодно смотреть на четное число, которое является квадратом?
Подсказка 3
Да, нужно смотреть по модулю 3, так как для любого квадрата она дает остаток либо 0, либо 1. С чем тогда сравнима сумма? Какой вывод на основании этого можно сделать?
В данной сумме все числа и показатели степеней чётные, поэтому все числа являются квадратами. Известно, что квадраты целых чисел по модулю могут давать остатки только и ().
Среди слагаемых в этой сумме чисел делятся на (), а остальные дают остаток (ещё раз: квадрат, не кратный даёт остаток ). Отсюда
Сумма даёт остаток по модулю А квадрат целого числа не может давать такой остаток. Значит, сумма не является квадратом, что и требовалось.