Метод спуска, индукция и последовательное конструирование в ТЧ
Ошибка.
Попробуйте повторить позже
Можно ли расставить все натуральные числа от 1 до 2027 в ряд так, что для любого сумма первых
чисел в этом ряду
нацело делится на
-е число в ряду?
Рассмотрим следующую последовательность чисел:
На нечетных позициях стоит последовательность чисел от 1014 до 2027, на четных — последовательность чисел от 1 до 1013. Покажем, что этот пример удовлетворяет условию задачи.
Пусть тогда перепишем ряд в следующем виде:
Покажем делимость на сгруппируем крайние члены:
Каждая такая сумма кратна что и требовалось.
Покажем теперь делимость на вычислим частичную сумму этого ряда:
По формуле суммы арифметической прогрессии получаем
где каждое слагаемое делится на
Да, можно
Ошибка.
Попробуйте повторить позже
Докажите, что для любого натурального существует бесконечно много натуральных
таких, что
делится на
Очевидно, что удовлетворяет условию. Пусть для некоторого
условие выполняется. Построим новое подходящее число. По
условию
Ясно, что
Тогда
Выберем
— такое простое число, что
Докажем, что
тоже удовлетворяет условию.
По определению числа знаем, что
делится на
Так как
то
Таким образом, делится на
следовательно,
— подходящее число и, следовательно, подходящих чисел бесконечно
много, поскольку по любому натуральному
и некоторому первому
можно построить бесконечную возрастающую последовательность
удовлетворяющих условию задачи.
Ошибка.
Попробуйте повторить позже
(a) Будем доказывать индукцией по числу
Проверим базу. При выражение имеет вид
— это многочлен нужного вида.
Пусть для любого набора и некоторого числа
утверждение задачи верно. Докажем, что оно верно и для числа
с любым набором
По индуктивному предположению имеем:
Осталось доказать, что представим в виде многочлена от
Рассмотрим
случая:
- 1.
-
Пусть
— нечетное число. Тогда получаем
По индуктивному предположению получаем:
Это тоже многочлен вида
Очевидно, сумма многочленов такого вида есть многочлен такого вида.
- 2.
-
Пусть
— четное число. Тогда преобразуем выражение следующим образом (пусть
):
По индуктивному предположению
Тогда его квадрат — тоже многочлен такого вида.
(b) Для решения этого пункта достаточно усилить индуктивное предположение и допустить, что если изначально все коэффициенты
были целыми, то в итоге многочлен будет иметь целые коэффициенты.
Ошибка.
Попробуйте повторить позже
Может ли сумма квадратов двух различных натуральных чисел являться степенью двойки?
Предположим, что нашлись такие натуральные что
Сумма должна быть чётной, поэтому слагаемые в левой части должны быть одинаковой чётности.
Если оба числа в левой части нечётные, то левая часть
не делится на 4. Но так
как
то
значит, правая часть делится на 4.
Значит, оба числа в левой части чётные получаем
где и в силу
так же
Пришли к той же задаче. Продолжая рассуждения, приходим к противоречию с
тем, что натуральное число (показатель степени двойки в правой части) не может уменьшаться на 2 бесконечное число
раз.
Ошибка.
Попробуйте повторить позже
Можно ли утверждать, что если для рациональных чисел сумма
является рациональным числом, то
Источники:
Обозначим
Тогда . Возведем в квадрат
В случае или
получаем, что левая часть равенства рациональна, а значит и правая тоже, то есть
или
. Если
имеет место случай
, то
В случае же (не умаляя общности
) получаем
И так как , равенство возможно только в случае
. И тогда также
То есть если
или
, то требуемое
верно.
Пусть теперь . Преобразуем:
Равенство возможно только в случае, если справа рациональное число, то есть . Тогда получаем следующую
систему
Эта система имеет вид
По следствию теоремы Виета и
являются корнями уравнения
. Но у квадратного уравнения максимум
корня, поэтому либо
и
, либо
и
.
В первом случае получаем , что невозможно, кроме разобранного случая
Во втором случае , также невозможно, если
Ошибка.
Попробуйте повторить позже
Можно ли число 2024 представить в виде , где
и
— натуральные числа?
Источники:
Ошибка.
Попробуйте повторить позже
Дана последовательность : 1, 2, 2, 3, 3, 3, 4, 4, 4, 4,
(одна единица, две двойки, три тройки, четыре четверки и т.д.) и еще одна последовательность такая, что
для всех
натуральных
.
Известно, что при некотором
. Докажите, что
при всех
.
Источники:
Возьмём число , заметим, что для любого такого
, тогда
, тогда если
, то
, тогда
, и наоборот.
Значит, для
Значит, и
Если , то
Докажем тогда по индукции, что
База уже есть. Переход будем делать от к
Заметим, что при
, но по предположению индукции
,
значит,
Аналогичными рассуждениями
Итого т.к. ,
, то
, а значит,
:
Ошибка.
Попробуйте повторить позже
Малая теорема Ферма. Для любого простого и взаимно простого с
числа
верно, что
(mod
)
Первое решение.
Давайте возьмем две разные ПрСВ по одному модулю и перемножим в каждой все числа. Так как наборы остатков одинаковые, то
получившиеся произведения будут сравнимы по модулю
.
Тогда рассмотрим две такие ПрСВ: [1, 2, ..., ] и [
,
, ...,
] (То, что написано справа - это
ПрСВ) и перемножим в
каждой все числа.
Получаем, что (mod
) или
(mod
). Теперь перепишем это через
разность, то есть
делится на
. Из-за того, что НОД(
,
) = 1 следует, что
делится на
или
(mod
)
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение.
Зафиксируем простое число Проверим базу индукции:
Тогда действительно
— делится на
Пусть
делится на
Докажем, что
делится на
Докажем, что для
число
делится на
Действительно,
В каждом из факториалов
и
все сомножители меньше
а потому взаимно просты
с
Тогда, поскольку
делится на
то и
делится на
Благодаря этому утверждению и биному Ньютона,
получаем
По предположению индукции чтд.
Ошибка.
Попробуйте повторить позже
Назовём натуральное число шатким, если в нём чередуются нулевые и ненулевые цифры, причём цифра единиц ненулевая. Найдите все натуральные числа, не являющиеся делителями никакого шаткого числа.
Источники:
Если кратно
то все числа, кратные
тоже заканчиваются на
Значит, они не шаткие. Если
кратно
то последние две
цифры любого числа, кратного
могут быть
или
Значит, они не шаткие. Теперь мы покажем, что только эти числа не
являются делителем никакого шаткого числа.
Вначале рассмотрим нечётные числа не кратные
Ясно, что НОД
также НОД
для любого
Значит, существует такое положительное
что
откуда
Преобразуем:
Следовательно кратно
при любом
В частности,
— шаткое кратное
Если
кратно
то
— шаткое кратное
Теперь рассмотрим степени Докажем индукцией по
что
имеет шаткое кратное
с
ненулевыми
цифрами. Для
можно взять
Предположим, что
существует для некоторого
Значит,
Пусть
где
будет выбрано позже. Ясно, что
шаткое и имеет в точности
ненулевую цифру. Поскольку
кратно
тогда и только тогда, когда
или
мы всегда сможет подобрать значение
среди
и
Доказали. Значит, любая степень
имеет шаткое
кратное.
Наконец, числа вида где
и НОД
Такие числа име.т шаткие кратные вида
Ошибка.
Попробуйте повторить позже
Докажите, что уравнение
имеет бесконечно много решений в целых числах.
Источники:
Решим сначала уравнение
______________________________________________________________________________________________________________________________________________________
Умножим на 4 и прибавим 1 к обеим частям, чтобы выделить полный квадрат справа:
Теперь домножим обе части на 5 и выделим полный квадрат слева:
Сделаем замену . У получившегося уравнения
имеются решения
где — числа Фибоначчи (мы пользуемся нумерацией
при всех целых
). На самом
деле
равно для всех
, что легко проверить по индукции: при
это выполняется, а если
, то
и
(Можно доказать с помощью теории уравнений Пелля, что не имеет других решений.)
Теперь нужно найти бесконечно много и
таких, для которых соответствующие
и
целые. Заметим, что
последовательность остатков чисел Фибоначчи по модулю 10 периодична (так как пара (
) может принимать конечное количество
вариантов по модулю 10, а остаток следующего и предыдущего чисел Фибоначчи однозначно определяются по остаткам этой пары). Кроме
того,
и
подходят, они соответствуют тривиальному решению
. Значит, уравнение
имеет бесконечно много решений.
_________________________________________________________________________________________________________________________________________________________________________________
Осталось понять, что они все не могут обнулять знаменатель. Действительно, если — решение уравнения
,
при котором
, то и
. Следовательно,
. Так как
целое, то обязательно
(иначе
), а значит, и
. Остальные пары
нам подходят.
Ошибка.
Попробуйте повторить позже
Дано натуральное число Назовем натуральное число
удачным, если существуют такие целые числа
и
что
и
Докажите, что, если существует удачное натуральное число, то все натуральные числа —
удачные.
Докажем, что если натуральное число является удачным, то и
является удачным. Возьмем
Заметим, что все три таких числа целые, поскольку
— четное. Понятно, что
и
следовательно,
С другой стороны понятно, что если — удачное, то взяв
по аналогичным соображениям получим, что
также удачное. Поскольку увеличениями и уменьшениями исходно числа на
можно получить любое натуральное число,
заключаем, что все натуральные числа являются удачными.
Ошибка.
Попробуйте повторить позже
Докажите, что для всех натуральных число, записываемое
единицами, делится на
Докажем утверждение индукцией по
База индукции: при утверждение верно, ведь
делится на
Предположение индукции: пусть для число, записываемое
единицами, делится на
Переход: докажем утверждение для Заметим, что число из
единиц можно разделить на число из
единиц, причём в
частном будет число в записи которого ровно три единицы, а остальные цифры нули. Тогда наше число делит тройку, в степени на один
большую, чем число из предположения индукции. Это и требуется, переход доказан.
Ошибка.
Попробуйте повторить позже
Пусть — натуральное число. Докажите, что
можно представить в виде суммы
попарно различных натуральных делителей
Докажем следующее усиленное утверждение индукцией по
можно представить в виде суммы
попарно различных натуральных
делителей
один из которых равно
База индукции:
Предположение индукции: пусть верно, что для существуют попарно различные делители
Обозначим их
в
сумме дающие
Переход: докажем утверждение для Заметим, что
Тогда возьмём числа
Они являются делителями по предположению (более того,
). Также по предположению индукции
их сумма как раз
среди чисел есть
а все делители,
начиная с
как были различны, так и остались. Причём
так что они отличаются и от
Переход
доказан.
Ошибка.
Попробуйте повторить позже
Натуральное число можно представить в виде
для некоторых целых
и
Докажите, что для любого натурального
число
можно представить в таком виде.
Докажем утверждение индукцией по База индукции собственно в самом условии. Предположение индукции: пусть для
утверждение верно, то есть существуют целыe
и
такие, что
Переход:
Переход доказан.
Ошибка.
Попробуйте повторить позже
Натуральное число делится на число
Докажите, что в десятичной записи
по крайней мере
цифр отличны от
Докажем утверждение индукцией по величине понятно, что минимальные значения, которые могут принимать
состоят из
цифр.
База индукции: для состоящих из
цифр очевидно, что делящееся на
должно иметь вид
не равно
поэтому база доказана.
Индукционное предположение: пусть для чисел меньше либо равных доказано, что в десятичной записи хотя бы
цифр отличны от
Индукционный переход: докажем утверждение для следующего кратного то есть для
Пусть
Вычеркнем первую цифру и прибавим её же на
разрядов ниже. Полученное число будет меньше исходного, ведь мы
вычли из
число
В скобках стоит произведение
второй сомножитель не делится на
следовательно на него делится и разность. Теперь заметим, что в получившемся числе ненулевых цифр не больше, чем в
исходном.
Ошибка.
Попробуйте повторить позже
Докажите тождество
Первое решение. Попробуем телескопировать эту сумму. Для этого надо выразить как разность двух выражений, похожих на
то, что должно получиться в ответе. Заметим, что
Тогда
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение. При в левой части получаем
а в правой
так что равенство выполнено. Предположим, что
равенство верно при
то есть
Тогда при имеем
после вынесения за скобки и преобразований получается
Шаг индукции доказан. Значит, утверждение задачи выполнено при любых натуральных
Ошибка.
Попробуйте повторить позже
Докажите тождество
Докажем индукцией по
База. Пусть
Тождество верно.
Переход. Пусть для и меньших значений всё доказано, докажем для
Умножим обе части на 4 и поделим на
Переход доказан.
Ошибка.
Попробуйте повторить позже
Докажите, что число, состоящее из единиц, делится на
Докажем индукцией по Проверим базу
делится на
по признаку делимости.
Теперь докажем переход. Пусть делится на
тогда
Заметим, что делится на 3 по признаку делимости, тогда
делится на
Переход доказан, следовательно,
утверждение верно.
Ошибка.
Попробуйте повторить позже
При любом найдите сумму (упростите выражение до вида без многоточий и знаков суммирования):
Посчитаем, чему равна сумма для равного
Внимательно рассмотрев вычисления для малых значений можно предположить, что сумма для любого
равна
Докажем это с помощью индукции.
База. Для мы уже проверили выше.
Переход. Пусть формула верна для докажем её для
По предположению индукции
Запишем сумму для
Случай 1: Пусть нечётное, тогда
Случай 2: Пусть чётное, тогда
Формула суммы для выполняется, значит, индукционное предположение доказано.
Ошибка.
Попробуйте повторить позже
Докажите, что число целое при любом натуральном
Докажем это индукцией по Проверим базу индукции при
Теперь докажем переход, пусть утверждение верно для всех тогда рассмотрим
Получается,
Из индукционного предположения следует, что является целым числом. Значит, переход доказан,
утверждение верно.