Выбор модуля для доказательства делимости / простоты / степени
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Дано натуральное Докажите, что существуют
натуральных чисел таких, что произведение любых
из них даёт остаток
при делении на оставшееся число.
Положим при
и, наконец,
Тогда
очевидным образом. Рассмотрим члены нашей последовательности по модулю
при
Если
имеем
а
Поэтому
что и
требовалось.
Ошибка.
Попробуйте повторить позже
Докажите, что сумма квадратов пяти последовательных чисел не может быть квадратом целого числа.
Обозначим пять чисел через Их сумма квадратов равна
Предположим, что она является
полным квадратом. Сумма делится на
значит она обязана делиться и на
Следовательно,
откуда
Осталось заметить, что квадрат не может давать остаток
при делении на
В этом можно убедиться с помощью
полного перебора остатков при делении на
Пришли к противоречию.
Ошибка.
Попробуйте повторить позже
Докажите, что число не может делиться на
Разобьём слагаемые на пары Заметим, что
То есть сумма чисел в каждой из пар делится на Нетрудно видеть, что на пары разбились все слагаемые, кроме
Следовательно, вся сумма сравнима с
по модулю
то есть при делении на
она даёт остаток
из этого
незамедлительно следует требуемое.
Ошибка.
Попробуйте повторить позже
К некоторому натуральному числу, кратному семи, справа приписывают девятки. Докажите, что когда-нибудь получится составное число.
Пусть к числу дописали девяток, тогда его можно записать в виде
где
— число, делящееся на
а
—
девяток. По модулю
это число сравнимо с
что, в свою очередь, сравнимо с
Заметим, что
Следовательно,
то есть
Значит, если дописать шесть девяток, то получится число, которое кратно
и, очевидно, больше
Что и требовалось.
Ошибка.
Попробуйте повторить позже
Докажите, что есть такое число что
Рассмотрим числа Предположим, что среди них нет ни одного, кратного
Следовательно, среди них
найдутся два различных числа
и
дающих один и тот же остаток при делении на
поскольку всего остатков
и
остаток
среди чисел не встречается. То есть
Таким образом,
(не умаляя
общности
Нетрудно видеть,
не имеет общих делителей с
Значит,
делится на
Но это число
принадлежит набору
и мы предположили, что ни одно из этих чисел не кратно
пришли к
противоречию.
Ошибка.
Попробуйте повторить позже
Пусть и
— взаимно простые числа. Холо хочет купить яблоко за
люмион, но у неё есть только очень много монет достоинством в
люмионов, а у продавца очень много монет достоинством в
люмионов. Докажите, что Холо может порадовать себя
фруктом.
Рассмотрим числа Этот набор состоит из всевозможных остатков по модулю
Умножим каждое из чисел на
Покажем, что новый набор по-прежнему представляет набор из всевозможных остатков. Предположим противное, тогда найдутся такие два
различных числа
и
(
), что
По условию
и
взаимно просты, а значит на
можно
сократить:
Но по нашему предположению
и
— это какие-то различные остатки при делении на
противоречие.
Значит, среди чисел есть число
дающее остаток
при делении на
В таком случае Холо может отдать
монет и продавец сможет выдать ей сдачу.
Ошибка.
Попробуйте повторить позже
Существует ли степень двойки, из которой перестановкой цифр ( ставить на первое место нельзя) можно получить другую степень
двойки?
Предположим, что да. Тогда эти степени двойки сравнимы по модулю так как их суммы цифр равны. Вместе с этим заметим, что
степени двойки имеют цикл остатков
по модулю
Значит, эти степени двойки отличаются как минимум в
раза, то
есть у них разное количество цифр, противоречие.
Ошибка.
Попробуйте повторить позже
Пусть и
— натуральные числа. Докажите, что число
можно представить в виде суммы двух точных квадратов тогда и
только тогда, когда число
чётное.
Если и
оба четны, то
и
Если и
оба нечетны, то
и
Если и
имеют разную четность, то
. Но остатки точных квадратов по модулю 8 могут
принимать лишь значения 0, 1 и 4. Остаток их суммы по модулю 8 не может быть равен 6.
Ошибка.
Попробуйте повторить позже
Пусть — последовательность натуральных чисел, определенная как
при всех натуральных Докажите, что каждое простое
вида
где
натуральное, является делителем
при некотором
натуральном
Рассмотрим полную систему вычетов по модулю Докажем, что если каждый вычет поменять по правилу
то снова
получится полная система вычетов. Для этого достаточно доказать, что
(1), если
Понятно, что при
или
кратном
это верно. Предположим, что для каких-то
и
это неверно; возведём сравнение (1) в степень
Получим
Но также
поэтому
противоречие.
Из доказанного следует, что последовательность зацикливается по модулю
без предпериода. Пусть
при
Тогда
что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Существуют ли 4 различных натуральных числа, больших единицы, таких, что сумма квадратов любых трёх из них делится на оставшееся число, увеличенное на единицу?
Источники:
Подсказка 1
Давайте подумаем, какой здесь может быть ответ. Если ответ «нет», то непонятно, из каких соображений приходить к противоречию в общем случае. То есть доказывать неразрешимость системы сравнений при произвольных 4 числах. Тяжело. А если ответ «да», то нужно просто придумать пример. Про квадраты и делимость удобно говорить по модулям 2, 3, 4 и подобным. То есть хотелось бы, чтобы модули, по которым мы рассматриваем суммы квадратов были бы 2,3,4, то есть чтобы числа были 1,2,3.., в целом, какими-то маленькими. Единица сразу не подойдет, чисто интуитивно, она может испортить много модулей, так как ни на что не делится. А вот 2 и 3 — удачные числа. Попробуйте построить пример с ними.
Подсказка 2
Если мы хотим использовать числа 2 и 3, то удачно было бы использовать числа, которые им кратны. То есть, к примеру, 6 или что-то большее (чтобы были общие делители у каждого слагаемого из суммы квадратов). Давайте возьмем 6 и посмотрим, чему равна сумма квадратов этих трёх чисел. Она равна 49. Тогда нам либо надо брать оставшееся число равным 48, либо 6, но 6 уже взято. Поэтому давайте возьмем 48. Подходит ли такая четвёрка?
Посмотрим на числа 2, 3, 6, 48:
1) сумма квадратов 2, 3, 6 равна 48+1;
2) числа 3, 6, 48 делятся на 2+1, поэтому и сумма квадратов;
3)
4)
Ошибка.
Попробуйте повторить позже
Последовательность задана условиями
Докажите, что делится на
при
Подсказка 1
Будем исследовать степень вхождения простого p в элементы последовательности. Пусть k - первый номер, для которого a_k делится на p. Тогда что можно сказать про k+2-й член последовательности?
Подсказка 2
Степень вхождения p в него хотя бы на 1 больше, чем в a_k. Аналогично можно получить, что степень вхождения в (k+2n)-ый член последовательности, больше хотя бы на n. Нам нужно проверить, что для всех p a_m-ый член последовательности имеет степень вхождения p хотя бы в m раз больше, чем m-ый.
Подсказка 3
Заметим, что m и a_m одной чётности, тогда мы хотим понять, что (a_m - m) это достаточно много, чтобы степень вхождения p точно получилась большой.
Пусть простое число входит в
в
-й степени. Докажем, что
делится на
Тогда утверждение задачи будет
выполнено.
Пусть — первое число в нашей последовательности, кратное
Если
то
и
Следовательно,
Заметим, что для будет
и выведенное сравнение тоже выполнено.
Итак, а тогда дальше в последовательности чередуются остатки
и
от деления на
Более того, как видно из последнего вычисления, степени числа на которые делятся члены последователыности, растут: если
делилось на
то
делится на
и т. д. Отсюда следует, что если
делится на
то
делится на
Кроме того,
учтем, что числа
и
одинаковой четности, поскольку
и остатки по модулю
чередуются. Следовательно,
делится на
Остается заметить, что
при
(это значит, что
существенно крупнее
) и
так как делится на
(это значит, что
существенно крупнее
), поэтому
, откуда следует
требуемое.
Ошибка.
Попробуйте повторить позже
Докажите, что число при нечётном
раскладывается в произведение хотя бы четырёх (не обязательно различных)
натуральных чисел, больших единицы.
Источники:
Подсказка 1
Нам нужно найти числа, на которые делится наше выражение. Попробуйте рассмотреть маленькие числа: на 2 выражение не делится, а на 3?
Подсказка 2
Верно, оно делится на 3, но что насчёт каких-нибудь степеней тройки? Рассмотрите наше выражение по модулю 9. Не забудьте, что каждое из слагаемых в нечётной степени.
Подсказка 3
О, оно делится на 9, здорово. Теперь надо найти ещё какой-нибудь делитель. Мы знаем, что одно из трёх слагаемых делится на 17. А кратна ли 17 сумма остальных двух слагаемых?
Подсказка 4
Попробуйте доказать, что a^m+b^m кратно a+b при нечётном m. Тогда доказать делимость на 17 будет совсем просто:) Вот, у нас есть уже три множителя, а четвёртый можно явно не искать, достаточно показать, что он будет больше единицы.
делится на
а значит то же самое выполняется и для суммы любых нечётных степеней. Это верно, т.к.
на
при нечётном
По-другому можно это доказать так:
значит
т.к.
нечётно.
Теперь рассмотрим остатки по модулю
делится на
в нечётной степени даёт при делении на
остаток
, а в чётной -
остаток
Число
даёт остаток
при делении на
а значит и любая нечётная степень куба даёт такой же остаток. Таким образом,
сумма
делится на
Мы получили уже три множителя: Кроме того
поэтому есть хотя бы ещё один
делитель.
Ошибка.
Попробуйте повторить позже
Сколько существует натуральных чисел , для которых дробь
сократимая?
Источники:
Подсказка 1
Первое, что стоит сделать, когда хотим сократить дробь — выделить её целую часть! Поэтому попробуем поделить числитель на знаменатель и будем работать уже с новой дробью, у которой числитель является остатком от деления ;)
Подсказка 2
Итак, имеем новую дробь с числителем, равным 14. А на какие числа вообще может сокращаться такая дробь?
Подсказка 3
У числа 14 всего 3 делителя, больших 1, поэтому можно разобрать случаи НОДа числителя и знаменателя.
Подсказка 4
Если наибольший общий делитель равен 2, то можно сделать выводы о чётности n.
Подсказка 5
Если НОД равен 7, то какой остаток будет давать 6n²+1 при делении на 7? Что можно сказать про n?
------
Подсказка 6
Можно рассмотреть табличку остатков по модулю 7 у числа, его квадрата и квадрата, умноженного на 6.
------
Подсказка 7
В случае НОДа, равного 14, можно попробовать разложить знаменатель и разобрать случаи его делителей!
Распишем числитель дроби следующим образом:
Выделим целую часть в дроби:
Если исходная дробь сократимая, то дробь так же сократимая, то есть числа
и 14 имеют общий
делитель, больший 1. При этом у 14 есть три натуральных делителя, больших 1: 2, 7, 14. Пусть
— наибольший общий
делитель 14 и
При этом, так как у 14 есть три натуральных делителя, больших 1: 2, 7, 14, — то у нас есть три
варианта:
Заметим, что
— чётное при любом натуральном
а значит, чтобы все число
делилось на 2,
должно делиться на 2, откуда
— чётное. Существует 1010 четных натуральных чисел, не превосходящих 2020.
Заметим, что
должно делиться на 7, чтобы
делилось на 7, так как
делится на 7 при
любом натуральном
Отсюда,
должно иметь остаток 5 при делении на 7. Посмотрим, при каких
это возможно,
рассмотрев все остатки по модулю 7. Для этого начертим таблицу, где слева будет число, а справа его остаток при делении на
7.
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| 0 | 1 | 4 | 2 | 2 | 4 | 1 |
| 0 | 6 | 3 | 5 | 5 | 3 | 6 |
Получается, если имеет остаток 3 или 4 при делении на 7, то
делится на 7. Существует 145 нечётных натуральных
чисел, не превосходящих 2020 и имеющих остаток 3 по модулю 7, и 144 нечётных натуральных числа, не превосходящих 2020 и имеющих
остаток 4 по модулю 7.
Заметим, что
Если
делится на 14, то оно делится ещё и на 2, то есть
— чётное,
а все четные
мы уже учли. А
на 14 делиться не может, так как это нечётное число. Получается, если
делится на 14, то
делится на 2, а
делится на 7, но это верно только при чётный
которые мы уже
посчитали.
Итак, всего чисел, при которых исходная дробь сократима:
1299
Ошибка.
Попробуйте повторить позже
Назовём число волшебным, если оно делит число
Найдите все волшебные числа в промежутке от
до
Источники:
Подсказка 1
Задача на делимости, а после раскрытия скобок появится некоторая сумма, которую надо рассмотреть по модулю n. Удобнее всего как-то классифицировать различные значения n. Например, по простоте. А что, если n раскладывается на множители a и b? Такие случаи тоже можно классифицировать в зависимости от a и b.
Подсказка 2
Разберите случай простого n. Для этого можно, например, посмотреть на остатки каждого из слагаемых по такому модулю. А что делать, если n — "почти простое"? Скажем, у него есть ещё ровно 3 делителя, кроме простого p.
Подсказка 3
Разберите случай n = p*2, где p — простое. Что можно сказать о каждом из слагаемых после раскрытия скобок?
Подсказка 4
И, наконец, можно разобрать случай, когда n можно разложить в произведение a и b, где оба эти множителя больше 2. Как можно оценить a и b? Какие множители точно будут в числителях слагаемых?
Подсказка 5
Хотя бы одно из них небольшое, так что в числителях, кроме a и b, будут ещё числа, которые делятся на них ;)
Докажем, что в общем случае при не являются волшебными числа только вида
, где
— простое.
Для этого разберём три случая: когда является простым, когда
является простым, и когда ни
, ни
не являются
простыми (в частности, если
нечётно, то
не является простым).
_________________________________________________________________________________________________________________________________________________________________________________
Первый случай. Если является простым. Рассмотрим выражение
по модулю Утверждается, что среди слагаемых в этой сумме встретятся все возможные ненулевые остатки по модулю
. Так как
различных ненулевых остатков по модулю
ровно
и слагаемых столько же достаточно показать, что все слагаемые дают
различные остатки по модулю
. Это действительно так, потому что в противном случае для некоторы
и
таких, что
было бы верно сравнение
Но перенеся в этом сравнении всё в левую часть, получаем
что невозможно, так как все множители в произведении не делятся на , а
— простое. Полученное противоречие доказывает, что
слагаемые являются всеми возможными остатками по модулю
, а значит, им сумма равна
, то есть кратна
, так как
простое, большее
а следовательно, нечётно.
_________________________________________________________________________________________________________________________________________________________________________________
Второй случай. Если является простым. Обозначим
через
тогда
Заметим, что среди чисел от
до
есть
только одно, кратное
: это само число
. Тогда при раскрытии скобок в выражении
все слагаемые кроме будут кратны
а это слагаемое — не будет. Значит, и вся сумма не будет кратна
, а следовательно,
и
, то есть
. Значит, в этом случае число магическим не является.
_________________________________________________________________________________________________________________________________________________________________________________
Tретий случай. Если ни ни
не являются простыми. В этом случае
можно представить в виде произведения
(т. к.
непростое), причём оба множителя будут больше
(так как либо
, поделённое на любой нечётный простой
делитель будет больше двойки, либо
— степень двойки, но в силу
степень двойки хотя бы четвёртая, и значит,
, где оба множителя больше
). То есть для некоторых
верно
. Тогда раскрывая скобки в
выражении
получаем слагаемые вида , где
, и два слагаемых
Во всех слагаемых первого вида в произведении содержатся множители
и
, а значит, после сокращения на
оставшееся
произведение будет делиться на
. Теперь заметим, что
. Тогда в случае
во втором слагаемом в
произведении
содержатся различные множители
а значит, после сокращения на
останется произведение
, кратное
. Если же
, то
, но тогда число
и
кратно
. Аналогично
доказывается, что последнее, третье слагаемое, кратно
, а значит, число является волшебным, так как все слагаемые кратны
.
_________________________________________________________________________________________________________________________________________________________________________________
Осталось заметить, что числами, для которых их половина является простым числом, являются те и только те, что перечислены как исключённые в ответе.
Все числа от до
кроме
.
Ошибка.
Попробуйте повторить позже
Чётное число называется подходящим, если оно делится на модуль разницы между наибольшим из своих чётных делителей,
отличных от
, и наибольшим из своих нечётных делителей. Сколько существует подходящих чётных чисел, не превосходящих
Подсказка 1
Попробуем записать число в виде 2^k*m, где m - нечетно. Запишем условие и подумаем, какие ограничения можно наложить на переменные!
Подсказка 2
2^k*m должно делиться на m(2^(k-1) - 1). При каких k это возможно? Обратим внимание не четность.
Подсказка 3
При k >= 2 решение только 1 (какое?) А что если k =1? Как нам выделить наибольший четный делитель?
Подсказка 4
Запишем m как p*s, где p - минимальный простой нечетный делитель. Теперь мы можем записать условие с помощью новых переменных и найти p!
Подсказка 5
Число p обязательно равно трём! Получается, что 2N = 2*3*s. Теперь попробуем поискать такие числа среди чисел от 1 до 2018...
Подсказка 6
Обратите внимание на остатки от деления числа 2N на 4 и 6. Тогда все числа от 1 до 2018 можно разбить на последовательности, в которых мы точно знаем количество подходящих чисел!
Предположим, что число подходящее. Пусть
где
нечётное. Если
то условие говорит, что
делится на
что возможно только при условии
Если
и
где
минимальный простой нечетный делитель
то
делится на
откуда имеем
значит,
Число
или имеет остаток
по модулю
или имеет остаток
по модулю
Тем самым число
является
подходящим, если число
может иметь остаток
по модулю
Это значит, что в каждом ряду из
последовательных четных чисел ровно пять подходящих. Используя равенство
получаем ответ
Ошибка.
Попробуйте повторить позже
Можно ли представить число в виде суммы кубов двух натуральных чисел?
Подсказка 1
Существует ряд модулей, по которым кубы натуральных чисел дают "приятные остатки". К их числу относиться, например, модуль 8 - куб натурального числа может давать только остатки 0,1,3, -3, -1 по данному модулю. А по какому модулю можно рассмотреть данное уравнение?
Подсказка 2
Ясно, что при этом нам придется рассматривать число 11^2018 по данному модулю, поэтому будет проще, если 11^2018 будет давать какой-то понятный остаток по рассматриваемому модулю (точнее остаток, который мы сможем найти, что не всегда бывает просто).
Подсказка 3
Давайте рассмотрим уравнение по модулю 9. Какие остатки могут давать кубы натуральных чисел по этому модулю?
Подсказка 4
Только остатки 0, 1 или -1. С чем в свою очередь сравнимо число 11^2018 по модулю 9?
Подсказка 5
Ясно, что 11^2018 сравнимо с 2^2018 по данному модулю. Осталось заметить, что 2^6=64 сравнимо с 1 по модулю 9. Вообще говоря, для каждого числа a существует число b такое, что a^b сравнимо с 1 по данному модулю. В некоторых задачах данное число b можно найти перебором, тем более в тех задачах, где в качестве основания рассматриваются 2, потому что ее первые степени считаются довольно быстро. Закончите решение, воспользовавшись этим сравнением.
С одной стороны, поскольку и
имеем
То есть число даёт остаток
при делении на
С другой стороны, кубы натуральных чисел дают только остатки
и
при делении на
Значит, сумма кубов двух натуральных чисел может дать лишь остатки
или
при делении на
но не может
дать
Нет
Ошибка.
Попробуйте повторить позже
Даны натуральные числа и
Докажите, что существует бесконечно много натуральных
таких, что число
не делится на
Назовём натуральное плохим, если
не делится на
Наша цель — доказать, что плохих чисел бесконечно
много.
Первое решение. Докажем, что при любом чётном одно из чисел
и
плохое; из этого, очевидно, следует
требуемое. Предположим противное. Тогда
и
Иначе говоря,
и
Но отсюда следует, что
это невозможно, ибо
Противоречие.
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение. При утверждение задачи очевидно, поэтому будем считать, что
______________________________________________________________________________________________________________________________________________________
Лемма. Пусть и
— натуральные числа. Предположим, что
делится на
Тогда
делится на
Доказательство. Пусть — остаток от деления
на
Тогда
то есть одно из чисел делится на
Но это невозможно при
ибо
______________________________________________________________________________________________________________________________________________________
Докажем, что существует бесконечно много плохих чисел вида Действительно, если
делится на
то по лемме
должно делиться на
Это невозможно, если, например,
— простое число, большее
Осталось заметить, что таких простых чисел
бесконечно много.
_________________________________________________________________________________________________________________________________________________________________________________
Третье решение. Мы опять же исследуем лишь случай
Пусть — некоторый простой делитель числа
Положим
тогда при любом
имеем
то есть
делится на
С другой стороны, покажем, что числа и
не могут одновременно делиться на
Действительно, иначе
на
делилась бы и их разность
но это невозможно, ибо
по малой теореме Ферма, а числа
и
взаимно просты с
Итак, либо не делится на
(и, значит, на
), либо
не делится на
(и, значит, на
). Поэтому среди
чисел
бесконечно много плохих.
Ошибка.
Попробуйте повторить позже
Можно ли представить число 2017 в виде суммы двух натуральных чисел, сумма цифр одного из которых вдвое больше суммы цифр другого?
Источники:
Подсказка 1
На что нам намекает сумма чисел? С каким из известных фактов можно попробовать найти противоречие?
Подсказка 2
Сумма чисел намекает на модуль 3! Число дает такой же остаток по модулю 3, что и его сумма цифр :) Разберем случаи!
Предположим противное: что можно представить как сумму натуральных чисел
и
причём сумма цифр
вдвое больше
суммы цифр
При сложении двух цифр одного разряда в нём остаётся их сумма (если она меньше ), либо их сумма минус
(если она больше
а единица уходит в следующий разряд). Таким образом, сумма цифр
равна сумме цифр
плюс сумма цифр
минус число
переходов единицы в следующий разряд при сложении, умноженное на
По условию сумма цифр вдвое больше суммы цифр
поэтому их общая сумма делится на
значит, и сумма цифр
должна делиться на
— противоречие с тем, что сумма цифр числа
равна
Ошибка.
Попробуйте повторить позже
Найдите все такие пары натуральных чисел и
что для всякого натурального
взаимно простого c
число
делится на
Подсказка 1
Понятно, что a=1 подходит. Пусть теперь a больше 1, попробуйте тогда подобрать какой-то пример для n, который сделает выполнение условия невозможным.
Подсказка 2
Показатель степени у а слишком сложный. Попробуйте подобрать такое n, чтобы внутри этой степени возник остаток 1.
Если то
а значит, делится на
Пусть Возьмём
тогда
и следовательно,
Если то в силу неравенства
получаем неравенство
что противоречит
Если то
должно делиться на все
что невозможно.
Таким образом, пары, в которых нам не подходят.
- любое натуральное число.
Ошибка.
Попробуйте повторить позже
Пусть — натуральное число. Докажите, что если в записи числа
в системе счисления с основанием
каждая цифра встречается
ровно один раз, то
— составное.
Посмотрим на число по модулю
Очевидно, что оно сравнимо со своей суммой цифр по этому модулю, то есть
кратно
Откуда число
делится на
если
чётно, и на
если нечётно.