5 / 5 / 0
Регистрация: 19.12.2013
Сообщений: 53
1

Частные случаи доказательства теоремы Ферма

19.12.2013, 18:16. Показов 6620. Ответов 63
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
Господа,
предлагаю вашему вниманию доказательство теоремы Ферма с использованием чисел, кратных 0,5.
Если что будет непонятно, смотрите прилагаемый файл.


ДОКАЗАТЕЛЬСТВО ВЕЛИКОЙ ТЕОРЕМЫ ФЕРМА
ДЛЯ СТЕПЕНИ n=3

Уравнение теорема Ферма:
A^n+B^n=C^n
A, B, C - взаимно простые числа.
Приведем доказательство теоремы Ферма для степени n=3,
записав уравнение (1) следующим образом:
A^3=C^3 - B^3 (2)
Полагаем, что A – заданное целое нечетное число.
Полагаем, что:
B – четное целое число;
C – нечетное целое число.
Для любых двух чисел, четного[math]$B$[/math] и нечетного C, справедливы зависимости:
B=N-X (3)
C=N+X (4)
Сложив уравнения (3), (4), получим:
N=0,5(C+B) (5)
Вычтя уравнение (3) из уравнения (4), получим:
X=0,5(C- B) (6)
Поскольку числа B, C имеют разную четность, числа
[math]$N, X$[/math] – конечные десятичные дроби, кратные 0,5.
Из уравнений (2), (3), (4) следует:
A^3 =(N+X)^3 - (N-X)^3 =N^3+3N^2X+3NX^2+X^3 -N^3+3N^2X-3NX^2+X^3
Отсюда имеем:
X^3 +3N^2X- 0,5A^3=0 (7)
Уравнение (7) соответствует так называемому приведенному кубическому уравнению:
X^3 +pX +q=0 (8)

Здесь: p=3N^2, q=-0,5A^3.
Дискриминант уравнения равен:
D=(p/3)^3 + (q/2)^2=N^6+A^6/16 (9)
Запишем:
N=0,5(C+B)=0,5K
K=C+B –нечетное число.
С учетом того, что N=0,5K, из уравнения (9) следует:
D=(0,5K)^6+A^6/16=0,0625(0,25K^6+A^6)(10)
Тогда:
\sqrt{D}=0,25\sqrt{0,25K^6+A^6} (11)
Запишем:
0,25K^6= (0,5K^3)^2 (12)
Любое число, кратное 0,5, равно:
(M+0,5)^2=M(M+1) +0,25 =zzzQ,25. (13)
Q – всегда или ноль или четная цифра.
Поскольку A – нечетное число, то:
A^6=sssP, где P – всегда нечетная цифра.
Следовательно:
\sqrt{0,25K^6+A^6}= \sqrt{zzzQ,25+sssP}=\sqrt{eeeR,25} - иррациональное число, так как R нечетная цифра, поскольку цифры
Q, P имеют разную четность.
Следовательно, в соответствии с уравнением (11) \sqrt{D} (квадратный корень из D) - иррациональное число.
Дискриминант D>0, следовательно, уравнение (7) имеет одно действительное решение:
X=U+V (14)
Здесь:
U =\sqrt[3]{-0,5q+\sqrt{D}} (15)
V =\sqrt[3]{-0,5q-\sqrt{D}} (16)
Так как \sqrt{D} - иррациональное число, то числа
[math]$U, V$[/math] также иррациональные. Следовательно, в соответствии с уравнением (14) X – иррациональное число.
Следовательно, в соответствии с уравнениями (3), (4) числа
B, C при заданном целом нечетном числе A также иррациональные. Следовательно, для заданного целого нечетного числа A невозможно найти пару целых чисел B, C, удовлетворяющих уравнению (2) теоремы Ферма.
Таким образом, Великая теорема Ферма не имеет решения в целых числах для показателя степени n=3. Вывод справедлив для любого нечетного
числа A=a^t.

P.S. Числовые примеры, опровергающие доказательство, должны быть
не произвольно сочиненными, а полученными из формул доказательства.
Вложения
Тип файла: doc FERMA-N-X-n3-var.doc (52.5 Кб, 12 просмотров)
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
19.12.2013, 18:16
Ответы с готовыми решениями:

Доказательство гипотезы (теоремы) Эндрю Била в контексте "Полного доказательства великой теоремы Ферма методом деления"
УДК 512.1 Доказательство гипотезы Эндрю Била Ведерников Сергей Иванович –...

Доказательство теоремы Ферма (нечетные степени)
ДОКАЗАТЕЛЬСТВО ВЕЛИКОЙ ТЕОРЕМЫ ФЕРМА (нечетные степени) Уравнение Великой теоремы Ферма...

Доказательство Великой теоремы Ферма
Уважаемые господа, предлагаю вашему вниманию доказательство Великой теоремы Ферма.

