✓ Основная теорема арифметики | Ботай со мной

#БотайСоМной #015
Основная теорема арифметики
Поговорим о том, как доказывается основная теорема арифметики:
"Каждое натуральное число большее единицы можно представить в виде произведения простых чисел, причем такое представление единственно с точностью до перестановки сомножителей."
Книжка от Трушина: trushinbv.ru/book
Как поддержать канал: • Как помочь развитию ка...
Разовая помощь (Яндекс.Деньги): money.yandex.ru/to/4100110176...
Разовая помощь (PayPal): paypal.me/trushinbv
Разовая помощь (Donation Alerts): www.donationalerts.com/r/bori...
Регулярная помощь (KZbin): / @trushinbv
Регулярная помощь (Patreon): / trushinbv
Онлайн-курсы по математике с Борисом Трушиным:
10 класс. Подготовка к ЕГЭ: trushinbv.ru/ege10
11 класс. Подготовка к ЕГЭ (задания 13-19): trushinbv.ru/ege11c
10-11 классы. Подготовка к Перечневым олимпиадам: trushinbv.ru/olymp
Кроме этого, можно купить мои прошлогодние курсы в записи:
Подготовка к ОГЭ: trushinbv.ru/oge9
Подготовка к ЕГЭ. Задания 1-12: trushinbv.ru/ege11b
Подготовка к ЕГЭ. Задания 13 и 15: trushinbv.ru/ege1315
Подготовка к ЕГЭ. Задание 14: trushinbv.ru/ege14
Подготовка к ЕГЭ. Задание 16: trushinbv.ru/ege16
Подготовка к ЕГЭ. Задание 17: trushinbv.ru/ege17
Подготовка к ЕГЭ. Задание 18: trushinbv.ru/ege18
Подготовка к ЕГЭ. Задание 19: trushinbv.ru/ege19
Другие курсы Фоксфорда: trushinbv.ru/courses
Репетиторы Фоксфорда: trushinbv.ru/coach
Личный сайт: TrushinBV.ru
Группа "Олимпиады, ЕГЭ и ОГЭ по математике": ege_trushin
Группа "TrushinBV.ru": trushinbvru
Личная страница: trushinbv
Группа "TrushinBV.ru": / trushinbv
Личная страница: / boris.trushin
Инстаграм: / trushinbv
TikTok: / trushinbv
Telegram: t.me/trushinbv
Twitter: / trushinbv
KZbin-канал: / trushinbv

[@alexandergavrilov5735]

То чувство, когда Борис говорит школьникам это доказать, а я учусь в МФТИ и пришел готовиться к экзамену по этому видео xD

[@mathml8]

Как там мфти?

[@gg-ez-gl-hf]

Держись

[@alexandergavrilov5735]

@@mathml8 да мфти всегда будет хорошо, а вот студентам... это другой вопрос

[@kbskizis9849]

Не понял, о каком чувстве ты говоришь?! Ты действительно студент МФТИ??? Ну, и тупой!!!

[@alexl5935]

👍❤️🤝 *_А мораль сей басни какова? Ещё раз подтверждается, что без законов высшей математики, физики, химии ... человек может прожить запросто! А вот без простейших законов человечесуого бытия (общежития) всякий человек прожить не сможет. Вот к примеру: один другому, просто, на ногу наступил... И если у них не сработает закон прощения, то человечество вымрет._*

[@dima_math]

Есть еще четвертая кучка людей (куча на самом деле) - те, кто даже не в курсе, что такое простое число.

[@dima_math]

@@wonderfulworld1046 Не совсем)

[@dima_math]

@@wonderfulworld1046 Правильно так: ровно 2 различных делителя. А под Ваше определение 1 подходит)

[@dima_math]

@@wonderfulworld1046 Совершенно верно. У простых чисел 2 делителя, у составных 3 или больше, у единицы 1.

[@user-gv6iu8su3g]

@@dima_math ну, вообще, греки рассматривали простыми только те числа, которые точками можно записать единственным образом в один ряд. Единицу же не относили к простым числам из-за того, что она считалась минимальной частицей, из которых состоят все остальные числа.

[@penfelyn]

брух

[@servenserov]

С наслаждением пересматриваю ролики Бориса, в том числе и этот. Убеждаюсь, что *чем очевидней факт, тем сложнее он доказывается.*

[@ForkGenesis]

Я десятиклассник, и, блин, я только с числом k запутался, но каким-то неведомым образом доказательство понял) Борис, спасибо Вам, что сидите у меня в компьютере и рассказываете всякие интересные теоремы))

[@nicholasspezza9449]

в армию пиздуй! ты нужен стране!

[@Sfx654]

в моей голове было по аналогии с Простоквашино: чтобы поделить что-то на 3, надо сначало умножить на 3, а у нас тройки нет)

[@user-lt3hh6cv8d]

)))))

[@penfelyn]

ну а чё, справедливо

[@TheSnos15]

так там надо доказать, что нельзя получить число с другими множителями. то есть что не может быть такого, что икс равено и а*б и ц*д при том, что а, б, ц и д - простые

[@MarkBoldyrev]

@@penfelyn нет, не "справедливо". А Вы замените 3 на 4. Чтобы что-то поделить на 4, надо умножить непременно на 4? А вот и нет! можно умножить пару раз не на 4, а на 2

[@zzzMatroskinzzz]

@@MarkBoldyrev но умножение, как вы сказали, пару раз на 2, как-раз таки дадут четверку...

[@anime_erotika585]

