✓ Решаем задачу от ChatGPT: 𝑎² + 𝑏² = 2ⁿ

✓ Решаем задачу от ChatGPT: 𝑎² + 𝑏² = 2ⁿ | Ботай со мной

5 місяців тому

Смотрите запись образовательной конференции YaC/e по ссылке: yace.yandex.ru/?...
Решаем задачу от ChatGPT: Докажите, что для любых натуральных чисел 𝑎≠𝑏, уравнение 𝑎² + 𝑏² = 2ⁿ, не имеет решений, где 𝑛 натуральное число.
Книжка по комбинаторике: trushinbv.ru/kombinatorika
Как поддержать канал:
Bitcoin: bc1qwzx9t9mz5h5q8sgtz74mdgedxd5wu0g9kq6q5m
Ethereum: 0xAE872DcA8B135cf62Df4B36bE576a2EE64c6066a
Регулярная помощь (Boosty): boosty.to/trushinbv
Регулярная помощь (UKposts): ukposts.infojoin
Регулярная помощь (Patreon): / trushinbv
Регулярная помощь (Sponsr): sponsr.ru/trushinbv
Разовая помощь (Ю-money, бывшие Яндекс.Деньги): yoomoney.ru/to/410011017613074
Разовая помощь (PayPal): paypal.me/boristrushin
Разовая помощь (Donation Alerts): www.donationalerts.com/r/bori...
Разовая помощь (Сбер): 2202 2001 0398 5451
В этом учебном году я веду три курса:
✔ «Подготовка к ЕГЭ по профильной математике с 0 до 70 баллов (10-11 класс)»: trushinbv.ru/ege70
Подойдёт и десятиклассникам, которые хотят уже за год до ЕГЭ стабильно решать на 70+, и одиннадцатиклассникам, которые почти ничего не знают, но хотят за год выйти на приличные баллы. На курсе освоим как всю тестовую часть, так и многие задачи из сложной части ЕГЭ.
✔ «Подготовка к ЕГЭ по профильной математике с 60 до 100 баллов (11 класс)»: trushinbv.ru/ege100
Для тех, кто уже знает математику на базовом уровне, и хочет за год освоить её на 90+. Там, в основном, будем учиться решать задания из сложной части ЕГЭ, но залезем немного и в некоторые содержательные задания из тестовой части.
(Если у одиннадцатиклассника есть достаточная мотивация, можно параллельно учиться сразу на двух этих курсах - trushinbv.ru/egepack - их программы согласованы между собой)
✔ «Подготовка к перечневым олимпиадам по математике (10-11 класс)»: trushinbv.ru/olymp
В первую очередь этот курс для одиннадцатиклассников, которые освоили стандартную школьную программу хотя бы на «четыре», и хотят за полгода подготовиться к олимпиадам типа Физтех, Ломоносов, ОММО и ПВГ, чтобы попробовать зацепиться за диплом хотя бы в одной из них.
Кроме того, доступны мои прошлогодние курсы в записи:
✔ «Подготовка к ОГЭ»: trushinbv.ru/oge9
Это запись большого годового курса, который я провел пару лет назад. В этом году у меня не будет новых курсов для 9 класса.
✔ Мини-курсы по отдельным заданиям ЕГЭ:
- Теория вероятности с нуля и до ЕГЭ (Задания 3 и 4): trushinbv.ru/egeTV
- Уравнения и неравенства (Задания 12 и 14): trushinbv.ru/egeAL
- Стереометрия (Задание 13): trushinbv.ru/egeST
- Экономические задачи (Задание 15): trushinbv.ru/egeEC
- Планиметрия (Задание 16): trushinbv.ru/egePL
- Задачи с параметром (Задание 17): trushinbv.ru/egePR
- Теория чисел (Задание 18): trushinbv.ru/egeTC
✔ Мини-курсы по перечневым олимпиадам:
- Олимпиада Физтех: trushinbv.ru/fizteh
- Олимпиада ОММО: trushinbv.ru/ommo
- Олимпиада Ломоносов и ПВГ: trushinbv.ru/lomonosov
Другие курсы Фоксфорда: trushinbv.ru/courses
Репетиторы Фоксфорда: trushinbv.ru/coach
Магазин мерча: trushinbv.ru/shop
Книжка от Трушина: trushinbv.ru/book
вКонтакте: ege_trushin
TikTok: / trushinbv
Twitter: / trushinbv
Instagram: / trushinbv
Telegram: t.me/trushinbv
Facebook: / trushinbv
UKposts: / trushinbv
Личный сайт: TrushinBV.ru

КОМЕНТАРІ: 197

@Kurchatov-it8mk 5 місяців тому

"Когда что-то про двойку, бывает полезно подумать". Самое лучшее, что я сегодня услышал

@cnfnbcn3227 5 місяців тому

Для меня такие задачки уже давно не являются чем-то супер-сложным, но почему-то всё равно интересно смотреть, как БВ объясняет их простыми словами😄

@user-rp1tf4en1n 5 місяців тому

Нейросеть никогда не заменит такого классного преподавателя!

@trauerweide 5 місяців тому

Боюсь, что нейросетям будет сложно заменить такого преподавателя, как вы. Так что благодарим вас за бескорыстный труд и старания! Лично я не представляю, что бы делал без ваших видео.

@sofilay3596 5 місяців тому

КНИЖКА ПО ТЕОРИИ ЧИСЕЛ? Ждём!!) коллекция получается уже)

@Motya_Internashional 5 місяців тому

Доброго времени суток, уважаемый Борис. Спасибо большое, что ты все эти годы с нами , постоянно радуешь нас , совершенствуешься и совершенствуешь контент для нас. Вот узнал, что относительно недавно твоя книга вышла о комбинаторике и я с WB сразу же ее заказал. Возможно есть в планах у тебя, чтобы ты сделал небольшое видео по книге ? Было бы интересно послушать из уст автора, а так с удовольствием прочитаю как придет, и соответственно буду ждать следующую книгу от тебя. Всего самого наилучшего тебе ! С уважением , твой преданный поклонник.

