Главная Материнство Разные способы доказательства теоремы Пифагора: примеры, описание и отзывы. Интересные факты о теореме Пифагора: узнаем новое об известной теореме

Разные способы доказательства теоремы Пифагора: примеры, описание и отзывы. Интересные факты о теореме Пифагора: узнаем новое об известной теореме

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

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

Обозначив длину гипотенузы треугольника 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, отношению длин сторон треугольников, в результате получаем дифференциальное уравнение.
В случае ортогональной системы векторов имеет место равенство, которую также называют теоремой Пифагора:

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

Министерство образования РФ

МОУ Лицей № 1

Доклад на тему: «Пифагор и его теорема»

Ученицы группы 8 – 1, 2:

Миницкая Е. П.

Преподаватель:

Скворцова А. С.

Биография Пифагора
История теоремы
Пифагоровы числа
Доказательства теоремы (от простейших доказательств до самых сложных)

1. Биография Пифагора

Великий ученый Пифагор родился около 570 г. до н.э. на острове Самосе. Отцом Пифагора был Мнесарх, резчик по драгоценным камням. Имя же матери Пифагора неизвестно. По многим античным свидетельствам, родившийся мальчик был сказочно красив, а вскоре проявил и свои незаурядные способности. Среди учителей юного Пифагора традиция называет имена старца Гермодаманта и Ферекида Сиросского (хотя и нет твердой уверенности в том, что именно Гермодамант и Ферекид были первыми учителями Пифагора). Целые дни проводил юный Пифагор у ног старца Гермодаманта, внимая мелодии кифары и гекзаметрам Гомера. Страсть к музыке и поэзии великого Гомера Пифагор сохранил на всю жизнь. И, будучи признанным мудрецом, окруженным толпой учеников, Пифагор начинал день с пения одной из песен Гомера. Ферекид же был философом и считался основателем италийской школы философии. Таким образом, если Гермодамант ввел юного Пифагора в круг муз, то Ферекид обратил его ум к логосу. Ферекид направил взор Пифагора к природе и в ней одной советовал видеть своего первого и главного учителя. Но как бы то ни было, неугомонному воображению юного Пифагора очень скоро стало тесно на маленьком Самосе, и он отправляется в Милет, где встречается с другим ученым - Фалесом. Фалес советует ему отправится за знаниями в Египет, что Пифагор и сделал.

В 548 г. до н.э. Пифагор прибыл в Навкратис - самосскую колонию, где было у кого найти кров и пищу. Изучив язык и религию египтян, он уезжает в Мемфис. Несмотря на рекомендательное письмо фараона, хитроумные жрецы не спешили раскрывать Пифагору свои тайны, предлагая ему сложные испытания. Но влекомый жаждой к знаниям, Пифагор преодолел их все, хотя по данным раскопок египетские жрецы не многому могли его научить, т.к. в то время египетская геометрия была чисто прикладной наукой (удовлетворявшей потребность того времени в счете и в измерении земельных участков). Поэтому, научившись всему, что дали ему жрецы, он, убежав от них, двинулся на родину в Элладу. Однако, проделав часть пути, Пифагор решается на сухопутное путешествие, во время которого его захватил в плен Камбиз, царь Вавилона, направлявшийся домой. Не стоит драматизировать жизнь Пифагора в Вавилоне, т.к. великий властитель Кир был терпим ко всем пленникам. Вавилонская математика была, бесспорно, более развитой (примером этому может служить позиционная система исчисления), чем египетская, и Пифагору было чему поучится. Но в 530 г. до н.э. Кир двинулся в поход против племен в Средней Азии. И, пользуясь переполохом в городе, Пифагор сбежал на родину. А на Самосе в то время царствовал тиран Поликрат. Конечно же, Пифагора не устраивала жизнь придворного полу раба, и он удалился в пещеры в окрестностях Самоса. После нескольких месяцев притязаний со стороны Поликрата, Пифагор переселяется в Кротон. В Кротоне Пифагор учредил нечто вроде религиозно - этического братства или тайного монашеского ордена ("пифагорейцы"), члены которого обязывались вести так называемый пифагорейский образ жизни. Это был одновременно и религиозный союз, и политический клуб, и научное общество. Надо сказать, что некоторые из проповедуемых Пифагором принципов достойны подражания и сейчас

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

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

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