То чувство, когда ты самостоятельно учишь вышмат, слышишь про основну теорему арифметики и думаешь что это что-то из высшей алгебры, а Борис говорит школьникам доказать её

[@User_name_2pizza]

Замечательные рассуждения! Спасибо, Борис!!!

[@penfelyn]

раньше: "Рыбников. Как нас дурят в школьном образовании" теперь: "Трушин. Как нас дурят в школьном образовании"

[@esteh9437]

🤣

[@TheSnos15]

кто дурит то? не дурят, а не договаривают

[@TheSlonik55]

Образование - это разная степень приближения к знаниям. Абсолютного знания нет ни у кого, даже если Вы перейдёте к 16-мерной точке, о существовании которой вы и не подозреваете.

[@user-yt4sl2ie7b]

Очень мощно,просто логически все сказано..Спасибо

[@user-rk8ow6dd1v]

Спасибо!! Замечательное доказательство "очевидного". К вопросу о том, что нужно учиться задавать вопросы!

[@MarkBoldyrev]

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

[@AlexZjustLetter-NotWar]

​@@MarkBoldyrev поэтому "очевидное" автор коммента и поместил в "", за неимением более подходящего слова. Борис же с этого и начал - возможность разложения обычно воспринимается как данность, вот и все

[@evgeny1775]

Топовое видео Теперь можно и Фоксфорд продолжить смотреть)

[@user-ly8ky8fp7h]

жизненно

[@numaliku3565]

Огромно вам благодарен!

[@schoolboy7921]

Спасибо большое за видеоролик! 14:05 этот момент не понимал, по этому пришлось перематывать назад несколько раз, но сейчас все дошло😅.

[@draces2767]

Прекрасное объяснение, спасибо!

[@esteh9437]

Каждый раз при просмотрет включаю палец вверх.

[@tor4112]

9-10 класснику? Я если своему 11"а" начну такое рассказывать, разжёвывать в течение 2-3 уроков, мне скажут: "спасибо. спасибо, что время потянул, нифига не понятно, но хоть отдохнули"

[@Garik1907]

возможно тебя сожгут на костре...

[@user-ie5zl8lv9q]

А вы их замотивируйте, и спрашивайте, а всё ли они поняли на каком-то определенном этапе доказательства, и так постепенно даже до самого лопуха дойдет, если конечно вы сделаете так, чтобы этот лопух захотел слушать. Такое ощущение, что люди которые заинтересованы в математике, считают себя лучше тех, кто плевать на нее хотел, это я к тому, что лайкают коммент, который говорит, какая печальная ситуация на самом деле: все сидят в школе просто так.

[@tor4112]

@@user-ie5zl8lv9q , на данный момент я уже на втором курсе, к счастью, здесь таких проблем нет) (Электроника и автоматика физических установок, только бюджетные места, около 250 проходной балл при поступлении)

[@user-lu7ls2qm9e]

Все зависит от уровня мат подготовки. Если дети заточены на решение однотипных задач егэ, то большего ожидать не следует. Тем не менее в некоторых школах в 11-м классе доказывают гораздо более сложные вещи, например асимптотический закон распределения простых чисел.Тут же используются какие-то простые индуктивные соображения, которые вполне доступны и восьмикласснику.

[@DmitryNetsev]

Нескольких уроков? Трушин справился за 15 минут! У вас уроки по 5 минут?

[@glirenfire7560]

Очень красивое размышление-доказательство такого, казалось бы совсем простого факта!)

[@0_cactus958]

Смотря видео спустя 3-4 года И уже раз 5 Окончательно всë уложилось Спасибо вам большое, БВ

[@andrei_bk4499]

Я уже 6 раз смотрю)

[@user-cy3dh9ms6o]

Шикарно объясняет! Чтобы не понять его обьяснение, надо очень и очень постараться!? 😀😀👍👍👍

[@user-nh3rb7bz8o]

Спасибо!

[@katerina-games9549]

Клааас, аж мозги заскрипели, но вроде поняла. Но все-таки пересмотрю

[@kda5581]

Интересно. Как же много мне не рассказывали

[@savashumov3701]

Абсолютно замечательное видео, как и многие на вашем канале. Впервые услышал, когда доказывали, что 1 - не простое(естественно не в школе)

[@savashumov3701]

Учусь в восьмом классе и всегда задаю вопрос, куда дальше идти? Что делать, чтобы стать лучшим? И ваши видео на самом деле помогают, развивать мат мышление.

[@MarkBoldyrev]

А Вы откуда уверены, что в любых числах можно установить порядок "больше-меньше"?

[@pnlabs]

@@MarkBoldyrev Именно поэтому ОТА неверна в некоторых кольцах :)

[@MarkBoldyrev]

@@pnlabs Обратите внимание, что это надо всегда оговаривать! Потому что из этого "интуитивно очевидного" утверждения (о возможности установить подобные отношения где угодно) следует нечто совсем уж интуитивно контрочевидное... например, теорема Хаусдорфа-Банаха-Тарского.

[@NikolajMihajlenko]

красиво доказано!

[@user-xz5vp6df9b]

Спасибо

[@0_cactus958]

Блин, даже забыл что такое есть Спасибо!

[@zergdeveloper9227]

Долго тупил но понял спасибо большое)

[@user-qb1oi1md9z]

Вот ни разу я не математик... А и то понял) логика))) спасибо Борис. Очень интересно

[@user-wc8cl4vj4f]

