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

ЛИЧНЫЙ КАБИНЕТ 

 

Здравствуйте гость!

 

Логин:

Пароль:

 

Запомнить

 

 

Забыли пароль? Регистрация

Повышение уникальности

Предлагаем нашим посетителям воспользоваться бесплатным программным обеспечением «StudentHelp», которое позволит вам всего за несколько минут, выполнить повышение уникальности любого файла в формате MS Word. После такого повышения уникальности, ваша работа легко пройдете проверку в системах антиплагиат вуз, antiplagiat.ru, etxt.ru или advego.ru. Программа «StudentHelp» работает по уникальной технологии и при повышении уникальности не вставляет в текст скрытых символов, и даже если препод скопирует текст в блокнот – не увидит ни каких отличий от текста в Word файле.

Результат поиска


Наименование:


научная работа Использование теоретико-числового и алгебраического метода доказательства, с наглядной геометрической верификацией, который был изобретен П. Ферма. Верификация метода бесконечных (неопределенных) спусков, который применяется для доказательства теоремы.

Информация:

Тип работы: научная работа. Предмет: Математика. Добавлен: 11.01.2008. Сдан: 2008. Уникальность по antiplagiat.ru: --.

Описание (план):


1
Доказательство Великой теоремы Ферма
с помощью метода бесконечных (неопределенных) спусков

§1.
Решение задач в науке определяется верифицированным методом доказательства. Как мы видим из разнообразной литературы по проблеме решения Великой теоремы Ферма неразличение исторических счастливых случайных, и оттого многообразных, находок и логических т.е. теоретических нормальных закономерных изобретений сделало из числового уравнения задачу «икс» для многих поколений математиков.
Анализ монографий и учебников по самым различным наукам и, в том числе, т.н. математическим показывает, что представление наук «об их предмете» является самым слабым звеном. Затем идет «представление о методе», о «научном законе» и «языке науки».
Как соотносится решение конкретной задачи с представлением наук о предмете, методе, научном законе и языке конкретной науки? Обычно этим вопросом никто и не задается. Но первое же действие по решению задачи привело автора к необходимости определиться, узнать, с помощью какой науки или совокупности наук надо подойти к решению задачи, какой инструмент необходим? При нынешнем плюрализме в науках уже одно это занятие ставит исследователя в неловкое положение. Что говорить, если даже из предмета т.н. точных, математических наук явно не увидеть явно то, чем занимается наука (предмет науки).
Условия задачи указывают на необходимость привлечения к исследованию науки о числах и науки о действиях с числами (и в общем виде с величинами). С наукой о числах больших проблем не возникло, это область теории чисел, но вот то, что действие с числами это предмет алгебры - может догадаться только очень искушенный в т.н. математических трудах исследователь. И то неявно. Недоумение вызвал и тот факт, что понятие границ величины автор так и не нашел. Т.е. как математики отличают величину от не-величны в явном виде автор так и не смог определить (для себя принял условие, что границы величины должны быть несоизмеримы с величиной и выражаются нулевым числом т.е. они могут соизмеряться с величиной, но должны быть меньше самой малой дискретной меры величины).
Сама математика при изучении ее фактического материала представляется автору, скорее, в виде научной дисциплины по созданию моделей с определенными (описанными) величинами, которая использует закономерности всего круга т.н. математических наук.
Вместе с тем, гипотеза Ферма, доказать которую мы беремся в данной работе, сформулирована таким образом, что указывает нам на необходимость привлечения еще и науки о геометрических формах и представлениях числа.
В настоящей статье предлагается использовать теоретико-числовой и алгебраический метод доказательства, с наглядной геометрической верификацией, который был изобретен П.Ферма, автором Великой гипотезы (и как мы увидим далее - теоремы), названной в его честь. Изобретенный им метод доказывания, называемый методом бесконечных (неопределенных) спусков основан на интеллектуальной возможности производить определенные (имеющие свойства) действия с существующими числами и действительными числовыми выражениями.
Этот математический метод П. Ферма описывал в своем письме к Каркави (август 1659 года) следующим образом:
«Если бы существовал некоторый прямоугольный треугольник в целых числах, который имел бы площадь, равную квадрату, то существовал бы другой треугольник, меньший этого, который обладал бы тем же свойством. Если бы существовал второй, меньший первого, который имел бы то же свойство, то существовал бы, в силу подобного рассуждения, третий, меньший второго, который имел бы то же свойство, и, наконец, четвертый, пятый, спускаясь до бесконечности. Но если задано число, то не существует бесконечности по спуску меньших его (я все время подразумеваю целые числа). Откуда заключают, что не существует никакого прямоугольного треугольника с квадратной площадью».
Дано утверждение (в лексике П.Ферма Из разных источников):
«Нельзя разложить куб на два куба, ни квадрато-квадрат (т. е. четвертую степень числа) на два квадрато-квадрата, ни вообще никакую степень выше квадрата и до бесконечности нельзя разложить на две степени с тем же показателем». Далее автор утверждения - П.Ферма делает заметку: «Я открыл этому поистине чудесное доказательство, но эти поля (имеется ввиду книги которую он читал книги - авт.) для него слишком узки».
«Наоборот, невозможно разложить ни куб на два куба, ни биквадрат на два биквадрата и вообще ни в какую степень, большую квадрата, на две степени с тем же показателем».
На современном математическом языке.
Дано: уравнение an + bn = cn при натуральном n? N, n > 2, не имеет решения в ненулевых целых числах а' , b', c' , {a', b', c'} Ўш Z .
Доказательство:

