Доказательства теоремы Пифагора (стр. 1 из 2)
ДОКАЗАТЕЛЬСТВА ТЕОРЕМЫ ПИФАГОРА
Доказательства, основанные на использовании понятия равновеликости фигур.
При этом можно рассмотреть доказательства, в которых квадрат, построенный на гипотенузе данного прямоугольного треугольника «складывается» из таких же фигур, что и квадраты, построенные на катетах. Можно рассматривать и такие доказательства, в которых применяется перестановка слагаемых фигур и учитывается ряд новых идей.
На рис. 2 изображено два равных квадрата. Длина сторон каждого квадрата равна a + b. Каждый из квадратов разбит на части, состоящие из квадратов и прямоугольных треугольников. Ясно, что если от площади квадрата отнять учетверенную площадь прямоугольного треугольника с катетами a, b, то останутся равные площади, т. е. c2 = a2 + b2. Впрочем, древние индусы, которым принадлежит это рассуждение, обычно не записывали его, а
сопровождали чертеж лишь одним словом: «смотри!» Вполне возможно, что такое же доказательство предложил и Пифагор.
Аддитивные доказательства.
Эти доказательства основаны на разложении квадратов, построенных на катетах, на фигуры, из которых можно сложить квадрат, построенный на гипотенузе.
Доказательство Энштейна (рис. 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 = a2;
LGBO = CBMP = CBNQ = b2;
AKGB = AKLO + LGBO = c2;
отсюда c2 = a2 + b2.
Рис. 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 следует
b2 = cb1; (1)
из того, что DABC подобен DBCM следует
a2 = ca1. (2)
Складывая почленно равенства (1) и (2), получим a2 + b2 = cb1 + ca1 = c(b1 + a1) = c2.
Если Пифагор действительно предложил такое доказательство, то он был знаком и с целым рядом важных геометрических теорем, которые современные историки математики обычно приписывают Евклиду.
Доказательство Мёльманна (рис. 14).
Площадь данного прямоугольного треугольника, с одной стороны, равна
с другой 
, где p – полупериметр треугольника, r – радиус вписанной в него окружности 
Имеем: 
откуда следует, что c2=a2+b2.
Доказательство Гарфилда.
На рисунке 15 три прямоугольных треугольника составляют трапецию. Поэтому площадь этой фигуры можно находить по формуле площади прямоугольной трапеции, либо как сумму площадей трех треугольников. В первом случае эта площадь равна
во втором
Приравнивая эти выражения, получаем теорему Пифагора.
Существует много доказательств теоремы Пифагора, проведенных как каждым из описанных методов, так и с помощью сочетания различных методов. Завершая обзор примеров различных доказательств, приведем еще рисунки, иллюстрирующие восемь способов, на которые имеются ссылки в «Началах» Евклида (рис. 16 – 23). На этих рисунках Пифагорова фигура изображена сплошной линией, а дополнительные построения – пунктирной.
Как уже было сказано выше, древние египтяне более 2000 лет тому назад практически пользовались свойствами треугольника со сторонами 3, 4, 5 для построения прямого угла, т. е. фактически применяли теорему, обратную теореме Пифагора. Приведем доказательство этой теоремы, основанное на признаке равенства треугольников (т. е. такое, которое можно очень рано ввести в школе). Итак, пусть стороны треугольника ABC (рис. 24) связаны соотношением
c2 = a2 + b2. (3)
Докажем, что этот треугольник прямоугольный.
Построим прямоугольный треугольник A1B1C1 по двум катетам, длины которых равны длинам a и b катетов данного треугольника (рис. 25).
Пусть длина гипотенузы построенного треугольника равна c1. Так как построенный треугольник прямоугольный, то по теореме Пифагора имеем: c12 = a2 + b2. (4)