Очень классно, спасибо за лекцию! Реально так - есть вещи, которые в математическом образовании пропускают "за очевидностью". И все (кто думает) понимают, конечно, да - очевидно. Но осадочек остаётся. )) Потому как что-то всё-таки, получается, принял на веру. Что ж это за строгая наука такая, где всё равно (как в физике, химии и т.д.) что-то надо принимать на веру?.. Спасибо, что заполняете эти "дыры" в образовании. Тем более, что основная теорема арифметики имет фундаментальное значение.

[@valve-xd4mc]

Мне геометрии на геометрии хватает))) Спасибо, познавательно))) Всё встало на свои места

[@evgeny1775]

Нам эту теорему несколькими способами доказывали на занятиях углублённой алгебры Фоксфорда за 9 класс. Довольно занятная тема.

[@trushinbv]

А я, вот, только в первый раз это сделал )

[@allbirths]

@@trushinbv мы понимаем, что число можно поделить))) потому что оно соответствует системе исчисления и является количественным выражением, то есть ,можно вычитать единицы, пары, тройки и будет остаток. Любое число можно умножать до бесконечности и делить до нуля, можно разлагать на бесконечного множество дробей (других систем счисления). В привычной системе, в единичной число делится на единицу и показывает количество, на которое может делиться 1 к 1 делится (уже 2 множителя - на себя и единицу). В знаменатели мы единицу не пишем для удобства, но подразумеваем ее, когда говорим о целых числах. А что тут не очевидного-то? На бесконечное множество мелких долей можно разложить все. Это исходит из свойства бесконечности, глобальности нашего мира

[@TwilightSun32]

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

[@mysteriousxcodesterio4434]

@@trushinbv Пожалyиста ответьте на 10.26 мин непонятно почемy p1 в квадрате? ведь второи множитель может быть не равен емy или быть больше, не совсем понел и почемy именно больше или равно? а не равно? n же состоит из этих простых множителеи? и смотря доконца так и не понел где доказательство единственности ( я тyп

[@nicholasspezza9449]

@@allbirths слезай с наркоты, преисполнившийся сознанием олень.

[@akxary]

индукцией пользуются, когда очевидно, но доказывать надо :)

[@user-su7wg1ii8i]

Боря, хорош!

[@vnikme]

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

[@crazufithman2737]

Fire!!!

[@Jgor-Lin]

ничего не понятно,но очень круто

[@mastivantatvo236]

Тема ВУЗа с математическим факультетом в теории чисел!)))

[@mikevan78]

Молодец

[@user-bs4lq3jn3s]

Радуюсь, что всё понимаю после окончания бакалавриата по Прикладной математике 😂

[@salik1321]

спасибо

[@annaponomarova3472]

😮😮😮 Прикольно 😮😮😮

[@user-pj1pg8ye3o]

Пусть я и студент , но про доказательство и вправду услышал впервые (ну точнее нам говорили в школе, что там , да , действительно что-то доказывается, но мы будем это юзать просто как факт), я попробовал доказать сам, поставив видос на паузу, мне кажется , что просто это чуть более понятная интерпретация ,1-ю часть доказал как и Борис, 2-ю также начал до момент исключения общих делителей, а далее я представил произведения простых как (чтоб было понятнее буду использовать переменные как в видео) равенство зная что n = p1*p2*p3....pk и n=q1*q2*q3.....*qx , те p1*p2*p3....*pk=q1*q2*q3......qx; тогда любой множитель к примеру р1 можно выразить как: р1=q1*q2*q3....*qx/p2*p3........*pk, но мы знаем что по условию р1 - это целое простое число , следовательно множители числителя должны разделиться на множители знаменателя без остатка, но тк было доказано , что совпадений нет, то по определению простого числа (число делящееся только на СЕБЯ и ЕДИНИЦУ), можно утверждать что ни один из множителей числителя не разделится ни на один множитель знаменателя и это равенство не верно.... - доказано от противного

[@user-zh1rt9eq6y]

Кайф

[@user-ml4wn4zo1h]

Это не доказательство, так как Вы предполагаете, что если а - простое число и b - простое число, то а*b не делится ни на какие простые числа, кроме а и b. То есть принимаете за данность эквивалент основной теоремы арифметики, которую потом с его помощью "доказываете".

[@bambimbambas]

@@user-ml4wn4zo1h +1

[@egorlobahin8270]

начало 6:18

[@user-xj9hj9jo8y]

У меня мозг в конце ролика нагрелся!

[@Pav1x]

Спасиб я шестиклассник нам в лицее расказали но не доказывали мне стало интересно посмотрел все понял еще раз спасибо извинясь за тофтологию

[@qpahatcaxapa4788]

Самое простое и наглядное док-во этой теоремы, которое встречал. Супер! А по лемме Вильсона нету случайно видео?

[@Amsordianful]

Гораздо более интересная штука -- обобщение в произвольном (евклидовом) кольце. Ну а для школьников это неплохо:) Приятно, что пару лет назад учился у вас на курсе и это многое мне дало, спасибо.

[@trushinbv]

Спасибо )

[@ffedorowsky]

Amsord

[@vlad071096]

Тогда уж в кольце главных идеалов сразу)

[@user-ml4wn4zo1h]

А как оно обобщается? Доказательство все упирается в понятие наименьшего положительного числа. Для чисел вида хотя бы а+b*sqrt2 наименьшее положительное число не определено и док-во уже не работает, разве нет?

[@user-wn1dd8ls2u]