@trushinbv 5 місяців тому

Всё наоборот. Книга написана по мотивам роликов. Там даже есть QR-коды со ссылками на ролики )

@Frastik0 5 місяців тому

Борис, с удовольствием приобрёл вашу книжку по комбинаторике. Буду изучать и ждать следующую книжку по теории чисел.

@vadim_k 5 місяців тому

Красота!

@lelelele1746 5 місяців тому

очень круто! спасибо! люблю теорию чисел, правда только начинаю, очень интересно и вроде не сложно пока

@karenlevonyan9017 5 місяців тому

Нейросети уже не отвечают на вопросы, а задают их, а люди пытаются решить)

@penatoliy 5 місяців тому

И скоро они начнут требовать)

@nicholasspezza9449 5 місяців тому

Нейросети уже решают на сколько люди полезные.

@maxm33 5 місяців тому

Скоро они заменят людей

@Fukusod 5 місяців тому

Нет, они агрегируют то что написали люди, когда пишут нейросеть чтото сделала это не более чем реклама

@rabiddios 5 місяців тому

Спорили три дурака и один математик. Силы были равны

@mathin2049 3 дні тому

Пусть (a,b) - наименьшая пара (по сумме). Тогда оба числа нечетные. Тогда ((a+b)/2)^2 + ((a-b)/2)^2 - тоже решение. Но сумма (a+b)/2 + (a-b)/2 = a < a+b

@SmirnovaAlina 5 місяців тому

устала от подготовки к егэ по математике. Зашла в ютуб. Что я начала смотреть:

@trushinbv 5 місяців тому

Это интереснее, чем егэ )

@begula_chan 2 місяці тому

Спасибо, очень круто!

@panfilovandrey 5 місяців тому

Второе доказательство гораздо прозрачнее, интересная задача, интересное видео. Спасибо!

@user-vx1zc3kh3d 5 місяців тому

Надеюсь, книга выйдет хотя бы в мае, чтобы перед егэ почитать успеть)

@user-tl5js5ow3d 5 місяців тому

Борис, поздравляю с интеграцией, очень рад, что вы находите разные источники дохода. Спасибо за разбор интересных задач, готовлюсь к поступлению в этом году в хороший вуз по мат.профилю, ваши видео очень помогают с этим. Я не из лицея и не из школы, по типу 279. Своими силами стал программистом, но вот с математикой всегда было не очень хорошо. решил повысить свою экспертность в одном из в топовых вузов СПБ, тк уткнулся в потолок в решении задач с использованием сложных алгоритмов. Мне уже 24, что довольно много, но я все равно хочу пройти этот непростой путь.

@MrDjaaxtu 5 місяців тому

Ах-ха-ха, 24 это довольно много... Смещьная щютка ))))

@user-tl5js5ow3d 5 місяців тому

@@MrDjaaxtu ну для сдачи егэ, тем более если я поступлю, то учится буду до 29 лет. Это пол жизни, если вдуматься) Хотелось бы иметь что-то большее, чем диплом к этому времени

@aristotel_1201 5 місяців тому

@@user-tl5js5ow3d ты в 60 помирать собрался?) да и хз, в российском вузе знаний тебе не дадут, у системы другая задача, так что если тебе уже не нужна корка, то учись просто самостоятельно, на курсах или с репетитором

@mp443 5 місяців тому

a^2+b^2=2^n - докажем, что для произвольной пары a, b нет таких n: Найдем все подходящие n. Пусть k - максимальное такое число, что 2^k|a и 2^k|b. Если 2k>n, то левая часть делится на (2^k)^2, а левая - нет. Противоречие. Тогда очевидно, что n>=k. Делим обе части уравнения на (2^k)^2. Получим: (a/2^k)^2+(b/2^k)^2=2^(n-2k) Очевидно, что не может быть такого, что a/2^k и b/2^k одновременно четные т.к. иначе k не максимальное. Рассмотрим три случая: 1) n-2k=0 => (a/2^k)^2+(b/2^k)^2=1, что невозможно. 2) n-2k=1 => (a/2^k)^2+(b/2^k)^2=2 что невозможно 3) n-2k>=2 => правая часть делится на 4, а левая имеет остаток 0+1=1 или 1+1=2 - противоречие. Ч.Т.Д.

@umarus2 5 місяців тому

Купил вашу книгу в эл. формате, так как живу зарубежом.. Буду, с вашего позволения, с учениками решать.

@DarkMerlinRu 5 місяців тому

Если а и b четные, то выносим общий множитель 2^k за скобки так, чтобы хотя бы одно из чисел было нечетным (т.к. оба числа четные, то k>=1). Тогда получаем a'^2+b'^2 = 2^(n-2k) - натуральное, т.е. (n-k) > 0, а все свелось к случаям одного или двух нечетных...

@user-nj3dv5sv2z 5 місяців тому

ЖДЕМ ТЕОРИЮ ЧИСЕЛ!!!

@B.0MJiR 5 місяців тому

Пусть, начиная с некоего n есть такие a и b, что a^2+b^2=2^n тогда, (a+b)^2+(a-b)^2=a^2+2ab+b^2+a^2-2ab+b^2=2a^2+2b^2=2^(n+1) и. т. д. тоесть после n всегда исполняется это равенство. но если пойти в другую сторону, и предположить, что a=x+y b=x-y где x, y целые числа. это всегда можно сделать, потому что a,b одной четности -> x,y тоже одной четности -> p^2+q^2=2, а таких чисел нет. тождество доказано.

@alexdolinsky7387 5 днів тому

10:00 примерно, метод бесконечного спуска

@hapaxlegomemnon 5 місяців тому

Борис с годами только краше

@fizfakmsu116 5 місяців тому

