|
9 / 9 / 0
Регистрация: 27.05.2024
Сообщений: 294
|
|||||||||
Допустимо ли показанное здесь простое доказательство Великой теоремы Ферма с результатом xyz=0?10.01.2025, 15:00. Показов 26868. Ответов 136
Великая теорема Ферма: Для любого натурального числа n>2 уравнение Xn+yn=zn не имеет решений в целых ненулевых числах x, y , z.
Представляемое доказательство использует только первые цифры, a,b,c, справа у всех чисел, х,у,z, хn, уn, zn и не использует явно терминологию модульной арифметики. Доказательство:
Лемма: Для всех взаимно простых чисел x, y, z Є Z, которые являются решениями уравнения ВТФ, существуют a, b, c>0 в уравнениях an+bn=cn, (1), an+4+bn+4=cn+4, (2), an-4+bn-4=cn-4, (3), где a, b, c являются (остатками по модулю числовой основы) цифрами в младшей позиции в числах x, y, z; где n есть целое нечётное ≥7. 1. Делим уравнение ВТФ, xn+yn=xn, n нечётное >2, x, y, z-взаимно простые числа, Z, на (xyz)n и после упрощения получаем уравнение [(xz)-1]n+[(yz)-1]n=[(xy)-1]n, (4), исключая таким образом тривиальные решения. 2. Поскольку мы имеем все три цифры ненулевыми, то делим уравнение (1) на уравнение (3): (an+bn)/(an-4+bn-4)=(cn)/(cn-4) и получаем (an+bn)/(an-4+bn-4)=c4, (5). 3. Возводим уравнение (5) в квадрат, получив ((an+bn)2)/((an-4+bn-4)2)=c8, (6). 4. Делим уравнение (2) на уравнение (3): (an+4+bn+4)/(an-4+bn-4)=cn+4/cn-4 и получаем (an+4+bn+4)/(an-4+bn-4)=c8,(7). 5. Делим уравнение (6) на уравнение (7): [((an+bn)2)/((an-4+bn-4)2)]/[(an+4+bn+4)/(an-4+bn-4)] =1 и получаем ((an+bn)2)/[(an-4+bn-4)(an+4+bn+4)]=1, (8). 6. Переписываем уравнение (8) таким образом: (an-4+bn-4)(an+4+bn+4)= (an+bn)2, (9). 7. Переписываем уравнение (9) таким образом a2n+an+4bn-4+an-4bn+4+b2n=a2n+2anbn+b2n, (10). 8. Сокращаем слагаемые a2n и b2n в уравнении (10) справа и слева, поскольку в сумме они дают 0, и получаем an-4bn-4(a8+b8)=2anbn или 2an-4bn-4(a4b4), (11). 9. Решая уравнении (11), получаем an-4bn-4(a4-b4)2=0, которое после умножения обеих частей последнего уравнения на cn-4 дает уравнение (abc)n-4(a4-b4)2=0, (12). 10. Переписываем уравнение ВТФ следующим образом: Xn+Yn=Zn, где X=x, Y=-z, Z=-y, (13). 11. Повторяя операции 1-8, и после умножения на (-b)n-4, мы получаем уравнение (abc)n-4(a4-c4)2=0, (14). 12. Решая совместно уравнения (12) и (14), мы находим, что a=b=c, (15), -при этом, исключены из рассмотрения все алгебраические корни со знаком "-", поскольку они не имеют смысла и займут только время и место. 13. Результат (15) означает, что a=b=c=0, (16), поскольку любые иные решения не имеют смысла. 14. Результат (16) означает, что числа x, y, z не являются взаимно простыми, а условие a,b,c>0 не достигнуто, что противоречит Лемме. 15. Единственным непротиворечивым условием после 1.-14. необходимо выбрать xyz=0, т.е., тривиальные решения для уравнения ВТФ, что означает, что ВТФ доказана. Q.E.D. НАБЛЮДЕНИЯ для Пифагоровых Троек. Для примитивных Пифагоровых Троек, которые имеют|a-b|≠1 в любой числовой Базе, всегда можно подобрать такую числовую Базу, чтобы записать выражение a=b. Например, примитивная Пифагорова Тройка, записанная в числовой Базе 10, как (11, 60, 51) , будет записана в числовой Базе 7, как (14, 114, 115). Т.е., a=b=4. И т.д. Примитивные Пифагоровы Тройки с записью в Базе 10, такие, как (3, 4, 5), (20, 21, 29), (119, 120, 169), не могут иметь запись a=b ни в одной из числовых Баз. ДИСКУССИЯ о чётных значениях показателя степени n. Возникает вопрос, когда Операция 11 невозможна при чётных значениях показателя степени n. Если a≠b и оба этих параметра >0, то следующая модификация уравнения (11) не может быть выполнена, поскольку, здесь всегда должно быть равенство 0: (ab)n-4(a4-b4)2=0, (11.1), что является противоречием и, следовательно, один из параметров должен быть равен 0. Если a=b и оба >0, тогда уравнение (12) подразумевает, что c=0, но это тоже противоречит условию Леммы a, b, c>0. Следовательно, представленное доказательство ВТФ действительно также и для чётных значений n>6 в уравнениях (1), (2), (3) Леммы. Добавлено через 1 час 0 минут Надо читать так: которые имеют|x-y|≠1 в любой числовой Базе Добавлено через 38 минут Следует читать так: "...записанная в числовой Базе 10, как (11, 60, 61),,,"
0
|
|||||||||
| 10.01.2025, 15:00 | |
|
Ответы с готовыми решениями:
136
А что, если Великая теорема Ферма - не верна?! Метод бесконечного спуска , Великая Теорема Ферма
|
|
Модератор
10361 / 5635 / 3394
Регистрация: 17.08.2012
Сообщений: 17,197
|
||
| 03.02.2025, 21:39 | ||
|
Насчёт Вашего доказательства... Все ферминисты на этом спотыкаются. Предполагают, что a, b, c должны быть натуральными, и давай всё доказательство делить на незнамо что. Получается "доказательство", основанное на, возможно, ложных предположениях. А лемма Ваша сразу идёт лесом, поскольку строится на предположении, что (a1+a)3+(b1+b)3=(c1+c)3. Если вкратце, то Вам удалось выдать желаемое за действительное и самому в это поверить.
0
|
||
|
9 / 9 / 0
Регистрация: 27.05.2024
Сообщений: 294
|
|||||
| 03.02.2025, 21:51 [ТС] | |||||
|
Cyborg Drone,
И что у Вас за контраргумент такой, что Вы так безапелляционно пишете?- Так же о: Я имею мою аргументацию выше. Какова Ваша контраргументация, кроме процитированных текстов?
0
|
|||||
|
9 / 9 / 0
Регистрация: 27.05.2024
Сообщений: 294
|
||||
| 06.02.2025, 18:45 [ТС] | ||||
|
Поскольку ответа нет 3 дня как, продолжу. Моё доказательство дано выше. Плюс, см. Малую Теорему Ферма (альтернативная формулировка), плюс см. Лемму Гензеля. Т.е., на самом деле, представленная Лемма- это всё равно, что "Волга впадает в Каспийское море". Т.к., N⊂Z⊂Q⊂R⊂C⊂Z_p, то покажем утверждение Леммы на конкретных примерах p-адических целых, поскольку "обычные" целые легко представляемы также p-адическими целыми с добавлением бесконечной последовательности (0) слева. Примеры представлены из Z_5. Допустим мы имеем суммы и мы представляем каждую из них, уравнения ВТФ для степеней 3, 7, 11: 25+125=145, (A), 25+225=245, (B), 25+325=345, (C). Корни уравнения A: 251/3=...322035, 1251/3=...221335, 1451/3=...142345, 251/7=...013135, 1251/7=...433335, 1451/7=...020045, 251/11=...422435, 1251/11=...004335, 1451/11=...111145. Корни уравнения B: 251/3=...322035, 2251/3=...230135, 2451/3=...201045, 251/7=...013135, 2251/7=...441035, 2451/7=...233345, 251/11=...422435, 2251/11=...401235, 2451/11=...244245, Корни уравнения C: 251/3=...322035, 3251/3=...442435, 3451/3=...112245, 251/7=...013135, 3251/7=...440235, 3451/7=...021145, 251/11=...422435, 3251/11=...303135, 3451/11=...302345. Как видно, не только разные суммы, состоящие из разных чисел, но одна и та же сумма, с одними и теми же числами может быть представлена с помощью Леммы. Но, выпишем отдельно корни для разных суммы, но с одними и теми же числами в первой позиции: 251/3=...322035, 1251/3=...221335, 1451/3=...142345, для суммы (A), 251/7=...013135, 2251/7=...441035, 2451/7=...233345, для суммы (B), 251/11=...422435, 3251/11=...303135, 3451/11=...302345, для суммы (C). Т.е., мы видим a=3, b=3, c=4 для разных степеней. Очевидно, что, если всех способных считать жителей Земли усадить за компьютеры, снабдить энергией и другим необходимым, они никогда не спобны были бы остановить расчёты, выдавая всё новоые и новые примеры, поскольку множество p-адических целых несчётно, а количество цифр в каждой системе счисления (с/с) ограничено. Учитывая всё вышесказанное, хотелось бы ещё раз поинтересоваться-на каком основании пришло решение переместить эту ветку в несеръёзные темы? Представленное доказательство не опровергнуто в явном виде-все отделались простым молчанием. Вы, уважаемый Cyborg Drone, не ответили на вопрос выше-а именно, Вы не предоставили ничего в пользу такого решения. И Вы ж, ведь, не специалист в этом вопросе, как я понял. Поскольку правильнее говорить "ферматисты", а не "ферминисты". .... Тогда, ЧТО? Предусмотрены ли какие-то правила для пересмотра таких решений? Может, есть какой-то главный начальник, который обратит внимание на ситуацию здесь? Пока "Ваша Лемма идёт лесом" выглядит, как волюнтаризЬм, уж извините...
0
|
||||
|
-317 / 11 / 0
Регистрация: 29.08.2021
Сообщений: 697
|
||
| 11.02.2025, 07:52 | ||
|
Лемма. Доказать, что если Объясните мне, балбесу, на каком основании вы делите уравнение (1), справедливость которого, согласно ВТФ, необходимо доказать, на уравнение (3), справедливость которого, согласно вашей лемме, также надо сначала доказать. Кто-нибудь знает, являются ли оба этих уравнения истинными? Ложными? Или если одно из них ложно, а второе истинно, то какое именно ложно?
0
|
||
|
9 / 9 / 0
Регистрация: 27.05.2024
Сообщений: 294
|
||
| 11.02.2025, 19:27 [ТС] | ||
|
Adatto,
Во-первых, мы говорим о числах, которые стоят в самой младшей позиции, т.е., проще говоря, о первых цифрах справа каждого из чисел. Во-вторых, надо добавить ещё уравнение со степенями n+4.[В приниципе, можно получать уравнения, сходные с уравненим (12), и для n-2, n, n+2 степеней или , в общем виде, для n-k, n, n+k, например. Но будет излишняя необходимость давать больше разъяснений. Поэтому, решено ограничиться только n-2, n, n+2 степенями.] Но, этого мало. Допустим, Вы напишете все те же шаги и уравнения, как у меня выше, и получите то же уравнение (12) [и (14)]. И что? Где противоречие? Выше, в "Наблюдения" и "Дискуссия" показано, что в различных числовых системах счисления/Базах , а также доменах Вы имеете различные представления одних и тех же чисел, которые включают или не включают 0, как первую цифру справа. Т.е., Вы вынуждены, в любом случае, иметь какое-то "в-третьих". А именно, вы должны ещё выбрать подходящий метод доказательства. Речь идёт о методе противоречий. Т.е., надо задать какое-то условие, которое противоречит формулировке ВТФ-антитезис. А затем опровергуть его, тем самым, доказав истинность ВТФ. Это и есть в-третьих: В предложенной редакции Леммы это a, b, c>0. Это условие, которое подразумевает наличие решений для уравнения ВТФ в числах из домена Z. Поскольку все-абсолютно ВСЕ-числа имею цифру в младшей позиции. Даже однозначные числа. В-четвёрых, наши "обычные" целые числа из домена Z являются подмножеством p-адических целых, Z_p. ВТФ не выполняется для всех чисел в тех доменах, которые "выше" Z. Поэтому, "первые цифры" a, b, c можете рассматривать/считать, как первые цифры соответствующих p-адических целых. (Кто может запретить?) Учитывая сказанное сейчас , а также мои предыдущие комментарии, можно дать такой ответ на Ваш вопрос об "истинности уравнений": эти уравнения существуют-ВСЕ- и это и есть "Волга впадает в Каспийское море". Таких уравнений можно писать до посинения и никогда не написать их все, поскольку количество их бесконечно. Плюс, как я уже неоднократно указывал, доказательства Леммы даны выше... Дополнительно-что могу сообщить? Смотрите Вложения. Это о том, что все цифры в любой с/с(системе счисления) воспроизводят себя с чётко определённой периодичностью в разных степенях, n. Примеры даны для десятичной системы и для с/с с основанием 11. Уважаемый OwenGlendower, Могу ли я поинтересоваться вопросом-почему мою ветку держат в несерьёзных темах. Я просил выше Модератора, но не получил ответа. Внятных возражений я не получил ни от кого. Утверждения, типа, "не доказано" не подкреплены аргументацией. Напротив, я показал мои доказательство по тексту и писал об этом несколько раз. Так же, только что я показал, что уравнения (1), (2) и (3) это "общее место" для p-адических целых. Ответьте, пожалуйста, ясно-имеем ли смысл мне ждать внятных ответов от экспертов или нет? Если -"нет", я постараюсь больше не поднимать этот вопрос в дальнейшем, несмотря на отсутствие внятных возражений. Уважаемый Adatto, Ваши слова с Вашим "самобичеванием" я не понимаю. И пожимаю плечами: Shrug. Или Вы хотели таким образом как-то дать намёк мне обо мне самом? . Мне всё равно. Но, прошу Вас, всё же, впредь писать мне только по существу дела. Надеюсь на взаимопонимание.
0
|
||
|
Администратор
|
||||
| 11.02.2025, 19:54 | ||||
|
0
|
||||
|
9 / 9 / 0
Регистрация: 27.05.2024
Сообщений: 294
|
||
| 11.02.2025, 20:13 [ТС] | ||
|
OwenGlendower,
Как кто-то может исправлять возможные ошибки, не зная -что исправлять...Риторический вопрос.
0
|
||
|
-317 / 11 / 0
Регистрация: 29.08.2021
Сообщений: 697
|
||
| 12.02.2025, 10:31 | ||
|
Может ли тупица быть дураком — вопрос отнюдь НЕ риторический. Это только в манере «бла-бла-бла», свойственной простонародью, их можно отождествлять, но не в логике. И не в математике. Логика запрещает давать одному и тому же понятию разные имена. Логика запрещает называть одним и тем же именем разные понятия. Так что, милейший, вопреки вашим упрёкам, я знаю точно, несмотря на мою придурковатую тупость, какие именно «возможные ошибки» вам надлежит исправить. Необходимо (желательно сюда не подходит) дать дефиниции тем понятиям, из которых вы сочиняете якобы истинные утверждения. Если хотя бы одно понятие, входящее в состав утверждения, не определено, установить истинность данного утверждения невозможно. Итак, берём кусочек вашего доказательства, недоступного для понимания идиотов, и попытаемся ответить на риторический вопрос: Что такое «первая цифра справа каждого из чисел»? Что такое «цифра», знают все без исключения разумные существа на нашей планете, потому что этих цифр всего-навсего десять. А что такое «число», точно знаю пока только я один, потому что только в моей теории есть дефиниция (напомню тупицам и дуракам, что дефиниции не доказываются), которую никто здесь на дух не переносит. И только после того, как вы предложите свои особые дефиниции, у вас появится возможность ответить на последний НЕ риторический вопрос: Какая цифра первая справа от числа Пи? Замечу на всякий случай, озираясь на тупиц и дураков, что первая цифра справа от всякого целого числа Икс — это Икс + единица. Впрочем, может, и нет. Кто вас, гениев, понимает!
0
|
||
|
9 / 9 / 0
Регистрация: 27.05.2024
Сообщений: 294
|
|||
| 12.02.2025, 11:17 [ТС] | |||
См. книги, см. Интернет... [Я не "покушаюсь" на Ваше "пи"... Зачем это мне?... ] Вот, к примеру, "товарищ" отрицает (тоже) действительные числа, а также комплексные : https://www.researchgate.net/p... ar_prelest Если зайдёте на его страницу в ResearchGate, то много интересного (и созвучного) Вам там найдёте, включая, его собственный блог-если я правильно Вас понял... Мы (нас было много...) в своё время замучились объяснять этому "товарищу", что, вообще-то, не существует НИКАКИХ чисел!... ) Извините, всё это не для меня. В смысле, я не хочу продолжать дискуссию именно об этом.Если же Вы не поняли, что такое p-адические целые, вот Вам англоязычная ссылка (русскоязычную не даю, т.к., она длиннее...да, и сами сможете найти, если что...): https://en.wikipedia.org/wiki/P-adic_number
0
|
|||
|
-317 / 11 / 0
Регистрация: 29.08.2021
Сообщений: 697
|
||
| 12.02.2025, 12:24 | ||
|
Моя мнения такая: если у "числа" А если у числа Икс существует последняя цифра справа, то справедливость ваших уравнений (1), (2) и (3) сначала требует доказательств, и только потом на них можно делить уравнение Ферма. Откуда вы взяли справедливость уравнений (1) и (3)? Разве это риторический вопрос?
0
|
||
|
9 / 9 / 0
Регистрация: 27.05.2024
Сообщений: 294
|
||||
| 12.02.2025, 13:04 [ТС] | ||||
|
Теперь о Вашем вопросе. Число sqrt 2 является иррациональным. Т.е., принадлежит к множеству действительных чисел, R. Доказательство ирациональности методом от противного, можно, к примеру, смотреть здесь: https://en.wikipedia.org/wiki/Square_root_of_2 Там, где-то внизу смотрите... В то же время, целые, рациональные, действительные, комплексные числа принадлежат Z_p, p-адических целых. (Далее, Q_p, но не будем сейчас об этом.) Не понимаю, какая у Вас проблема с числом sqrt 2. Для кого я писал примеры выше-см. мой пост №43. А также ДО этого коммента и после. Остаётся оставить традиционную избитую фразу "учите матчасть"?-но считайте, что я не оставил её, поскольку не хочу Вас обижать. Но, хотя бы, какие -то меры вы бы предприняли, чтобы не задавать ...кхммм...вопросы, которые уже имеют ответы, даже, здесь. Что имеется в виду? Когда, Вы пишете фразу В том же моём ответе №43 я указал чётко на домен. Это Z_5. Копирую примеры ещё раз-там есть и sqrt 2 в этом домене: Вы пишете, что хотели бы достичь понимания. Смотрите и изучите, пожалуйста, эту ссылку https://tapemark.narod.ru/chisla.html, чтоб получить, хотя бы, элементарное понимание о чём мы сейчас с Вами говорим. И, пожалуйста, задавайте продуманные вопросы- и только после получения элементарного понимания. Это совсем не сложно...Взгляните сами... 1 Извинения-я дал пример кубического корня из 2, а Вы просили квадратный корень. Ничего. Если хотите, я специально для Вас подсчитаю и напишу квадратный корень из 2 в каком-то следующем моём сообщении...
0
|
||||
|
-317 / 11 / 0
Регистрация: 29.08.2021
Сообщений: 697
|
||
| 12.02.2025, 16:10 | ||
|
Какой вывод вытекает из ложного посыла? Если для вас это всё ещё слишком сложно, упрощу до примитивности. Какой вывод можно сделать из посыла, значение истинности которого неизвестно? Вы делите уравнение Ферма, справедливость которого вам неизвестна, на одно из своих уравнений, справедливость которых тоже неизвестна, вы ещё только пытаетесь что-то там такое доказать в своей лемме. На этом пока остановимся. До сих пор понятно?
0
|
||
|
9 / 9 / 0
Регистрация: 27.05.2024
Сообщений: 294
|
||||
| 12.02.2025, 16:24 [ТС] | ||||
|
Если Вы пишете
Это ли Теперь Вы мне скажите-что конкретно Вам непонятно в моих сегодняшних и предыдущих комментариях? Если ничего не понятно, тогда-да, надо остановиться без всяких "пока". По крайней мере, до того времени, когда Вы скажете "Да, я всё понял". [И я надеюсь, что Вы всё быстро поймёте, потому что я не пишу отсебятину.] Тогда и только тогда можно и продолжить разговор.
0
|
||||
|
-317 / 11 / 0
Регистрация: 29.08.2021
Сообщений: 697
|
|
| 12.02.2025, 17:17 | |
|
У-у-у, как всё запущено!
Вот уже третьи сутки я прошу вас привести ту истину, данную наперёд (аксиому или ранее доказанную теорему), без которой, по закону достаточного основания, не бывает никаких доказательств. В том числе, разумеется, вашей леммы. На каком основании вы утверждаете, что ваши уравнения (1), (2), (3) являются истинными? То есть, пардон, я забыл, с кем имею дело. На каком основании вы утверждаете, что ваши уравнения (1), (2), (3) имеют решения? Ой, опять выразился слишком заумно. На каком основании вы утверждаете, что решения ваших уравнений (1), (2), (3) является именно числами? Да ещё и этими... э-э... как их там... p-адическими числами. Может, это и не числа вовсе, а? Где ваша дефиниция, что такое число?
0
|
|
|
9 / 9 / 0
Регистрация: 27.05.2024
Сообщений: 294
|
||||||
| 12.02.2025, 17:43 [ТС] | ||||||
|
Что это означает? На том основании, что цифры в любой числовой Базе (с/с) имеются в ограниченном количестве и имеют, видите ли, такое свойство, как повторяемость... Я задал Вам вопрос: И уже как-то определитесь-или Вы, всё же, ответите мне на мой вопрос-что Вам не ясно в моих сегодняшних комментариях и ответах? В противном случае, о чём можно говорить ещё?[... Если Вы не отдаёте себе отчёт, что Ваши вопросы/возражения выше-бессмысленны. Скажем, уж, прямо...]
0
|
||||||
|
-317 / 11 / 0
Регистрация: 29.08.2021
Сообщений: 697
|
||
| 12.02.2025, 17:57 | ||
|
Где ваша дефиниция понятия "число"? Нет ответа. Где ваша аксиома? Нет ответа. Почему вы считаете истинными написанные вами уравнения? Нет ответа. Предлагаю проверить ваши заявления на практике. Методом подстановки. Назовите три конкретных р-адических числа, которые обеспечивают строгое равенство вашего уравнения
0
|
||
|
9 / 9 / 0
Регистрация: 27.05.2024
Сообщений: 294
|
|||||
| 12.02.2025, 18:12 [ТС] | |||||
|
По числам -зачем Вы задаёте тривиальные вопросы? Если Вы имеете что-то против https://en.wikipedia.org/wiki/Number, то почему это должно быть моей проблемой? Я работаю с числами. Возможно, вы с векторами или с матрицами , или с чем-то ещё-какое мне дело? Мне кажется Вам надо всё не просто перечитать, а разобраться-о чём идёт речь.
0
|
|||||
|
-317 / 11 / 0
Регистрация: 29.08.2021
Сообщений: 697
|
|
| 12.02.2025, 18:20 | |
|
Неужели так трудно написать одно предложение, являющееся определением?
Неужели так трудно написать одно утверждение, являющееся аксиомой? Неужели так трудно назвать три числа, обеспечивающих строгое равенство в уравнении? Зачем вы посылаете меня по всяким ссылкам, комментам и прочим тоннам макулатуры? Но как же всё-таки приятно осознавать, что я не самый бестолковый человек на планете!
0
|
|
|
9 / 9 / 0
Регистрация: 27.05.2024
Сообщений: 294
|
|||||
| 12.02.2025, 18:47 [ТС] | |||||
|
Вы примеры-то ПОСМОТРИТЕ! Найдите какой-нить калькулятор в Интернете и проверьте. Никаких проблем! Например, этот: https://calculatori.ru/slozhenie.html Все Примеры можно легко проверить. Сами разберётесь-что там -к чему... Вообще, не понимаю- о чём спор?... Короче говоря, Вы не имеете НИЧЕГО против представленного доказательства. Всё, что имеете, это, просто, слова.
0
|
|||||
|
9 / 9 / 0
Регистрация: 27.05.2024
Сообщений: 294
|
|||||
| 22.02.2025, 22:51 [ТС] | |||||
|
Вниманию iifat, OwenGlendower, Red white socks, Cyborg Drone, Pphantom,
"Где выход (доказательство ВТФ в этой ветке путём опровержения Леммы)-там и вход (доказательство Леммы). Т.е., я пишу ответ на вопрос: [Сокращения: "с/с"-система счисления (числовая База).] 1. В бинарной с/с мы можем записать a=b, (4)? если x и y являются нечётными числами, (5), в домене Z, (6). 2. Возводим обе стороны (4) в степень k и получаем: ak=bk, (7). 3. Преобразовываем, получив уравнение (ak-bk)2=0, (8). 4. Перепишем (8) так: a2k-2akbk+b2k=0, (9). 5. Перепишем (9) так: 2akbk=a2k+b2k, (10). 6. Перепишем (10) так: 2=(a2k+b2k)/(akbk), (11). 7. Перепишем (11) так: 2=(a/b)k+(b/a)k, (12). 8. Перепишем (12) так: 2=b-kak+a-kbk, (13). 9. Умножим обе части уравнения (13) на anbn и получим: 2anbn=bn-kan+k+an-kbn+k, (14). 10. Прибавляем справа и слева сумму a2n+b2n и получаем: a2n+2anbn+b2n=a2n+bn-kan+k+an-kbn+k+b2n,(15). 11. Упрощаем (15) путём упрощения левой и правой частей и получаем: (an+bn)2=(an-k+bn-k)(an+k+bn+k), (16). 12. Левая часть уравнения (16) есть уравнение (1) в квадрате, правая часть уравнения (16) есть произведение уравнений (2) и (3), что таким образом доказало Лемму в части истинности уравнений (1), (2), (3) -утверждение (17). 13. Поскольку, существование уравнений с числами a, b,c , x, y, x не зависит от выбранной с/с, следовательно пункт 12 справедлив так же не только для бинарной с/с, но и для других с/с, что подразумевает истинность условия a, b, c>0, [в том числе, поскольку в последующем доказательстве ВТФ используется деление, которое не позволяет неопределённости вида число/0 или 0/0]- утверждение (18). Q.E.D. P.S. Отдавая себе отчёт, что Примеры не могут служить доказательством, всё же прошу обратить на них внимание в моём комментарии 43 от 6 февраля 2025 г. P.P.S. В доказательстве ВТФ мы работаем в доменах Z_p. Также, не пора ли вернуть тему на начальное место, если согласны с доказательством (также, учитывая доказательства, показанные ранее и упомянутые с этом комментарии) Леммы и последующим доказательством ВТФ, которое опубликовано здесь ранее, 10 февраля 2025 г.? Вопрос основан на этом сообщении:
0
|
|||||
| 22.02.2025, 22:51 | |
|
Помогаю со студенческими работами здесь
60
Связь двух тестов простоты малой теоремы Ферма и Теста Агравала — Каяла — Саксены следствие
Трудности с пониманием доказательств простой теоремы Малая теорема ферма
Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |
|
Новые блоги и статьи
|
||||
|
Новый ноутбук
volvo 07.12.2025
Всем привет.
По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне:
Ryzen 5 7533HS
64 Gb DDR5
1Tb NVMe
16" Full HD Display
Win11 Pro
|
Музыка, написанная Искусственным Интеллектом
volvo 04.12.2025
Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .
|
От async/await к виртуальным потокам в Python
IndentationError 23.11.2025
Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
|
Поиск "дружественных имён" СОМ портов
Argus19 22.11.2025
Поиск "дружественных имён" СОМ портов
На странице:
https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/
нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .
|
Сколько Государство потратило денег на меня, обеспечивая инсулином.
Programma_Boinc 20.11.2025
Сколько Государство потратило денег на меня, обеспечивая инсулином.
Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов.
. . .
|
|
Ломающие изменения в C#.NStar Alpha
Etyuhibosecyu 20.11.2025
Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .
|
Мысли в слух
kumehtar 18.11.2025
Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .
|
Создание Single Page Application на фреймах
krapotkin 16.11.2025
Статья исключительно для начинающих. Подходы оригинальностью не блещут.
В век Веб все очень привыкли к дизайну Single-Page-Application .
Быстренько разберем подход "на фреймах".
Мы делаем одну. . .
|
Фото: Daniel Greenwood
kumehtar 13.11.2025
|
Расскажи мне о Мире, бродяга
kumehtar 12.11.2025
— Расскажи мне о Мире, бродяга,
Ты же видел моря и метели.
Как сменялись короны и стяги,
Как эпохи стрелою летели.
- Этот мир — это крылья и горы,
Снег и пламя, любовь и тревоги,
И бескрайние. . .
|