Обобщенная теорема пифагора доказательство. Несколько способов доказательства теоремы пифагора

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

В прямоугольном треугольнике площадь квадрата, построенного на гипотенузе равна сумме площадей квадратов, построенных на катетах.

Обозначив длину гипотенузы треугольника c, а длины катетов как a и b, получим следующую формулу:

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

Для любых трех положительных чисел a, b и c, таких что a ? + b ? = c ?, существует прямоугольный треугольник с катетами a и b и гипотенузой c.

Визуальное доказательство для треугольника (3, 4, 5) из книги «Чу Пэй» 500-200 до н.э. Историю теоремы можно разделить на четыре части: знание о Пифагоровы числа, знания об отношении сторон в прямоугольном треугольнике, знание об отношении смежных углов и доказательство теоремы.
Мегалитические сооружения около 2500 до н.э. в Египте и Северной Европе, содержат прямоугольные треугольники со сторонами из целых чисел. Бартель Леендерт ван дер Варден высказал гипотезу, что в те времена Пифагоровы числа были найдены алгебраически.
Написанный между 2000 и 1876 до н.э. папирус времен Среднего Египетского царства Berlin 6619 содержит задачу решением которой являются числа Пифагора.
Во время правления Хаммурапи Великого, вивилонська табличка Plimpton 322, написанная между 1790 и 1750 до н.э содержит много записей тесно связанных с числами Пифагора.
В сутрах Будхаяны, которые датируются по разным версиям восьмой или второй веками до н.э. в Индии, содержит Пифагоровы числа выведены алгебраически, формулировка теоремы Пифагора и геометрическое доказательство для ривнобедренного прямоугольного треугольника.
В сутрах Апастамба (около 600 до н.э.) содержится числовое доказательство теоремы Пифагора с использованием вычисления площади. Ван дер Варден считает, что оно было основано на традициях предшественников. Согласно Альбертом Бурко, это оригинальное доказательство теоремы и он предполагает, что Пифагор посетил Араконам и скопировал его.
Пифагор, годы жизни которого обычно указывают 569 – 475 до н.э. использует алгебраические методы расчета пифагоровых чисел, согласно Проклова комментариями к Евклида. Прокл, однако, жил между 410 и 485 годами н.э. Согласно Томасом Гизом, нет никаких указаний на авторство теоремы течение пяти веков после Пифагора. Однако, когда такие авторы как Плутарх или Цицерон приписывают теорему Пифагору, они делают это так, будто авторство широко известно и несомненно.
Около 400 до н. э соответствии Прокла, Платон дал метод расчета пифагоровых чисел, сочетавший алгебру и геометрию. Около 300 до н.э., в Началах Евклида имеем древнейшее аксиоматическое доказательство, которое сохранилось до наших дней.
Написанные где-то между 500 до н.э. и 200 до н.э., китайский математическая книга «Чу Пэй» (? ? ? ?), дает визуальное доказательство теоремы Пифагора, которая в Китае называется теорема гугу (????), для треугольника со сторонами (3, 4, 5). Во время правления династии Хань, с 202 до н.э. до 220 н.э. Пифагоровы числа появляются в книге «Девять разделов математического искусства» вместе с упоминанием о прямоугольные треугольники.
Впервые зафиксировано использование теоремы в Китае, где она известна как теорема гугу (????) и в Индии, где она известна как теорема Баскара.
Многие дискутируется была теорема Пифагора открыта один раз или многократно. Бойер (1991) считает, что знания обнаружены в Шульба Сутра могут быть месопотамского происхождения.
Алгебраическое доказательство
Квадраты образуются из четырех прямоугольных треугольников. Известно более ста доказательств теоремы Пифагора. Здесь представлены доказательства основан на теореме существования площади фигуры:

Разместим четыре одинаковые прямоугольные треугольники так, как это изображено на рисунке.
Четырехугольник со сторонами c является квадратом, так как сумма двух острых углов , А развернутый угол – .
Площадь всей фигуры равна, с одной стороны, площади квадрата со стороной «a + b», а с другой – сумме площадей четырех треугольников и внутреннего квадрата.

Что и необходимо доказать.
По сходству треугольников
Использование подобных треугольников. Пусть ABC – прямоугольный треугольник, в котором угол C прямой, как показано на рисунке. Проведем высоту с точки C, и назовем H точку пересечения со стороной AB. Образован треугольник ACH подобен треугольника ABC, поскольку они оба прямоугольные (по определению высоты), и у них общий угол A, очевидно третий угол будет в этих треугольников также одинаков. Аналогично миркуюючы, треугольник CBH также подобен треугольника ABC. С подобия треугольников: Если