Исторический обзор начнем с древнего Китая. Здесь особое внимание привлекает математическая книга Чу - пей. В этом сочинении так говорится о пифагоровом треугольнике со сторонами 3, 4 и 5:

"Если прямой угол разложить на составные части, то линия, соединяющая концы его сторон, будет 5, когда основание есть 3, а высота 4" .

В этой же книге предложен рисунок, который совпадает с одним из чертежей индусской геометрии Басхары.

Кантор (крупнейший немецкий историк математики) считает, что равенство

3 ² + 4 ² = 5 ²

было известно уже египтянам еще около 2300 г. до н. э., во времена царя Аменемхета I (согласно папирусу 6619 Берлинского музея).

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

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

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

Геометрия у индусов, как и у египтян и вавилонян, была тесно связана с культом. Весьма вероятно, что теорема о квадрате гипотенузы была известна в Индии уже около 18 века до н. э.

Пифагоровы числа

В математике пифагоровыми числами (пифагоровой тройкой ) называется кортеж из трёх целых чисел удовлетворяющих соотношению Пифагора :

x 2 + y 2 = z 2 .

Поскольку уравнение x 2 + y 2 = z 2 однородно , при домножении x , y и z на одно и то же число получится другая пифагорова тройка. Пифагорова тройка называется примитивной , если она не может быть получена таким способом, то есть - взаимно простые числа .

Треугольник , стороны которого равны пифагоровым числам, является прямоугольным . Кроме того, любой такой треугольник является героновым , то есть таким, у которого все стороны и площадь являются целочисленными. Простейший из них - египетский треугольник со сторонами 3, 4 и 5 (3 2 + 4 2 = 5 2 ).

Пифагорова тройка задаёт точку с рациональными координатами на единичной окружности x 2 + y 2 = 1 .

Нетрудно видеть, что в примитивной тройке (x , y , z ) числа x и y имеют разную чётность. Любая примитивная пифагорова тройка (x , y , z ), где x - нечётно, а y - чётно, однозначно представляется в виде для некоторых натуральных взаимно простых чисел m > n разной чётности . Наоборот, любая такая пара задаёт примитивную пифагорову тройку .

Некоторые пифагоровы тройки (отсортированы по возрастанию максимального числа, выделены примитивные): (3, 4, 5), (6, 8, 10), (5, 12, 13), (9, 12, 15), (8, 15, 17), (12, 16, 20), (15, 20, 25), (7, 24, 25), (10, 24, 26), (20, 21, 29), (18, 24, 30), (16, 30, 34), (21, 28, 35), (12, 35, 37), (15, 36, 39), (24, 32, 40), (9, 40, 41), (14, 48, 50), (30, 40, 50)…

Пифагоровы тройки известны очень давно. В архитектуре древнемесопотамских надгробий встречается равнобедренный треугольник, составленный из двух прямоугольных со сторонами 9, 12 и 15 локтей. Пирамиды фараона Снофру (XXVII век до н. э.) построены с использованием треугольников со сторонами 20, 21 и 29, а также 18, 24 и 30 десятков египетских локтей.

См. также в других словарях:

Пифагоровы числа - тройки натуральных чисел таких, что треугольник, длины сторон которого пропорциональны (или равны) этим числам, является прямоугольным. По теореме, обратной теореме Пифагора (см. Пифагора теорема), для этого достаточно, чтобы они удовлетворяли… (Большая советская энциклопедия) .

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

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

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

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

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

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

получаем

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

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

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

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

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

