Теорема Пифагора и её формула¶
Теорема Пифагора — одна из основополагающих теорем евклидовой геометрии, устанавливающая соотношение между сторонами прямоугольного треугольника. Согласно теореме, квадрат длины гипотенузы равен сумме квадратов длин катетов. В алгебраической форме это записывается как a² + b² = c², где c — длина гипотенузы, a и b — длины катетов. Это утверждение названо в честь древнегреческого математика и философа Пифагора Самосского, хотя его формулировка и доказательства встречаются в источниках, предшествующих Пифагору.
¶Формулировка
Классическая формулировка теоремы: в любом прямоугольном треугольнике площадь квадрата, построенного на гипотенузе, равна сумме площадей квадратов, построенных на двух катетах. Алгебраически это выражается равенством:
c² = a² + b²
где c — гипотенуза (сторона, противолежащая прямому углу), a и b — катеты. Из основного равенства выводятся производные формулы для нахождения любой из сторон:
- a = √(c² − b²)
- b = √(c² − a²)
- c = √(a² + b²)
Теорема справедлива исключительно для прямоугольных треугольников, то есть треугольников, один из углов которых равен 90°.
¶История
Соотношение, известное как теорема Пифагора, было открыто задолго до самого Пифагора. Древневавилонские клинописные таблички, датируемые примерно XVIII веком до н. э., содержат задачи, решаемые с помощью этого соотношения. В древнеегипетской и древнеиндийской математике также встречаются свидетельства знания «пифагоровых» троек чисел.
Тем не менее теорема носит имя Пифагора Самосского (около 570–495 гг. до н. э.), который, по преданию, первым дал её строгое доказательство. Пифагорейская школа придавала теореме мистическое значение, связывая её с гармонией и космологией. В дальнейшем теорема вошла в «Начала» Евклида (около 300 г. до н. э.), где приведено классическое доказательство методом площадей. В средневековой Европе теорема была известна как «мост ослов» — из-за сложности доказательства для начинающих.
¶Доказательства
Существует более трёхсот различных доказательств теоремы Пифагора — это одно из самых доказываемых утверждений в математике.
¶Доказательство через площади
Наиболее наглядный метод: на сторонах прямоугольного треугольника строятся квадраты. Квадрат на гипотенузе разбивается на части, сумма площадей которых равна сумме площадей квадратов на катетах. Это доказательство приписывают Евклиду.
¶Алгебраическое доказательство
Через подобие треугольников: высота, опущенная из вершины прямого угла на гипотенузу, разбивает исходный треугольник на два подобных ему. Из пропорций сторон выводятся соотношения, приводящие к равенству c² = a² + b².
¶Доказательство через векторы
В векторной форме для прямоугольного треугольника с катетами-векторами u и v, где u ⊥ v, выполняется |u + v|² = |u|² + |v|², поскольку скалярное произведение перпендикулярных векторов равно нулю.
¶Обратная теорема
Верно и обратное утверждение: если в треугольнике квадрат одной стороны равен сумме квадратов двух других сторон, то этот треугольник прямоугольный, а прямой угол лежит против первой стороны. Обратная теорема широко применяется для проверки прямоугольности треугольников и построения прямых углов на местности.
¶Пифагоровы тройки
Пифагоровой тройкой называются три натуральных числа, удовлетворяющих равенству a² + b² = c². Простейшая и наиболее известная тройка — (3, 4, 5), поскольку 9 + 16 = 25. Другие примеры: (5, 12, 13), (8, 15, 17), (7, 24, 25). Пифагоровы тройки используются в строительстве и геодезии для разметки прямых углов.
Примитивные пифагоровы тройки (не имеющие общего делителя больше единицы) описываются формулой: a = m² − n², b = 2mn, c = m² + n², где m и n — взаимно простые натуральные числа разной чётности, m > n.
¶Применение
Теорема Пифагора имеет фундаментальное значение в геометрии и смежных дисциплинах:
- Геометрия и тригонометрия — основа для определения расстояний, вывода основного тригонометрического тождества sin²α + cos²α = 1.
- Строительство и архитектура — проверка прямых углов, расчёт диагоналей и уклонов.
- Навигация и геодезия — вычисление расстояний между точками на плоскости.
- Физика — расчёт модуля вектора, сложение перпендикулярных скоростей и сил.
- Информатика — вычисление евклидова расстояния между точками в пространстве данных.
В аналитической геометрии теорема обобщается до формулы расстояния между двумя точками на координатной плоскости: d = √((x₂ − x₁)² + (y₂ − y₁)²).
¶Обобщения
Теорема Пифагора допускает ряд обобщений:
- Теорема косинусов — для произвольного треугольника: c² = a² + b² − 2ab·cos γ, где γ — угол между сторонами a и b. При γ = 90° косинус равен нулю, и формула переходит в теорему Пифагора.
- Теорема Пифагора в многомерном пространстве — длина вектора в n-мерном евклидовом пространстве равна корню из суммы квадратов его координат.
- Теорема де Гуа — обобщение на трёхмерный случай для прямоугольного тетраэдра.
¶Значение
Теорема Пифагора считается одним из краеугольных камней математики. Она связывает алгебру и геометрию, лежит в основе евклидовой метрики и находит применение практически во всех естественных науках. В честь теоремы названы кратер на Луне и астероид. ЮНЕСКО включала связанные с ней математические традиции в перечни культурного наследия. Теорема остаётся обязательным элементом школьного курса геометрии во всём мире, включая Россию.
Источники: «Начала» Евклида; учебники геометрии для средней школы; работы по истории математики Б. В. Гнеденко, А. П. Юшкевича; вавилонские клинописные таблички (YBC 7289).