Это можно записать в виде

Если добавить эти две равенства, получим

HB + c times AH = c times (HB + AH) = c ^ 2, ! Src = "http://upload.wikimedia.org/math/7/0/9/70922f59b11b561621c245e11be0b61b.png" />

Другими словами, теорема Пифагора:

Доказательство Евклида
Доказательство Евклида в евклидовых «Началах», теорема Пифагора доказана методом параллелограммов. Пусть A, B, C вершины прямоугольного треугольника, с прямым углом A. Опустим перпендикуляр из точки A на сторону противоположную гипотенузы в квадрате построенном на гипотенузе. Линия делит квадрат на два прямоугольника, каждый из которых имеет такую же площадь, что и квадраты построены на катетах. Главная идея при доказательстве состоит в том, что верхние квадраты превращаются в параллелограммы такой же площади, а потом возвращаются и превращаются в прямоугольники в нижнем квадрате и снова при неизменной площади.

Проведем отрезки CF и AD, получим треугольники BCF и BDA.
Углы CAB и BAG – прямые; соответственно точки C, A и G – коллинеарны. Так же B, A и H.
Углы CBD и FBA – оба прямые, тогда угол ABD равен углу FBC, поскольку оба являются суммой прямого угла и угла ABC.
Треугольник ABD и FBC уровне по двум сторонам и углу между ними.
Поскольку точки A, K и L – коллинеарны, площадь прямоугольника BDLK равна двум площадям треугольника ABD (BDLK = BAGF = AB 2)
Аналогично миркуюючы получим CKLE = ACIH = AC 2
С одной стороны площадь CBDE равна сумме площадей прямоугольников BDLK и CKLE, а с другой стороны площадь квадрата BC 2, или AB 2 + AC 2 = BC 2.

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

Интегрируя получим

Если a = 0 тогда c = b, так что "константа" – b 2. Тогда

Как можно увидеть, квадраты получен благодаря пропорции между приращениями и сторонами, тогда как сумма является результатом независимого вклада приростов сторон, не очевидно из геометрических доказательств. В этих уравнениях da и dc – соответственно бесконечно малые приращения сторон a и c. Но вместо них мы используем? a и? c, тогда предел отношения, если они стремятся к нулю равна da / dc, производная, и также равен c / a, отношению длин сторон треугольников, в результате получаем дифференциальное уравнение.
В случае ортогональной системы векторов имеет место равенство, которую также называют теоремой Пифагора:

Если – Это проекции вектора на координатные оси, то эта формула совпадает с расстоянием Евклида и означает, что длина вектора равна корню квадратному суммы квадратов его компонентов.
Аналог этого равенства в случае бесконечной системы векторов называется равенства Парсеваля.

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

История теоремы Пифагора

Связанная с именем Пифагора, теорема была известна задолго до рождения великого философа. Так, в Египте, при строительстве сооружений, учитывалось соотношение сторон прямоугольного треугольника пять тысячелетий назад. В вавилонских текстах упоминается о все том же соотношении сторон прямоугольного треугольника за 1200 лет до рождения Пифагора.

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

Из жизни Пифагора

Будущий великий ученый, математик, философ родился на острове Самосе в 570 году до нашей эры. Исторические документы сохранили сведения об отце Пифагора, который был резчиком по драгоценным камням, а вот о матери сведений нет. О родившемся мальчике говорили, что это незаурядный ребенок, проявивший с детского возраста страсть к музыке и поэзии. К учителям юного Пифагора историки относят Гермодаманта и Ферекида Сиросского. Первый ввел мальчика в мир муз, а второй, будучи философом и основателем итальянской школы философии, направил взор юноши к логосу.

В 22 года от роду (548 г. до н. э.) Пифагор отправился в Навкратис для изучения языка и религии египтян. Далее его путь лежал в Мемфис, где благодаря жрецам, пройдя через их хитроумные испытания, он постиг египетскую геометрию, которая, возможно натолкнула пытливого юношу на доказательство теоремы Пифагора. История в дальнейшем припишет теореме именно это имя.

В плену царя Вавилона

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