@@user-ml4wn4zo1h в евклидовом кольце у каждого элемента определяется норма, равная натуральному числу, и мы вместо наименьшего числа ищем элемент, наименьший по норме (например, многочлен наименьшей степени)

[@nobrainnogain7255]

Борис Викторович, а сделайте видео пожалуйста про Малую Теорему Ферма. Всем будет очень интересно.

[@trushinbv]

Есть уже: kzbin.info/www/bejne/o3mrpXqFot5mr9U

[@user-tp6rh6fu9t]

Уважаемый Борис Викторович , поскольку Вы ответили на просьбу о видео по малой теореме Ферма ЭТО:

[@user-tp6rh6fu9t]

ТОЖЕ не пропустите :на основе рассматриваемой теоремы арифметики после решения ВТФ при степени простое число мне удалось доказать ее и для степеней В виде любых составных нечетных и четных чисел ! Не верите ?Прошу отозваться...

[@user-ml4wn4zo1h]

@@user-tp6rh6fu9t Любая составная степень целого числа является простой степенью другого целого числа, и для доказательства этого факта не нужно привлекать МТФ. Правда, это не доказывает ВТФ для степеней двойки, но доказательство ВТФ для биквадрата было проведено уже самим Ферма.

[@excalibur1456]

ви зламали мені мозок спасибі

[@IlyaGmn]

Готовлюсь к экзаменам МГУ по ТРУшину!

[@garvett6660]

На 4:10 поставил на паузу и попробовал доказать: Допустим, что число N нельзя представить в виде произведения простых чисел. Тогда в представлении этого числа в виде произведения будет не менее одного составного числа. Применим те же рассуждения для него. Очевидно, что по мере большего количества разложения составного числа на ещё составные, на ещё составные и так далее, то их множители будут уменьшаться. Фактически разложение мы не сможем применить лишь тогда, когда составное число окажется простым, к чему мы и будем всё это время стремиться. Следовательно, наше изначальное предположение было неверно (самое маленькое составное число оказалось простым, а значит и все остальные составные можно было представить в виде произведения простых чисел), что доказывает теорему.

[@user-wn1dd8ls2u]

Существование доказано, но нужно доказать ещё единственность

[@user-ed3bp7mb9r]

Спасибо за видео, но проблема такая же, как в моем детстве - на 7:23 Вы уже меня потеряли. Если есть доска и мел, то почему бы не написать 3-5 совсем простых примеров для самых тупеньких? :(

[@yk4r2]

Да ладно, на ФУПМе ни разу не доказывали? Ничоси!

[@alxlesley]

У нас в школе доказывали классе в десятом. Существование так же, как вы, а вот единственность - уже не помню как.

[@timka3464]

👍👍👍

[@alexei2000math]

Это, конечно, дело вкуса. Мне кажется, что лучше доказывать (используя минимальность), что если произведение делится на простое, то один из множителей делится на это простое. Отсюда и будет следовать единственность.

[@trushinbv]

А как легко доказать, что "если произведение делится на простое, то один из множителей делится на это простое"?

[@alexei2000math]

Не сказать, что легко. Оно эквивалентно, но более привычнее (для меня). Пусть p минимальное " плохое" простое число. То есть найдутся такие натуральные числа a и b, что p делит a*b, но не делит ни одно из них. 1) сделаем a

[@alexei2000math]

Я тут еще подумал и понял, что расширенный алгоритм Евклида это делает в две строчки. Пусть p простое число, делящее произведение N*M. Докажем, что оно делит хотя бы одно из них. Если p не делит N и M, то они взаимопростые и A1*N+B1*p=1 A2*M+B2*p=1 Перемножим их A1*A2*NM+p*(...)=1 правая часть делится на p, а левая нет. Противоречие. ВСЁ.

[@neton7623]

дайте пример

[@user-wt4sv2dd8o]

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

[@user-lu7ls2qm9e]

Вы таким же образом доказали или каким-то своим?)

[@Misha-775]

Даже не знал, что делимость числа на число - не аксиома, а теорема)

[@someone-rj5fm]

я в седьмом классе. Вызов на доказательство теоремы принят(честно не смотрел доку в видео и раньше не слышал об этой теореме): (по определению) простые числа кратны только себе и единице. Также в разложений на простые числа учавствуют только простые числа. => Если попытаться как-то изменить разложение некоторые простые в нем числа придется как-то поделить(невозможно, если рассматривать только натуральные числа), домножить(получится составное число) => числа в разложений никак нельзя нормально поменять без изменения результата => представить разложение на простые числа можно только одним способом.

[@user-lu7ls2qm9e]

Молодец конечно, что попытался, но то что ты написал доказательством разумеется назвать нельзя.Во-первых, основная теорема арифметики утверждает, что любое натуральное число, большее 1, можно представить в виде произведения простых, при чем это представление единственно с точностью до перестановки множителей. Ты не доказал существование. Дальше идут какие-то необоснованные утверждения о том, что набор можно изменить только делением или умножением. Почему, если ты как-то разложил число на простые множители, ты не можешь взять другой набор простых чисел (он не обязан как-то получаться из первого) и получить в произведении то же самое число? Это и нужно доказать. У основной теоремы арифметики есть куча доказательств, и наверное самые простые используют индукцию или алгоритм Евклида. В этом видео показан первый способ.

[@romansharafutdinov5262]

Я учусь в пятом классе, смотрю это видео для зачёта (не спрашивайте, что я делал на уроках)

[@user-dy10pq8mt2p]

чел, в пятом классе это не проходят лол ору

