Вероятно, факт, изложенный в теореме Пифагора, был сначала установлен для равнобедренных прямоугольных треугольников. Достаточно взглянуть на мозаику из черных и светлых треугольников, изображенную на рис. 1, чтобы убедиться в справедливости теоремы для треугольника ABC: квадрат, построенный на гипотенузе, содержит 4 треугольника, а на каждом катете построен квадрат, содержащий 2 треугольника. Для доказательства общего случая в Древней Индии располагали двумя способами: в квадрате со стороной a+b изображали четыре прямоугольных треугольника с катетами длин a и b (рис. 2,а и 2,б), после чего писали одно слово «Смотри!». И действительно, взглянув на эти рисунки, видим, что слева свободна от треугольников фигура, состоящая из двух квадратов со сторонами a и b, соответственно ее площадь равна a² + b², а справа - квадрат со стороной c - его площадь равна c². Значит, a² + b² = c², что и составляет утверждение теоремы Пифагора.

Однако в течение двух тысячелетий применяли не это наглядное доказательство, а более сложное доказательство, придуманное Евклидом, которое помещено в его знаменитой книге «Начала» (см. Евклид и его «Начала»), Евклид опускал высоту BH из вершины прямого угла на гипотенузу и доказывал, что ее продолжение делит построенный на гипотенузе квадрат на два прямоугольника, площади которых равны площадям соответствующих квадратов, построенных на катетах (рис. 3). Чертеж, применяемый при доказательстве этой теоремы, в шутку называют «пифагоровы штаны». В течение долгого времени он считался одним из символов математической науки.

Рис. 1

Рис. 2

Рис. 3

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

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

c² = a² + b² - 2ab cos C.    (1)

Из этого обобщения следует, что наличие прямого угла C в ΔABC является не только достаточным, но и необходимым условием для выполнения равенства c² = a² + b². Из формулы (1) следует соотношение d₁² + d₂² = 2(a² + b²) между длинами диагоналей и сторон параллелограмма, с помощью которого легко найти длину медианы треугольника по длинам его сторон.

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

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

Теорема Пифагора существует только в евклидовой геометрии. Ни в геометрии Лобачевского, ни в других неевклидовых геометриях она не имеет места. Не имеет места аналог теоремы Пифагора и на сфере. Два меридиана, образующие угол 90°, и экватор ограничивают на сфере равносторонний сферический треугольник, все три угла которого прямые. Для него a² + b² = 2c², а не c², как на плоскости.

С помощью теоремы Пифагора вычисляют расстояние между точками M(x₁,y₁) и N(x₂,y₂) координатной плоскости по формуле

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

ГИППОКРАТОВЫ ЛУНОЧКИ

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

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

Полный перечень гиппокраювых луночек был получен лишь в XIX-XX вв. благодаря использованию методов теории Галуа.

ПЛОЩАДЬ

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

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

«Все сведения о телах и их свойствах должны содержать точные указания на число, вес, объем, размеры. Практика рождается из тесного соединения физики и математики». Ф. Бекон

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