Рассмотрим метод бесконечных (неопределенных) спусков, который мы собираемся применить для доказательства.
Дано уравнение: a2 + b2 = c2;
Решения данного уравнения выражаются в следующей геометрической форме:прямоугольный треугольник с катетами a , b и гипотенузой c.
Предположим, что уравнение a2 + b2 = c2 имеет решение в целых числах a', b', c'
Метод бесконечного (неопределенного) утверждает, что если существует прямоугольный треугольник со сторонами a', b', c' выраженным в натуральных числах то, будет существовать бесконечное число прямоугольных треугольников имеющих стороны:

a пропорционально a' ,
b пропорционально b',
c пропорционально c',
Т.е. если есть решение уравнения (существует треугольник a', b', c') то мы можем найти бесконечное пропорциональное количество решений уравнения
a2 + b2 = c2
где
ai = ki · а' ;
bi = ki ·b' ;
ci = ki ·c' ;
где к - любое действительное число, а i - произвольный нумератор решений множества решений
I состоящее из решений совокупности связанных решений (ai, bi , ci) определяемых через любое существующее решение (a', b', c') .
Таким образом, i -тое решение уравнения a2 + b2 = c2 позволяет нам найти определить I -тое коммутативное множество решений уравнения.
Принципиальная невозможность решения уравнения a2 + b2 = c2 позволяет нам утверждать невозможности получения всего множества решений уравнения.
Верификация метода бесконечных (неопределенных) спусков:
Стороны уравнения a2 + b2 = c2 в силу закона ассоциативности могут быть умножены на любое рациональное число К выраженное через действительное число к в виде К = к 2: мы можем сделать преобразование и в целых числах a', b', c' представить уравнение a2 + b2 = c2 выражением в виде:

К · (a' 2 + b' 2) = К · c' 2
в силу закона дистрибутивности (или распределительности) можно сделать следующее преобразование и получить выражение в виде:
K·a'2 + K· b'2 = K· c'2

где К - любое рациональное число и К = к 2 где к - любое действительное число следующее преобразование приводит уравнение
an + bn = cn к виду:

k2a2 + k2b2 = k2c2
(ka)2 + (kb)2 = (kc)2
где К - любое рациональное число K Ўф { Q }, где Q - поле рациональных чисел, образованное из действительного числа k по формуле К = k 2 , где число k Ўф { R }, где R - поле действительных чисел
Действительное число к множества действительных чисел - позволяет работать во всем действительном числовом поле решений, представленных в виде (kia', kib', kic') даже при единственном возможном решении где a', b', c' - целые числа
Множество всех действительных чисел составляют натуральные, целые, рациональные и иррациональные числа
N Ўш Z Ўш Q Ўш R , J? R решения { kia', kib', kic' } Ўш R .
Это значит, что если не существует решения a2 + b2 = c2 (a', b', c') не существует и ни одного решения (kia', kib', kic') во всем множестве целых чисел
(a, b, c) Ўш Z
Верификация метода бесконечных (неопределенных) спусков в геометрическом виде представлена Возможно, эта формула может служить источником объяснения иррациональности корня из 2, то есть невозможности решений уравнений для к = с в рациональных числах. на рис. 1:
рис. 1
Возможность получения бесконечного множества I пропорциональных решений при известном i -том решении прямоугольного треугольника и поможет нам в разрешении поставленной задачи.
Теперь, собственно, перейдем к доказательству Великой теоремы (утверждения) Ферма:
уравнение an + bn = cn при натуральном n? N, n > 2, не имеет решения в ненулевых целых числах а' , b', c' , {a', b', c'} Ўш Z ,
Рассмотрим уравнение:
an + bn = cn

Уравнение an + bn = cn можно представить в виде

(an-2) · a2 +(bn-2) · b2 = (cn-2) · c2
Предположим, что уравнение an + bn = cn имеет решение в целых числах а' , b', c'
тогда уравнение an + bn = cn можно представить выражением в виде:
(a'n-2) · a'2 +(b'n-2) · b'2 = (c'n-2) · c'2
А, затем, в виде:
Ka·a'2 + Kb· b'2 = Kc· c'2
Где
Ka = (a'n-2), Kb = (b'n-2), Kc = (c'n-2) , где n > 2 , n? N, {a', b', c'} Ўш Z .
Значит, {Ka , Kb , Kc } Ўш Z принадлежит множеству натуральных чисел
Данное выражение Ka·a'2 + Kb· b'2 = Kc· c'2, имеющее решение в целых числах геометрически является также прямоугольным треугольником со сторонами:
a1 = ka·a' и Ka = ka2
b1 = kb· b' и Ka = kb2
c1 = kc· c' и Ka = kc2
где {ka, kb, kc }? R
но {Ka , Kb , Kc } Ўш Z т.к. образуются из произведений целых чисел Ka = (a'n-2), Kb = (b'n-2), Kc = (c'n-2) при натуральном n > 2

Уравнение an + bn = cn

Перейти к полному тексту работы



Смотреть похожие работы


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