Какая кофта❤ С первого видео ботай со мной❤❤❤

@trushinbv 5 місяців тому

Я её делал на пятилетие канала ) trushin.printdirect.ru/index.php?action=addtocart&product=8934525

@worldOFfans 5 місяців тому

Решение через "вынос" степень 2 из а и б красивое, даже очевидно после осознания)

@alex_sviridov 5 місяців тому

Здравствуйте, Борис. Прекрасный ролик! На мой взгляд, также ещё стоит оговорить в начале, что 0 здесь не входит в натуральные числа (хотя чаще всего это подразумевается изначально)

@trushinbv 5 місяців тому

Ну, в русскоязычной традиции это по умолчанию так )

@jcrka 5 місяців тому

@@trushinbv но по ISO не так, а чатгпт к русскоязычным традициям отношения не имеет )))

@trushinbv 5 місяців тому

@@jcrkaну, спросите его, что он считает натуральными числами )

@ilyakorchagin9854 3 місяці тому

Wikiпедия по этому поводу говорит следующее: "В первом случае ряд натуральных чисел начинается с единицы, во втором - с нуля. Не существует единого для большинства математиков мнения о предпочтительности первого или второго подхода (то есть считать ли ноль натуральным числом или нет). В подавляющем большинстве российских источников традиционно принят первый подход[13]. Второй подход, например, применяется в трудах Николя Бурбаки, где натуральные числа определяются как мощности конечных множеств. Наличие нуля облегчает формулировку и доказательство многих теорем арифметики натуральных чисел, поэтому при первом подходе вводится полезное понятие расширенного натурального ряда, включающего ноль[13]."

@Lord_of_the_beans 5 місяців тому

Здравствуйте , будет интересно увидеть Ваш разбор следующей красивой задачки про «двух муравьев и тетраэдр»! На поверхности равногранного тетраэдра сидят два муравья. Докажите, что они могут встретиться, преодолев в сумме расстояние, не превосходящее диаметра окружности, описанной около грани тетраэдра. Задачка из Шестнадцатой устной олимпиада по геометрии И.Ф Шарыгина 2018 года

@501art 5 місяців тому

Вот так вот мне чатгпт решил эту задачку: Для начала заметим, что квадрат любого натурального числа даёт остаток 0 или 1 при делении на 4. Это можно легко проверить, рассматривая все возможные остатки при делении натуральных чисел на 4. Теперь предположим, что у нас есть решение уравнения 𝑎² + 𝑏² = 2ⁿ, где 𝑎 и 𝑏 - натуральные числа, а 𝑛 - натуральное число. Тогда 𝑎² и 𝑏² дают остатки 0 или 1 при делении на 4. Поскольку сумма двух чисел, дающих остаток 0 или 1 при делении на 4, не может давать остаток 2 при делении на 4, то уравнение не имеет решений. Таким образом, мы доказали, что для любых натуральных чисел 𝑎≠𝑏, уравнение 𝑎² + 𝑏² = 2ⁿ не имеет решений, где 𝑛 - натуральное число.

@kate.9156 5 місяців тому

Я в школе был слаб на математику , да и не любил я точные науки поскольку у меня там ничего не получалось , мне 30 и у меня появился интерес к точным наукам , поскольку понимаю , что решение задач благостно влияет на интеллектуальные способности и развивает мышление , может у меня что нибудь и выйдет толковое , очень на это надеюсь

@irinaprokofieva2813 5 місяців тому

👏👏👏👏👏👏👏👏👏

@501art 5 місяців тому

Выходит, что задача a^2+b^2=2*n - абсолютно про то же самое - про чётность, да и вообще все задачи, где в одной части уравнения есть явно чётный/нечётный результат можно решать этим способом? Красота же!

@nikitas3729 5 місяців тому

Ну в твоей задаче очевидно бесконечно много решений

@samwin9758 5 місяців тому

Очевидно, 2 случая: а и б четные или а и б нечетные, минимальная сумма квадратов натуральных чисел 1+4=5, значит при n=3, при а и б четных левая часть делится на 4, разделим на 4, тогда должно существовать решение для n=k-2, что противоречит предположению индукции, для нечетных а и б подставим вместо них 2c+1 и 2d+1, раскорем скобки, увидим что левая часть не делится на 4, значит k

@majestick 5 місяців тому

Нужен парадокс про коз и двери)

@St.Ananas 5 місяців тому

Парадокс простой, если забыть про интуицию и честно расписать вероятности. Более очевидно если дверей было миллион, например

@majestick 5 місяців тому

@@St.Ananas, а, ну всё понятно теперь, видео не нужно

@St.Ananas 5 місяців тому

@@majestick видео от Трушина всегда нужны

@majestick 5 місяців тому

@@St.Ananas, тогда зачем это "парадокс простой блаблабла"?

@St.Ananas 5 місяців тому

@@majestick блаблабла? Ты предложил тему для видео, я посчитал, что ты реально не знаешь, вот и кратко объяснил

@42-94 5 місяців тому

Пахнет гауссовыми числами)

@sabyrzhan1 5 місяців тому

чатгпт 4 правильно решил эту задачу, возможно она действительно легкая

@xy-box 5 місяців тому

Или возможно чатгпт решает сложные задачи 😏

@sabyrzhan1 5 місяців тому

@@xy-box задача легкая, ее решить сможет хоть 7 классник

@xy-box 5 місяців тому

@@sabyrzhan1 Не является ли чудом то, что мир получил искусственную личность по интеллекту не меньше умного семиклассника?

@user-ke2xs1fc1c 5 місяців тому

А есть возможность разложить это на ряд Тэйлора?

@user-ke2xs1fc1c 5 місяців тому

И нельзя ли доказать это по радикальному признаку Коши что ряд 2^n будет расходится?

@trushinbv 5 місяців тому

Что именно разложить? Это же задача в целых числах