[@romansharafutdinov5262]

@@user-dy10pq8mt2p ха, это неправда.

[@alexgusev9978]

По тому, что это связано с логиками, множеством и топологией! Всё это в самых широких смыслах. А это ПОЧТИ всё филькина грамота...

[@maxm33]

А я и не знал (забыл), что есть такая теорема. Как-то прошло мимо меня и особо нигде в явном виде на практике не использовалась.

[@user-gc8tc1xb5d]

Как первокурсник не математической специальности, решил попробовать доказать сам это, а потом посмотрел видео. Ну, доказательство далеко от описанного в видео, хотя я уверен что это не единственное. Доказательство строилось на рекурсии Первая часть: если число простое, то оно уже разложено на простые множители, если число составное, то оно имеет в своём представлении минимум 2 числа, отличные от 1 и самого числа, а так как, эти 2 числа меньше изначального, то они оба имеют простые представления => изначальное число тоже раскладывается на простые Как наглядный пример возьму число 108. 108=4*27=2*2*3*3*3, чтд со второй частью у меня доказательство было похоже, которое ссылалось не к кратности чисел, а к тому, что если взять n/Pn и n/Kn, где Kn!=Pn, то эти оба числа имеют единое представление на простые (из изначального утверждения), дальше можно воспользоваться фактом, что при перемножении на k(или p) мы получаем n=np/k, из чего следует, что n, np кратны k, а так как p!=k, n-np/k кратно p, k,p/k и pk, и естественно меньше n, а так как n-np/k

[@eugenedukatta9355]

Вообще, перед доказательством этой теоремы, надо сначала доказать свойство ассоциативности произведения a*b*c = a*(b*c) = (a*b)*c и свойство коммутативности произведения a*b = b*a потому-что эти свойства произведения используются в доказательстве, как само-собой разумеющееся, интуитивно понятное или аксиомы(в случае аксиом, перед доказательством заявить об этом). Также, следует доказать, что множитель меньше(или равен) произведения (возможно это аксиома арифметики, тогда предварительно заявить об этом).

[@nalnal9608]

7:05 то есть для не интуитивного, а доказательного подхода мы используем наше интуитивное понимание, что множители, на которые раскладывается данное натуральное число меньше этого числа. Наверное совсем красиво было бы предварить рассуждение тем, что этот факт мы примем без доказательства:))

[@Leha_from_Zavod]

Забавно забавно

[@eugenedukatta9355]

то же относится к ассоциативному и коммутативному свойствам произведения.

[@fullfungo4476]

Так легко же доказывается. Пусть a делится на b. Это значит (по определению понятия «делимость»), что a=bc для какого-то целого (в данном случае натурального) c. Дальше получается, что либо a=b*1, либо что a=b*c, где c хотя бы 2. В первом случае делитель тривиальный, а в видео их не пришлось рассматривать. Во втором случае можно переписать как: a=b*((c-1)+1). То бишь a=b*(c-1)+b. Так как в этом случае c хотя бы 2, то (c-1) хотя бы 1. Значит, a=b*(c-1)+b ≥ b*1+b > b. Вот и всё.

[@mikhailbregovskiy3387]

57 делится на 3)

[@kiryades]

15:00 Если К | Р (делиться на), то почему мы можем представить К как K=p*c ? Ведь выше мы предположили, что Р нет в разложении. Если по опр. делимости, то не следует ли из этого, что Р по определению есть в разложении К=z1z2...Zn ? Выручайте ))

[@trushinbv]

Пока мы не доказали, что разложение единственно, какое-то простое может входить в одно разложение, но не входить в другое

[@kiryades]

@@trushinbv ааа, теперь я все понял, благодарю) Нууу Борис Викторович, вы убили еще одного гуманитария ))

[@user-ly2wd9vz8d]

Подскажите пожалуйста, что если какое-нибудь простое число поделить на другое (не обязательно простое) число, то полученный остаток будет простое число или 1. Объясняется что число остаток должен быть взаимно простым с тем числом на которое делим. Вроде бы и понятный факт, но откуда он берётся и как его доказать не пойму?

[@fullfungo4476]

Что-то вы напутали, первая часть неправильная. Если 11 поделить на 7, то остаток будет 4 (а это не «простое число или 1»)

[@user-lr1xx9wv3v]

@Борис, можно проще - когда доказали, что n делится на p1q1, разделим представление n=p1..pi и q1..qj на p1q1. Получили меньшие чем n числа, p2...pi/q1 - натуральное, p2..pi меньше n, значит его разложение на простые единственное, значит, один из простых множителей p2..pn равен простому q1-противоречие. Верное доказательство?

[@null-mj2vp]

Я не понимал, просмотрел видео много раз, много конспектировал, ходил, размышлял, помолился Христу и всё понял! Слава Богу и спасибо за объяснение Борису!

[@Nfsbelka]

Вот и слава Богу)

[@user-qp4er1im6g]

"мой прогноз такой, да, большинство.." не нажмет на паузу! я выиграл)

[@user-dm1hc9yq6q]

Борис Трушин, хотел спросить по поводу доказательства единственности разложения числа на простые множители. Можно ли было рассуждать так: Пусть есть число q, такое, что его можно разложить на простые множители двумя разными способами. Тогда с одной стороны имеем q = a1*a2*...*a(n-ное), а с другой q = b1*b2*...b(n-ное). Необходимо, чтобы в одном наборе разложения нашлось хотя бы одно число, которого нет в другом наборе. Тогда число q должно нацело делиться на все числа одного из наборов + как минимум на одно из чисел другого набора. То есть q = a1*a2*...*a(n-ное)*z, где z число из второго набора (в данном примере), которого нет в первом. Получили противоречие, значит, разложить число на простые множители можно единственным образом.