В 530 г. до н.э. Пифагор бежит из плена на родину, где живет при дворе тирана Поликрата в статусе полураба. Такая жизнь Пифагора не устраивает, и он удаляется в пещеры Самоса, а затем отправляется на юг Италии, где в то время располагалась греческая колония Кротон.

Тайный монашеский орден

На базе этой колонии Пифагор организовал тайный монашеский орден, представлявший собой религиозный союз и научное общество одновременно. Это общество имело свой устав, в котором говорилось о соблюдении особого образа жизни.

Пифагор утверждал, чтобы понять Бога, человек должен познать такие науки как алгебра и геометрия, знать астрономию и понимать музыку. Исследовательская работа сводилась к познанию мистической стороны чисел и философии. Следует отметить, что проповедованные в то время Пифагором принципы, имеют смысл в подражании и в настоящее время.

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

Учение Пифагора

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

О своем учении Пифагор рассказывал только своим ученикам устно, не делая никаких записей, держа его в тайне. К великому сожалению, учение величайшего философа не сохранилось до наших дней. Что-то из него просочилось, но нельзя сказать сколько истинного, а сколько ложного в том, что стало известно. Даже с историей теоремы Пифагора не все бесспорно. Историки математики сомневаются в авторстве Пифагора, по их мнению теоремой пользовались за много веков до его рождения.

Теорема Пифагора

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

Есть доказательства одного из крупнейших историков математики Морица Кантора, обнаружившего на папирусе, хранящемся в Берлинском музее, записанное египтянами примерно в 2300 году до н. э. равенство, которое гласило: 3² + 4² = 5².

Кратко из истории теоремы Пифагора

Формулировка теоремы из евклидовых "Начал", в переводе звучит также как и в современной интерпретации. Нового в ее прочтении нет: квадрат стороны противолежащей прямому углу, равен сумме квадратов сторон, прилегающих к прямому углу. О том, что теоремой пользовались древние цивилизации Индии и Китая подтверждает трактат "Чжоу — би суань цзинь". Он содержит сведения об египетском треугольнике, в котором описано соотношение сторон как 3:4:5.

Не менее интересна еще одна китайская математическая книга «Чу-пей», в которой также упоминается о пифагоровом треугольнике с пояснением и рисунками, совпадающими с чертежами индусской геометрии Басхары. О самом треугольнике в книге написано, что если прямой угол можно разложить на составные части, тогда линия, которая соединяет концы сторон, будет равна пяти, если основание равно трем, а высота равна четырем.

Индийский трактат "Сульва сутра", относящийся примерно к VII-V векам до н. э., рассказывает о построении прямого угла при помощи египетского треугольника.

Доказательство теоремы

В средние века ученики считали доказательство теоремы слишком трудным делом. Слабые ученики заучивали теоремы наизусть, без понимания смысла доказательства. В связи с этим они получили прозвище "ослы", потому что теорема Пифагора была для них непреодолимым препятствием, как для осла мост. В средние века ученики придумали шутливый стих на предмет этой теоремы.

Чтобы доказать теорему Пифагора самым легким путем, следует просто измерить его стороны, не используя в доказательстве понятие о площадях. Длина стороны, противолежащая прямому углу - это c, а прилежащие к нему a и b, в результате получаем уравнение: a 2 + b 2 = c 2 . Данное утверждение, как говорилось выше, проверяется путем измерения длин сторон прямоугольного треугольника.

Если начать доказательство теоремы с рассмотрения площади прямоугольников, построенных на сторонах треугольника, можно определить площадь всей фигуры. Она будет равна площади квадрата со стороной (a+b), а с другой стороны, сумме площадей четырех треугольников и внутреннего квадрата.

(a + b) 2 = 4 x ab/2 + c 2 ;

a 2 + 2ab + b 2 ;

c 2 = a 2 + b 2 , что и требовалось доказать.

Практическое значение теоремы Пифагора заключается в том, что с ее помощью можно найти длины отрезков, не измеряя их. При строительстве сооружений рассчитываются расстояния, размещение опор и балок, определяются центры тяжести. Применяется теорема Пифагора и во всех современных технологиях. Не забыли о теореме и при создании кино в 3D-6D-измерениях, где кроме привычных нам 3-х величин: высоты, длины, ширины - учитываются время, запах и вкус. Как связаны с теоремой вкусы и запахи - спросите вы? Все очень просто - при показе фильма нужно рассчитать, куда и какие запахи и вкусы направлять в зрительном зале.

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

