Делимость и делители (множители)
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Все натуральные делители составного натурального числа выписаны по возрастанию
Оказалось,
что
Найдите все такие
Подсказка 1.
Обозначим за a разность первых двух делителей. Тогда разность второго и третьего по условию 2a, третьего и четвёртого 3a и так далее.
Поскольку число составное, то у него есть по крайней мере 3 делителя, а значит, рассматриваемых разностей хотя бы две.
Пусть
Тогда
и так далее. Таким образом, каждый делитель числа можно выразить через
как
Обозначим через количество делителей числа
Заметим, что число
является произведением своих наименьшего и наибольшего
собственных делителей, то есть мы можем написать уравнение
Сократив левую и правую часть на получаем
Получается, что умножение на увеличивает некоторое число на 1. Такое может быть только при условии, что
То есть у числа
есть ровно два делителя, а его наименьший простой делитель равен
Отсюда
Ошибка.
Попробуйте повторить позже
Пусть — все натуральные делители натурального числа
Докажите, что если
не делится на
то
делится на
Пусть — разложение
на простые множители, причём
…<
Ясно, что
а
По
условию
не делится на
поэтому
Вспомним, что делители
разбиваются на пары
Отсюда следует,
что
Так как то это выражение делится на
Ошибка.
Попробуйте повторить позже
Пусть — натуральное число, с делителями
Могло ли оказаться, что для некоторого натурального
оба
числа
и
являются точными квадратами?
Предположим противное. Пусть
причем
Рассмотрим число
Заметим, что
то есть
В частности, число
не может являться делителем
Зафиксируем произвольное простое число
Обозначим через
степень вхождения
в
через
— степень вхождения
в
Тогда степень вхождения
в число
равна
что
точно не превосходит большего из чисел
и
Значит, число
также является натуральным делителем
—
противоречие.
не могло
Ошибка.
Попробуйте повторить позже
Алгоритм Евклида. Чтобы найти , где
и
— два натуральных числа, мы можем заменять большее число на разность
между двумя числами. Алгоритм останавливается, когда новые числа будут равны. Тогда НОД исходных чисел равен этим оставшимся
числам.
Для начала докажем такой факт: для целых
и
Пусть
и
Тогда, поскольку
и
делятся на
то и
делится на
то есть
поскольку является общим делителем
и
Аналогично
то
есть они равны.
Итак, мы показали, что во время исполнения алгоритма Евклида НОД пары чисел не меняется. Поскольку исходный НОД
также будет
Ошибка.
Попробуйте повторить позже
(a) Заметим, что а
Значит,
(b) Через обозначим
Для начала заметим, что
поскольку
имеет в качестве простых делителей только
2 и 5,
ни того, ни другого. Теперь докажем, что при
и
Таким образом, можно применять алгоритм Евклида для числа единиц и Тогда, поскольку
ответом на
задачу будет 111.
(a) (b)
Ошибка.
Попробуйте повторить позже
Известно, что Каково наибольшее возможное значение
Пусть искомый НОД равен Избавимся от
в первой скобке:
Пусть Тогда
также делится на
тогда и
делится на
из взаимной простоты
и
получаем
Тогда
Для получения равенства достаточно взять и
Тогда
Нетрудно видеть, что
Ошибка.
Попробуйте повторить позже
Докажите, что для любых натуральных и
верно
Обозначим за число
Тогда нужно получить, что
Для этого докажем, что при
и
Значит, можно применить алгоритм Евклида для индексов и завершить доказательство.
Ошибка.
Попробуйте повторить позже
Докажите, что
Подсказка 1
Решение будем строить комбинаторно, а, значит, пора определяться, для какого множества (из скольки элементов) и какие объекты будем считать.
Подсказка 2
Правая часть чётко говорит брать 2n элементов и считать число подмножеств из n элементов. Слева же в каждом слагаемом перемножают цешки из n. Что бы это могло значить?
Подсказка 3
В таком случае логично разбить наше множество на две группы по n элементов, тогда перемножая цешки будем считать число способов выбрать подмножество, где какое-то конкретное число элементов из первой группы и какое-то конкретное - из второй. Только вот мы хотим получать в сумме n выбранных...
Пусть имеется множество из
элементов. Тогда справа
количество его подмножеств мощности
Посмотрим теперь, что будет слева. Разделим на два непересекающихся подмножества
и
по
элементов в каждом. В силу
верно
Тогда
количество способов выбрать в
подмножество мощности
что
элементов лежат в
остальные
в
Проходясь по всем
получаем всевозможные подмножества
мощности
Ошибка.
Попробуйте повторить позже
Сумма всех натуральных делителей числа более чем в 100 превосходит само число
. Докажите, что есть сто идущих подряд чисел,
каждое из которых имеет общий делитель с
больший 1.
Источники:
Сначала докажем лемму.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма.
Пусть - функция Эйлера числа
(Количество чисел от
до
взаимно простых с
) Тогда для любого натурального числа
справедливо неравенство
_________________________________________________________________________________________________________________________________________________________________________________
Доказательство леммы.
Запишем сумму делителей числа через произведение сумм степеней его простых делителей. Если
то
Используя формулу суммы геометрической прогрессии, получаем:
Функция Эйлера вычисляется по формуле Тогда чтобы получить
в
знаменателе, домножим числитель и знаменатель на
_________________________________________________________________________________________________________________________________________________________________________________
Решение задачи.
По условию и лемме
Тогда
То есть количество чисел от до
взаимно простых с
меньше
Рассмотрим два случая: делится на
и
не делится на
1. Число делится на
Тогда можно разбить числа от
до
на
групп по
идущих подряд чисел. Если
количество чисел от
до
взаимно простых с
меньше
, то хотя бы в одной группе не будет числа взаимно простого с
2. Число не делится на
Тогда среди чисел
до
можно выделить
групп по
идущих подряд чисел. Если в каждой
группе будет число взаимно простое с
, то чисел взаимно простых с
хотя бы
(
тоже взаимно проста с
). Это
противоречит тому, что количество чисел от
до
взаимно простых с
меньше
Ошибка.
Попробуйте повторить позже
Можно ли вычеркнуть из произведения один из факториалов так, чтобы произведение оставшихся было квадратом целого
числа?
Отсюда видно, что, вычеркнув мы получим квадрат числа
Да, можно
Ошибка.
Попробуйте повторить позже
Дано различное натуральное число, меньшее
Известно, что среди любых трех из них есть два, дающих в произведении точный
квадрат. Докажите, что среди этих чисел есть точный квадрат.
Предположим, что среди этих чисел нет точного квадрата. Обозначим через все простые числа, меньшие
Заметим, что по
условию каждое выписанных чисел раскладывается в произведение
в некоторых степенях. Каждое из наших простых чисел
входит в одно выписанное число в четной или нечетной степени. Сопоставим каждому выписанному числу последовательность из
и
длины
Число на
- ой позиции будет равно
если
в ходит в выписанное число в нечетной степени и
в
противном случае (на самом деле это и есть бесквадратная часть, про которую мы говорили в теории). Предположим, что среди
последовательностей выписанных чисел есть три различные. Тогда для трех соответствующих этим последовательностям чисел не
выполнено условие (два числа в произведении могут давать точный квадрат, только если четности вхождения каждого
- ого
одинаковые).
То есть мы показали, что различных последовательностей может быть не больше Обозначим эти последовательности через
и
Обозначим через
Очевидно что
Считаем. что
тогда
так
как при
мы получим, что числа являются квадратами, а мы предположили, что их нет. Каждое из выписанных чисел дает
точный квадрат либо при делении на
либо при делении на
Причем для чисел, которым соответствуют одинаковые
последовательности, эти квадраты должны быть различными. Рассмотрим наибольшее выписанное число, которому соответствует
последовательность
-шек. Оно равно
для некоторого натурального
откуда
то есть
Но тогда количество
выписанных чисел, которым соответствует первая последовательность, не превосходит
Аналогично поступаем со второй
последовательностью. Опять рассматривает наибольшее число
откуда
то есть
откуда таких
чисел не больше
То есть всего чисел не больше, чем
Получили противоречие с количеством данных
чисел.
Ошибка.
Попробуйте повторить позже
Найдите все такие составные числа что для любого разложения на два натуральных сомножителя
сумма
является
степенью двойки.
Подставив получим, что
для некоторого натурального
Пусть
где
и пусть
для
некоторого натурального числа
Очевидно, что
Тогда
Перемножив эти равенства, получим, что число делится на
Но двойка входит в одно из чисел
или
в первой степени, а во второе — в степени, не большей
Аналогично для чисел
и
Следовательно, делимость на
возможна, только если в обеих упомянутых оценках двойки входит в степени ровно
Это
возможно, лишь если
(поскольку
и
). Тогда
и
делится на
Значит, можно считать, что в наших рассуждениях выбрано
Тогда
и
— единственное подходящее
число.
Ошибка.
Попробуйте повторить позже
Докажите, что если делится на
то сумма всех делителей натурального числа
тоже делится на
Подсказка 1
Видим, что задача на остатки! Тогда сразу же нужно разложить число 24 на степени простых и понять, какие остатки имеет n при делении на эти числа.
Подсказка 2
Число n имеет остаток 2 при делении на 3 и остаток 7 при делении 8. Теперь наша задача — понять что-то про сумму всех делителей числа n. Поскольку мы ничего не знаем про эти делители в совокупности, можно попробовать разбить их на пары определённым образом. (Почему делителей у n чётное число?)
Подсказка 3
Наши пары делителей — d и n/d. Произведение каждой пары равно n и имеет соответствующие остатки при делении на 3 и 8. Осталось осуществить небольшой перебор и понять, какие пары остатков могут давать d и n/d при делении на 3 и 8!
Так как делится на
и
то
при делении на
даёт остаток
а при делении на
— остаток
Разобьём делители на пары вида так как число
не может быть полным квадратом ввиду противоречия с делимостью на
Заметим, что если
даёт остаток
при делении на
то
даёт остаток
и наоборот. Поэтому сумма делителей в каждой такой
паре кратна
Аналогично, сумма делителей в каждой такой паре кратна
Ошибка.
Попробуйте повторить позже
В вершинах куба записали восемь различных натуральных чисел, а на каждом его ребре — наибольший общий делитель двух чисел, записанных на концах этого ребра. Могла ли сумма всех чисел, записанных в вершинах, оказаться равной сумме всех чисел, записанных на ребрах?
Давайте докажем, что если числа и
различны, то НОД
. Пусть
, тогда НОД
, а 2НОД
(так как
делится на НОД
, но равно быть не может, так как числа не равны и
большее число, значит, 2НОД
). Получили, что
3НОД
. Давайте для каждого ребра запишем полученную оценку и сложим все неравенства, каждая вершина используется в
трех неравенствах, поэтому сумма всех НОДов меньше либо равна суммы всех чисел. Предположим, что эти суммы равны, тогда равенство
достигается в каждом неравенстве, выше. То есть равенство возможно только при
или
(для каждого ребра).
Не теряя общности пусть , но тогда: либо
, тогда нашлись два равных числа, либо
, но также
или
, то
есть в любом случае найдутся хотя бы два равных числа, противоречие, значит, равенства быть не могло. Таким образом, сумма всех НОДов
меньше суммы всех чисел.
Нет
Ошибка.
Попробуйте повторить позже
Про натуральные числа известно, что
делится на
делится на
, а
делится на
. Найдите наименьшее возможное
значение их произведения
.
Подсказка 1
Обратите внимание, что если w является делителем x и y является делителем z, то xz кратно wy. Как это можно применить относительно нашего условия?
Подсказка 2
Правильно, перемножив попарно все три условия кратности и сократив лишнее, получим, что a² ⫶ 10, b² ⫶ 6 и c² ⫶ 15. Все эти числа не включают в себя полные квадраты. Что это говорит о числах a, b и c?
Подсказка 3
Правильно, сами числа тогда тоже делятся на 10, 6 и 15 соответственно, а значит, не могут быть меньше них. Тогда и abc тоже будет не меньше произведения этих чисел.
Но раз квадрат делится на 2 и на 3, то и само
делится на 2 и на 3. Тогда
, значит,
Но раз квадрат делится на 2 и на 5, то и само
делится на 2 и на 5. Тогда
, значит,
Но раз квадрат делится на 3 и на 5, то и само
делится на 3 и на 5. Тогда
, значит,
В итоге причём при
,
,
достигается равенство.
Ошибка.
Попробуйте повторить позже
Найти сумму максимальных нечетных делителей каждого из целых чисел на отрезке .
Источники:
Подсказка 1
Интересно, что чисел от 61 до 120 ровно столько же, сколько нечётных от 1 до 120.
Подсказка 2
Чем нечётные отличаются от чётных? Наличием степени двойки. Тогда как удобно представить все числа?
Подсказка 3
Из первого замечания про количество нечётных хочется посмотреть, а сколько чисел вида n * 2ᴷ для каждого нечётного n (меньшего 120) лежит в промежутке от 61 до 120.
Подсказка 4
Оказывается, для каждого такого n одно своё n * 2ᴷ в промежутке от 61 до 120. Попробуйте понять, почему это так, и досчитать искомую сумму нечётных n!
Для каждого нечетного числа в промежутке 1 до 119 рассмотрим числа вида
, где
Докажем, что для каждого
найдётся ровно одно число вида
на промежутке от 61 до 120.
Пусть на нашем промежутке не нашлось нужного числа. Тогда должна найтись такая пара чисел ,
что
что невозможно, поскольку из первого следует, что
Тогда из нашего утверждения следует, что для любого нечётного числа , меньшего 120, найдётся число от 61 до 120, что его
наибольшим нечетным делителем будет
. Причём для каждого
такое число уникально. При этом нечётных чисел от
1 до 120 ровно 60, как и чисел от 61 до 120. Получается, что искомая сумма равна сумме всех нечётных чисел от 1 до
120.
Ошибка.
Попробуйте повторить позже
На доске в ряд написаны простых чисел. Известно, что среди них менее
различных. Докажите, что можно выбрать несколько
подряд идущих написанных чисел, произведение которых является точным квадратом.
Источники:
Рассмотрим произведения первых чисел в ряду. Всего таких произведений
(также учитваем произведение, в котором
простых
чисел, будем считать, что оно равно
).
Ясно, что произведение чисел любой подпоследовательности этого ряда — частное каких-то двух произведений первых чисел.
Пусть ряд состоит из чисел Тогда любое произведение первых чисел имеет вид
Если мы найдём
два произведения первых чисел, у которых чётности соответствующих
совпадают, то мы найдём подпоследовательность ряда,
произведение чисел которой равно квадрату.
Всего существует наборов чётностей
(каждое
либо чётное, либо нет). Осталось заметить, что
Значит,
найдутся два произведения с одинаковым набором чётностей у
получили требуемое.
Ошибка.
Попробуйте повторить позже
Для любых натуральных и
докажите неравенство
(Как обычно, обозначает наибольший общий делитель чисел
и
)
Заметим, что
Но эта разность делится на произведение НОДов. Действительно, делится на
делится на
и
делится на
следовательно
делится на произведение НОДов. Аналогично
делится на
произведение НОДов, а тогда и разность делится. Но тогда эта разность не меньше, а
больше произведения
НОДов.
Ошибка.
Попробуйте повторить позже
Докажите, что уравнение
имеет бесконечно много решений в целых числах.
Источники:
Подсказка 1
Для начала просто решим уравнение 5m^2 - 3m = n^2 + n. У нас есть квадраты обеих переменных, а значит нужно попробовать выделить два полных квадрата.
Подсказка 2
Заменим один получившийся квадрат на х, а другой на y. Должно получиться уравнение x^2 - 5y^2 = 4. Нам нужно доказать, что у уравнения бесконечное число решений. В таком случае, решение уравнения может быть связано с каким-либо бесконечным числовым рядом. Какую известную последовательность чисел вы знаете?
Подсказка 3
Числа Фибоначчи! Подумайте, как через них можно выразить решения этого уравнения. Это можно сделать, например, поподставляя последовательные числа Фибоначчи и их комбинации в уравнение.
Подсказка 4
В конце не забудьте проверить, что m и n получаются целые. Для этого можно заметить, что последовательность остатков чисел Фибоначчи по модулю 10 периодична. Так же нужно понять, зануляется ли в этих случаях знаменатель.
Решим сначала уравнение
______________________________________________________________________________________________________________________________________________________
Умножим на 4 и прибавим 1 к обеим частям, чтобы выделить полный квадрат справа:
Теперь домножим обе части на 5 и выделим полный квадрат слева:
Сделаем замену . У получившегося уравнения
имеются решения
где — числа Фибоначчи (мы пользуемся нумерацией
при всех целых
). На самом
деле
равно для всех
, что легко проверить по индукции: при
это выполняется, а если
, то
и
(Можно доказать с помощью теории уравнений Пелля, что не имеет других решений.)
Теперь нужно найти бесконечно много и
таких, для которых соответствующие
и
целые. Заметим, что
последовательность остатков чисел Фибоначчи по модулю 10 периодична (так как пара (
) может принимать конечное количество
вариантов по модулю 10, а остаток следующего и предыдущего чисел Фибоначчи однозначно определяются по остаткам этой пары). Кроме
того,
и
подходят, они соответствуют тривиальному решению
. Значит, уравнение
имеет бесконечно много решений.
_________________________________________________________________________________________________________________________________________________________________________________
Осталось понять, что они все не могут обнулять знаменатель. Действительно, если — решение уравнения
,
при котором
, то и
. Следовательно,
. Так как
целое, то обязательно
(иначе
), а значит, и
. Остальные пары
нам подходят.
Ошибка.
Попробуйте повторить позже
На какое самое большое натуральное число будет гарантированно делиться произведение любых шести подряд идущих натуральных чисел?
Ответ обоснуйте.
Источники:
Подсказка 1
Давайте сначала попробуем найти верхнюю границу (число больше которого искомое точно быть не может)
Перемножим минимальные натуральные числа получаем 1 * 2 * 3 * 4 * 5 * 6 = 6! = 720
Подсказка 2
Теперь осталось доказать что (n + 1)(n + 2)...(n + 6) делится на 720 для любого натурального n. Давайте вспомним сочетания из комбинаторики
Подсказка 3
Действительно,
(n + 1)(n + 2)...(n + 6) / 720 равно количеству сочетаний из n + 6 по 6
Поскольку произведение первых 6 натуральных чисел равно то искомое число не больше
Осталось доказать, что произведение любых подряд идущих 6 натуральных чисел делится на
.
Поделим:
и получим натуральное число способов выбрать шестёрку из элементов. Действительно, делится.