Метод спуска, индукция и последовательное конструирование в ТЧ
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Найдите все тройки попарно взаимно простых натуральных чисел для которых
делится на
для
всех натуральных
Подсказка 1
Сумму n-ых степеней a, b и c стоит попробовать выразить через n-ую степень суммы a+b+c. В связи с этим было бы удобно рассмотреть выражение A(n), которое равно сумме n-ых степеней a, b и c. Можно ли найти связь между A(n), A(n-1) и, возможно, другими A(j) (для некоторых j)?
Подсказка 2
Для A(2) получаем A(2) = A²(1) - 2(ab + bc + ca), при этом A(2) делится на a+b+c если и только если 2(ab + bc + ac) делится на A(1). А какое выражение через A(1) и A(2) получится, скажем, для A(3)?
Подсказка 3
Верно! Получится A(3) = A(1)A(2) - (ab + bc + ac)A(1) + 3abc. Тогда A(3) делится на A(1) тогда и только тогда, когда 3abc делится на A(1). А какое выражение будет для случая произвольного n > 3?
Подсказка 4
Конечно! A(n) = A(1)A(n-1) - (ab+bc+ac)A(n-2) + abcA(n-3). В каких случаях A(n) делится на A(1)?
Подсказка 5
Точно! Необходимо и достаточно, чтобы A(1) было делителем A(2) и A(3). А это верно ровно в тех случаях, которые мы заметили в прошлых подсказках! Тогда нужно найти тройки (a,b,c), обладающие двумя свойствами. Как это сделать?
Подсказка 6
Сначала попробуем исследовать свойства подходящих троек. Напомним, нам необходимо, чтобы 3abc и 2(ab+bc+ac) делились на a+b+c. Может ли тогда a+b+c обладать простым делителем, большим 3?
Подсказка 7
Верно, не может, иначе abc делится на p, поэтому хотя бы одно из чисел a,b,c делится на p (и на самом деле ровно одно в силу взаимной простоты!). Тогда ab+bc+ca не делится на a+b+c! Следовательно, все простые делители a+b+c — это 2 или 3. А может ли a+b+c делиться на 9?
Подсказка 8
Верно, не может, ведь тогда (снова из-за взаимной простоты) ровно одно из чисел a, b, c делится на 3, а потому ab+bc+ca не делится на a+b+c. Рассуждая аналогично, легко прийти к тому, что a+b+c и на 4 не делится. Осталось перебрать всего несколько вариантов чисел a+b+c!
Обозначим Заметим, что
и
делится на
тогда и только тогда, когда
делится на
(*)
Аналогично и делится на
тогда и только тогда, когда
делится на
(**)
Запишем соотношение для
:
Отсюда видно, что если — делитель
то
— делитель
если
— делитель
и
то
— делитель
,
и
так далее, то есть делитель
для любого натурального
Будем искать упорядоченные тройки ( ), для которых выполняются условия (*) и (**), то есть
и
делятся на
Пусть
имеет простой делитель
Тогда
делится на
, и в силу взаимной простоты ровно одно из чисел
делится на
. Но тогда
не может делиться на
, и значит, на
. Пусть
делится на
, тогда
делится на
и в силу взаимной простоты ровно одно из чисел
делится на
тогда
не может делиться
на
и значит, на
. Пусть
делится на
, тогда
делится на
и ровно одно из чисел
,
делится на
тогда
нечётное и
не может делиться на
Следовательно,
имеет вид
где
и
принимают значения
или
при этом
откуда
Подходят тройки
Ошибка.
Попробуйте повторить позже
Назовем множество целых чисел удачным, если для любого натурального
и любых
(не обязательно
различных) все целые корни многочлена
также принадлежат
Найдите все удачные множества,
содержащие все целые числа вида
для натуральных
и
Ясно, что множество является удачным. Таким образом, достаточно показать, что любое удачное множество
содержащее все числа
вида
для любых
содержит и все целые числа.
Сперва заметим, что и
Теперь
поскольку это корень из
и
поскольку это
корень из
Кроме того, если
то
является корнем
поэтому достаточно доказать, что все натуральные числа
находятся в
Теперь мы утверждаем, что любое целое положительное число является делителем некоторого числа в
Действительно, пусть
где
и
нечетно. Тогда
поэтому
где
как обычно, функция
Эйлера. Кроме того,
и поэтому
содержит кратное каждому положительному целому числу
Теперь по индукции докажем, что все натуральные числа лежат в База индукции была доказана ранее. Теперь
предположим, что
более того, пусть
кратно
в
Рассмотрим разложение
по основанию
Поскольку для каждого
мы получаем, что все
находятся в
Более того,
поскольку
кратно
Следовательно,
поэтому
— корень многочлена с коэффициентами из
Это говорит нам о том,
что
завершая индукцию.
Множество всех целых чисел
Ошибка.
Попробуйте повторить позже
Найдите все такие пары натуральных чисел и
, что
делится на
.
Источники:
Подсказка 1
Сначала не очень понятно, каким должно быть n. Нам интересно именно n, так как оно фиксировано и его степень не меняется. Тогда попробуем понять что-то про n. Для этого посмотрим на выражение, если мы поменяем степень у m.
Подсказка 2
Да, если как-то уменьшать степень у m, то это не особо и меняет картину. А если посмотреть на m + n, при условии, что оно делится на mn? Возможно, отсюда получится вывести общий вид n?
Подсказка 3
Верно, можно действовать по индукции! Причем, индукция будет по степени числа m. Из индукции ясно, что n = km²⁰¹⁹. Остаётся разобраться с тем, каким может быть k
Подсказка 4
Да, k+1 должно делиться на km, из условия задачи. Получается, вариантов не так уж и много, ведь k+1 должно делиться на k, а это возможно только при k = 1.
Индукцией по покажем, что если
кратно
, то
представимо в виде
.
База: если делится на
, то
делится на
, из этого следует требуемое.
Переход: если кратно
, то
, то есть
кратно
, а по предположению
, откуда
.
Теперь, возвращаясь к задаче, имеем: . Тогда условие можно записать в виде:
кратно
. Таким
образом,
делится на
, это возможно лишь при
и
или
, откуда подходят
или
.
или
Ошибка.
Попробуйте повторить позже
Докажите, что существует бесконечно много пар натуральных и
таких, что
делится на
Подсказка 1
Попробуйте рассмотреть какую-нибудь пару, изменив в ней одно число, и получить новую. Так вы построите бесконечную последовательность.
Подсказка 2
На что же можно заменить число в паре? Хочется на что-то удобное. Вот например p^3+1 делится на q, а на что еще делится?
Подсказка 3
Замените взаимнопростые (p,q) на пару ((p^3+1)/q, p). Почему эта пара подходит? Почему мы получили новую пару, а не старую?
Рассмотрим пару для которой
делится на
и
взаимнопросты. Пусть
Рассмотрим новую пару
заметим, что число
целое, ведь
делилось на
то есть
а еще взаимнопросты.
Покажем, что новая пара подходит. Действительно
Мы научились строить новые пары. Осталось лишь найти первую, для нее подойдет
Ошибка.
Попробуйте повторить позже
Докажите, что существует бесконечно много пар натуральных чисел таких, что
делится на
Источники:
Покажем, что пара чисел удовлетворяет необходимым условиям при всех простых
где
— фиксированное
натуральное число.
Заметим, что следовательно
поскольку число — нечетно.
Таким образом осталось проверить, что кратно
Покажем, что
кратно
По теореме Вильсона число
является целым. Покажем, что каждое из чисел
не превосходит
Действительно
— верно. Так же
верно при Наконец,
кратно
кратно
следовательно
кратно
что завершает
доказательство.
Ошибка.
Попробуйте повторить позже
Докажите, что есть бесконечно много четверок натуральных чисел для которых выполняются равенства
Докажем, что четверки вида
где —
-ое число Фибоначчи (
,
).
Лемма. Тождество Кассини.
Доказательство.
Получаем,
Из этого и предыдущего предложения делаем вывод, что для всех нечетных
а для всех четных —
что и требовалось доказать.
Вернемся к задаче. Будем доказывать, что
В итоге, подставляя разные натуральные мы будем получать различные четверки
удовлетворяющих
условию.
Ошибка.
Попробуйте повторить позже
Даны два нечетных натуральных числа и
Докажите, что существует такое натуральное
что хотя бы одно из чисел
и
делится на
Подсказка 1
Попробуйте рассмотреть обобщенную задачу. "Дано натурально число n и два нечетных натуральных числа a и b. Докажите, что существует такое натуральное k, что хотя бы одно из чисел b²ᵏ - a² и a²ᵏ - b² делится на 2ⁿ".
Подсказка 2
Припомните известное утверждение об остатке от деления c²-1 на 2ᵏ⁺², если остаток от деления c-1 на 2ᵏ⁺¹ равен 2ᵏ, где с — некоторое число.
Подсказка 3
Рассмотрим числа a² - 1, которое делится на 2ᵅ и не делится на 2ᵅ⁺¹, и b² - 1, которое делится на 2ᵝ и не делится на 2ᵝ⁺¹. Подумайте, какие ограничения на α и β накладывают приведенные нами условия. Воспользовавшись вышеприведенной леммой, подумайте, какой остаток при делении на 2ᵝ⁺¹ дает число a²ᵐ - 1 (где m = β-α при условии β>α).
Подсказка 4
Примените индукцию по n. Чтобы доказать базу индукции, подумайте, какое число нам подойдет при n ≤ β+1 и почему.
Подсказка 5
Для доказательства шага индукции рассмотрите два случая: когда a²ᵏ - b² делится на 2ⁿ⁺¹ и, соответственно, когда не делится.
Подсказка 6
Если всё ещё испытываете затруднения, положите r = 2ⁿ⁻ᵝ + 1. В очередной раз воспользуйтесь леммой и ответьте на вопрос, какой остаток дает b²ʳ при делении на 2ⁿ⁺¹.
Подсказка 7
Воспользуйтесь формулой разности степеней. Разложив a²ᵏʳ - b²ʳ, Вы получите произведение двух скобок. Оцените делимость какой-либо из них на 2ⁿ⁺¹.
Подсказка 8
a²ᵏʳ - b² = (a²ᵏʳ - b²ʳ) - (b²ʳ - b²). С остатком от деления левой скобки на 2ⁿ⁺¹ разобрались, а что насчёт правой?
Будем решать обобщенную задачу. Дано натуральное число и два нечетных натуральных числа
и
Докажите, что существует такое
натуральное
что хотя бы одно из чисел
и
делится на
Воспользуемся следующим известным утверждением: пусть число дает остаток
при делении на
где
Тогда
дает остаток
при делении на
Пусть делится на
и не делится на
а
делится на
и не делится на
Очевидно, что при этом
Тогда
дает остаток
при делении на
а
дает остаток
при делении на
Пусть
положим для краткости
По лемме число
даёт остаток
при делении на
Будем решать задачу индукцией по Если
то нам подойдет
поскольку
и
дают равные остатки при
делении на
Сделаем переход от
к
По индукционному предположению при некотором
число
делится на
Если оно делится и на
то переход сделан. Иначе оно дает остаток
при делении на
Пусть
Тогда по лемме
дает остаток
при делении на
Следовательно,
дает остаток
при делении на
Воспользуемся
формулой разности степеней:
Первая скобка дает остаток при делении на
вторая состоит из
нечетных слагаемых и, значит, нечётна. Стало быть,
разность
дает остаток
при делении на
Но тогда
делится на
поскольку
выражения в скобках дают одинаковые остатки при делении на
Ошибка.
Попробуйте повторить позже
О натуральных числах и
известно, что
делится на
Докажите, что
делится на
Пусть при натуральным
Переписав это равенство в виде
заметим, что доказываемое утверждение о делимости на
эквивалентно делимости
на
которую и станем
доказывать.
Предположим, что не кратно
(тогда
Положим
Очевидно, тоже не кратно
и положительно (потому что
Исключая
получаем
откуда видно, что также положительно. Кроме того,
то есть и
также удовлетворяют условию задачи.
Продолжая таким образом, мы получим бесконечную убывающую последовательность удовлетворяющих условию задачи —
противоречие.
Ошибка.
Попробуйте повторить позже
Изначально на доске записаны несколько натуральных чисел (больше одного). Затем каждую минуту на доску дописывается число, равное
сумме квадратов всех уже записанных на ней чисел (так, если бы на доске изначально были записаны числа то на первой минуте
было бы дописано число
). Докажите, что сотое дописанное число имеет хотя бы
различных простых
делителей.
Подсказка 1
Число 100 в условии намекает на применение индукции. Попробуйте сформулировать утверждение для произвольного n и доказать его именно с помощью индукции.
Подсказка 2
Введём обозначение Sₙ — число, записанное на n-й минуте. Попробуйте выразить Sₙ₊₁ через Sₙ и понять, почему у Sₙ₊₁ появляется как минимум один новый простой делитель.
Заменим в условии сто на и докажем утверждение индукцией по
Обозначим число, записанное на
-й минуте через
Так как
оно имеет хотя бы один простой делитель, то есть база доказана.
Переход. Заметим, что То есть
делится на все простые делители
(по
предположению их хотя бы
), а также оно делится на простой делитель
отличный от простых делителей
поскольку
Получили требуемое.
Ошибка.
Попробуйте повторить позже
Среди натуральных чисел от
до
выбрали
чисел. Известно, что никакие два из них не дают в сумме ни
ни
Чему
равна сумма выбранных чисел?
Источники:
Разобьём числа на пары, дающие в сумме Получим
пар и отдельное число
Из каждой пары может быть выбрано только одно
число, поэтому число
обязательно присутствует. Значит, число
не может быть выбрано, поэтому выбрано парное ему
число
Значит, отсутствует число
следовательно, присутствует парное ему число
Продолжая рассуждения, получаем, что
выбраны числа
сумма которых равна
Ошибка.
Попробуйте повторить позже
На доске написано натуральное число. Его можно умножать на и можно отбрасывать его последнюю цифру. Докажите,
что какое бы число ни было изначально написано на доске, из него за несколько таких операций можно получить число
Источники:
Из любого числа можно, отбросив все цифры, кроме первой, получить однозначное число. Из однозначных чисел можно
умножениями на
получить
из него
потом
и
Из тройки можно получить
и потом
Из пятёрки
получается
и
Из шестёрки получается
и
Из семёрки получается
и
Наконец, из девятки получается
и
Ошибка.
Попробуйте повторить позже
На доске написано несколько цифр (среди них могут быть одинаковые). На каждом шаге две цифры стираются и пишутся цифры, из
которых состоит их произведение. (Например, вместо и
пишется
и
, а вместо
и
пишется
). Доказать, что через
несколько шагов на доске останется одна цифра.
Подсказка 1
Понятно, что мы хотим доказать, что что-то убывает, что-то уменьшается, а бесконечно это продолжаться не может, значит рано или поздно останется одна цифра. Намёк либо на какой-то полуинвариант, либо на индукцию по количеству чисел.
Подсказка 2
Возьмём две произвольные цифры a, b. Не умоляя общности, а ≥ b. b, a ≤ 9, значит, 10b > ab. То есть ab ≤ 10b - 1. Посмотрим внимательно на десятичные записи этих чисел. Какой вывод о них можно сделать?
Подсказка 3
Либо ab < 10 и оно однозначное, либо первая цифра ab < min(a,b) = b. Теперь надо выбрать, полуинвариант или индукция?
Подсказка 4
Допустим, полуинвариант. Нууу, у нас есть цифры на доске, причём перемножаться они могут хаотично. Как тогда следить за первыми цифрами получаемых произведений? Сумма цифр на доске, произведение — не подходят. Остальное тоже странно связано. Интересно, что же там насчёт индукции?
Подсказка 5
Начнём с базовых идей. Попробуем зацепиться за количество цифр на доске. Пусть изначальное количество цифр на доске — n. База для n = 1 тривиальна. Попробуем сделать переход.
Подсказка 6
Пусть мы доказали для n = k, докажем для n = k + 1. Заметим, что если в какой-то момент цифр на доске стало меньше, то в этом случае переход доказан, просто пользуемся предыдущими шагами индукции. Хорошо, а что если цифр не станет меньше? Как быть в этом случае? Напомню, первая цифра ab < min(a,b). На какую мысль нас это наталкивает?
Подсказка 7
Верно! Мы понимаем, что после каждого шага, на доске появляется цифра, которая меньше чем те, что были взяты. Ну предположим, что минимальная цифра не уменьшается бесконечно долго. Значит, она не участвует в операциях. Аналогично посмотрим на минимальную из оставшихся, она тоже бесконечно долго не уменьшается (иначе стала бы меньше глобального минимума). И так далее. Получаем что все цифры бесконечно долго не уменьшаются. Противоречие. (Это надо оформлять в общем виде) И так, что мы имеем?
При решении задачи будем использовать свойство уменьшения первого разряда. Оно состоит в том, что при умножении двух цифр и
получается либо однозначное число (цифра), либо двузначное, и в последнем случае первая цифра двузначного произведения меньше, чем
минимальная из цифр
.
Действительно, двузначные числа и
больше, чем
, так как
. Тем самым на каждом шаге либо
получается на цифру меньше (первый случай), либо число цифр сохраняется, но минимальная из всех цифр, написанных на доске, не
увеличивается.
_________________________________________________________________________________________________________________________________________________________________________________
Будем доказывать утверждение задачи индукцией по числу При
утверждение очевидно. Утверждение для
следует из
свойства уменьшения первого разряда, в силу которого через несколько шагов останется одна цифра.
_________________________________________________________________________________________________________________________________________________________________________________
Пусть утверждение доказано для . Пусть
— минимальная из цифр, написанных на доске. Достаточно показать,
что через несколько шагов либо число цифр уменьшится, либо минимальная цифра уменьшится: появится цифра меньше
.
Предположим противное. Тогда число цифр не уменьшается и в каждый момент есть цифра , к которой очередной шаг задачи не
применяется: каждый шаг не затрагивает хотя бы одну цифру
. В противном случае, если осталась одна или две цифры
, и к ней
(соответственно, к ним обеим) применен шаг задачи, и при этом число цифр не уменьшается, то минимальная цифра уменьшится в силу
свойства уменьшения первого разряда.
Вышесказанное эквивалентно тому, что все шаги задачи применяются к меньшему набору цифр: ко всем, кроме одной из цифр . А
тогда по предположению индукции через несколько шагов на доске, кроме цифры
, останется одна цифра. Это сводит шаг индукции к
случаю двух цифр, для которого утверждение задачи доказано.
Ошибка.
Попробуйте повторить позже
На доске написаны числа . Над ними последовательно проделывают 2014 операций, причём
-я по счёту операция состоит в
следующем: произвольные числа
и
(из написанных на доске) стираются и дописывается одно число, равное
. Что останется на
доске в конце?
Источники:
Подсказка 1
Как только выбор значений становится абсолютно случаен, что обычно приходит на помощь?
Подсказка 2
Конечно, инвариант! Вместо a и b появляется ab/n. Сама операция намекает на то, что можно рассмотреть.
Подсказка 3
Да, нам нужно именно произведение чисел. Как оно изменяется после каждой операции?
Подсказка 4
Можно рассмотреть первые 2-3 операции и составить гипотезу.
Подсказка 5
Каждый раз произведение изменяется в определенное количество раз. Как же это можно доказать?
Подсказка 6
Отличной идеей будет доказать это в общем виде для k+1-ой операции — каким станет произведение после нее?
Подсказка 7
Осталось найти произведение после 2014 операции. Сколько чисел осталось на доске?
Заметим, что произведение после применения операций равно
Действительно, в начале произведение равно
После применения первой операции оно равно
так как два числа были стерты, а вместо них было написано
Пусть на ом шаге произведение чисел равно
Тогда на
ом шаге произведение некоторые числа
становятся
равны
Произведение всех чисел, кроме
и
не изменилось, и оно равно
Тогда новое произведение равно произведению
всех чисел, к которым операция не применялась и нового числа
Всего до того, как останется одно число, сделано шагов, поэтому в конце будет
Ошибка.
Попробуйте повторить позже
По кругу расставлено положительных чисел. Могло ли случиться так, что каждое из этих чисел, кроме одного, равно разности своих
соседей?
Подсказка 1
Давайте поймём, какое именно число не равно разности соседей. Очевидно, что наибольшее. Значит, все остальные равны разности соседей.
Подсказка 2
Также есть смысл рассмотреть наименьшее число и числа на двух дугах, концами которых являются наибольшее и наименьшее число. Что можно сказать про числа на каждой из дуг?
Подсказка 3
Верно, давайте попробуем доказать, что числа от наименьшего к наибольшему не убывают(а заодно вы получите ещё кое-какое соотношение). Какой самый простой для этого способ..? Конечно, индукция. Аналогичным образом получится результат для другой дуги. Попробуйте теперь воспользоваться полученными знаниями для получения противоречия.
Подсказка 4
У вас есть две последовательности чисел(пусть a_i и b_i) и рекуррентное соотношение на них. Попробуйте теперь доказать, что на самом деле a_i<b_i≤a_(i+1). Чем нам это поможет? А ведь мы ещё не пользовались всем условием. Что же не так с числом 300..?
Предположим, что требуемая расстановка существует. Ясно, что наибольшее из чисел не может равняться разности соседей; значит, каждое
из остальных чисел равно разности соседей. В частности, наибольшее число встречается ровно один раз; обозначим его через
Пусть — одно из наименьших чисел в круге. Рассмотрим любую из двух дуг между
и
пусть на ней стоят подряд числа
Докажем индукцией по
что
В базовом случае
утверждение верно, ибо
—
наименьшее число. Для перехода от
к
предположим, что
и
Тогда равенство
невозможно, ибо
и поэтому
Значит,
что и доказывает переход индукции. Мы заодно показали, что
при всех
Аналогично, если на другой дуге между и
стоят подряд числа
то
и
при
всех
Наконец, для числа
условие задачи также должно выполняться, так что
Без
ограничения общности можно считать, что
тогда
Продолжим теперь последовательности и
согласно формулам
и
Докажем
индукцией по
, что
При
это уже доказано выше. При
из соотношений
получаем
Для перехода индукции предположим теперь, что и утверждение уже доказано для меньших значений
По предположению
индукции, имеем
откуда
что и требовалось.
Итак, мы получили, что
Значит, равенство возможно лишь при
но тогда общее количество чисел в круге равно
что не может
равняться
Противоречие.
Не могло
Ошибка.
Попробуйте повторить позже
Решите в натуральных числах уравнение
Источники:
Домножая на для удобства разложения на множители, получаем
Правая часть делится на значит, и левая часть
Для каждого целого неотрицательного среди всех пар
натуральных чисел, для которых
рассмотрим
такую, у которой сумма
наименьшая.
Предположим, что и запишем соотношение на
и
в виде квадратного уравнения относительно
По теореме Виета у уравнения
кроме корня есть ещё (очевидно, натуральный) корень
Поскольку пара
тоже удовлетворяет условию,
должно выполняться неравенство
то есть
Тогда исходное равенство приводит к неравенству
Пришли к противоречию. Таким образом, и, следовательно,
из симметричности изначального выражения.
Ошибка.
Попробуйте повторить позже
Натуральные числа от до
как-то разбили на пары, числа в каждой из пар сложили, а полученные
сумм перемножили. Мог
ли результат оказаться квадратом натурального числа?
Подсказка 1
Чтобы понять, стоит ли придумывать пример, или доказывать, что не мог, попробуйте придумать примеры для меньшего количества чисел.
Подсказка 2
Например, можно большинство чисел разбить на чётное количество пар равной суммой.
Разбив числа от до
на пары
получим чётное число пар с суммой Числа от
до
можно разбить так:
Для них в результате получим
произведение
Значит, в итоге получится полный квадрат.
да
Ошибка.
Попробуйте повторить позже
Ваня записал несколько простых чисел, использовав ровно по одному разу все цифры от до
Сумма этих простых чисел оказалась
равной
Можно ли, использовав ровно по одному разу те же цифры, записать несколько простых чисел так, чтобы их сумма оказалась
меньше?
Подсказка 1
У вас есть конкретный набор цифр. Попробуйте понять, какие у вас могут быть простые числа, какие на них могут быть ограничения?
Подсказка 2
Давайте посмотрим, например, на цифру 4. Она явно не может быть на первом месте в простом числе. Подумайте в эту сторону и с остальными цифрами.
Например,
да
Ошибка.
Попробуйте повторить позже
Существуют ли такие натуральные числа большие
что их произведение делится на любое из них, увеличенное на
Выберем некоторое и положим
делится на
и
делится на
Ошибка.
Попробуйте повторить позже
Докажите, что любое натуральное число можно продолжить возрастающей последовательностью
…так, чтобы при любом
сумма
делилась на
Источники:
Подсказка 1
Давайте добавлять a_(n+1). Пусть A_(n+1) - сумма квадратов, B_(n+1) - сумма чисел. Попробуйте выразить A_(n+1) через a_(n+1), A_n и B_n^2. Для чего мы это хотим сделать? Мы просто хотим выразить a_(n+1).
Подсказка 2
A_(n+1) = A_n + (a_(n+1) - B_n) (a_(n+1) + B_n) + B_n^2. Поймите отсюда какие-нибудь делимости, а затем угадайте, чему может равняться a_(n+1).
Подсказка 3
Возьмите a_(n+1) = A_n + B_n^2 - B_n. Поймите, что оно подходит под все условия в задаче.
Докажем, что для любых чисел удовлетворяющих условию задачи, можно найти такое
что
делится на
Из равенства следует, что
делится на
если
делится на
поскольку
Таким образом, достаточно взять
(в этом случае Осталось показать, что тогда
Но так как
то
Ошибка.
Попробуйте повторить позже
Пусть и
- натуральные числа такие, что
делит
. Докажите, что
является квадратом целого
числа.
Решение 1: Выберем целые числа такие что:
Для фиксированного рассмотрим пару
с минимальным значением
Обозначим
Тогда квадратное уравнение относительно
Если существует другой корень то:
Если то это противоречит условию минимальности
поэтому
не может быть положительным целым. По формуле
Виета:
что делает целым. Из неравенства:
следует Тогда:
Таким образом, всегда является полным квадратом.
_________________________________________________________________________________________________________________________________________________________________________________
Решение 2: Предположим противное: пусть не является квадратом. Без ограничения общности
Выберем пару
с минимальной суммой
Рассмотрим квадратное уравнение:
Его корни и
удовлетворяют:
Пусть тогда второй корень:
Так как не квадрат,
Подставляя
в исходное уравнение:
Так как то
Из
следует
что противоречит минимальности
Следовательно,
обязано быть квадратом.