Предыдущая тема :: Следующая тема |
Автор |
Сообщение |
альяно ____________

Зарегистрирован: 16.11.2004 Сообщения: 28168
|
Добавлено: 18.06.2007 00:57 Заголовок сообщения: OFF - ВЕЛИКАЯ теорема Ферма ... |
|
|
.... в этом форуме, часто говорят про
эллиптические кривые ...
и это не случайно ...
ведь спутниковая антенна ... на самом деле это
часть эллипсоида ...
( эллипсоид - это вообще - основа ВСЕГО )
но я не про это .... точнее, не только про это ...
оказывается эллиптические кривые .. имеют связь
с Великой теоремой Ферма ....
______________________________________________________
давно давно ... ... когда мне было лет 14 ... я доказал
великую Теорему Ферма ...
кто забыл, что это за теорема - читаем здесь ...
http://elementy.ru/trefil/fermat_last_theorem
Цитата: | Для целых чисел n больше 2 уравнение
не имеет ненулевых решений в натуральных числах. |
при этом - я математикой то, особенно, тогда не владел ...
да и сейчас - не владею ...
поэтому был - всего лишь - предложен
МЕТОД проверки этой Теоремы ....
однако, чтобы проверить это "доказательство"
мне тогда - был нужен - компьютер ... ( это в 70-х то годах )
а у меня тогда был только калькулятор Касио ....
( кстати, - большая редкость - для тех времен )
потом жизнь закрутилась ... и было не до
великих Теорем ...
потом я краем уха услышал что в 1995 году ...
признали - что Великая Теорема Ферма - ДОКАЗАНА ...
но .. читать про это не было времени ...
и тут сегодня - прочитал "популярные" статьи и книги
про доказательства Уайлса ...
в том числе вот эту - http://ega-math.narod.ru/Singh/FLT.htm
и ничего не понял ...
как объясняют "популяризаторы" - объяснить - это доказательство ...
простым смертным - НЕЛЬЗЯ ...
вот блин .... так просто сформулированную теорему ...,
которую доказывают вот уже 350 лет ...,
и так сложно доказали ...
собственно вопрос ...
в форуме есть фанаты ... которые "доказывали"
теорему Ферма ...????
это во первых ...
а во вторых - хочу проверить своё "детское" доказательство ...
компьютер теперь есть ...
но я, блин, - последний раз программировал только
на бейсике ... лет 20 тому - назад
собственно второй вопрос ...
кто нибудь из программистов .. не хочет
написать программульку ... ????
для проверки доказательства ????
собственно вся проблема "программульки" - в том ...
что надо возводить натуральные числа в различные степени ...
и чтобы результат был - БЕЗ ОКРУГЛЕНИЯ ....
ТЗ - я могу сформулировать ...
---------------------- |
|
Вернуться к началу |
|
 |
Альберт свой

Зарегистрирован: 19.01.2006 Сообщения: 142 Откуда: Уфа
|
Добавлено: 18.06.2007 12:50 Заголовок сообщения: |
|
|
альяно какую конкретную прогу
надо сделать???
Я немного владею Visial Basic.
Могу помоч в написании не сложной
программы .
________________
Про теорему Ферма:
не очень давно (может в году 2006)
слышал по новостям что типа один
чел доказал эту теорему. сказали
проверка его док-ва займет около
1,5 года.  _________________ С уважением, Альберт. |
|
Вернуться к началу |
|
 |
oliverst новый