@user-yy5ip2dj1m 5 місяців тому

Вопрос не по теме. Насколько тяжело пишется (книги имею в виду) и как приходят идеи тем рукописи? Есть ли тематическая связь между темами книг, ну кроме математики как таковой, либо это чистое наитие?

@trushinbv 5 місяців тому

В моем случае все просто. Я учил комбинаторике учеников последние 20+ лет. За это время вырабатываются идеи, как это делать наиболее доступным способом. Эти идеи вылились в десяток роликов на этом канале. В итоге по мотивам роликов написана книга. То есть, в каком-то смысле, книжка написана не за полгода, а за 20 лет )

@user-yy5ip2dj1m 5 місяців тому

@@trushinbv Отрадно. Как известно не каждый хороший учитель является хорошим писателем (творцом легкоусвояемого учебника в данном случае) и наоборот. Так что остаётся порадоваться за вас и тех кто может учиться у вас. Благодарю! Успехов вам и салам алейкум.

@user-nk3bc2ju5j 5 місяців тому

теория чисел от Б.Трушина? да это будет моей настольной книгой .. Когда???

@trushinbv 5 місяців тому

Надеюсь, что весной уже выйдет. Мне ещё нужно дописать )

@matthewmarston5149 5 місяців тому

a^2+b^2+n^2 = x m,y mx y = h

@gappov 4 місяці тому

А как доказать, что a^n+b^n не равно 2^xn (х-это любой множитель)?

@trushinbv 4 місяці тому

Можно сослаться на Великую теорему Ферма )

@gappov 4 місяці тому

@@trushinbv но ведь это элементарно. Если (a^n+b^n)=2^n, то их среднее арифметическое тоже должно дать 2^n. Более того, раз 2^n у нас целое число, то оно должно стоять симметрично в ряду чисел между a^n и b^n. Но это невозможно, так как степень бОльшего числа смещает среднеарифметическое ближе к себе от центра. Кроме того, есть другая формула, которая позволяет высчитывать как раз центральное среднеарифметическое между a и b. Вот она: (a+b)^n. Вот она способна дать среднеарифметическое 2^n, а также их общую сумму 2^n. А первая, так как она раскладывается иначе, получается, не способна. Что думаете?

@gappov 4 місяці тому

@@trushinbv вот, кстати, раз уж такое дело, моё доказательство теоремы Ферма. В чём суть данной задачи? Всем известна теорема Пифагора a²+b²=c². Пьер Ферма построил свою теорему на базе теоремы Пифагора, но вместо степени 2 взял степень n. И сформулировал он свою задачу таким образом: При степени n>2 уравнение aⁿ+bⁿ=cⁿ невозможно получить в целых числах a, b и c. Нужно понять, верное это утверждение или ложное, и либо доказать его, либо опровергнуть. Итак, перед нами стоит задача доказать, что в этом уравнении либо "a", либо "b", либо "c" будут нецелыми. Если это удастся, мы докажем теорему Ферма. Левую часть уравнения aⁿ+bⁿ можно представить, как среднее арифметическое между двумя членами и записать, например, как dⁿ+dⁿ. Объясню поподробнее... Если мы возьмём n=3, то перед нами по сути будет сумма двух кубов, имеющих разный объём. Если сложить их общий объём и разделить на 2, то мы получим два одинаковых куба с точно таким же общим объёмом, как и у первых двух. Получится a³+b³=d³+d³=c³. Этот же принцип работает и со всеми остальными степенями. aⁿ+bⁿ=dⁿ+dⁿ dⁿ+dⁿ=cⁿ 2dⁿ=cⁿ c=d*ⁿ√2 (корень в степени n). При умножении d на ⁿ√2 будет получаться нецелое число. Осталось доказать то, что d ни при каких условиях не может быть равно d=ⁿ√(2˟ⁿ¯¹). Если бы это было так, то это разрушило бы всё наше доказательство теоремы, так как при умножении на ⁿ√2, получалось бы целое число. Пояснение: в скобках после 2 написано xn. Это означает, что вместо x может быть любое числовое значение. Итак, если d=ⁿ√2˟ⁿ¯¹, то c=ⁿ√(2˟ⁿ¯¹)(ⁿ√2). Значит cⁿ=2(2˟ⁿ¯¹)ⁿ=2˟ⁿ Если aⁿ+bⁿ=cⁿ, то aⁿ+bⁿ=2˟ⁿ. Следовательно, dⁿ+dⁿ=2˟ⁿ, а значит dⁿ=2ⁿ Получается, dⁿ у нас всегда целое число, а также оно является степенью 2, также, как и "d". И если у нас "a" и "b" тоже целые числа, то "d" в числовом ряду должно стоять ровно посередине между "a" и "b", чтобы удовлетворять равенству с 2ⁿ. Это невозможно, потому что при сложении разных чисел с одинаковыми степенями (aⁿ+bⁿ) большее число сместит среднеарифметическое в свою сторону. "d" всегда будет немного смещено в сторону "b". Это также доказывается наличием иной формулы ((a+b)/2)ⁿ. Именно здесь у нас получается d, которое способно быть равным 2ⁿ, так как стоит ровно посередине между двумя целыми числами. Но вы согласитесь, что (aⁿ+bⁿ)/2 и ((a+b)/2)ⁿ - это две разные формулы, раскладываются по-разному и дают разные среднеарифметические d. Если в случае второй формулы d может быть равно 2ⁿ, то логично, что оно не может быть таковым в первом случае. Получается, что dⁿ не может быть равно 2ⁿ, cⁿ не может быть равным 2˟ⁿ, а значит d не может быть равно ⁿ√2˟ⁿ¯¹ и давать целое число при умножении на ⁿ√2. Подытожим! Любая степень n в уравнении aⁿ+bⁿ=cⁿ всегда будет приводить к уравнению c=d*ⁿ√2 без исключений. Следовательно, теорема Ферма о том, что при степени n>2 уравнение aⁿ+bⁿ=cⁿ невозможно получить в целых числах a, b и c, доказана.

