Метод спуска, индукция и последовательное конструирование
Ошибка.
Попробуйте повторить позже
(a) Будем доказывать индукцией по числу
Проверим базу. При выражение имеет вид — это многочлен нужного вида.
Пусть для любого набора и некоторого числа утверждение задачи верно. Докажем, что оно верно и для числа с любым набором
По индуктивному предположению имеем:
Осталось доказать, что представим в виде многочлена от Рассмотрим случая:
- 1.
-
Пусть — нечетное число. Тогда получаем
По индуктивному предположению получаем:
Это тоже многочлен вида Очевидно, сумма многочленов такого вида есть многочлен такого вида.
- 2.
-
Пусть — четное число. Тогда преобразуем выражение следующим образом (пусть ):
По индуктивному предположению Тогда его квадрат — тоже многочлен такого вида.
(b) Для решения этого пункта достаточно усилить индуктивное предположение и допустить, что если изначально все коэффициенты были целыми, то в итоге многочлен будет иметь целые коэффициенты.
Ошибка.
Попробуйте повторить позже
Может ли сумма квадратов двух различных натуральных чисел являться степенью двойки?
Предположим, что нашлись такие натуральные что
Сумма должна быть чётной, поэтому слагаемые в левой части должны быть одинаковой чётности.
Если оба числа в левой части нечётные, то левая часть не делится на 4. Но так как то значит, правая часть делится на 4.
Значит, оба числа в левой части чётные получаем
где и в силу так же Пришли к той же задаче. Продолжая рассуждения, приходим к противоречию с тем, что натуральное число (показатель степени двойки в правой части) не может уменьшаться на 2 бесконечное число раз.
Ошибка.
Попробуйте повторить позже
Можно ли утверждать, что если для рациональных чисел сумма
является рациональным числом, то
Источники:
Подсказка 1
Давайте предположим, что это возможно, и обозначим нашу сумму за p. Первое, что бросается в глаза, это то, что √2*√3=√6, поэтому хочется отправить с√6 направо и возвести в квадрат. После возведения в квадрат из иррациональных чисел остается только √6, значит можно его выразить через остальные рациональные...
Подсказка 2
После преобразований мы получаем, что √6=(6c²+p²-2a²-3b²)/(2ab+2pc). Казалось бы победа, мы получили выражение иррационального числа через рациональные, что невозможно. Но ведь мы могли поделить на 0. Что делать, если 2ab+2pc=0?
Подсказка 3
Если ab+pc=0, то 6c²+p²=2a²+3b². Рассмотрим случай с≠0: подставим p=-ab/c в равенство 6c²+p²=2a²+3b². После тождественных преобразований получаем (3с²-a²)(2c²-b²)=0. Найдите здесь противоречие и рассмотрите случай с=0!
Обозначим
Тогда . Возведем в квадрат
В случае или получаем, что левая часть равенства рациональна, а значит и правая тоже, то есть или . Если имеет место случай , то
В случае же (не умаляя общности ) получаем
И так как , равенство возможно только в случае . И тогда также То есть если или , то требуемое верно.
Пусть теперь . Преобразуем:
Равенство возможно только в случае, если справа рациональное число, то есть . Тогда получаем следующую систему
Эта система имеет вид
По следствию теоремы Виета и являются корнями уравнения . Но у квадратного уравнения максимум корня, поэтому либо и , либо и .
В первом случае получаем , что невозможно, кроме разобранного случая
Во втором случае , также невозможно, если
Ошибка.
Попробуйте повторить позже
Можно ли число 2024 представить в виде , где и — натуральные числа?
Источники:
Подсказка 1
Если a ≥ 5, то левая часть уже слишком большая. Остаётся перебрать четыре значения для а и проверить, чему равно b
Подсказка 2
Должен найтись подходящий вариант!
Ошибка.
Попробуйте повторить позже
Дана последовательность : 1, 2, 2, 3, 3, 3, 4, 4, 4, 4,
(одна единица, две двойки, три тройки, четыре четверки и т.д.) и еще одна последовательность такая, что для всех
натуральных .
Известно, что при некотором . Докажите, что при всех .
Источники:
Подсказка 1
Для начала давайте поймем что-то про последовательность {a_i}. Как минимум поймем на каких местах у нас стоит число k. Это важно для нас, так как если мы хотим выбрать какое-то конкретное m(и посмотреть откуда же может быть получено противоречие), то нам надо понимать, как связан номер и значение a_m. Как зависит значение от m?
Подсказка 2
Для любых номеров m, которые располагаются между t(t + 1)/2 + 1 и (t + 1)(t + 2)/2, a_m = t + 1. Если от нас требуется доказать, что начиная с какого-то номера у нас b_i = 1, не будем мелочиться и докажем, начиная почти для всех(с какого-то маленького), по индукции. Но давайте, для начала, так сказать, для создания благоприятной обстановки, поймем, как все таки делать индукцию. Ведь переход от n к n + 1 здесь кажется странным. Однако переход от k(k + 1)/2 к (k + 1)(k + 2)/2 выглядит более разумно, ведь мы знаем все значения a_i, для i из этого отрезка.
Подсказка 3
Верно, переход такой нам легко дается, так как a_i из этого промежутка равно t + 1, а значит, это b_(t + 1), но для всех меньших мы доказали. Что осталось написать по этой задаче? Является ли это полным решением?
Подсказка 4
Не является, так как t + 1 не всегда входят в уже доказанный промежуток. Для t = 1, 2 - это неверно. Значит, надо в качестве базы использовать t >= 3. Но это подходит под условие нашей задачи, а значит, если у нас b_k = 1, то и все последующие будут равны 1.
Возьмём число , заметим, что для любого такого , тогда , тогда если , то , тогда , и наоборот.
Значит, для
Значит, и
Если , то
Докажем тогда по индукции, что
База уже есть. Переход будем делать от к
Заметим, что при , но по предположению индукции , значит,
Аналогичными рассуждениями
Итого т.к. , , то , а значит, :
Ошибка.
Попробуйте повторить позже
Малая теорема Ферма. Для любого простого и взаимно простого с числа верно, что (mod )
Подсказка 1
Попробуем доказать по индукции, что a^p - a делится на р. База a=1 очевидна. Как сделать переход от а к а+1?
Подсказка 2
Что мы можем сказать про делимость на p для биномиальных коэффициентов в выражении (а+1)^p?
Подсказка 3
p!/(k!(p-k)!) делится на р для всех k кроме 0 и р, поскольку числитель делится на р, а знаменатель - нет. Что тогда останется, если смотреть на выражение по модулю p?
Первое решение.
Давайте возьмем две разные ПрСВ по одному модулю и перемножим в каждой все числа. Так как наборы остатков одинаковые, то
получившиеся произведения будут сравнимы по модулю .
Тогда рассмотрим две такие ПрСВ: [1, 2, ..., ] и [, , ..., ] (То, что написано справа - это ПрСВ) и перемножим в
каждой все числа.
Получаем, что (mod ) или (mod ). Теперь перепишем это через
разность, то есть делится на . Из-за того, что НОД(, ) = 1 следует, что
делится на или (mod )
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение.
Зафиксируем простое число Проверим базу индукции: Тогда действительно — делится на Пусть делится на Докажем, что делится на Докажем, что для число делится на Действительно, В каждом из факториалов и все сомножители меньше а потому взаимно просты с Тогда, поскольку делится на то и делится на Благодаря этому утверждению и биному Ньютона, получаем
По предположению индукции чтд.
Ошибка.
Попробуйте повторить позже
Назовём натуральное число шатким, если в нём чередуются нулевые и ненулевые цифры, причём цифра единиц ненулевая. Найдите все натуральные числа, не являющиеся делителями никакого шаткого числа.
Источники:
Если кратно то все числа, кратные тоже заканчиваются на Значит, они не шаткие. Если кратно то последние две цифры любого числа, кратного могут быть или Значит, они не шаткие. Теперь мы покажем, что только эти числа не являются делителем никакого шаткого числа.
Вначале рассмотрим нечётные числа не кратные Ясно, что НОД также НОД для любого Значит, существует такое положительное что откуда Преобразуем:
Следовательно кратно при любом В частности, — шаткое кратное Если кратно то — шаткое кратное
Теперь рассмотрим степени Докажем индукцией по что имеет шаткое кратное с ненулевыми цифрами. Для можно взять Предположим, что существует для некоторого Значит, Пусть где будет выбрано позже. Ясно, что шаткое и имеет в точности ненулевую цифру. Поскольку кратно тогда и только тогда, когда или мы всегда сможет подобрать значение среди и Доказали. Значит, любая степень имеет шаткое кратное.
Наконец, числа вида где и НОД Такие числа име.т шаткие кратные вида
Ошибка.
Попробуйте повторить позже
Докажите, что уравнение
имеет бесконечно много решений в целых числах.
Источники:
Подсказка 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
Какой способ является самым естественным при доказательстве того, что каждый элемент из множества объектов удовлетворяет некоторому условию, если известно, что среди элементов этого множества существует по крайней мере один, удовлетворяющий данному условию?
Подсказка 2
Метод математической индукции. Пусть число n является удачным. Докажем, что тогда n-1 так же является удачным. Каким способом это можно сделать?
Подсказка 3
Существование объекта проще всего доказать, если явно предъявить его. Если число n является удачным, то существуют числа x, y, z, что x+y+z=2^n, 4^n-k=3(xy+yz+zx). Давайте выразим числа a, b, c, которые удовлетворяют условию a+b+c=2^{n-1} и 4^{n-1}-k=3(ab+bc+ca), через уже существующие числа x, y, z. Каким популярным образом можно ввести числа a, b, c, зная, что их сумма ровно в два раза меньше суммы чисел x, y, z.
Подсказка 4
Пусть a=(x+y-z)/2, b=(x-y+z)/2, a=(-x+y+z)/2. Рассмотрение данных чисел естественно, поскольку в треугольнике со сторонами x, y, z, числа a, b, c являются длинами касательных из вершин треугольника ко вписанной окружности. Сумма их длин как раз в два раза меньше суммы длин сторон. Осталось показать, что 4^{n-1}-k=3(ab+bc+ca).
Докажем, что если натуральное число является удачным, то и является удачным. Возьмем Заметим, что все три таких числа целые, поскольку — четное. Понятно, что и
следовательно,
С другой стороны понятно, что если — удачное, то взяв по аналогичным соображениям получим, что также удачное. Поскольку увеличениями и уменьшениями исходно числа на можно получить любое натуральное число, заключаем, что все натуральные числа являются удачными.
Ошибка.
Попробуйте повторить позже
Докажите, что для всех натуральных число, записываемое единицами, делится на
Подсказка 1
Если не получилось явно понять, откуда берётся делимость, имеет смысл попробовать доказать утверждение индукцией по n. База очевидна, осталось придумать, как будем делать переход.
Подсказка 2
Нужно понять, как число из 3ⁿ⁺¹ единиц выразить через число из 3ⁿ единиц. Действительно, первое делится на второе, что можем сказать про частное?
Подсказка 3
И правда, мы понимаем, как выглядит частное, оно состоит из трёх единиц и нулей между ними. Такое число делится на три, а значит, с шагом индукции степень тройки, делящая число, растёт, что и требуется.
Докажем утверждение индукцией по
База индукции: при утверждение верно, ведь делится на
Предположение индукции: пусть для число, записываемое единицами, делится на
Переход: докажем утверждение для Заметим, что число из единиц можно разделить на число из единиц, причём в частном будет число в записи которого ровно три единицы, а остальные цифры нули. Тогда наше число делит тройку, в степени на один большую, чем число из предположения индукции. Это и требуется, переход доказан.
Ошибка.
Попробуйте повторить позже
Пусть — натуральное число. Докажите, что можно представить в виде суммы попарно различных натуральных делителей
Подсказка 1
Откуда брать столько различных делителей n! с суммой n! непонятно, потому логично доказывать утверждение по индукции. Вот только всё ещё при переходе нужно где-то брать новый делитель.
Подсказка 2
Например, при переходе можем делители, на которые разбит n!, домножить на n+1 и один делитель разложить в сумму двух меньших. Но почему его можно разложить так, что все делители по-прежнему различны? Хочется усилить доказываемое утверждение.
Подсказка 3
Будем доказывать, что искомое разложение в сумму делителей существует и содержит 1. Тогда из домноженных на n+1 делителей, как раз n+1 можно представить в виде суммы 1 и n.
Докажем следующее усиленное утверждение индукцией по можно представить в виде суммы попарно различных натуральных делителей один из которых равно
База индукции:
Предположение индукции: пусть верно, что для существуют попарно различные делители Обозначим их в сумме дающие
Переход: докажем утверждение для Заметим, что
Тогда возьмём числа
Они являются делителями по предположению (более того,). Также по предположению индукции их сумма как раз среди чисел есть а все делители, начиная с как были различны, так и остались. Причём так что они отличаются и от Переход доказан.
Ошибка.
Попробуйте повторить позже
Натуральное число можно представить в виде для некоторых целых и Докажите, что для любого натурального число можно представить в таком виде.
Подсказка 1
Необходимо из утверждения про a доказать утверждение для всех степеней a, это логично делать по индукции по n. База дана в условии.
Подсказка 2
Давайте сделаем шаг индукции, то есть aⁿ⁺¹ представим в виде произведения двух меньших степеней a, затем воспользуемся предположением индукции.
Подсказка 3
Помочь может следующий факт (x²-2y²)(z²-2t²)=(xz+2yt)²-2(xt+yz)².
Докажем утверждение индукцией по База индукции собственно в самом условии. Предположение индукции: пусть для утверждение верно, то есть существуют целыe и такие, что
Переход:
Переход доказан.
Ошибка.
Попробуйте повторить позже
Натуральное число делится на число Докажите, что в десятичной записи по крайней мере цифр отличны от
Подсказка 1
Начать логично, рассмотрев маленькие N, то есть 12-значные. Можем ли мы как-то разумно описать вид таких чисел?
Подсказка 2
Действительно, такие числа имеют вид abababababab, в них, очевидно, есть 6 ненулевых цифр a. Тогда давайте будем доказывать утверждение индукцией по величине N, базу доказали. Теперь придумаем, как будем делать переход.
Подсказка 3
Итак, пусть у нас теперь есть N, а для всех меньших утверждение доказали. Можно сделать следующее: вычеркнуть первую цифру и добавить её на 12 разрядов ниже. Осталось понять, что будем использовать в качестве числа, для которого выполняется предположение индукции и почему в N ненулевых цифр больше чем в нём.
Докажем утверждение индукцией по величине понятно, что минимальные значения, которые могут принимать состоят из цифр.
База индукции: для состоящих из цифр очевидно, что делящееся на должно иметь вид не равно поэтому база доказана.
Индукционное предположение: пусть для чисел меньше либо равных доказано, что в десятичной записи хотя бы цифр отличны от
Индукционный переход: докажем утверждение для следующего кратного то есть для Пусть Вычеркнем первую цифру и прибавим её же на разрядов ниже. Полученное число будет меньше исходного, ведь мы вычли из число В скобках стоит произведение второй сомножитель не делится на следовательно на него делится и разность. Теперь заметим, что в получившемся числе ненулевых цифр не больше, чем в исходном.
Ошибка.
Попробуйте повторить позже
Докажите тождество
Подсказка 1
Такие тождества удобно доказывать по индукции. База очевидна. Будем полагать, что при n = p утверждение верно. Как свести доказываемое утверждение при n = p+1 к предположению индукции?
Подсказка 2
Верно! Сумма, в которой последнее слагаемое получается при n = p + 1 содержит в себе сумму всех слагаемых для n = p. Как тогда применить предположение?
Первое решение. Попробуем телескопировать эту сумму. Для этого надо выразить как разность двух выражений, похожих на то, что должно получиться в ответе. Заметим, что Тогда
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение. При в левой части получаем а в правой так что равенство выполнено. Предположим, что равенство верно при то есть
Тогда при имеем
после вынесения за скобки и преобразований получается
Шаг индукции доказан. Значит, утверждение задачи выполнено при любых натуральных
Ошибка.
Попробуйте повторить позже
Докажите тождество
Докажем индукцией по
База. Пусть Тождество верно.
Переход. Пусть для и меньших значений всё доказано, докажем для
Умножим обе части на 4 и поделим на
Переход доказан.
Ошибка.
Попробуйте повторить позже
Докажите, что число, состоящее из единиц, делится на
Докажем индукцией по Проверим базу делится на по признаку делимости.
Теперь докажем переход. Пусть делится на тогда
Заметим, что делится на 3 по признаку делимости, тогда делится на Переход доказан, следовательно, утверждение верно.
Ошибка.
Попробуйте повторить позже
При любом найдите сумму (упростите выражение до вида без многоточий и знаков суммирования):
Посчитаем, чему равна сумма для равного
Внимательно рассмотрев вычисления для малых значений можно предположить, что сумма для любого равна
Докажем это с помощью индукции.
База. Для мы уже проверили выше.
Переход. Пусть формула верна для докажем её для По предположению индукции
Запишем сумму для
Случай 1: Пусть нечётное, тогда
Случай 2: Пусть чётное, тогда
Формула суммы для выполняется, значит, индукционное предположение доказано.
Ошибка.
Попробуйте повторить позже
Докажите, что число целое при любом натуральном
Докажем это индукцией по Проверим базу индукции при
Теперь докажем переход, пусть утверждение верно для всех тогда рассмотрим
Получается,
Из индукционного предположения следует, что является целым числом. Значит, переход доказан, утверждение верно.
Ошибка.
Попробуйте повторить позже
Любое число написанное на доске, разрешается заменить либо на либо на Докажите, что если вначале написано число то такими операциями можно получить любое натуральное число.
Будем доказывать по индукции по натуральным числам.
База для
Переход:
Докажем, что если мы умеем получать любое число от 1 до то сможем получить и Рассмотрим остаток при делении на 3:
Пусть представимо в виде Так как по предположению индукции мы умеем получать то остаётся только заменить на
Пусть представимо в виде Тогда по предположению мы умеем получать так как Остаётся выполнить следующие преобразования:
Пусть представимо в виде . Тогда по предположению мы умеем получать , так как . Остаётся выполнить следующие преобразования:
Ошибка.
Попробуйте повторить позже
Докажите, что для любого натурального числа существует натуральное число, составленное из цифр и , кратное
База для Тождество верно.
Будем доказывать более сильное утверждение: для любого существует число ровно из цифр (все цифры — 1 или 2), кратное База проверена.
Переход:
По предположению существует значное число такое, что Рассмотрим два случая:
Случай 1. Пусть Допишем 2 в начало числа
Так как каждое из слагаемых кратно то и сумма будет кратна Значит, — искомое значное число.
Случай 2. Пусть Допишем 1 в начало числа
Так как каждое из слагаемых кратно и не кратно они имеют вид где — нечётное. Тогда при их сложении можно вынести а в скобках сумма двух нечётных даст чётное, следовательно, будет кратно Значит, — искомое значное число.