Вокруг да около

История теоремы Пифагора уходит в века и тысячелетия. В этой статье, мы не будем подробно останавливаться на исторических темах. Для интриги, скажем только, что, по-видимому, эту теорему знали еще древне-египетские жрецы, жившие более 2000 лет до нашей эры. Для тех, кому любопытно, вот ссылка на статью в Википедии .

Прежде всего, хочется для полноты изложения привести здесь доказательство теоремы Пифагора, которое, по моему мнению, наиболее элегантно и очевидно. На рисунке выше изображено два одинаковых квадрата: левый и правый. Из рисунка видно, что слева и справа площади закрашенных фигур равны, так как в каждом из больших квадратов закрашено по 4 одинаковых прямоугольных треугольника. А это означает, что и незакрашенные (белые) площади слева и справа тоже равны. Замечаем, что в первом случае площадь незакрашенной фигуры равна , а во втором - площадь незакрашенной области равна . Таким образом, . Теорема доказана!

Как же назвать эти числа? Треугольниками не назовешь, ведь четыре числа никак не могут образовать треугольник. И тут! Как гром среди ясного неба

Раз есть такие четверки чисел, значит должен быть геометрический объект с такими же свойствами, отраженными в этих числах!

Теперь осталось только подобрать какой-то геометрический объект под это свойство, и все встанет на свои места! Конечно, предположение было чисто гипотетическое, и никакого подтверждения под собой не имело. Но что если это так!

Начался перебор объектов. Звезды, многоугольники, правильные, неправильные, с прямым углом и так далее и тому подобное. Опять ничего не подходит. Что делать? И в этот момент Шерлок получает свою вторую зацепку.

Надо повысить размерность! Раз тройке соответствуют треугольник на плоскости, значит четверке соответствует нечто трехмерное!

О нет! Опять перебор вариантов! А в трехмерии гораздо, гораздо больше всевозможных геометрических тел. Попробуй перебрать их все! Но не все так плохо. Есть же еще прямой угол и другие зацепки! Что мы имеем? Египетские четверки чисел (пусть будут египетские, надо же их как-то называть), прямой угол (или углы) и некий трехмерный объект. Дедукция сработала! И… Полагаю, что догадливые читатели уже поняли, что речь идет о пирамидах, у которых при одной из вершин все три угла - прямые. Можно даже назвать их прямоугольными пирамидами по аналогии с прямоугольным треугольником.

Новая теорема

Итак, у нас есть все что нужно. Прямоугольные (!) пирамиды, боковые грани-катеты и секущая грань-гипотенуза . Пришло время нарисовать еще одну картинку.


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

Теорема

Пусть есть прямоугольная пирамида, образованная тремя взаимно-перпендикулярными векторами , у которой площади граней-катетов равны - , и площадь грани-гипотенузы - . Тогда

Альтернативная формулировка: У четырехгранной пирамиды, у которой при одной из вершин все плоские углы прямые, сумма квадратов площадей боковых граней равна квадрату площади основания.

Разумеется, если обычная теорема Пифагора формулируется для длин сторон треугольников, то наша теорема формулируется для площадей сторон пирамиды. Доказать эту теорему в трех измерениях очень просто, если вы немного знаете векторную алгебру.

Доказательство

Выразим площади через длины векторов .

где .

Площадь представим как половину площади параллелограмма, построенного на векторах и

Как известно, векторное произведение двух векторов - это вектор, длина которого численно равна площади параллелограмма, построенного на этих векторах.
Поэтому

Таким образом,

Что и требовалось доказать!

Конечно, как у человека, профессионально занимающегося исследованиями, подобное в моей жизни уже случалось, и не раз. Но этот момент был самым ярким и самым запоминающимся. Я испытал полную гамму чувств, эмоций, переживаний первооткрывателя. От зарождения мысли, кристализации идеи, нахождения доказательства - до полного непонимания и даже неприятия, которое встретили мои идеи у моих друзей, знакомых и, как мне тогда казалось, у целого мира. Это было уникально! Я словно почувствовал себя в шкуре Галлилея, Коперника, Ньютона, Шредингера, Бора, Эйнштейна и многих многих других открывателей.

Послесловие

В жизни, все оказалось гораздо проще и прозаичнее. Я опоздал… Но на сколько! Всего-то навсего 18 лет! Под страшными продолжительными пытками и не с первого раза Гугл признался мне, что эта теорема была опубликована в 1996 году!