[@trushinbv]

Начиная с «то есть» ничего непонятно )

[@trushinbv]

Почему не может быть так, что 7*19 = 11*17?

[@user-dm1hc9yq6q]

@@trushinbv , я так же, как и вы, иду от противного. Пусть у нас есть два варианта разложения числа q на простые множители: 1 вариант: q = a1*a2*...*a(n-ное) 2 вариант: q = b1*b2*...*b(n-ное) Вы в ролике говорите, что если в двух вариантах разложения числа q встречается одно и то же число, то получается противоречие. Я предлагаю об этом вообще не думать, сказать лишь, что эти два набора не совпадают. Таким образом, есть как минимум одно число (назовем его z), которое встречается лишь в одном наборе (скажем, только в первом). Из второго варианта разложения следует, что число q должно нацело делиться на каждое из чисел b1,b2...b(n-ное). С другой стороны число z, которое встречается только в первом наборе, также должно быть делителем числа q. Тогда получаем: q = b1*b2*...*b(n-ное)*z, чего не может быть, так как изначально q = b1*b2*...*b(n-ное) или q = a1*a2*...*a(n-ное). Таким образом, разложение числа на простые множители может только одно.

[@trushinbv]

Как из делимости на b1, b2, ..., b(n-ное) и z следует делимость на их произведение?

[@user-dm1hc9yq6q]

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

[@mofkatupa9622]

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

[@nicholasspezza9449]

потому что ты тупо запомнил доказательство, а не вник в его суть

[@sashazakirov8327]

Смотреть с 1:55

[@Dan-lq2en]

Почему если n>=p1^2 и n>q1^2, то n^2>(p1*q1)^2? Я знаю, что есть свойства неравенств, но там они одного знака

[@trushinbv]

Пусть у нас положительные числа a>=b, c>d. Тогда ac>=bc>bd.

[@Dan-lq2en]

Спасибо!

[@altfq5237]

Почему любое число можно представить как сколько-то раз по m плюс остаток?

[@trushinbv]

Alt Просто вычитаешь по m до тех пор пока число не станет меньше, чем m

[@garvett6660]

Ещё не смотрел. Теорию чисел ненавижу. Надеюсь вы сможете пролить мне свет на это недоразумение))

[@Alextropik]

Раньше думал, что если перемножить n первых простых чисел и прибавить единицу, то будет простое. А это не так.

[@howuhh8960]

а почему? разве не так доказывается бесконечность простых чисел?

[@Alextropik]

@@howuhh8960 В доказательстве есть тонкость. Если ПРЕДПОЛОЖИТЬ, что простых чисел конечное число, перемножить их все и прибавить 1, то, конечно , полученное число не будет делиться ни на одно из этих простых, Следовательно, оно простое (противоречие). Но так как предположение о конечности множества простых чисел неверно, то и все следствия из этого предположения не обязаны быть верными. Если перемножить несколько простых и прибавить 1, то можно и не получить простое. Например, 2х3х5х7х11х13х17+1 = 510511 составное, равное 19х97х277.

[@howuhh8960]

@@Alextropik спасибо за разьяснение! видимо в моей голове факт того, что это просто предположение затерся.

[@suprememaster1133]

Alextropik ты всегда при перемножении простых чисел +1 получишь не простое число. Ведь при перемножении простых чисел не может получится четное число (четное число не простое), следовательно у тебя получится не четное число вида 2k+1, но, прибавив к нему единицу получишь 2k+1+1=2k+2=2(k+1). То есть явно четное а следовательно не простое число

[@user-yv6fk4em2h]

Марк Белов максимально ясно объяснил) даже я понял

[@shoutitallloud]

Чтобы доказать основную теорему арифметики, надо было придумать алгебру.

[@valvalshorts]

​@trushinbv Школьникам и не надо в основной массе что-то за пределами "интуитивной" математики, потому что это только порождает новые "почему": - давайте докажем существование самого маленького натурального, единственным образом раскладываемого числа и приведём его пример (2)? - почему вы в вашем док-ве аксиоматически предполагаете, что 2 раскладывается единственным образом? - почему 2 наименьшее простое число? - что такое простые числа? Так и дойдём до того, что в обычной крестьянской школе надо выкладывать теорию множеств и уже в её рамках приводить ту самую основную теорему арифметики. Поэтому просто маленьким людям, 99,99999% из которых глубины математики совсем не нужны и не нужны будут в дальнейшей жизни, не забивают мозги лишней инфой, а просто дают практичное определение простых и составных чисел. Людям жить надо, а не проходить заново жизненный путь Эйлеров, Гауссов, Лобачевских ПС: И про строгость мат-ки так загоняться не стоит хотя бы потому, что любая аксиоматическая система не может быть полной, непротиворечивой и разрешимой

[@stepan-klyukin]

Неожиданно способ доказательства отличается от доказательства Савватеева. Он использовал факт про то что произведение двух чисел не делится на простое, если каждое из этих двух чисел не делится на это простое. А вы основывались на том что "маленькие" натуральные числа ну уж точно раскладываются единственным образом, и точно раскладываются единственным способом, если они меньше самого маленького из тех, которые "раскладываются" двумя способами.

[@stepan-klyukin]

