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

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

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

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

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

b² = cb₁; (1)

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

a² = ca₁. (2)

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

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

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

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

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