Статья опубликована издательством Техасского технического университета. Авторы, профессиональные математики, ввели терминологию (которая, кстати, во многом совпала с моей) и доказали также и обобщенную теорему справедливую для пространства любой размерности большей единицы. Что же произойдет в размерностях более высоких, чем 3? Все очень просто: вместо граней и площадей будут гиперповерхности и многомерные объемы. А утверждение, конечно, останется все тем же: сумма квадратов объемов боковых граней равна квадрату объема основания, - просто количество граней будет больше, а объем каждой из них станет равен половине произведения векторов-образующих. Вообразить это почти невозможно! Можно только, как говорят философы, помыслить!

Что удивительно, узнав о том, что такая теорема уже известна, я ничуть не расстроился. Где-то в глубине души я подозревал, что вполне возможно, я был не первый, и понимал, что нужно быть всегда к этому готовым. Но тот эмоциониальный опыт, который я получил, зажег во мне искру исследователя, которая, я уверен, теперь уже не угаснет никогда!

P.S.

Эрудированный читатель в комментариях прислал ссылку
Теорема де Гуа

Выдержка из Википедии

В 1783 году теорема была представлена Парижской академии наук французским математиком Ж.-П. де Гуа, однако ранее она была известна Рене Декарту и до него Иоганну Фульгаберу (англ.), который, вероятно, первым открыл её в 1622 году. В более общем виде теорему сформулировал Шарль Тинсо (фр.) в докладе Парижской академии наук в 1774 году

Так что я опоздал не на 18 лет, а как минимум на пару веков!

Источники

Читатели указали в комментариях несколько полезных ссылок. Вот эти и некоторые другие ссылки:

Теорема Пифагора — одна из основополагающих теорем евклидовой геометрии, устанавливающая соотношение

между сторонами прямоугольного треугольника .

Считается, что доказана греческим математиком Пифагором, в честь которого и названа.

Геометрическая формулировка теоремы Пифагора.

Изначально теорема была сформулирована следующим образом:

В прямоугольном треугольнике площадь квадрата , построенного на гипотенузе , равна сумме площадей квадратов ,

построенных на катетах.

Алгебраическая формулировка теоремы Пифагора.

В прямоугольном треугольнике квадрат длины гипотенузы равен сумме квадратов длин катетов.

То есть, обозначив длину гипотенузы треугольника через c , а длины катетов через a и b :

Обе формулировки теоремы Пифагора эквивалентны, но вторая формулировка более элементарна, она не

требует понятия площади. То есть второе утверждение можно проверить, ничего не зная о площади и

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

Обратная теорема Пифагора.

Если квадрат одной стороны треугольника равен сумме квадратов двух других сторон, то

треугольник прямоугольный.

Или, иными словами:

Для всякой тройки положительных чисел a , b и c , такой, что

существует прямоугольный треугольник с катетами a и b и гипотенузой c .

Теорема Пифагора для равнобедренного треугольника.

Теорема Пифагора для равностороннего треугольника.

Доказательства теоремы Пифагора.

На данный момент в научной литературе зафиксировано 367 доказательств данной теоремы. Вероятно, теорема

Пифагора является единственной теоремой со столь внушительным числом доказательств. Такое многообразие

можно объяснить лишь фундаментальным значением теоремы для геометрии.

Разумеется, концептуально все их можно разбить на малое число классов. Самые известные из них:

доказательства методом площадей , аксиоматические и экзотические доказательства (например,

с помощью дифференциальных уравнений ).

1. Доказательство теоремы Пифагора через подобные треугольники.

Следующее доказательство алгебраической формулировки — наиболее простое из доказательств, строящихся

напрямую из аксиом. В частности, оно не использует понятие площади фигуры.

Пусть ABC есть прямоугольный треугольник с прямым углом C . Проведём высоту из C и обозначим

её основание через H .

Треугольник ACH подобен треугольнику AB C по двум углам. Аналогично, треугольник CBH подобен ABC .

Введя обозначения:

получаем:

,

что соответствует -

Сложив a 2 и b 2 , получаем:

или , что и требовалось доказать.

2. Доказательство теоремы Пифагора методом площадей.

Ниже приведённые доказательства, несмотря на их кажущуюся простоту, вовсе не такие простые. Все они