Сколько существует всяких способов доказать ОТА?

[@mahmoody8913]

easy. Похоже на метод мат индукции

[@user-zy9yn2ux2f]

Почему можно использовать тот факт, что если n представимо в произведении q1*..* q(e) и p1*..*p(k), то оно делится на какое-то p(i)?

[@trushinbv]

Оно же равно p(i) * (p1p2...) = p(i)*m

[@user-zy9yn2ux2f]

@@trushinbv доказательство утверждения, что если n=k*d, то n делится на k разве не прячит в себе основную теорему арифметики?

[@trushinbv]

@@user-zy9yn2ux2f, это определение делимости. Число a делится на b, если существует целое k такое, что a=kb.

[@user-zy9yn2ux2f]

@@trushinbv понял, спасибо.

[@blufoxserge]

в 6 классе я думаю доказательство в такой форме поймут единицы

[@aakh3500]

Мне кажется, что лучше доказывать по индукции так как у вас в доказательстве скрытая индукция в словах возьмем первое наименьшее которое можно разложить двумя способами. Индукция лучше тем что соответствует способу построения множества натуральных чисел.

[@asmgrandadgrandad9000]

Именно так! Автор лукавит, обещая обойтись без метода математической индукции. Еще неплохо бы повнимательнее посмотреть на p1 и q1 - первые из простых множителей разложений и изучить случаи, когда они равны или разные.

[@aakh3500]

@@asmgrandadgrandad9000 рубрика Борис опять что то не договорил в интернете

[@alexl5935]

👍❤️🤝 *_А мораль сей басни какова? Ещё раз подтверждается, что без законов высшей математики, физики, химии ... человек может прожить запросто! А вот без простейших законов человечесуого бытия (общежития) всякий человек прожить не сможет. Вот к примеру: один другому, просто, на ногу наступил... И если у них не сработает закон прощения, то человечество вымрет._*

[@user-xq2vy2py3i]

Оцените как я попытался доказать: ОТА - основная теорема арифметики. Нужно доказать, что N, являясь составным, не будет противоречить ОТА. Есть ряд чисел до N, которые были бы либо простыми либо составными. предварительный пункт - пункт 0) все числа от 2 до N-1 правильно соотносятся с формулировкой ОТА, т.е. любое из них является произведением простых чисел или простым числом. Пункт 1) Если это число N является простым, то оно не делится ни на что кроме себя и 1, но! если оно составное, то оно делится на нечто в диапазоне от N-1 до 2. Пункт 2) Оно составное. Значит делится на одно из чисел своего диапазона делимости, где каждое число (как мы знаем) является произведением простых чисел / простым числом. И если оно делится на одно из таких чисел (которые не противоречат ОТА, соотносятся с ним), то оно является произведением результата деления числа N на одно из его делителей. Но так как всякие произведения между простыми числами являются непротиворечивыми по отношению к ОТА, то всякое число N также будет таким, что его можно разложить на простые множители. То есть если N = E*F, где E и F являются произведениями простых чисел, так как входят в диапазон всех чисел до N, то N - результат умножения произведений простых чисел. Редуцируя, это звучит как: то есть N - результат умножения простых чисел. Пример: число 10 является составным, и допустим мы не знаем, является ли оно раскладываемым на произведение простых чисел, но точно знаем, что оно составное. Тогда, исходя из того что оно составное, мы можем поделить его на некоторое число Х (и получить Z), но так как всякое Х (и получаемое Z), как мы знаем из пункта 0, является произведением простых чисел или простым числом, и это N можно представить как N / X = Z, то Z и Х являются составными числами представляемыми произведениями простых, ибо входят в тот коридор чисел, который, как знаем из пункта 0, является произведением простых чисел / простым числом. Тогда деля N на X и получая Z, мы уже знаем, что получили произведение простых чисел / простое число, то же самое с Z, если поделить N на Z, то получим X, которое, как мы знаем, является произведением простых / простым.

[@user-xq2vy2py3i]

ООООООООООй, я сейчас смотрю вас (7 минута), и вы говорите то же самое, что и я (вроде)

[@trushinbv]

Самое сложное доказать единственность такого разложения )

[@user-xq2vy2py3i]

@@trushinbv да, действительно. Но тут я уже слаб, я вообще в математике не силен, просто под утро выпил энергетика, и меня поперло доказывать теоремы))

[@DmitryNetsev]

Это метод... от противной индукции?

[@antonleyn1709]

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

[@igordenisenko5468]

Сначала несколько юмористическое замечание (а юмористическое ли...): - с 1969-го года в школьной программе изучение "Арифметики" было заменено на изучение "Математики", интересно где автор, поднабрался того, что не изучал? Или: - не трудно видеть, что всякий изучавший курс "Анатомии" в школе может работать проктологом или окулистом, следовательно: к любому проктологу можно идти с проблемами зрения. Вспомнилось и школьное, когда учительница не могла довести решение до конца, она предлагала дорешать дома (такие закидоны резко снижали мою посещаемость урока математики или ... я так оправдывался). Собственно, из чего очевидно, что d - простое? А-А, " я художник, я так вижу...", иногда автор говорит "доказали", хотя на самом деле "предположили". Ps. Поражает параллелизм, в четверг, возвращаясь с музыки, с внуком первоклассником в автобусе, как раз и проверяли числа на делимость (в задаче надо было закрасить участки рисунка, если цифры на этом участке рисунка делились на 6-ть, когда ехали на музыку проверяли делимость на 8-мь). Лично к данному автору отношусь с превеликим уважением, но здесь он показался мне "невкусным".