@trushinbv 4 місяці тому

@@gappovа в какой момент вы будете рассматривать числа d=m•ⁿ√(2˟ⁿ¯¹), где m не равно 1

@gappov 4 місяці тому

@@trushinbv в этом нет смысла. Если вы умножите m на ⁿ√(2˟ⁿ¯¹) и получите таким образом целое число, то потом вам придется это дело умножить ⁿ√2, чтобы получить c. Вы придете либо к иррациональному числу, либо снова к формуле вида ⁿ√(2˟ⁿ¯¹)(ⁿ√2).

@alfal4239 5 місяців тому

Индукцию замутить можно по-другому. Т.к. a и b одинаковой четности, то a = p - q, b = p + q. Поэтому p^2 + q^2 = 2^{n-1}. И так далее

@matthewmarston5149 2 місяці тому

Coriolis Effect,Squares for measurement,and circumference spherical measurements

@TurboGamasek228 5 місяців тому

оп, идей для видео резко возросло

@igelkvv8092 5 місяців тому

Не понял почему a=2^k*c :(

@trushinbv 5 місяців тому

Ну, просто из числа вынесли максимальную степень двойки, на которую оно делится

@drarenthiralas1683 5 місяців тому

Моя попытка решения (видео не смотрел дальше начала, чтобы попытаться решить самому): Сначала заметим, что правая часть равенства чётная, потому a и b либо оба тоже четные, либо оба нечетные. Теперь рассмотрим два простых случая, n = 1 и n = 2. Для обоих доказательство элементарно, достаточно перебрать все варианты. Теперь допустим, что равенство не выполняется при n = k, и рассмотрим равенство a^2 + b^2 = 2^(k+2), которое эквивалентно: (a/2)^2 + (b/2)^2 = 2^k В начале мы определили, что a и b или оба четные, или оба нечетные. Если они оба четные, то их половины натуральные числа, и мы приходим к противоречию. Если же они оба нечетные, то их половины будут иметь форму x + 0.5 и y + 0.5, где x и y натуральные числа. (x + 0.5)^2 + (y + 0.5)^2 = x^2 + y^2 + x + y + 0.5, то есть не натуральное число, тогда как 2^k число натуральное, что также приводит к противоречию. Таким образом, проведя индукцию дважды от наших двух базисов (n=1 и n=2), можно доказать что равенство не выполняется ни для каких натуральных n, a и b, QED.

@trushinbv 5 місяців тому

А к какому противоречию вы пришли, когда а и b оба нечетные?

@drarenthiralas1683 5 місяців тому

@@trushinbv Противоречию между равенством (a/2)^2 + (b/2)^2 = 2^k и фактом, что правая часть натуральная а левая нет. Очевидно, что ненатуральное число не может быть равно числу натуральному. Теперь когда я посмотрел видео, могу сказать что этот шаг по сути эквивалентен вашему рассуждению о делимости на 4 (4:25).

@trushinbv 5 місяців тому

@@drarenthiralas1683а, всё. Я понял! )

@TycTycHehe 5 місяців тому

Последний подход с выделением 2^k куда яснее. С предыдущим «бесконечным делением и вычитанием» у меня возникало опасение «а что будет, если n-2p вдруг станет отрицательным начиная с некоторого шага p», которое, наверно, можно легко развеять, но всё равно такое рассуждение отдаёт некоторой нестрогостью.

@trushinbv 5 місяців тому

Так правая часть равна левой, а там всегда сумма двух натуральных чисел

@exception5915 5 місяців тому

Классное видео. Но вот только первое рассуждение про выход на противоречие вроде бы ошибочно, ибо пара (m; l) - решение уравнение m^2 + l^2 = 2^(n-2), а не исходного, поэтому противоречия и нет никакого, ведь мы выбирали (a; b) из решений a^2 + b^2 = 2^n. В остальном неплохая и вполне себе приятная задача!

@nekto_izvestniy 5 місяців тому

Так о противоречии в уравнении пары (m;l) и не сказано ничего. Сказано, что можно дальше бесконечно повторять ту же процедуру и противоречие неизбежно появится.

@exception5915 5 місяців тому

@@nekto_izvestniy нет, в первом рассуждении идёт речь о том, что мы выбираем какую-то пару решений с минимальным элементом и получаем из неё пару с меньшим элементом, но это не так.

@trushinbv 5 місяців тому

Мы выбираем «минимальную» пару чисел, сумма квадратов которых равна степени двойки. И находим ещё меньшую. Нам не важно какой именно степени двойки

@exception5915 5 місяців тому

@@trushinbv а, имелась в виду любая степень двойки, тогда это имеет смысл, хорошо

@worldOFfans 5 місяців тому

Задача для самостоятельного решения: доказать, что a^n+b^n=c^n не имеет решений (доказательство уместить на полях тетради)

@user-wy5bv2lw8s 5 місяців тому

Ферма так писал;)

@anyamyakisheva 5 місяців тому

Имеет, при натуральных числах и n

@worldOFfans 5 місяців тому

@@anyamyakisheva правильно, условие такое)

@anyamyakisheva 5 місяців тому

@@worldOFfans хорошо, в таком случае решения есть.

@matthewmarston5149 5 місяців тому

Vector Law of 3rd Law of Physics:a^2+b^2+n^2 = x m,y mx y = h

@user-tz9km6mz5j 5 місяців тому

Не нарушая общности предположим a

@trushinbv 5 місяців тому

Вы рассматриваете только случаи, когда b делится на a?

@user-tz9km6mz5j 5 місяців тому

@@trushinbv Да, что-то я маху дал. На самом деле a и b только лишь не имеют общего множителя. Т.к. если он не кратен 2, то ясно тут степени 2^n не будет. А если кратен , то ясно, что есть решения для таких a^2+b^2 , когда он не кратен, надо искать их. Либо тогда d не целое число , а в дальнейшим доказательстве предполагалось, что оно целое.