используют свойства площади, доказательства которых сложнее доказательства самой теоремы Пифагора.

  • Доказательство через равнодополняемость.

Расположим четыре равных прямоугольных

треугольника так, как показано на рисунке

справа.

Четырёхугольник со сторонами c - квадратом,

так как сумма двух острых углов 90°, а

развёрнутый угол — 180°.

Площадь всей фигуры равна, с одной стороны,

площади квадрата со стороной (a+b ), а с другой стороны, сумме площадей четырёх треугольников и

Что и требовалось доказать.

3. Доказательство теоремы Пифагора методом бесконечно малых.


Рассматривая чертёж, показанный на рисунке, и

наблюдая изменение стороны a , мы можем

записать следующее соотношение для бесконечно

малых приращений сторон с и a (используя подобие

треугольников):

Используя метод разделения переменных, находим:

Более общее выражение для изменения гипотенузы в случае приращений обоих катетов:

Интегрируя данное уравнение и используя начальные условия, получаем:

Таким образом, мы приходим к желаемому ответу:

Как нетрудно видеть, квадратичная зависимость в окончательной формуле появляется благодаря линейной

пропорциональности между сторонами треугольника и приращениями, тогда как сумма связана с независимыми

вкладами от приращения разных катетов.

Более простое доказательство можно получить, если считать, что один из катетов не испытывает приращения

(в данном случае катет b ). Тогда для константы интегрирования получим:


Теорема Пифагора

Своеобразна судьба иных теорем и задач... Как объяснить, например, столь исключительное внимание со стороны математиков и любителей математики к теореме Пифагора? Почему многие из них не довольствовались уже известными доказательствами, а находили свои, доведя за двадцать пять сравнительно обозримых столетий количество доказательств до нескольких сотен?
Когда речь идет о теореме Пифагора, необычное начинается уже с ее названия. Считается, что сформулировал ее впервые отнюдь не Пифагор. Сомнительным полагают и то, что он дал ее доказательство. Если Пифагор - реальное лицо (некоторые сомневаются даже в этом!), то жил он, скорее всего, в VI-V в. до н. э. Сам он ничего не писал, называл себя философом, что значило, в его понимании, «стремящийся к мудрости», основал пифагорейский союз, члены которого занимались музыкой, гимнастикой, математикой, физикой и астрономией. По-видимому, был он и великолепным оратором, о чем свидетельствует следующая легенда, относящаяся к пребыванию его в городе Кротоне: «Первое появление Пифагора пред народом в Кротоне началось речью к юношам, в которой он так строго, но вместе с тем и так увлекательно изложил обязанности юношей, что старейшие в городе просили не оставить и их без поучения. В этой второй речи он указывал на законность и на чистоту нравов, как на основы семейства; в следующих двух он обратился к детям и женщинам. Последствием последней речи, в которой он особенно порицал роскошь, было то, что в храм Геры доставлены были тысячи драгоценных платьев, ибо ни одна женщина не решалась более показываться в них на улице...» Тем не менее еще во втором столетии нашей эры, т. е. спустя 700 лет, жили и творили вполне реальные люди, незаурядные ученые, находившиеся явно под влиянием пифагорейского союза и относящиеся с большим уважением к тому, что согласно легенде создал Пифагор.
Несомненно также, что интерес к теореме вызывается и тем, что она занимает в математике одно из центральных мест, и удовлетворением авторов доказательств, преодолевших трудности, о которых хорошо сказал живший до нашей эры римский поэт Квинт Гораций Флакк: «Трудно хорошо выразить общеизвестные факты».
Первоначально теорема устанавливала соотношение между площадями квадратов, построенных на гипотенузе и катетах прямоугольного треугольника:
.
Алгебраическая формулировка:
В прямоугольном треугольнике квадрат длины гипотенузы равен сумме квадратов длин катетов.
То есть, обозначив длину гипотенузы треугольника через c, а длины катетов через a и b: a 2 +b 2 =c 2 . Обе формулировки теоремы эквивалентны, но вторая формулировка более элементарна, она не требует понятия площади. То есть второе утверждение можно проверить, ничего не зная о площади и измерив только длины сторон прямоугольного треугольника.
Обратная теорема Пифагора. Для всякой тройки положительных чисел a, b и c, такой, что
a 2 + b 2 = c 2 , существует прямоугольный треугольник с катетами a и b и гипотенузой c.

Доказательства