Расположим четыре равных прямоугольных треугольника.
Четырёхугольник со сторонами c является квадратом, так как сумма двух острых углов 90°, а развёрнутый угол - 180°.
Площадь всей фигуры равна, с одной стороны, площади квадрата со стороной (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 . Теперь ясно, что площадь заштрихованной нами фигуры равна сумме половин площадей квадратов, построенных на катетах, и площади исходного треугольника. С другой стороны, она равна половине площади квадрата, построенного на гипотенузе, плюс площадь исходного треугольника. Последний шаг в доказательстве предоставляется Вам.

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

Рассматривая чертёж, показанный на рисунке, и наблюдая изменение стороны a , мы можем записать следующее соотношение для бесконечно малых приращений сторон с и a (используя подобие треугольников):

Доказательство методом бесконечно малых

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

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

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

c 2 = a 2 + b 2 + constant.

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

c 2 = a 2 + b 2 .

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

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

Простейшие доказательства

Простейшее доказательство теоремы получается в простейшем случае равнобедренного прямоугольного треугольника. В самом деле, достаточно просто посмотреть на мозаику равнобедренных прямоугольных треугольников, чтобы убедиться в справедливости теоремы. Например, для треугольника ABC: квадрат, построенный на гипотенузе АС, содержит 4 исходных треугольника, а квадраты, построенные на катетах, - по два.

Теорема доказана.
Доказательства методом разложения

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

Доказательство Эпштейна

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

Разложение на треугольники можно сделать и более наглядным, чем на рисунке.

Доказательство Нильсена

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

Доказательство Бетхера

На рисунке дано весьма наглядное разложение Бетхера .

Доказательство Перигаля

В учебниках нередко встречается разложение, указанное на рисунке (так называемое "колесо с лопастями"; это доказательство нашел Перигаль ). Через центр O квадрата, построенного на большем катете, проводим прямые, параллельную и перпендикулярную гипотенузе. Соответствие частей фигуры хорошо видно из чертежа.

Доказательство Гутхейля

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

Доказательство 9 века н.э.

Ранее были представлены только такие доказательства, в которых квадрат, построенный на гипотенузе, с одной стороны, и квадраты, построенные на катетах, с другой, складывались из равных частей. Такие доказательства называются доказательствами при помощи сложения ("аддитивными доказательствами") или, чаще, доказательствами методом разложения. До сих пор мы исходили из обычного расположения квадратов, построенных на соответствующих сторонах треугольника, т. е. вне треугольника. Однако во многих случаях более выгодно другое расположение квадратов.

На рисунке квадраты, построенные на катетах, размещены ступенями один рядом с другим. Эту фигуру, которая встречается в доказательствах, датируемых не позднее, чем 9 столетием н. э., индусы называли "стулом невесты" . Способ построения квадрата со стороной, равной гипотенузе, ясен из чертежа. Общая часть двух квадратов, построенных на катетах, и квадрата, построенного на гипотенузе, - неправильный заштрихованный пятиугольник 5. Присоединив к нему треугольники 1 и 2, получим оба квадрата, построенные на катетах; если же заменить треугольники 1 и 2 равными им треугольниками 3 и 4, то получим квадрат, построенный на гипотенузе. На рисунках ниже изображены два различных расположения близких к тому, которое дается на первом рисунке.

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

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

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

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

В – А = С и В 1 - А 1 = С 1

часть А равновелика части А 1 , а часть В равновелика В 1 , то части С и С 1 также равновелики.

Поясним этот метод на примере. На рис. к обычной пифагоровой фигуре приставлены сверху и снизу треугольники 2 и 3, равные исходному треугольнику 1. Прямая DG обязательно пройдет через C. Заметим теперь (далее мы это докажем), что шестиугольники DABGFE и CAJKHB равновелики. Если мы от первого из них отнимем треугольники 1 и 2, то останутся квадраты, построенные на катетах, а если от второго шестиугольника отнимем равные треугольники 1 и 3, то останется квадрат, построенный на гипотенузе. Отсюда вытекает, что квадрат, построенный на гипотенузе, равновелик сумме квадратов, построенных на катетах.

Остается доказать, что наши шестиугольники равновелики. Заметим, что прямая DG делит верхний шестиугольник на равновеликие части; то же можно сказать о прямой CK и нижнем шестиугольнике. Повернем четырехугольник DABG, составляющий половину шестиугольника DABGFE, вокруг точки А по часовой стрелке на угол 90; тогда он совпадет с четырехугольником CAJK, составляющим половину шестиугольника CAJKHB. Поэтому шестиугольники DABGFE и CAJKHB равновелики.

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

Познакомимся с другим доказательством методом вычитания. Знакомый нам чертеж теоремы Пифагора заключим в прямоугольную рамку, направления сторон которой совпадают с направлениями катетов треугольника. Продолжим некоторые из отрезков фигуры так, как указано на рисунке, при этом прямоугольник распадается на несколько треугольников, прямоугольников и квадратов. Выбросим из прямоугольника сначала несколько частей так чтобы остался лишь квадрат, построенный на гипотенузе. Эти части следующие: треугольники 1, 2, 3, 4; прямоугольник 5; прямоугольник 6 и квадрат 8; прямоугольник 7 и квадрат 9;

Затем выбросим из прямоугольника части так, чтобы остались только квадраты, построенные на катетах. Этими частями будут: прямоугольники 6 и 7; прямоугольник 5; прямоугольник 1(заштрихован); прямоугольник 2(заштрихован);

Нам осталось лишь показать, что отнятые части равновелики. Это легко видеть в силу расположения фигур. Из рисунка ясно, что:

прямоугольник 5 равновелик самому себе;
четыре треугольника 1,2,3,4 равновелики двум прямоугольникам 6 и 7;
прямоугольник 6 и квадрат 8, взятые вместе, равновелики прямоугольнику 1 (заштрихован);
прямоугольник 7 вместе с квадратом 9 равновелики прямоугольнику 2(заштрихован);

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

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

Это доказательство было приведено Евклидом в его "Началах". По свидетельству Прокла (Византия), оно придумано самим Евклидом. Доказательство Евклида приведено в предложении 47 первой книги "Начал".

На гипотенузе и катетах прямоугольного треугольника АВС строятся соответствующие квадраты, и доказывается, что прямоугольник BJLD равновелик квадрату ABFH, а прямоугольник ICEL - квадрату АСКС. Тогда сумма квадратов на катетах будет равна квадрату на гипотенузе.

В самом деле, треугольники ABD и BFC равны по двум сторонам и углу между ними:

FB = AB, BC = BD
РFBC = d + РABC = РABD
S ABD = 1/2 S BJLD,

так как у треугольника ABD и прямоугольника BJLD общее основание BD и общая высота LD. Аналогично

S FBC = 1\2S ABFH

(BF-общее основание, АВ – общая высота). Отсюда, учитывая, что

S ABD = S FBC ,
S BJLD = S ABFH .

Аналогично, используя равенство треугольников ВСК и АСЕ, доказывается, что

S JCEL = S ACKG .
S ABFH +S ACKG = S BJLD +S JCEL = S BCED ,

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

Упрощенное доказательство Евклида

Как в доказательствах методом разложения, так и при доказательстве евклидового типа можно исходить из любого расположения квадратов. Иногда при этом удается достигнуть упрощений.

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

Доказательство Хоукинсa

Приведем еще одно доказательство, которое имеет вычислительный характер, однако сильно отличается от всех предыдущих. Оно опубликовано англичанином Хоукинсом в 1909 году; было ли оно известно до этого - трудно сказать.

Прямоугольный треугольник ABC с прямым углом C повернем на 90° так, чтобы он занял положение A"CB". Продолжим гипотенузу A"В" за точку A" до пересечения с линией АВ в точке D. Отрезок В"D будет высотой треугольника В"АВ. Рассмотрим теперь заштрихованный четырехугольник A"АВ"В. Его можно разложить на два равнобедренных треугольника САA" и СВВ" (или на два треугольника A"В"А и A"В"В).

S CAA" = b²/2
S CBB" = a²/2
S A"AB"B = (a²+b²)/2
Треугольники A"В"А и A"В"В имеют общее основание с и высоты DA и DB, поэтому:

S A"AB"B = c*DA/2+ c*DB/2 = c (DA+DB)/2 = c²/2

Сравнивая два полученных выражения для площади, получим:

a² + b² = c²

Теорема доказана.

Доказательство Вальдхейма

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

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

Sтрапеции = (a+b) ²/2
Sтрапеции = a²b²+c²/2
Приравнивая правые части получим:

a² + b² = c²

Теорема доказана.

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

ДОКАЗАТЕЛЬСТВА ТЕОРЕМЫ ПИФАГОРА

Доказательства, основанные на использовании понятия равновеликости фигур.

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

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

сопровождали чертеж лишь одним словом: «смотри!» Вполне возможно, что такое же доказательство предложил и Пифагор.

Аддитивные доказательства.

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

Доказательство Энштейна (рис. 3) основано на разложении квадрата, построенного на гипотенузе, на 8 треугольников.

Здесь: ABC – прямоугольный треугольник с прямым углом C; CÎMN; CK^MN; PO||MN; EF||MN.

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

На рис. 4 приведено доказательство теоремы Пифагора с помощью разбиения ан-Найризия – средневекового багдадского комментатора «Начал» Евклида. В этом разбиении квадрат, построенный на гипотенузе, разбит на 3 треугольника и 2 четырехугольника. Здесь: ABC – прямоугольный треугольник с прямым углом C; DE = BF.

Докажите теорему с помощью этого разбиения.

· На основе доказательства ан-Найризия выполнено и другое разложение квадратов на попарно равные фигуры (рис. 5, здесь ABC – прямоугольный треугольник с прямым углом C).

· Еще одно доказательство методом разложения квадратов на равные части, называемое «колесом с лопастями», приведено на рис. 6. Здесь: ABC– прямоугольный треугольник с прямым углом C; O – центр квадрата, построенного на большом катете; пунктирные прямые, проходящие через точку O, перпендикулярны или параллельны гипотенузе.

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

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

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

· На рис. 7 изображена обычная Пифагорова фигура – прямоугольный треугольник ABC с построенными на его сторонах квадратами. К этой фигуре присоединены треугольники 1 и 2, равные исходному прямоугольному треугольнику.

Справедливость теоремы Пифагора вытекает из равновеликости шестиугольников AEDFPB и ACBNMQ. Здесь CÎEP, прямая EP делит шестиугольник AEDFPB на два равновеликих четырехугольника, прямая CM делит шестиугольник ACBNMQ на два равновеликих четырехугольника; поворот плоскости на 90° вокруг центра A отображает четырехугольник AEPB на четырехугольник ACMQ.

· На рис. 8 Пифагорова фигура достроена до прямоугольника, стороны которого параллельны соответствующим сторонам квадратов, построенных на катетах. Разобьем этот прямоугольник на треугольники и прямоугольники. Из полученного прямоугольника вначале отнимем все многоугольники 1, 2, 3, 4, 5, 6, 7, 8, 9, остался квадрат, построенный на гипотенузе. Затем из того же прямоугольника отнимем прямоугольники 5, 6, 7 и заштрихованные прямоугольники, получим квадраты, построенные на катетах.

Теперь докажем, что фигуры, вычитаемые в первом случае, равновелики фигурам, вычитаемым во втором случае.

· Рис. 9 иллюстрирует доказательство, приведенное Нассир-эд-Дином (1594 г.). Здесь: PCL – прямая;

KLOA = ACPF = ACED = a 2 ;

LGBO = CBMP = CBNQ = b 2 ;

AKGB = AKLO + LGBO = c2;

отсюда c 2 = a 2 + b 2 .

Рис. 11 иллюстрирует еще одно более оригинальное доказательство, предложенное Гофманом.

Здесь: треугольник ABC с прямым углом C; отрезок BF перпендикулярен CB и равен ему, отрезок BE перпендикулярен AB и равен ему, отрезок AD перпендикулярен AC и равен ему; точки F, C, D принадлежат одной прямой; четырехугольники ADFB и ACBE равновелики, так как ABF=ECB; треугольники ADF и ACE равновелики; отнимем от обоих равновеликих четырехугольников общий для них треугольник ABC, получим

Алгебраический метод доказательства.

· Рис. 12 иллюстрирует доказательство великого индийского математика Бхаскари (знаменитого автора Лилавати, XII в.). Рисунок сопровождало лишь одно слово: СМОТРИ! Среди доказательств теоремы Пифагора алгебраическим методом первое место (возможно, самое древнее) занимает доказательство, использующее подобие.

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

На рис. 13 ABC – прямоугольный, C – прямой угол, CM^AB, b1 – проекция катета b на гипотенузу, a1 – проекция катета a на гипотенузу, h – высота треугольника, проведенная к гипотенузе.

Из того, что DABC подобен DACM следует

b 2 = cb 1 ; (1)

из того, что DABC подобен DBCM следует

a 2 = ca 1 . (2)

Складывая почленно равенства (1) и (2), получим a 2 + b 2 = cb 1 + ca 1 = c(b 1 + a 1) = c 2 .

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

Доказательство Мёльманна (рис. 14).

Площадь данного прямоугольного треугольника, с одной стороны, равна с другой, где p – полупериметр треугольника, r – радиус вписанной в него окружности Имеем:

откуда следует, что c2=a2+b2.

Доказательство Гарфилда.

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

во втором

Приравнивая эти выражения, получаем теорему Пифагора.

Существует много доказательств теоремы Пифагора, проведенных как каждым из описанных методов, так и с помощью сочетания различных методов. Завершая обзор примеров различных доказательств, приведем еще рисунки, иллюстрирующие восемь способов, на которые имеются ссылки в «Началах» Евклида (рис. 16 – 23). На этих рисунках Пифагорова фигура изображена сплошной линией, а дополнительные построения – пунктирной.

Как уже было сказано выше, древние египтяне более 2000 лет тому назад практически пользовались свойствами треугольника со сторонами 3, 4, 5 для построения прямого угла, т. е. фактически применяли теорему, обратную теореме Пифагора. Приведем доказательство этой теоремы, основанное на признаке равенства треугольников (т. е. такое, которое можно очень рано ввести в школе). Итак, пусть стороны треугольника ABC (рис. 24) связаны соотношением

c 2 = a 2 + b 2 . (3)

Докажем, что этот треугольник прямоугольный.

Построим прямоугольный треугольник A1B1C1 по двум катетам, длины которых равны длинам a и b катетов данного треугольника (рис. 25).

Пусть длина гипотенузы построенного треугольника равна c1. Так как построенный треугольник прямоугольный, то по теореме Пифагора имеем: c 1 2 = a 2 + b 2 . (4)

Сравнивая соотношения (3) и (4), получаем, что

c 1 2 = c 2 , или c 1 = c.

Таким образом, треугольники – данный и построенный – равны, так как имеют по три соответственно равные стороны. Угол C1 прямой, поэтому и угол C данного треугольника тоже прямой.

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

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

Доказательство Эпштейна

Начнем с доказательства Эпштейна(рис. 1) ; его преимуществом является то, что здесь в качестве составных частей разложения фигурируют исключительно треугольники. Чтобы разобраться в чертеже, заметим, что прямая CD проведена перпендикулярно прямой EF.

Разложение на треугольники можно сделать и более наглядным, чем на рисунке.

Доказательство Нильсена.

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

Доказательство Бетхера.

На рисунке дано весьма наглядное разложение Бетхера.

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

В учебниках нередко встречается разложение указанное на рисунке (так называемое "колесо с лопастями"; это доказательство нашел Перигаль). Через центр O квадрата, построенного на большем катете, проводим прямые, параллельную и перпендикулярную гипотенузе. Соответствие частей фигуры хорошо видно из чертежа.

Доказательство Гутхейля.

Доказательство 9 века н.э.

Ранее были представлены только такие доказательства, в которых квадрат, построенный на гипотенузе, с одной стороны, и квадраты,построенные на катетах, с другой, складывались из равных частей. Такие доказательства называются доказательствами при помощи сложения ("аддитивными доказательствами") или, чаще, доказательствами методом разложения. До сих пор мы исходили из обычного расположения квадратов, построенных на соответствующих сторонах треугольника, т. е. вне треугольника. Однако во многих случаях более выгодно другое расположение квадратов.

На рисунке квадраты, построенные на катетах, размещены ступенями один рядом с другим. Эту фигуру, которая встречается в доказательствах, датируемых не позднее, чем 9 столетием н. э., индусы называли "стулом невесты". Способ построения квадрата со стороной, равной гипотенузе, ясен из чертежа. Общая часть двух квадратов, построенных на катетах, и квадрата, построенного на гипотенузе, - неправильный заштрихованный пятиугольник 5. Присоединив к нему треугольники 1 и 2, получим оба квадрата, построенные на катетах; если же заменить треугольники 1 и 2 равными им треугольниками 3 и 4, то получим квадрат, построенный на гипотенузе. На рисунках ниже изображены два различных расположения близких к тому, которое дается на первом рисунке.

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

Доказательство первое.

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

В-А=С и В 1 -А 1 =С 1

часть А равновелика части А 1 , а часть В равновелика В 1 , то части С и С 1 также равновелики.

Поясним этот метод на примере. На рис. к обычной пифагоровой фигуре приставлены сверху и снизу треугольники 2 и 3, равные исходному треугольнику 1. Прямая DG обязательно пройдет через C. Заметим теперь (далее мы это докажем), что шестиугольники DABGFE и CAJKHB равновелики. Если мы от первого из них отнимем треугольники 1 и 2, то останутся квадраты, построенные на катетах, а если от второго шестиугольника отнимем равные треугольники 1 и 3, то останется квадрат,построенный на гипотенузе. Отсюда вытекает, что квадрат, построенный на гипотенузе, равновелик сумме квадратов,построенных на катетах.

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

1. треугольники 1, 2, 3, 4;

2. прямоугольник 5;

3. прямоугольник 6 и квадрат 8;

4. прямоугольник 7 и квадрат 9;

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

1. прямоугольники 6 и 7;

2. прямоугольник 5;

3. прямоугольник 1(заштрихован);

4. прямоугольник 2(заштрихован);

1. прямоугольник 5 равновелик самому себе;

2. четыре треугольника 1,2,3,4 равновелики двум прямоугольникам 6 и 7;

3. прямоугольник 6 и квадрат 8, взятые вместе, равновелики прямоугольнику 1 (заштрихован);

4. прямоугольник 7 вместе с квадратом 9 равновелики прямоугольнику 2(заштрихован);

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

Другие доказательства

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

Это доказательство было приведено Евклидом в его "Началах". По свидетельству Прокла (Византия), оно придумано самим Евклидом. Доказательство Евклида приведено в предложении 47 первой книги "Начал".

На гипотенузе и катетах прямоугольного треугольника АВС строятся соответствующие квадраты и доказывается, что прямоугольник BJLD равновелик квадрату ABFH, а прямоугольник ICEL - квадрату АСКС. Тогда сумма квадратов на катетах будет равна квадрату на гипотенузе.

В самом деле, треугольники ABD и BFC равны по двум сторонам и углу между ними:

FB = AB, BC = BD

РFBC = d + РABC = РABD

SABD = 1/2 S BJLD,

так как у треугольника ABD и прямоугольника BJLD общее основание BD и общая высота LD. Аналогично

(BF-общее основание, АВ-общая высота). Отсюда, учитывая, что

Аналогично, используя равенство треугольников ВСК и АСЕ, доказывается, что

SABFH+SACKG= SBJLD+SJCEL= SBCED,

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

Доказательство Хоукинсa.

Пифагор принес в жертву 100 быков. Карикатуры Доказательство теоремы Пифагора ... гипотенузы равен сумме квадратов катетов (Теорема Пифагора ).Доказательство :1. Докажем, что прямоугольник BJLD равновелик...

Школа Пифагора

Реферат >> Философия

Изложение системы самого Учителя. 1. БИОГРАФИЯ ПИФАГОРА Пифагор , древнегреческий философ, религиозный и политический деятель... изучение свойств целых чисел и пропорций, доказательство теоремы Пифагора и др. Страсть к музыке и поэзии великого...

Аргументация и доказательство . Состав аргументации субъект, структура

Реферат >> Логика

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

Теоремы тригонометрии

Реферат >> Математика

На любые прямоугольные треугольники и привела Пифагора к доказательству знаменитой теоремы . Египетский треугольник с соотношением сторон... . Ч.т.д. Обобщенная теорема Пифагора . Теорему косинусов называют иногда обобщенной теоремой Пифагора . Такое название...

Теорема Пифагора : Сумма площадей квадратов, опирающихся на катеты (a и b ), равна площади квадрата, построенного на гипотенузе (c ).

Геометрическая формулировка:

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

Алгебраическая формулировка:

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

a 2 + b 2 = c 2

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

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

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

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

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

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

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

получаем

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

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

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

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

Расположим четыре равных прямоугольных треугольника так, как показано на рисунке 1.
Четырёхугольник со сторонами c является квадратом, так как сумма двух острых углов 90°, а развёрнутый угол - 180°.
Площадь всей фигуры равна, с одной стороны, площади квадрата со стороной (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 совершенно аналогично.

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

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

Рассмотрим чертёж, как видно из симметрии, отрезок C I рассекает квадрат A B H J на две одинаковые части (так как треугольники A B C и J H I равны по построению). Пользуясь поворотом на 90 градусов против часовой стрелки, мы усматриваем равенство заштрихованных фигур C A J I и G D A B . Теперь ясно, что площадь заштрихованной нами фигуры равна сумме половин площадей квадратов, построенных на катетах, и площади исходного треугольника. С другой стороны, она равна половине площади квадрата, построенного на гипотенузе, плюс площадь исходного треугольника. Последний шаг в доказательстве предоставляется читателю.

Доказательство методом бесконечно малых

Следующее доказательство при помощи дифференциальных уравнений часто приписывают известному английскому математику Харди , жившему в первой половине XX века.

Доказательство методом бесконечно малых

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

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

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

c 2 = a 2 + b 2 + constant.

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

c 2 = a 2 + b 2 .

Вариации и обобщения

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

История

Чу-пей 500–200 до нашей эры. Слева надпись: сумма квадратов длин высоты и основания есть квадрат длины гипотенузы.

В древнекитайской книге Чу-пей говорится о пифагоровом треугольнике со сторонами 3, 4 и 5: В этой же книге предложен рисунок, который совпадает с одним из чертежей индусской геометрии Басхары.

Кантор (крупнейший немецкий историк математики) считает, что равенство 3 ² + 4 ² = 5² было известно уже египтянам еще около 2300 г. до н. э., во времена царя Аменемхета I (согласно папирусу 6619 Берлинского музея). По мнению Кантора гарпедонапты, или "натягиватели веревок", строили прямые углы при помощи прямоугольных треугольников со сторонами 3, 4 и 5.

Очень легко можно воспроизвести их способ построения. Возьмем веревку длиною в 12 м. и привяжем к ней по цветной полоске на расстоянии 3м. от одного конца и 4 метра от другого. Прямой угол окажется заключенным между сторонами длиной в 3 и 4 метра. Гарпедонаптам можно было бы возразить, что их способ построения становиться излишним, если воспользоваться, например, деревянным угольником, применяемым всеми плотниками. И действительно, известны египетские рисунки, на которых встречается такой инструмент, например рисунки, изображающие столярную мастерскую.

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

Литература

На русском языке

Скопец З. А. Геометрические миниатюры. М., 1990
Еленьский Щ. По следам Пифагора. М., 1961
Ван-дер-Варден Б. Л. Пробуждающаяся наука. Математика Древнего Египта, Вавилона и Греции. М., 1959
Глейзер Г. И. История математики в школе. М., 1982
В.Литцман, «Теорема Пифагора» М., 1960.
- Сайт о теореме Пифагора с большим числом доказательств материал взят из книги В.Литцмана, большое число чертежей представлено в виде отдельных графических файлов.
Теорема Пифагора и пифагоровы тройки глава из книги Д. В. Аносова «Взгляд на математику и нечто из нее»
О теореме Пифагора и способах ее доказательства Г. Глейзер, академик РАО, Москва

На английском

Теорема Пифагора на WolframMathWorld (англ.)
Cut-The-Knot, секция посвящённая теореме пифагора, около 70 доказательств и обширная дополнительная информация (англ.)

Wikimedia Foundation . 2010 .