@user-tz9km6mz5j 5 місяців тому

Тогда можно зайти так . Если a^2+b^2 = 2^n , то очевидно что (a+b)^2-2ab=2^n . Следовательно a+b - чётное число, иначе у нас получается складывание вычитание нечётного и точно чётного. Тогда верно равенство и (a+b)^2/2-ab=2^(n-1) .Причём (a+b)^2/2 - точно чётное. Но при этом a и b нечётные , иначе бы имели общий множитель. А раз так, то ab - нечётное число , как и вся сумма.

@trushinbv 5 місяців тому

@@user-tz9km6mz5jа почему они не могут быть оба четными? Что плохого в том, что они оба делятся на 2?

@user-tz9km6mz5j 5 місяців тому

@@trushinbv , тогда см. выше , где комментарий про "маху дал". Если у нас есть верное решение вида (2а)^2+(2b)^2=2^n , где 2 - это вынесенный общий множитель, то будет верным и решение a^2+b^2=2^(n-2) , где уже хотя бы a или b нечётное. А мы доказали, что оно неверное.

@user-xe5uu8vo5l 5 місяців тому

здравствуйте, Борис, как соединить 4 города (в углах квадрата 1км×1км) кратчайшим количеством дорог?

@9TailsExar 5 місяців тому

выглядит как надкус ферма.

@Cerber1994 4 місяці тому

Благодарю, получилось интересно! Мелкий комментарий - наверное, если бы я давал где-нибудь эту задачу (в свои прежние годы мелкого репетиторства, например), я бы, вероятно, переформулировал её как "докажите, что, если a^2 + b^2 = 2^n, a, b, n - натуральные, то a = b". Суть, очевидно, та же, но в оригинальной формулировке двойное отрицание ("если не равно, то не существует") несколько сбивает с толку.

@trushinbv 4 місяці тому

Все вопросы к чатуGPT )

@xy-box 5 місяців тому

Привет. Посмотри эту задачу с точки зрения двоичной системы записи числа. 2 в степени N это 1000...00

@trushinbv 5 місяців тому

И как показать, что сумма квадратов такой не бывает?

@Newton_school 5 місяців тому

a^2 + (a + k)^2 = 2^n a^2 + a^2 + 2*a*k + k^2 = 2^n 2 * (a + k) * a + k^2 = 2^n Возможно выполняется при чётном k 2 * (a + k + 2*k^2 / a) = 2^n | : 2 Пусть g = n - 1 (a^2 + a*k + 2*k^2) / a = 2^g Отсюда следует, что если уравнение и имеет решение, то a = 2^t Тогда 2^(2t) + 2^t * k + 2*k^2 = 2^(g + t) Пусть g + t = y 2^(2t) + k * 2^t + 2*k^2 = 2^y 2*k^2 = 2^y - 2^t * (2^t + k) | :2 k^2 = 2^y - 2^t * (2^t + k) k^2 = 2^y - 2^t * 2^t - 2^t * k Как видим, правую часть нельзя представить в виде квадрата суммы или разности из-за знака минус перед третьим слагаемым, а следовательно, правая часть не может быть квадратом числа. Пришли к противоречию. Ч.т.д.

@trushinbv 5 місяців тому

А как из того, что выражение нельзя представить как квадрат суммы/разности следует, что это не квадрат числа? Как вы, например, 3^2 + 4^2 представите в виде квадрата суммы/разности?

@Newton_school 5 місяців тому

@@trushinbv да, как-то не подумал об этом. Спасибо за ответ! Немного намудрил. То, что выражение справа нельзя представить, как квадрат суммы/разности не означает, что оно не может равняться квадрату числа. Кстати, раз уж Вы написали, Борис, хочу поблагодарить Вас за одну решённую проблему, которая ломала мне мозг, раз уж Вы уведомление об ответе, наверняка получите. Я говорю про ролик, где Вы разбирали треугольники степеней, где в последнем ряду получался ряд одинаковых чисел факториала степени. Несколько лет назад дошёл до этой интересной фичи математике. Решил записать такие треугольники до 7 степени и везде работало. Вот это у меня тогда крыша слетела, думал, что открыл новый инструмент, который поможет математикам, пытался рассказать нескольким преподавателям в ВУЗе, но все только чесали репу. Забавно. Но некоторым данная фича очень понравилась. В общем, реакция окружающих ещё больше убедила заниматься дальше проблемой, но ни в какую, прям как с гипотезой Колатца, которую я уже год доказываю, составил 3 мат модели, а в итоге ни черта. И тут вдруг примерно год назад увидел тот ролик, который Вы выпустили про эти блин самые треугольники. Я просто в шоке и восторге сидел от того, что я наконец понял тайну это фичи. Больше всего пронзило облегчение от того, что задача наконец решена и больше не придётся с этим мучаться. А ведь это было так просто, но всё же интересно. В общем, спасибо большое! Советую Вас всем знакомыи школьникам. Надеюсь, от меня пришло несколько человек, кто тоже захочет просвещаться)

@user-qk5zi9lt4r 4 місяці тому

В условии не указано что а, в, n расположены в одной системе счисления- значит это можно использовать... Ваяйте, творите!)

@trushinbv 4 місяці тому

А какая разница, в какой системе счисления вы это рассматриваете? )

@eduardtsuranov712 5 місяців тому

Интересно, но хочется более простое что-то. Вроде справа двойка и давайте сократим все двойки и посмотрим что будет/останется

@user-qn5cq5be3z 5 місяців тому

На 11:00 вывод о четности|нечетности c и d не понятен,🤔 быстро полскочили

@user-bw2in9ir2i 5 місяців тому

если бы мы допускали возможность a=b, то какое противоречие бы мы получили, говоря о том, что числа не могут бесконечно делиться на 2?

