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

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

История

Древний мир

Соотношение между сторонами прямоугольного треугольника было известно задолго до Пифагора. Вавилонские математики, жившие около 2000 года до н. э., использовали это соотношение для вычислений. На глиняной табличке Plimpton 322 (около 1800 года до н. э.) содержатся пифагоровы тройки — наборы натуральных чисел, удовлетворяющих теореме. В Древнем Египте для построения прямых углов применяли верёвку с 12 узлами, образующую треугольник со сторонами 3, 4 и 5 (так называемый «египетский треугольник»).

В Древнем Китае соотношение было известно под названием «правило гоу-гу» (勾股定理). В трактате «Чжоу би суань цзин» (около III века до н. э.) приводится доказательство теоремы для прямоугольного треугольника со сторонами 3, 4 и 5.

Античная Греция

Имя Пифагора Самосского (около 570–490 годов до н. э.) традиционно связывают с первым строгим доказательством теоремы. Пифагорейская школа, основанная философом, занималась систематизацией математических знаний. Однако точное авторство не установлено: вероятно, доказательство было разработано членами школы, а не самим Пифагором. Первое письменное доказательство, дошедшее до наших дней, содержится в «Началах» Евклида (около 300 года до н. э.) — книга I, предложение 47.

Средневековье и Новое время

В исламском мире теорема была известна и активно применялась. Аль-Хорезми (IX век) включил её в свой трактат по алгебре. В Европе после упадка античной науки интерес к теореме возродился в XII–XIII веках благодаря переводам арабских математиков. В эпоху Возрождения Леонардо да Винчи и другие учёные предлагали собственные доказательства. В 1876 году президент США Джеймс Гарфилд опубликовал оригинальное доказательство, основанное на площади трапеции.

Формулировка и следствия

Классическая формулировка

В прямоугольном треугольнике с катетами \(a\) и \(b\) и гипотенузой \(c\) выполняется равенство: \[ a^2 + b^2 = c^2 \]

Обратная теорема

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

Обобщения

• Теорема косинусов — обобщение для произвольного треугольника: \(c^2 = a^2 + b^2 - 2ab \cos \gamma\), где \(\gamma\) — угол между сторонами \(a\) и \(b\).
• Теорема Пифагора для многомерных пространств — в евклидовом пространстве размерности \(n\) квадрат длины вектора равен сумме квадратов его координат.
• В неевклидовой геометрии (например, на сфере или в пространстве Лобачевского) теорема не выполняется; её аналогом является теорема косинусов для сферических треугольников.

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

Существует несколько сотен различных доказательств теоремы Пифагора. Наиболее известные:

Геометрическое доказательство (через площади)

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

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

Рассматривается прямоугольный треугольник с катетами \(a\) и \(b\). Из вершины прямого угла опускается высота на гипотенузу, что даёт два подобных треугольника. Из подобия выводятся пропорции, приводящие к равенству \(a^2 + b^2 = c^2\).

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

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

Пифагоровы тройки

Пифагоровой тройкой называется набор трёх натуральных чисел \((a, b, c)\), удовлетворяющих уравнению \(a^2 + b^2 = c^2\). Примеры:

• \((3, 4, 5)\)
• \((5, 12, 13)\)
• \((8, 15, 17)\)
• \((7, 24, 25)\)

Все примитивные пифагоровы тройки (где числа не имеют общего делителя) могут быть получены по формулам: \[ a = m^2 - n^2, \quad b = 2mn, \quad c = m^2 + n^2 \] где \(m > n\) — натуральные числа, взаимно простые и разной чётности.

Применение

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

• Геодезии и картографии — для вычисления расстояний между точками на плоскости.
• Строительстве и архитектуре — для проверки прямых углов, расчёта длин стропил, диагоналей.
• Физике — для разложения векторов на составляющие, расчёта результирующей силы, скорости, расстояния.
• Компьютерной графике — для вычисления расстояний между пикселями, коллизий объектов.
• Навигации — для определения кратчайшего расстояния между точками на карте (в прямоугольной системе координат).

Интересные факты

• Теорема Пифагора занесена в Книгу рекордов Гиннесса как теорема с наибольшим числом доказательств.
• В древности существовал обычай приносить жертву богам после открытия новой математической истины. По легенде, Пифагор принёс в жертву сто быков, узнав о доказательстве теоремы (отсюда выражение «гекатомба»).
• В 2000 году была выпущена почтовая марка Греции, посвящённая теореме Пифагора.
• Теорема является частным случаем более общей теоремы Птолемея для вписанных четырёхугольников.

Источники

• Евклид. Начала. Книга I, предложение 47.
• Ван дер Варден Б. Л. Пробуждающаяся наука. Математика Древнего Египта, Вавилона и Греции. — М.: Наука, 1959.
• Стройк Д. Я. Краткий очерк истории математики. — М.: Наука, 1984.
• Глейзер Г. И. История математики в школе. — М.: Просвещение, 1982.
• Loomis E. S. The Pythagorean Proposition. — 2nd ed. — National Council of Teachers of Mathematics, 1968.