Зарегистрирован: 07.10.2005 Сообщения: 18 Откуда: Улан-Удэ
|
Добавлено: 18.06.2007 13:42 Заголовок сообщения: |
|
|
Только нужно не забывать что доказательство которое получили недавно и которое требует годы на проверку и вычислительных мощностей - это не то доказательство Ферма. Ферма говорил, что его доказательство очень простое, и он его написал бы, но свободных полей книжки, на которой он сделал заметки, хватило только на формулировку самой теоремы. _________________ Улан-Удэ (долгота - 107°40', широта 51°55)
SVEC 0.9, DreamSat DS-8, SS2 2.6D(66mhz),
Moteck SG-2100A, P4-2000/512Mb/120Gb/ATI Radeon7200/SB L5.1, Webstream/Raduga. |
|
Вернуться к началу |
|
 |
akarpya свой
Зарегистрирован: 04.08.2006 Сообщения: 28 Откуда: Балашиха
|
Добавлено: 18.06.2007 17:22 Заголовок сообщения: |
|
|
Альберт писал(а): | не очень давно (может в году 2006)
слышал по новостям что типа один
чел доказал эту теорему. |
По-моему, то была гипотеза Пуанкаре. |
|
Вернуться к началу |
|
 |
Globus свой

Зарегистрирован: 28.12.2004 Сообщения: 184 Откуда: Москва
|
Добавлено: 18.06.2007 17:52 Заголовок сообщения: |
|
|
А никому не приходило в голову, что Ферма сам ошибся?
Проверил, нашел ошибку и естественно не стал ничего публиковать, бо нечего... |
|
Вернуться к началу |
|
 |
G14 свой
Зарегистрирован: 22.02.2007 Сообщения: 33 Откуда: Тюмень
|
Добавлено: 18.06.2007 19:02 Заголовок сообщения: |
|
|
Цитата: | По-моему, то была гипотеза Пуанкаре. |
да, про это действительно писали в "комсомолке" в 2006 году, там же была ссылка на pdf с доказательством. в принципе может и сейчас есть, если в архиве поискать...
а доказал гипотезу паункаре - паук-в-наре - перельман...  |
|
Вернуться к началу |
|
 |
Альберт свой

Зарегистрирован: 19.01.2006 Сообщения: 142 Откуда: Уфа
|
Добавлено: 19.06.2007 07:56 Заголовок сообщения: |
|
|
akarpya писал(а): | Альберт писал(а):
не очень давно (может в году 2006)
слышал по новостям что типа один
чел доказал эту теорему.
По-моему, то была гипотеза Пуанкаре. |
нет. Это была теорема ферма я точно помню
может с годом ошибся.....может даже 2005 году
это было...
___________________
вот еще пишут в новостях
http://www.yuga.ru/news/83263/index.html _________________ С уважением, Альберт. |
|
Вернуться к началу |
|
 |
ВраГ НаРоДа бывалый

Зарегистрирован: 06.01.2006 Сообщения: 339 Откуда: 23 регион. Широта 45°09'N, долгота 39°05'E
|
Добавлено: 19.06.2007 08:30 Заголовок сообщения: |
|
|
Нет, это было летом 2006 года и именно теорема Ферма. Я точно помню.... _________________ Для личных нужд:
GI 1 метр+Stab HH90+Ku Titanium TSG+Ku-Cir GS DKF-101+C-Cur Альяно-70СM+DISEqC GI 411+Acorp DS120 |
|
Вернуться к началу |
|
 |
альяно ____________

Зарегистрирован: 16.11.2004 Сообщения: 28168
|
Добавлено: 20.06.2007 14:09 Заголовок сообщения: |
|
|
спасибо за ответы ...
я сейчас не в Москве ...
а на Балтике на Куршской косе .. а тут сложности с интернетом
приеду сразу отвечу ... |
|
Вернуться к началу |
|
 |
альяно ____________

Зарегистрирован: 16.11.2004 Сообщения: 28168
|
Добавлено: 26.06.2007 22:17 Заголовок сообщения: |
|
|
я вернулся в Москву ...
__________________________________________________________
Globus писал(а): | А никому не приходило в голову, что Ферма сам ошибся?
Проверил, нашел ошибку и естественно не стал ничего публиковать, бо нечего... |
а в чем он ошибся ???
он сформулировал ТЕОРЕМУ -
но сам доказательства не дал ...
( якобы просто не хватило места на полях )
... но теорема, то есть !!!!
Цитата: | Для целых чисел n больше 2 уравнение
не имеет ненулевых решений в натуральных числах. |
и она верна ... в том смысле - что натуральных чисел
удовлетворяющих этому условию - действительно НЕТ ..
осталось ДОКАЗАТЬ - почему их нет
__________________________________________
... итак про программу ... которая нужна мне ...
программа должна возводить натуральные числа
в произвольную степень ...
( например 23 в степень 48 )
и показывать несколько ( например четыре или шесть - это должно задаваться пользователем )
последних цифр этого числа ...
поэтому возведение в степень надо делать
через организация цикла - умножением
и с вычитанием старших разрядов ... чтобы не было
округления компьютером ...
и не терялись последние цифры числа ...
-------------
то-есть
если, например, возвести число 23 в 48-ю степень
то получится какое-то число
состоящее из большого числа цифр ...
мне для моего "доказательста"
надо знать несколько
ПОСЛЕДНИХ ЦИФР этого числа ...
это центральное место данной программы ...
далее только фенички ...
( построение некой - таблицы из полученных цифр ) |
|
Вернуться к началу |
|
 |
Globus свой

Зарегистрирован: 28.12.2004 Сообщения: 184 Откуда: Москва
|
Добавлено: 27.06.2007 11:09 Заголовок сообщения: |
|
|
Цитата: | но сам доказательства не дал ...
( якобы просто не хватило места на полях ) |
Вот именно - якобы. Сформировал, а доказательства не дал - сам его не нашел. А то что нашел в момент писания на полях - оказалось неверным, сродни тем сотням и тысячам провалившихся "доказательств".
А мифы - они живучи. Земли Санникова нет, а он ее видел (точнее он видел что-то, что принял за землю). А Северо-Западный проход сколько искали? Про ЭльДорадо (El Dorado произошедшее из El Hombre Dorado) промолчим.
Мифологизации "теоремы Ферма" помогла ее кажущаяся простота. Если бы ее формулировка была сложна и звучала сродни СТО (например), то вряд-ли бы сотни тысяч людей ломали бы над ней голову и ТФ была бы забыта. |
|
Вернуться к началу |
|
 |
альяно ____________

Зарегистрирован: 16.11.2004 Сообщения: 28168
|
Добавлено: 27.06.2007 12:08 Заголовок сообщения: |
|
|
Globus - я же не утверждаю - что Ферма - знал
простое и короткое доказательство ...
этой теоремы ...
я как раз и говорю про то же самое ... что и ты ...
есть ТЕОРЕМА - которая очень просто формулируется ...
но почему-то
просто НЕ доказывается ...
вот её все и доказывают ... в том числе и я ...
когда был подростком ...
теперь я хочу проверить СВОЁ - доказательство ....
для этого мне нужна программа ...
возведения в степень - без округления последних значащих цифр ...
какое это доказательство - ???
- я готов подробно объяснить ... оно простое ...
как и сама теорема ...
--------------
А теорема Ферма - не забыта - потому что - НЕ доказана ...
- точнее не доказана - понятным, для простых
смертных, способом ... |
|
Вернуться к началу |
|
 |
Globus свой

Зарегистрирован: 28.12.2004 Сообщения: 184 Откуда: Москва
|
Добавлено: 27.06.2007 15:19 Заголовок сообщения: |
|
|
Цитата: | теперь я хочу проверить СВОЁ - доказательство ....
для этого мне нужна программа ...
возведения в степень - без округления последних значащих цифр ...
какое это доказательство - ???
- я готов подробно объяснить ... оно простое ... смешно смешно
как и сама теорема ... |
1. Разве решение методом перебора является доказательством?
2. На чем основана уверенность в том, что доказательство теоремы Ферма простое? |
|
Вернуться к началу |
|
 |
альяно ____________

Зарегистрирован: 16.11.2004 Сообщения: 28168
|
Добавлено: 27.06.2007 16:23 Заголовок сообщения: |
|
|
... а почему методом перебора ???
методом перебора - как раз ничего не докажешь ...
натуральный ряд - бесконечен ...
а я еще не рассказал в чем смысл - моего доказательства ...
точнее "способа проверки" ...
это во первых ...
во вторых, я не говорю, что доказательство у кого-то
должно быть простым ..
я говорю, что у меня оно ПРОСТОЕ ...
и понятное даже домохозяйке ... со средним образованием ...
ведь многие ТЕОРЕМЫ - имеют несколько доказательств ...
яркий пример - теорема Пифагора ...
известно несколько десятков доказательств этой теоремы ....
-------------------------------------
теоретически - можно обойтись и без программы ...
...
но с программой - прикольнее ...
всё будет очень понятно и наглядно ....
если всё правильно - то доказательство займёт одну страницу ... |
|
Вернуться к началу |
|
 |
Globus свой

Зарегистрирован: 28.12.2004 Сообщения: 184 Откуда: Москва
|
Добавлено: 03.07.2007 13:24 Заголовок сообщения: |
|
|
тогда ждем... |
|
Вернуться к началу |
|
 |
Ne0 модератор

Зарегистрирован: 02.01.2006 Сообщения: 716 Откуда: Нижний Новгород (56,3°N; 43,9°E)
|
Добавлено: 19.08.2007 03:34 Заголовок сообщения: |
|
|
альяно писал(а): | поэтому возведение в степень надо делать
через организация цикла - умножением
и с вычитанием старших разрядов ... чтобы не было
округления компьютером ...
и не терялись последние цифры числа ... |
Этот алгоритм реализовать несложно...
Как должен осуществляться ВВОД чисел?
И про ВЫВОД данных - поподробнее...
Я, в принципе, могу написать на C/C++ консольную прогу (или GUI под Linux, точнее - под X)... под Windows GUI не обещаю, т.к. компилироваться из KDevelop (компилятором g++) GUI под Windows не желает, и я не уверен на 100%, что смогу заставить его компилироваться... А Visual C++ у меня не было и нету...
Пойдёт такой вариант, если я реализую на C++ сам алгоритм (или реализую КОНСОЛЬНОЕ приложение), а кто-нибудь GUI под Windows прикрутит?
Globus писал(а): | Разве решение методом перебора является доказательством? |
Допустим, при каком-то n теорема будет верна... но это НЕ ДАЁТ подтверждения, что она будет ВЕРНА при n+1...
Таким образом:
альяно писал(а): | методом перебора - как раз ничего не докажешь ...
натуральный ряд - бесконечен ... |
Я АБСОЛЮТНО СОГЛАСЕН с альяно!!! _________________ Gibertini OP125L, Stab HH120, GI-411: Invacom SNH-031+GI-101+A-Telecom SPL-2920 "Классика"
Супрал 0.6, Inverto IDL-40US
SkyStar1 rev1.5, TT-budget S1401; Cavel Sat703B |
|
Вернуться к началу |
|
 |
альяно ____________

Зарегистрирован: 16.11.2004 Сообщения: 28168
|
Добавлено: 19.08.2007 05:43 Заголовок сообщения: |
|
|
если для какого-то n - теорема верна ...
то из этого следует, что
если сложить по теореме
не сами числа - а только их "окончания" - то мы тоже получим
НЕравенство ...
а вот то, что мы складывем только окончания, ...
позволяет сделать ещё один вывод ...
НЕравенство чисел из теоремы для степени - n -
доказывает и НЕравентво чисел -
для бесконечного числа степеней -
КРАТНОГО n
почему ???
потому-что, при возведении в степень ... любого числа
его окончение начинает "повторятся"
( не верите - ?? а вы попробуйте )
и кратность этого повторения
зависит от самой степени ... и разрядности окончания ...
именно это я и и заметил когда мне было 12 лет ...
Кроме того теорема ведь
утверждает что НЕТ таких чисел ..
удовлетворяющих приведенному условию ...
значит и доказательство для ограниченной "таблицы"
можно сделать перебором
на компьютере ...
но это докажет - справедливость теоремы
для всех степеней ... |
|
Вернуться к началу |
|
 |
альяно ____________

Зарегистрирован: 16.11.2004 Сообщения: 28168
|
Добавлено: 20.08.2007 17:02 Заголовок сообщения: |
|
|
.. из всех программистов
математков
отозвался - Ne0
и написал мне такую программку ...
СПАСИБО !!!!
но я сейчас не в Москве - ... как попробую сразу
напишу ... |
|
Вернуться к началу |
|
 |
альяно ____________

Зарегистрирован: 16.11.2004 Сообщения: 28168
|
Добавлено: 20.08.2007 17:35 Заголовок сообщения: |
|
|
попробовал ...
считает ...
а теперь нам надо сделать
программу для построения ТАБЛИЦЫ ...
по вертикали натуральные числа
от нуля - до заданного нами числа
по горизонтали - "окончения" этих чисел
( заданной нами разрядности )
от возведения этих чичел в степень
от степени ОДИН до заданой нами степени ...
для примера
по вертикали числа
от 0 до 9
по горизонтали ( последняя цифра числа )
от возведения в степень от 1 до 8
это малая таблица - немного объяснит, про что я говорю |
|
Вернуться к началу |
|
 |
альяно ____________

Зарегистрирован: 16.11.2004 Сообщения: 28168
|
Добавлено: 21.08.2007 17:34 Заголовок сообщения: |
|
|
прогу с табличкой Ne0 написал !!!!
СУПЕР ...
а когда-то я её делал вручную
ну а теперь посмотрим ...
вот табличка с окончанием в одну цифру ...
видите после степени 4 - идет повторение ...
если окончание взять две цифры то
повторы начнутся после 22 степени
а это значит
что можно снять вопросы - "бесконечности"
анализируя только таблицы - ограниченного размера ...
подробности позже ... |
|
Вернуться к началу |
|
 |
Ne0 модератор

Зарегистрирован: 02.01.2006 Сообщения: 716 Откуда: Нижний Новгород (56,3°N; 43,9°E)
|
Добавлено: 21.08.2007 18:25 Заголовок сообщения: |
|
|
Альяно, Вы пользуйтесь СТАРОЙ "тестовой" версией... с выводом в ТЕКСТОВОЙ форме.
Я уже обновил программу (ссылка прежняя), теперь она работает почти в 2 раза БЫСТРЕЕ и выводит данные в виде ТАБЛИЦЫ в HTML...
Эту таблицу уже можно будет вставить в ФОРУМ в виде ТАБЛИЦЫ, а не картинки...
З.Ы. Также в "тестовой" версии была найдена небольшая ошибка (точнее, не ошибка, а "некорректность"), приводящая (в редких случаях) к ВЫЛЕТАНИЮ программы...  _________________ Gibertini OP125L, Stab HH120, GI-411: Invacom SNH-031+GI-101+A-Telecom SPL-2920 "Классика"
Супрал 0.6, Inverto IDL-40US
SkyStar1 rev1.5, TT-budget S1401; Cavel Sat703B |
|
Вернуться к началу |
|
 |
альяно ____________

Зарегистрирован: 16.11.2004 Сообщения: 28168
|
Добавлено: 21.08.2007 19:08 Заголовок сообщения: |
|
|
фотки таблиц я заготовил ещё
утром,
но не смог передать - очень плохая связь по GPRS
новую версию я скачал ...
СПАСИБО ....
изучаю ....
далее мы будем анализировать столбцы
данных таблиц
и по "окончаниям" и разрядности .. доказывать,
что для степеней ВЫШЕ второй
нет чисел удовлетворяющих условиям
теоремы Ферма ...
и доказав это на ограниченной таблице -
это будет справедливо,
для всех чисел и для всех степеней ...
так как "окончания" - повторяются .... |
|
Вернуться к началу |
|
 |
альяно ____________

Зарегистрирован: 16.11.2004 Сообщения: 28168
|
Добавлено: 22.08.2007 16:34 Заголовок сообщения: |
|
|
итак ... продолжаем ...
на примере двух таблиц мы убедились,
что не обязательно доказывать теорему
для ВСЕХ натуральных чисел,
и для ВСЕХ степеней ....
Еще раз повторю - почему ...
Если для какой-то степени кроме второй
теорема верна, ТО ...
есть числа
сумма степеней которых - равна степени третьего
числа ...
но это означает, что и "окончания" этих чисел
должны удовлетворять этому условию ...
теперь попросим Ne0 сделать аналитическую программку ...
мы задаем степень ...
начальное число
конечное число
разрядность окончания
( так же как и при ФОРМИРОВАНИИ таблицы )
у нас получится ОДИН столбец ...
этот массив чисел мы проверим на
- "первое условие"
программа должна найти, - есть ли в этом столбце
( массиве )
числа удовлетворяющие условию теоремы Ферма
то-есть сумма двух чисел из столбца
равна третьему числу из этого же столбца ....
===
скажу сразу ....
у нас в кармане есть и ещё
одно условие которое нам поможет,
если "первого условия" будет недостаточно
это - РАЗРЯДНОСТЬ этих чисел ...
но об этом поговорим - только после того,
как мы проанализируем результаты работы программы
с "первым условием" |
|
Вернуться к началу |
|
 |
Ne0 модератор

Зарегистрирован: 02.01.2006 Сообщения: 716 Откуда: Нижний Новгород (56,3°N; 43,9°E)
|
Добавлено: 23.08.2007 02:26 Заголовок сообщения: |
|
|
альяно писал(а): | теперь попросим Ne0 сделать аналитическую программку ... |
УсеХда готов!
Скорее всего, сегодня начну писАть!
альяно писал(а): | программа должна найти, - есть ли в этом столбце
( массиве )
числа удовлетворяющие условию теоремы Ферма |
А вывод данных каким образом организовать?..
Если таких чисел НЕТ - тут всё ясно...
А если они ЕСТЬ - выводить строкой типа "A+B=C"?.. или как? _________________ Gibertini OP125L, Stab HH120, GI-411: Invacom SNH-031+GI-101+A-Telecom SPL-2920 "Классика"
Супрал 0.6, Inverto IDL-40US
SkyStar1 rev1.5, TT-budget S1401; Cavel Sat703B |
|
Вернуться к началу |
|
 |
альяно ____________

Зарегистрирован: 16.11.2004 Сообщения: 28168
|
Добавлено: 23.08.2007 07:27 Заголовок сообщения: |
|
|
при выводе лучше указывать
и сами натуральные числа ( в скобках )
и их окончания ....
может вот так
451(7) + 123 (26) = 574 (27)
потому-что кроме суммы
мы ещё будем анализировать,
близость найденных чисел
друг от друга в столбце ...
---------------
Для окончания в одну цифру
нам надо проанализировать
10 цифр до степени 4 ...
для окончания в две цифры
- 100 чисел до степени 21 ...
для окончания в три цифры
1000 чисел до степени 103
далее я думаю не понадобится,
посмотрим результаты
и попробуем применить "второе условие" |
|
Вернуться к началу |
|
 |
|