@trushinbv 5 місяців тому

Мы бы пришли к решению 1+1=2

@GregShyBoy 5 місяців тому

Стоит отдельно отметить, что формулировка олимпиадной задачи может быть такой: "Найдите все тройки натуральных чисел (a, b, n) такие, что ...". И тройка (1, 1, 2) находится очень быстро, а дальше важно не "расслабиться и закурить", а доказать, что иных троек не существует.

@trushinbv 5 місяців тому

Подходит же любая вида (2^k; 2^k; 2k+1)

@user-pb2sx9xq5g 5 місяців тому

a=1, b=0. 1^2+0^2=2^n, n=0. Единственное решение 😁

@777ProRoblox77 5 місяців тому

0 не натуральное число

@user-pb2sx9xq5g 5 місяців тому

@@777ProRoblox77 докажите 🤣

@777ProRoblox77 5 місяців тому

@@user-pb2sx9xq5g меня учили тому, что в натуральные числа 0 не входит, а вот в целые уже входит

@SergeiB. 5 місяців тому

@@777ProRoblox77а ещё учили что из отрицательных чисел корень не извлечь

@user-pb2sx9xq5g 5 місяців тому

@@777ProRoblox77 то, что 0 входит в натуральный ряд легко доказывается. Вас там учили как доказывать математические утверждения? Самый простой способ - через сумму натурального ряда. 1+2+3+...=-1/12. Прибавляем ноль: 0+1+2+...=-1/12. сумма не изменилась, а следовательно 0 входит в этот ряд. А насчет стандартов обучения есть ГОСТ Р 54521-2011 в котором указан стандарт натурального ряда N (0, 1,2,3...) и ряда N*(1,2,3..). Математически они эквивалентны, исторически 0 действительно не включался в натуральный ряд, но после работ Бурбаки по теории множеств было доказано что {0}=0 такой же член натурального ряда и как {1}=1 или {2}=2.

@art4259 5 місяців тому

Думаю, что шумиха вокруг ИИ сильно раздута. В лучшем случае, мы имеем инструмент, заменяющий "систему номер 1" по терминологии авторов книги "Думай медленно и быстро". Это освобождает ресурсы для творчества, которое машинное обучение заменить не в состоянии.

@xy-box 5 місяців тому

Нет никакой шумихи. А Расскажите что вы будете делать с 10 млрд творческими людьми без работы?

@art4259 5 місяців тому

@@xy-box История учит нас, что когда заканчиваются одни профессии, начинаются другие. Вспомните хотя бы истоию про машинистов паровозов.

@squidi1625 5 місяців тому

А можно ли сказать что во втором случае(где m^2+l^2=2^n), что если мы будем продолжать уменьшать m и l то n стремится к нулю, а 2^n стремится к единице, а значит и сумма квадратов стремится к единице - а мы доказали что такого быть не может

@savigrand 5 місяців тому

Можно даже более слабое условие поставить: a может быть равно b, если они не являются степенями двойки

@B.0MJiR 5 місяців тому

тогда выходит 2*a^2=2^n в целых числах решения не будет.

@MsAlexandr76 5 місяців тому

0 (ноль) - натуральное число или (какое)? Если 0 - натуральное число, то a=0, b=1, n=0 - вролне себе решение

@trushinbv 5 місяців тому

Нет, 0 - не натуральное (

@MsAlexandr76 5 місяців тому

@@trushinbv А к какой группе чисел он относится?

@trushinbv 5 місяців тому

@@MsAlexandr76к целым, рациональным, вещественным и т.д. )

@matthewmarston5149 2 місяці тому

Programs in Computers

@iter1656 5 місяців тому

Он когда нибудь тронется 😂

@kjgkjgknhkbfnbfngknho2131 2 місяці тому

А, разве не "бесконечный спуск" Ферма?

@karomusaelyan338 2 місяці тому

Докажите что если |a(n+2)-a(n)| стремится к нулю следует что |a(n)/n| стремится к нулю

@degle8446 5 місяців тому

ну если считать 0 натуральным числом, то вроде есть решение когда a=1 b=0 n=0

@Kithzer375 5 місяців тому

Tan(90°)=π/2 Такое доказательство, найдете ошибку?: Tan(y) это длина луча z от оси oх, до точки пересечения этого луча с лучом h из центра 1-й окружности под углом у. Для 90° мы получаем 2 || прямые, пересечения нет. Но, это только в плоской геометрии, в геометрии шара || прямые сходятся на "севере" и "юге" шара. Ось ох это экватор. Значит наш треугольник имеет 1 точку "север" и 2 точки на экваторе. || прямые равны вне зависимости от того каким будет 3-й угол. Равны они 2π/4 или π/2.

@user-qk5zi9lt4r 4 місяці тому

Допууустим....Что если, как вариант 6^2+8^2=10^2=100...но 100 это 2^4 в системе счисления с основанием 4, а правая часть уравнения имеет основание системы счисления 10... Форма записи соответствует условию прозвучавшему в ролике? Несомненно да! ...ведь про систему счисления не говорилось в ролике ни слова... Значит можно показать допустим еще похожий пример 5^2+12^2=13, где число 13 это 2^3 в системе счисления с основанием 5 , а левая сторона в системе счисления с основанием 10...внешне равенство соблюдается? Всë также несомненно - да! Условие поставленное в задаче выполнено.

@jcrka 5 місяців тому

по стандарту ISO ноль - это натуральное число (в отличии от РФ), казалось бы странно, что американский чатгпт предложил такую задачу с очевидным решением 0,1,0 ))))

@trushinbv 5 місяців тому

Вы у него спросите. Он не считает ноль натуральным

@user-jb5qf4hb3q 5 місяців тому