[@innwax6553]

А нельзя ли докозать делимость для чисел 5, 7, 11, 13; на 3 тем что из алгоритма "Решето Эратосфена" следует, что все простые числа, например 3, не делятся на три, кроме 3.

[@fullfungo4476]

А кто будет доказывать, что Решето Эратосфена работает? Решаем проблему новой проблемой😂

[@XaJlaBa]

самое простое доказательство вытекает из определение что такое число... или в математике не прописано аксиом? о том что является числом?

[@fullfungo4476]

И что же такое число? Какое у него, по вашему мнению, определение?

[@user-jt5sr6bj7l]

Это написанное не делится не только на 3, оно и на 2 не делится и на 4 не делится.

[@Gendalf-345.68]

Я учился давно, и наверное потому не понял самой теоремы. Если второй множитель не может быть единицей, то откуда берется изначальное утверждение, что - Все натуральные числа представить в виде произведения простых? Покажите наглядно, как это работает. - Вот вам число 5 (или 7) представьте его в виде произведения двух простых чисел (кроме единицы). Просто если бы в начале ЭТО было продемонстрировано, то было бы проще понять дальнейшие объяснения.

[@fullfungo4476]

5 нельзя представить в виде произведения двух простых. Вы требуете невозможного. Но 5 можно представить в виде произведения простых, это да.

[@Gendalf-345.68]

@@fullfungo4476 Хорошо, а как можно 5 представить в виде произведения простых?

[@fullfungo4476]

@@Gendalf-345.68 сначала небольшой тест ;) Чтобы определить как лучше будет объяснить разложение 5. Чему равно произведение чисел [2,5,3]? Чему равно произведение чисел [11,7]? Чему равно произведение чисел [13,2,2]? Чему равно произведение чисел [7]? Чему равно произведение чисел [5,2]? Чему равно произведение чисел [3,3]?

[@Gendalf-345.68]

@@fullfungo4476 Мой ответ дважды удалили. Видимо кому-то он не нравится.((( Отвечу по-другому - Я бы просто перемножил числа в скобках. Таким образом, в первом случае мой ответ - 30 Ну и так далее.

[@fullfungo4476]

@@Gendalf-345.68 Так как у вас не возникло вопросов, то предположу, что вы бы ответили: 30, 77, 52, 7, 10, 9. Заметьте, что произведение [2,5,3] равно 30. А это значит, что верно и обратное. Таким образом, 30 можно представить как произведение следующих чисел: 2,5,3. А теперь заметьте, что произведение [7] равно 7. А это значит, что верно и обратное. Таким образом, 7 можно представить как произведение следующих чисел: 7.

[@user-gl1gg1sp5w]

не очень понятно с момента "простое-составное", если у нас не получилось его представить в виде произведения, и тут же мы записываем n=a*b, как бы это указывает что все же получилось ?, другое дело если бы мы сказали , у нас не получилось и мы представим n=a*sqrt(2). Что дает нам право утверждать одновременно, что мы нашли такое неправильное число и то что мы можем его представить произведением? выходит одна часть отрицает другую... ? выходит что мы доказываем это утверждение с помощью того что и пытаемся доказать, это та же ошибка школьников ?

[@user-iz8qz5fg4e]

Как я понял, тут мы смотрим - число либо простое, либо составное; это не то утверждение, которое мы доказываем, натуральные числа по определению либо простые либо составные; если простое то все ок, если составное, значит КАК-ТО его можно представить как произведение двух или более чисел; здесь не утверждается что они все простые (а в теориеме доказывается именно что можно как произведение простых представить); впрочем наверное Вы и так разобрались уже

[@eduardionovich4425]

Не перевариваю этого типа! Ботало - оно и есть ботало - колокольчик у коровы на шее.

[@abesei]

Когда коту делать нечего, он раскладывает числа!

[@alexeikolosov5154]

А почему n делится на p и на q? 12:22

[@trushinbv]

Если n = p1*p2*..., значит n делится на p1

[@alexeikolosov5154]

@@trushinbv Большое спасибо

[@paulanderson5704]

Нужно доказать факт, что если ab делится на p, то либо a, либо b делятся на p (могут и оба, но точно невозможно, чтобы ни одно из них не делилось на p). Можно ли это доказать без доказывания собственно основной теоремы арифметики - я не знаю. Но из этого факта основная теорема арифметики следует практически очевидным образом.

[@user-yb4rr4jz2n]

Это неправда. Если ab делится на p, это не значит, что a или b делится на p. Это значит, что ab=dp. Всё про целые. Тут можно явно или неявно использовать основную теорему арифметики и она показывает, что это не так. Чтоб ab делилось на p, надо, чтоб ab содержало полный набор простых множителей p, но одна часть этих множителей может содержаться в a, а другая в b. Например, 18 и 36 делится на 9, но 6,3 и 6,6 не делятся на 9. 18=3*3*2, 36=3*3*2*2, 9=3*3. И противоположный вариант, 81=9*9 и делится на 9.

[@paulanderson5704]

@@user-yb4rr4jz2n когда мы говорим p, то подразумеваем простое p, конечно же.

[@user-yb4rr4jz2n]

@@paulanderson5704 тогда верно.

[@user-yb4rr4jz2n]

Это следует из правила делимости, которое следует из определения операции деления.

[@user-wm7gd2cg8c]

Доказательство понял, с 5 раза, ох тупею, ох тупею.