Выбор модуля и перебор случаев в уравнениях над Z
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Подсказка 1, пункт а
Почти все коэффициенты делятся на 4, а квадрат у нас даёт интересные остатки по этому же модулю.
Подсказка 1, пункт б
На какое деление намекают коэффициенты 2, 5 и 7?
Подсказка 2, пункт б
Рассмотрим у обеих частей равенства остатки при делении на 7. Какой остаток при делении на 7 может давать 2x²? А 5x²?
Подсказка 3, пункт б
2x² должно давать такой же остаток при делении на 7, как и 5x². Давайте тогда запишем таблицу остатков и проверим, бывает ли такое?
(a) Перепишем уравнение в виде:
Заметим, что правая часть уравнения делится на 4, а, значит, левая тоже должна делиться на 4, то есть кратно 4. Рассмотрим
таблицу остатков
по модулю 4:
| | |
| | |
| | |
| | |
| | |
Таким образом, в любом случае не может делится на 4, а, значит, уравнение не имеет решений в целых числах.
(b) Заметим, что числа и
имеют одинаковый осток по модулю 7, так как их разность делится на 7. Рассмотрим возможные
остатки этих чисел по модулю 7:
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
Из таблиц мы видим, что числа и
могут давать одинаковый остаток при делении на 7, только если они оба
делятся на 7. Но если
делится на 7, то
делится на 7, а, значит,
делится на 7, откуда
делится на 49.
Аналогично,
должно делиться на 49. Отсюда разность
кратна 49, что неверно. Получается, решений
нет.
Ошибка.
Попробуйте повторить позже
Назовём натуральное число обнадёживающим, если оно представляется в виде при натуральных
Докажите, что
произведение
обнадёживающих чисел не является точным квадратом.
Предположим противное. Тогда существуют обнадеживающих чисел, которые представляются в виде
при всех
произведение которых суть квадрат некоторого натурального числа
Если при некотором верно, что
то мы можем перейти к новому набору обнадеживающих чисел, в котором
-ое
будет представлено в виде
а произведение будет равно квадрату числа Тем самым, не более, чем через
шагов, мы придем к набору, в котором никакое
обнадеживающее число
не удовлетворяет
Назовем первой компонентой числа
Пусть среди полученного набора ровно
обнадеживающих чисел таковы, что их
первая компонента кратна
тогда каждое из них кратно
и число имеет вид
и не кратно
следовательно,
четно. Поделим каждое такое обнадёживающее число на
тогда их произведение по прежнему будет равно квадрату
натурального числа.
Осталось рассмотреть полученное равенство по модулю Для произвольного совершенного числа
в котором
не кратно
верно, что
а те, что были поделены имеют вид
и
следовательно, их произведение сравнимо с по модулю
что невозможно, поскольку оно же является квадратом
натурального числа.
Ошибка.
Попробуйте повторить позже
Решите уравнение в целых числах.
Заметим, что левая часть всегда делится на откуда
и уравнение преобретает вид
или
Поскольку в левой части стоит три последовательных целых числа, ровно одно из них делится
на
Также заметим, что правая часть дает остаток
при делении на
откуда
дает остаток
при делении на
Пусть делится на некоторое простое
Тогда
является квадратичным вычетом по модулю
Откуда,
согласно квадратичному закону взаимности, либо
либо
имеет вид
В частности,
не делится на
Выберем из чисел
и
нечетное. Тогда в его разложение на простые множители могут войти только
и простые
вида
в натуральных степенях, т.е. либо
либо
имеет вид
Это не так, поскольку
имеет вид
Решений нет
Ошибка.
Попробуйте повторить позже
Найдите все натуральные и
для которых выполняется равенство
Подсказка 1
Когда в задачке на натуральные числа встречается квадрат, сразу нужно подумать, что будем работать с остатками по какому-то модулю. Например, почему хорошо с квадратами работать по модулю 3? Потому что остатки квадратов по модулю 3 это только 0 и 1. Здесь же выгодно поработать с модулем 5, ведь что примечательно будет в левой части, если m будет больше 4?
Подсказка 2
Верно, левая часть по модулю 5 будет равна двойке, а правая по модулю 5 сможет равняться двойке? Нет, а это значит, что m не больше 4. Остается только перебрать подходящие натуральные m и найти те, которые подходят :)
Заметим, что при в левой части
кратно пяти, так что вся левая часть даёт остаток
по модулю
А какие остатки может давать квадрат натурального числа по этому модулю? Нетрудно убедиться, что только Поэтому для
равенство невозможно.
Остаются Вручную совершая проверку, находим единственное решение
Ошибка.
Попробуйте повторить позже
Решите в натуральных числах уравнение:
Источники:
Рассмотрим наше равенство по модулю . Поскольку
делится на
, то по малой теореме Ферма
даёт остаток
или
при делении на
. При этом
делится на
. Тогда левая часть уравнения может давать остатки
или
при делении на
, в то время как правая часть может давать остатки
, то есть
или
. Значит, решений
нет.
Нет решений
Ошибка.
Попробуйте повторить позже
Решите уравнение
в целых неотрицательных числах.
Источники:
Подсказка 1
Левая часть должна делиться на 7, а еще видно связь между 3^2a и 3^a, что тогда хочется сделать?
Подсказка 2
Хочется заменить 3^a на t и записать табличку остатков на t^2 + t + 2 по модулю 7^l. Тогда какие выводы мы сможем сделать относительно l?
Подсказка 3
l < 2! Остаётся разобрать 2 случая с l) Начнем с l = 0. У нас появляется уравнение относительно a и k, где одно из решений на "маленьких числах" угадывается. Далее попробуем оценить a и доказать, что при a >= 2 решений нет. Как это сделать?
Подсказка 4
При a >= 2 мы можем оценить k и найти остаток от деления на 3 числа 2^k. Теперь мы знаем, какое k, поэтому можем подставить это в изначальное уравнение. Какое уравнение у нас получается и какой вид будет иметь k?
Подсказка 5
k = 2m + 1, тогда мы приходим к уравнению вида 3^a(3^a + 1) = 2(4^m - 1), значит m делится на 3. Теперь мы можем оценить, на что делится 4^m - 1, тем самым сделав выводы о делителях 3^a + 1. Какие?
Подсказка 5
3^a + 1 делится на 7. Осталось лишь оценить a и прийти к противоречию с помощью сравнений по модулю) осталось лишь рассмотреть случай l = 1, что делается теми же идеями, что и случай l = 0)
Если то получим сравнение
где Но это сравнение невозможно ни при каком
(проверку осуществляем с перебора остатков по модулю
Значит,
- 1.
-
В случае
имеем уравнение
Если
то
При
решений нет. Далее считаем
Имеем
и
откуда
для некоторого натурального
Из равенства
следует, что
делится на 3 (иначе правая часть не будет делиться на 9). Тогда
делится на
Следовательно,
делится на 7. Но тогда
так что
Однако
что дает противоречие.
- 2.
-
Рассмотрим случай
При
из уравнения
находим
Пусть далее
и, как следствие,
Имеем
Отсюда следует, что
делится на 7. Это возможно только при условии
Но тогда
что приводит к противоречию.
Ошибка.
Попробуйте повторить позже
При каком условии на и
уравнение
имеет решение в целых числах?
Совершенно очевидно, что если , то левая часть делится на
, значит, и правая часть должна делиться на
, но 1
точно на
не делится.
Если же , то применим алгоритм Евклида к числам
и
. При этом на очередном шаге будем выражать
новые числа линейным образом через
и
. Например, после первого шага мы ищем
, если
,
потом снова вычитаем из большего меньшее, и так далее. В итоге мы придем к тому, что одно из чисел в скобках станет
равно 1, и при этом будет выражено линейно через
и
. Значит, мы смогли выразить 1 в виде
, что и
требовалось.
Замечание. А что произойдет, если справа написать не 1, а ? Во-первых, на
можно сократить. Если после этого
не
делится на
, то решений, очевидно, нет. Если делится, то решения есть по тому же алгоритму Евклида. В конце надо лишь
домножить на
. Более интересен вопрос найти все решения подобного ЛДУ, но этот вопрос мы оставим для самостоятельных
размышлений.
при взаимно простых и
Ошибка.
Попробуйте повторить позже
Найдите все простые числа такие, что
Подсказка 1
Первая мысль, которая приходит, когда видим уравнение на простые числа, это проанализировать чётность/нечётность. В нашем случае все три числа x,y,z нечётными быть не могут, но при этом все они простые!
Подсказка 2
Таким образом, одно из чисел х, у, z — двойка. Ловко это получилось, хочется проделать то же самое ещё раз, только для другого простого модуля. Какое мы знаем маленькое простое число, по модулю которого удобно рассматривать квадраты?
Подсказка 3
Проанализируем наше равенство по модулю 3. Аккуратно рассмотрев возможные остатки степеней получим, что одно из чисел обязательно делится на 3, то есть равно трём. А теперь, когда известно два из трёх чисел, остаётся осуществить минимальный перебор!
Посмотрим на равенство по модулю Как известно, квадраты при делении на
дают остатки
кубы —
четвёртые степени —
Пут̈eм перебора остатков понимаем, что возможны только случаи
Нетрудно понять, что если степень простого числа кратна трём, то это число равно Следовательно, среди переменных есть хотя бы
одна тройка.
Также заметим, что если все числа нечётны, то левая часть чётна, а правая — нет. Следовательно, среди переменных есть двойка.
Осталось подставить и
вместо каких-то двух переменных всеми способами и получить ответ.
Ошибка.
Попробуйте повторить позже
Найдите все целые неотрицательные решения уравнения
Если то
а значит, и
— степени двойки. На два могут отличаться только
и
то есть
Если то посмотрим на равенство по модулю
и заметим, что
чётен (так как квадраты дают остатки
при делении на
а степени
—
). Теперь мы имеем
Скобочки являются степенями тройки, пусть и
но тогда
Поскольку правая часть не делится на нужно потребовать, чтобы
равнялось
Следовательно, уравнение примет
вид
Если имеем
откуда
Иначе
делится на
то есть
чётно и
Скобочки являются степенями двойки, отличающимися на а значит, они равны
и
откуда
и
Ошибка.
Попробуйте повторить позже
Найдите все пары целых чисел и
, для которых выполнено
По МТФ Следовательно, левая часть равенства сравнима с
а левая — с
Если эти
выражения сравнимы по модулю
то
а это неверно.
нет решений
Ошибка.
Попробуйте повторить позже
Найдите все натуральные и
такие, что
Подсказка 1
Сократим каждую из частей на n. Имеем (n-1)!+1=n^{k-1}. Могут ли числа (n-1)! и n^{k-1} иметь общие делители, отличные от 1?
Подсказка 2
Нет. Предположим, что каждое из чисел (n-1)! и n^{k-1} делится на число d>1, тогда 1=n^{k-1}-(n-1)! делится на d, тем самым получено противоречие. Таким образом, числа (n-1)! и n^{k-1} взаимнопросты. Что в этом случае можно сказать про число n?
Подсказка 3
Оно является простым. Действительно, произведение 1*2*...*(n-1) взаимнопросто с n, следовательно, каждый из множителей 1, 2, ...,(n-1) взаимнопрост с n, но если n не является простым, то среди чисел из множества множителей найдется его делитель. Введем новое обозначение n=p и перепишем исходное уравнение в виде p^{k-1}-1=(p-1)!. Каким образом можно разложить левую часть на множители?
Подсказка 4
Имеем p^{k-1}-1=(p-1)(p^{k-2}+p^{k-1}+...+1). Сократив левую и правую часть на p-1, получим p^{k-2}+p^{k-1}+...+1=(p-2)!. До сих пор нам мало известно про число k. По какому модулю можно рассмотреть данное уравнение, чтобы найти естественное условие на k?
Подсказка 5
Рассмотрим полученное уравнение по модулю p-1. Каждое из слагаемых вида p^m сравнимо с 1 по модулю p-1. Таким образом, левая часть сравнима с k-1 по модулю p-1. Правая - с 0. Отсюда получим, что k-1 кратно p-1. Таким образом, k не меньше, чем p. Что данная оценка позволяет понять про исходное неравенство?
Подсказка 6
Наконец, мы получили, что p!+p=p^k⩾p^p, что неверно при достаточно больших p. Осталось найти p, при котором данное неравенство неверно, и разобрать все меньшие случаи.
Сначала разберем случаи Непосредственной проверкой убеждаемся, что решениями будут пары
Далее считаем, что Сократив равенство на
получим
Заметим, что
Тогда
взаимно
просто с
что возможно только если
— простое. Для удобства переобозначим
Тогда
Сократив на
получим
Посмотрим на это равенство по модулю
Заметим, что
и
откуда
следовательно, То есть
Тогда
что неверно при
Ошибка.
Попробуйте повторить позже
Существуют ли целые числа и
удовлетворяющие уравнению
Подсказка 1
Попробуйте как-то использовать четность.
Подсказка 2
Ого! То есть либо m и n нечетные, либо m и n четные, что тогда можно сказать про разность их квадратов?
Пусть существуют. Заметим, что то есть
и
одной чётности. Если
кратны
то оба квадрата кратны
тогда
кратно
что неверно. Тогда
нечётны, но при
выполнено
то есть разность
снова кратна
противоречие.
нет
Ошибка.
Попробуйте повторить позже
Докажите, что сумма квадратов трех последовательных чисел не может быть кубом целого числа.
Подсказка 1
Попробуйте обозначить за n второе число(так будет намного удобнее).
Подсказка 2
Получили, что 3n^2+2 это наша сумма. При этом, это выражение равно некоторому кубу. Когда у нас есть куб, то по какому модулю можно(и нужно) посмотреть на выражение?
Подсказка 3
Да! Либо 7 либо 9. При этом, у нас есть равенство 3n^2+2=k^3. Стоит посмотреть какие остатки может давать выражение справа и слева по этим модулям и сделать вывод.
Предположим, что это не так, то есть найдутся и
такие что
По модулю квадраты дают остатки только
или
, поэтому левая часть уравнения по модулю
даёт остатки
или
По модулю кубы дают остатки только
или
поэтому правая часть уравнения по модулю
даёт остатки
Поэтому уравнение не имеет решений в целых неотрицательных числах.
Ошибка.
Попробуйте повторить позже
Решите уравнение в целых числах
Подсказка 1
Мы с вами знаем, как бывает полезно смотреть на уравнения в целых числах, по какому-то модулю особенно, если присутствуют и числовые коэффициенты —> попробуйте выбрать правильный модуль!
Подсказка 2
Когда не видно явных намёков на конкретный модуль, то можно просто перебрать модуль среди коэффициентов, что нам встречаются – 2, 5 и 7. Двойка нам, например, явно ничего хорошего не даст (y^2=1 по модулю 2 имеет решения), а что насчёт других? Выписывайте таблицы остатков и пробуйте!
Подсказка 3
mod 7 – наш друг тут! Какие остатки дают квадраты по модулю 7? Тогда что можем сказать о числах x и y? Осталось вернутся к исходному уравнению, и противоречие у вас в кармане (напоминание: x^2 кратен 7 —> x^2 кратен 49)
По модулю равенство можно переписать в виде
то есть кратно 7. Рассмотрим остатки квадратов по модулю
, достаточно взять только остатки от
до
, поскольку
остальные им противоположны (а при возведении в квадрат равны):
| |
0 | 0 |
1 | 1 |
2 | 4 |
3 | 2 |
Сумма квадратов даёт только в случае, когда оба числа кратны
, то есть их квадраты кратны
. Но тогда левая часть делится на
, а в правой стоит
. Решений нет.
таких нет
Ошибка.
Попробуйте повторить позже
Решите уравнение в целых числах
Подсказка 1
Перед нами снова дилемма о выборе правильного модуля и пару жирных намёков: куб и число 84 —> на какой модуль они намекают?
Подсказка 2
84=12 * 7, а кубы – намёки на модули 7 и 9. Посмотрев на это уравнение по модулю 7, вы получите уже милое сравнение, для решения которого останется лишь записать таблицу остатков кубов по mod 7
Первое решение. Заметим, что число делится на
, поэтому из уравнения следует, что
должно
делиться на
. Значит, число
должно давать остаток
при делении на
. Но куб целого числа может давать
остатки только
при делении на
(доказать можно просто перебором остатков для
от
до
), поэтому число
может давать остатки только
и не может давать остаток
. Значит, уравнение не имеет решений в целых
числах.
Второе решение. Рассмотрим какие остатки дают числа вида при делении на
. Заметим, что
(отсюда легко
найти и остаток от деления
на
), поэтому достаточно взять только остатки от
до
, поскольку остальные им противоположны
(а при возведении в квадрат минус исчезает и получаются те же остатки):
| | |
0 | 0 | 0 |
1 | 1 | 8 |
2 | 4 | 13 |
3 | 9 | 15 |
4 | 16 | 14 |
5 | 6 | 10 |
6 | 17 | 3 |
7 | 11 | 12 |
8 | 7 | 18 |
9 | 5 | 2 |
Из условия , а такого в таблице нет.
таких нет
Ошибка.
Попробуйте повторить позже
Решите в натуральных числах уравнение
Подсказка 1
Сходу можно раскрыть скобочки и получить квадратный трёхчлен слева – конечно, тут же хочется и полный квадрат выделить, но слагаемое посерединке нам явно неудобно воспринимать, как удвоенное произведение (тем более, что двоек в других слагаемых многовато!) поэтому попробуйте домножить левую и правую части на удобное чётное число!
Подсказка 2
Домножаем на 8, выделяем полный квадрат и думаем над подходящим модулем (оценки же явно тут нам не смогут сильно помочь) – лучше выбирать его с оглядкой на число, которое стоит особняком от переменных
Подсказка 3
Осталось лишь сделать вывод о делимости квадратов. Напоминаю, что если n^2 кратно 3, то n^2 кратно 9, но вот 15 кратно 3 и не кратно 9
Домножим всё на .
может давать остатки
и
при делении на
, а
— остатки
и
. Значит,
и
делятся на
, то есть
их квадраты кратны
. Но тогда
, противоречие.
Замечание. Решение полностью аналогично и в целых числах.
таких нет
Ошибка.
Попробуйте повторить позже
Найдите все натуральные , для которых число
является квадратом натурального числа.
Заметим, что при наша сумма будет давать остаток 3 при делении на 5, а следовательно не будет являться точным квадратом. Тогда
легко видеть, что нам подходят только
и
.
Ошибка.
Попробуйте повторить позже
Натуральное число в системе счисления с основанием
имеет вид
причем
Оказалось, что
-ичная запись
числа
представляет собой семизначный палиндром с нулевой средней цифрой. (Палиндромом называется число, которое читается
одинаково слева направо и справа налево). Найдите сумму
-ичных цифр числа
Источники:
Подсказка 1
Давайте потихоньку "причёсывать" задачу. Что даёт равенство из условия на числа p и q? Это значит, что мы можем записать p = 2s, а q = 5s, где s какое-то целое число. Попробуйте теперь записать x и x² в явном виде, учитывая условие с палиндромом. Получается ли там что-то относительно хорошее? Удобно ещё палиндром как-то обозначить.
Подсказка 2
Ага, получается, что после всех преобразований x= s (2r² + 5) (r + 1). Давайте обозначим палиндром abc0cba, где a, b, c соответственно какие-то цифры r - ичной системы. Тогда сгруппировав слагаемые в x² получится a(1 + r⁶) + b(r + r⁵) + c(r² + r⁴). Выходит нам нужно узнать сумму цифр, то есть 2(a+b+c). Давайте теперь приравняем два представления числа x². Учитывая, что у нас r - ичная система счисления, делимость на какое выражение тогда можно рассмотреть? Можете рассмотреть разные варианты и со временем придёте к нужному.
Подсказка 3
Верно, давайте рассмотрим делимость на (r + 1)², так как x² будет делиться на него, но нам интересна другая часть неравенства. Но появляется вопрос, как же находить остаток при делении степеней r на (r + 1)²? Попробуйте это понять, записав r^n = (1 + r -1)^n и раскрыв по биному Ньютона.
Подсказка 4
Ага, аккуратными вычислениями понимаем, что степень числа r даёт остаток (-1)^n (1-n (r+1)). Ничего страшного, если не получилось вывести, можете просто проверить по индукции, что это правда. Теперь попробуйте применить это к нашему выражению. Какой факт тогда можно понять про числа a, b, c?
Подсказка 5
Ага, из-за ограничения на a, b, c(они в r - ичной системе счисления) можно понять, что b = a + c. И раз мы узнали факт про b, то хорошо было бы тогда оценить именно его, чтобы потом сумму цифр легко найти. Поэтому попробуйте по аналогии посмотреть остаток при делении x² на 1 + r², а точнее сравнение. Там будет хорошо пописать неравенства для r и s, учитывая все ограничения, связанные с делимостью, системой счисления и количеством цифр.
Подсказка 6
Ага, для начала получаем, что r⩾6, и из сравнения, записав двойное неравенство для (9s² − b), будет следовать, что b = 9s². Далее останется только получить из верхнего ограничения для r, что s=1, а значит, b=9. Теперь осталось только посчитать правильно сумму цифр, и победа!
Договоримся писать если
Пусть
Тогда
Из условия на вытекает равенство
(1) |
где — некоторые
-ичные цифры. Сделаем два наблюдения.
1) При любом натуральном
Левая часть кратна
откуда
Поскольку взаимно просто с
на
делится
Но это число лежит в интервале
откуда
2) Приравняем остатки левой и правой частей от деления на
Поскольку взаимно просто с
на
делится
Заметим, что
, иначе число
будет
восьмизначным. Кроме того,
. Поэтому
Таким образом,
Поскольку —
-ичная цифра, из 2) вытекает, что
, откуда
Так как
мы получаем
и
В силу
1) сумма цифр
равна
Замечание.
Прямым вычислением проверяется, что . Таким образом, описанная в условии ситуация реализуется.
Ошибка.
Попробуйте повторить позже
Докажите, что уравнение
не имеет решений в целых числах.
Перепишем уравнение в виде Так как куб целого числа не может давать остаток
при делении на
то
уравнение не имеет решений в целых числах.
Ошибка.
Попробуйте повторить позже
Докажите, что уравнение не имеет решений в целых числах.
Предположим, что такая тройка нашлась. Заметим, что среди чисел могут быть отрицательные. Если их 1 или 2, то среди трёх выражений
одна примет целое значений (либо два), тогда как другие (-ое) не будут превосходить по модулю , то есть равенства быть точно не может.
Тогда все три числа имеют один знак (с учётом нуля):
- 1.
-
Все они неотрицательны, тогда
.
- 2.
-
Все они неположительны, перейдём к
, получим:
Однако снова
.
В обоих случаях мы пользовались тем, что для любого неотрицательного целого
, таким образом, всё
доказано.