На данный момент в научной литературе зафиксировано 367 доказательств данной теоремы. Вероятно, теорема Пифагора является единственной теоремой со столь внушительным числом доказательств. Такое многообразие можно объяснить лишь фундаментальным значением теоремы для геометрии.
Разумеется, концептуально все их можно разбить на малое число классов. Самые известные из них: доказательства методом площадей, аксиоматические и экзотические доказательства (например с помощью дифференциальных уравнений).

Через подобные треугольники

Следующее доказательство алгебраической формулировки - наиболее простое из доказательств, строящихся напрямую из аксиом. В частности, оно не использует понятие площади фигуры.
Пусть ABC есть прямоугольный треугольник с прямым углом C. Проведём высоту из C и обозначим её основание через H. Треугольник ACH подобен треугольнику ABC по двум углам.
Аналогично, треугольник CBH подобен ABC. Введя обозначения

получаем

Что эквивалентно

Сложив, получаем

или

Доказательства методом площадей

Ниже приведённые доказательства, несмотря на их кажущуюся простоту, вовсе не такие простые. Все они используют свойства площади, доказательства которых сложнее доказательства самой теоремы Пифагора.

Доказательство через равнодополняемость

1. Расположим четыре равных прямоугольных треугольника так, как показано на рисунке.
2. Четырёхугольник со сторонами c является квадратом, так как сумма двух острых углов 90°, а развёрнутый угол - 180°.
3. Площадь всей фигуры равна, с одной стороны, площади квадрата со стороной (a+b), а с другой стороны, сумме площадей четырёх треугольников и внутреннего квадрата.



Что и требовалось доказать.

Доказательства через равносоставленность

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

Доказательство Евклида

Идея доказательства Евклида состоит в следующем: попробуем доказать, что половина площади квадрата, построенного на гипотенузе, равна сумме половин площадей квадратов, построенных на катетах, а тогда и площади большого и двух малых квадратов равны. Рассмотрим чертеж слева. На нём мы построили квадраты на сторонах прямоугольного треугольника и провели из вершины прямого угла С луч s перпендикулярно гипотенузе AB, он рассекает квадрат ABIK, построенный на гипотенузе, на два прямоугольника - BHJI и HAKJ соответственно. Оказывается, что площади данных прямоугольников в точности равны площадям квадратов, построенных на соответствующих катетах. Попытаемся доказать, что площадь квадрата DECA равна площади прямоугольника AHJK Для этого воспользуемся вспомогательным наблюдением: Площадь треугольника с той же высотой и основанием, что и данный прямоугольник, равна половине площади заданного прямоугольника. Это следствие определения площади треугольника как половины произведения основания на высоту. Из этого наблюдения вытекает, что площадь треугольника ACK равна площади треугольника AHK (не изображённого на рисунке), которая, в свою очередь, равна половине площади прямоугольника AHJK. Докажем теперь, что площадь треугольника ACK также равна половине площади квадрата DECA. Единственное, что необходимо для этого сделать, - это доказать равенство треугольников ACK и BDA (так как площадь треугольника BDA равна половине площади квадрата по указанному выше свойству). Равенство это очевидно, треугольники равны по двум сторонам и углу между ними. Именно - AB=AK,AD=AC - равенство углов CAK и BAD легко доказать методом движения: повернём треугольник CAK на 90° против часовой стрелки, тогда очевидно, что соответствующие стороны двух рассматриваемых треугольников совпадут (ввиду того, что угол при вершине квадрата - 90°). Рассуждение о равенстве площадей квадрата BCFG и прямоугольника BHJI совершенно аналогично. Тем самым мы доказали, что площадь квадрата, построенного на гипотенузе, слагается из площадей квадратов, построенных на катетах.

Доказательство Леонардо да Винчи

Главные элементы доказательства - симметрия и движение.

Рассмотрим чертёж, как видно из симметрии, отрезок CI рассекает квадрат ABHJ на две одинаковые части (так как треугольники ABC и JHI равны по построению). Пользуясь поворотом на 90 градусов против часовой стрелки, мы усматриваем равенство заштрихованных фигур CAJI и GDAB. Теперь ясно, что площадь заштрихованной нами фигуры равна сумме половин площадей квадратов, построенных на катетах, и площади исходного треугольника. С другой стороны, она равна половине площади квадрата, построенного на гипотенузе, плюс площадь исходного треугольника. Последний шаг в доказательстве предоставляется читателю.