Теория чисел на БИБНе
Ошибка.
Попробуйте повторить позже
Можно ли утверждать, что если для рациональных чисел сумма
является рациональным числом, то
Источники:
Подсказка 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!
Обозначим
Тогда . Возведем в квадрат
В случае или получаем, что левая часть равенства рациональна, а значит и правая тоже, то есть или . Если имеет место случай , то
В случае же (не умаляя общности ) получаем
И так как , равенство возможно только в случае . И тогда также То есть если или , то требуемое верно.
Пусть теперь . Преобразуем:
Равенство возможно только в случае, если справа рациональное число, то есть . Тогда получаем следующую систему
Эта система имеет вид
По следствию теоремы Виета и являются корнями уравнения . Но у квадратного уравнения максимум корня, поэтому либо и , либо и .
В первом случае получаем , что невозможно, кроме разобранного случая
Во втором случае , также невозможно, если
Ошибка.
Попробуйте повторить позже
Докажите, что существует бесконечное множество троек натуральных чисел удовлетворяющих соотношению
Источники:
Подсказка 1
Что напоминает данное равенство?
Подсказка 2
Пифагорову тройку! Степени четны, быть может, стоит попробовать как-то преобразовать самую привычную пифагорову тройку?
Подсказка 3
Чтобы не потерять связь с тройкой (3, 4, 5,, попробуем подставить «подобную ей» вместо х, у и z. Хочется сделать так, чтобы z^2022 было равно 25t^2 при некотором t. Как это сделать?
Подсказка 4
Z должно делиться на 5. Получается, что вместо z нужно взять 5n, а остальные числа подогнать под равенство не составит труда)
Возьмем пифагорову тройку, например, и будем рассматривать соотношения
для различных натуральных Если положить
то взяв число делящееся на 5, т.е. для натурального получим
Таким образом, при любом натуральном числа вида где и удовлетворяют исходному уравнению.
Ошибка.
Попробуйте повторить позже
Источники:
Подсказка 1
Придумывая пример, имеет смысл разбивать на каждом шаге алгоритма все числа на какие-то удобные «блоки», в которых можно несложно получить именно то число, которое хотим. Получить числа меньше 0 невозможно, поэтому попробуем получить 0 или 1. Работать с большими числами неудобно, к каким меньшим числам можно привести весь наш числовой ряд на доске?
Подсказка 2
К единичкам!(как?). Осталось лишь исследовать ряд единичек и осознать, как получить 0. А что если 0 получить нельзя? Как это доказать? Быть может, какое-то свойство на каждом шагу сохраняется?
Подсказка 3
Обратим внимание на четность суммы всех чисел. Какая она и какой может стать?
(a) Достаточно привести алгоритм получения нуля, поскольку меньше получить невозможно. Итак, сначала поделим числа кроме единицы на пары написав в них разности, получим набор из единиц, включая первоначальную. Далее разбиваем числа на пары и в каждой паре получаем в качестве разности затем с нулями можно делать что угодно.
(b) Пример на получение единицы можно вывести из предыдущего пункта, только делить будем на пары откуда получится единиц, то есть помимо нулей в разности получится дополнительная единица — далее от неё уже никак не избавиться, можно просто по очереди вычесть из неё все нули.
Остаётся показать, что ноль получить не выйдет. Действительно, изначально сумма всех чисел нечётна. При применении операции в этой сумме её чётность не поменяется, поскольку значит, её чётность не меняется. Тогда и оставшееся число будет нечётным и не равно нулю.
(a) ;
(b) .