Я конечно всё понимаю и видео хорошее и мужик отличный, но можно с помощью геометрии сразу понятно обьяснить. а^2 и b^2- это квадраты со сторонами а и b, при условии что а не равно b они образуют так называемую лесенку, а 2^n это, при нечетных прямоугольник, при четных квадрат. Ну и соответсвенно из двух разных квадратов (a и b) собрать квадрат невозможно. Прямоугольник можно, но соотношение сторон будет не 1:2. В общем геометрически проще и нагляднее доказать

@trushinbv 5 місяців тому

Но 3^2 + 4^2 = 5^2. Можно из двух квадратов собрать квадрат )

@ThePalsanich 5 місяців тому

Если бы ноль был натуральным... 0^2+1^2=2^0 😂

@vladimirivanov9265 5 місяців тому

задайте в джипити чат решить полином 5 й степени, и он начнет молотить ПОЛНУЮ Х..Ю, при этом даже не попробует провести какие то логические рассуждения. Он просто тянет из Интернета все что там есть, и сразу становится понятно , что это не интеллект а чесатель по уже написанному. Там БЛИЗКО НЕТ ничего Интеллектуального. Интеллект действует ПО ДРУГОМУ.

@DentArturDent 5 місяців тому

Задайте на сессии студенту, не ходившему ни на одну пару, доказать теорему и он начнет молотить ПОЛНУЮ Х..Ю, при этом даже не попробует провести какие-то логические рассуждения. Он просто тянет из интернета всё, что там есть, и сразу становится понятно, что это не интеллект, а чесатель по уже написанному. Там БЛИЗКО НЕТ ничего Интеллектуального :)

@harry-smith404 5 місяців тому

На Хабре была статья, это почти Т9 на стероидах, она хорошо связывает слова и всё

@xy-box 5 місяців тому

На тебя похоже...

@user-uo3mf3mi9s 5 місяців тому

@@DentArturDentкак же ты его урыл😂

@Vadim_Ozheredov 5 місяців тому

Эта задача - боян. Лично я ее видел раз 20. Никакой ChatGPT её не придумывал. Ты решил прогнать легенду о происхождении задачи, чтобы протащить в ролик свою конференцию.

@xy-box 5 місяців тому

Но как протащить ролик он спросил у чатгпт. И тот ответил как) =

@steelrat1997 5 місяців тому

Ну всё, БТ окончательно коммерциализировался

@vadiquemyself 5 місяців тому

я конечно понимаю, что логариθмы вышли из моды, что теория чисел рулит, чётные нечётные, всё такое, но... не проще ль доказать, что для 2 log_2 a + 2 log_2 b = 2 log_2 ab нет значений n∊ℕ если a≠b, a∊ℕ, b∊ℕ а иначе если a=b 2 log_2 a² = 4 log_2 a = n∊ℕ -> a = 2^(n/4)

@trushinbv 5 місяців тому

Но логарифм суммы не равен сумме логарифмов. Вы решаете задачу, когда в левой части не сумма квадратов, а их произведение

@vadiquemyself 5 місяців тому

@@trushinbvай, и точно же

@vadiquemyself 5 місяців тому

@@trushinbv так, если не равен (сложение квадратов), то для a=b n = 2 log_2 a + 1 для a≠b n = 2 log_2 a + log_2 (1 + (b/a)²) где второе слагаемое не может быть целым для любых a≠b, a≠0, b≠0 (* *) без потери общности, из пары a и b первое пусть бо́льшее, a > b, тогда в скобках что-то меньшее двух и бо́льшее единицы, не включая 1 и 2, то есть результат логарифма нецелый в любом случае различия a и b

@trushinbv 5 місяців тому

@@vadiquemyselfтак и первое слагаемое - нецелое. А в сумме - целое )

@vadiquemyself 5 місяців тому

@@trushinbv тогда ещё проще, без логариϑмов (a+b)² = 2^n + 2ab a+b = 2 √( 2^(n-2) + ab/2 ) корень √( 2^(n-2) + ½ab ) только тогда целый, когда 2^(n-2) + ½ab = w² - квадрат целого, w = ½(a+b) ∊ ℕ a≠b -> ab ≥ 2 -> ½ab ∊ ℕ 2^(n-2) ∊ ℕ для всех n > 2 ½(a+b) ∊ ℕ -> возможные решения могут быть среди пар типа b = 3a, a² + (3a)² = 10a² = 2·5 a² b = 5a, a² + (5a)² = 26a² = 2·13 a² b = 7a, a² + (7a)² = 50a² = 2·5·5 a² b = 9a, a² + (9a)² = 82a² = 2·41 a² ... среди сумм 1 + (2k+1)² = 2( 1 + 2k(1+k) ) не может быть степени двойки для k>0 (тем более, *чётной* степени двойки для корня из a²)

@314dez 5 місяців тому

Я дизлайкаю за любое использование ИИ в роликах. Пока эпоха дипфейков окончательно не наступила, для меня любое человеческое ценнее. Я надеюсь что люди постепенно будут это осознавать и начнут максимально отказываться от ИИ, ограничиваясь только узкими областями где это действительно необходимо.

@harry-smith404 5 місяців тому

Да, штаны только подтянем и начнем отказываться

@314dez 5 місяців тому

@@harry-smith404 а на обывателей и не стоит надеятся, потому что они в основной массе безответственны, безприинципны и глупы. Им дали цацку, которая за них дипломы пишет и поздравления начальнику на днюху, они и пускают слюни. Задумываться о последствиях будут большие дяди на законодательном уровне, когда пойдет по п...де авторское право, когда внезапно появятся целая плеяда музыкантов, писателей, художников, выдающих сгенерированную цифровую парашу за своё творчество, активизируются всякого рода мошенники, которые синтезированным голосом родственников будут вытаскивать деньги у пенсионеров, разгорятся всякого рода судебные и политические скандалы, где несуществующие сгенерированные ролики и фото будут выдаваться как факты и доказательства. Но большие дяди почему то пока что молчат...