Частные случаи функции
Есть выражение вида cos(i*G+j*(H-h)-2*g-q*l) где G,H,h,g,l константы, а i,j,q принимают значения от...

63
2525 / 1751 / 152
Регистрация: 11.08.2012
Сообщений: 3,349
30.11.2015, 15:18 61
Author24 — интернет-сервис помощи студентам
Цитата Сообщение от nagirus Посмотреть сообщение
нечетное число;
Это не обязательно. Тем более вы писали, что n=2m, про нечетность m вы ничего не говорили и указали на это сейчас. Ну ок, не буду придираться.
***
Цитата Сообщение от nagirus Посмотреть сообщение
Найдите общий делитель выражений:
То, что вы или я не можем этого сделать, еще ничего не значит. Хотя можно выразить синусы-косинусы через a,b,c и таки этот делитель обнаружить. Или не обнаружить. Но вы этого знать наперед не можете, пока не докажете. Но доказательством и не пахнет.
Цитата Сообщение от nagirus Посмотреть сообщение
Эти выражения не равны между собой.
Пока что это голословное заявление. Из (5) вашего поста №47 и предположения равенства a^n+b^n=c^n (вы же все-таки от противного доказываете, иначе все ваши "махинации" можно отправить в корзину) можно (и нужно) сделать вывод об их равенстве. То, что вы написали другие значки - еще ничего не доказывает. Я не вижу никаких противоречий. И вы их не показали.
0
5 / 5 / 0
Регистрация: 19.12.2013
Сообщений: 53
30.11.2015, 15:44  [ТС] 62
cmath,
англичане в таком случае, который имеет место с Вами, говорят:
я привел все необходимые доказательства, но я не обязан добиваться, чтобы Вы их поняли.
0
2525 / 1751 / 152
Регистрация: 11.08.2012
Сообщений: 3,349
30.11.2015, 16:31 63
Цитата Сообщение от nagirus Посмотреть сообщение
англичане в таком случае, который имеет место с Вами, говорят:
Я уже предлагал вам привести источник, но вы этого не сделали (делаю вывод - источника нет, ни печатного, ни электронного). Вы привели две рациональные дроби, и утверждаете что они не равны, при этом никаких реальных оснований вы не привели, все ваше "доказательство" состоит в том, что вы не можете подобрать общий делитель. Вы не можете - сможет кто-нибудь другой. Ваша интеллектуальная немощь не является аргументом в пользу неравенства этих дробей. Доказывая от противного, вы не вывели какого-либо противоречия из исходной посылки, засим можно отправить ваше "доказательство" в корзину. За вами не стоит ничего, кроме вашего же самолюбия и чувства собственной важность (как же! ВТФ "доказал", а все эти "олухи" 300 лет ерундой маялись), даже элементарной грамотности не прослеживается. Умение играться с математическими значками еще ни о чем не говорит. Я тоже так умею, и про гипотезу Таниямы тоже могу нагуглить, чтобы придать себе "весу" в споре со случайным собеседником. Не впечатляет. В конечном счете не я должен доказывать, что ваше "доказательство" не верно, а вы ДОЛЖНЫ доказывать - что оно верно. Это вопрос честности и порядочности в первую очередь. Впрочем, эту проверку вы не прошли. Ошибки, впрочем нет, т.к. и логических построений нет. Теорема вами не доказана. Всего хорошего.
P.S. Я тоже привел все необходимые аргументы. Нет моей вины в том, что вы не в состоянии их понять. Порядочный математик смог бы.
0
306 / 101 / 18
Регистрация: 04.07.2014
Сообщений: 571
30.11.2015, 16:32 64
Цитата Сообщение от nagirus Посмотреть сообщение
но я не обязан добиваться, чтобы Вы их поняли
К сожалению, обязаны.
Частенько рефери задают вопросы, которые возникают исключительно от того, что они не поняли.
Если это действительно просто -- это легко объяснить рефери. Если это сложно -- надо было написать в тексте.
0
30.11.2015, 16:32
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
30.11.2015, 16:32
Помогаю со студенческими работами здесь

Применение теоремы Цорна для доказательства существования базиса бесконечномерного пространтсва
Почему такое название теоремы, а доказывает она что то другое?

Найти обратный элемент с использованием малой теоремы Ферма
Доброго времени суток форумчане, помогите найти обратный элемент a-1 при a=8, m=19 с использованием...

Поиск больших простых чисел с использованием малой теоремы Ферма
Всем доброго времени суток. Мне нужно найти очень большое простое число и я решил воспользоваться...

Как задать прогресс бар для теоремы Ферма? Хочу знать сколько тысяч лет будет высчитываться её верность на моём компе
print(*) перепробовал все модули наподобие tqdm принцип у них у всех одинаковый, но не могу...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
64
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru