В математике теорема Пифагора или теорема Пифагора является фундаментальным соотношением в евклидовой геометрии между тремя сторонами прямоугольного треугольника . Он гласит, что площадь квадрата , стороной которого является гипотенуза (сторона, противоположная прямому углу ), равна сумме площадей квадратов, лежащих на двух других сторонах.
Теорему можно записать в виде уравнения, связывающего длины сторон a , b и гипотенузы c , иногда называемого уравнением Пифагора : [1]
Теорема названа в честь греческого философа Пифагора , родившегося около 570 г. до н.э. Теорема была доказана множество раз разными методами – возможно, больше, чем любая математическая теорема. Доказательства разнообразны, включая как геометрические , так и алгебраические доказательства, некоторые из которых датируются тысячами лет.
Когда евклидово пространство представлено декартовой системой координат в аналитической геометрии , евклидово расстояние удовлетворяет соотношению Пифагора: квадрат расстояния между двумя точками равен сумме квадратов разницы в каждой координате между точками.
Теорему можно обобщить различными способами: на пространства более высокой размерности , на пространства, которые не являются евклидовыми , на объекты, которые не являются прямоугольными треугольниками, и на объекты, которые вообще не являются треугольниками, а являются n -мерными телами.
В одном доказательстве перестановки используются два квадрата, стороны которых имеют меру и которые содержат четыре прямоугольных треугольника, стороны которых равны a , b и c , а гипотенуза равна c . В квадрате с правой стороны треугольники расположены так, что углы квадрата соответствуют углам прямого угла в треугольниках, образуя в центре квадрат, стороны которого имеют длину c . Каждый внешний квадрат имеет площадь , что представляет собой общую площадь четырех треугольников. Внутри большого квадрата слева четыре треугольника перемещаются, образуя два одинаковых прямоугольника со сторонами длиной a и b . Эти прямоугольники в своем новом положении теперь очертили два новых квадрата: один со стороной a формируется в левом нижнем углу, а другой квадрат с длиной стороны b формируется в правом верхнем углу. В этом новом положении левая сторона теперь имеет площадь как квадрата, так и . Поскольку оба квадрата имеют площадь, следует, что другие меры площади квадрата также равны друг другу, так что = . Если удалить площади четырех треугольников из обеих частей уравнения, останется [2]
В другом доказательстве прямоугольники во втором блоке также можно разместить так, чтобы оба имели по одному углу, соответствующему последовательным углам квадрата. Таким образом, они также образуют две коробки, на этот раз в последовательных углах, с площадями , которые снова приведут ко второму квадрату с площадью .
Английский математик сэр Томас Хит приводит это доказательство в своем комментарии к предложению I.47 в «Началах» Евклида и упоминает предположения немецких математиков Карла Антона Бретшнайдера и Германа Ханкеля о том, что Пифагор мог знать это доказательство. Сам Хит поддерживает другое предложение доказательства Пифагора, но с самого начала своего обсуждения признает, что «греческая литература, которой мы располагаем, относящаяся к первым пяти векам после Пифагора, не содержит никаких утверждений, указывающих на это или какое-либо другое конкретное великое геометрическое открытие, сделанное им. " [3] Недавние исследования ставят под сомнение какую-либо роль Пифагора как создателя математики, хотя споры по этому поводу продолжаются. [4]
Теорему можно доказать алгебраически, используя четыре копии одного и того же треугольника, расположенные симметрично вокруг квадрата со стороной c , как показано в нижней части диаграммы. [5] В результате получается больший квадрат со стороной a + b и площадью ( a + b ) 2 . Четыре треугольника и сторона квадрата c должны иметь ту же площадь, что и больший квадрат.
предоставление
В аналогичном доказательстве используются четыре копии прямоугольного треугольника со сторонами a , b и c , расположенные внутри квадрата со стороной c , как показано в верхней половине диаграммы. [6] Треугольники подобны площади , а маленький квадрат имеет сторону b − a и площадь ( b − a ) 2 . Следовательно, площадь большого квадрата равна
Но это квадрат со стороной c и площадью c2 , поэтому
У этой теоремы может быть больше известных доказательств, чем у любой другой ( закон квадратичной взаимности является еще одним претендентом на это различие); книга «Предложение Пифагора» содержит 370 доказательств. [7]
Это доказательство основано на пропорциональности сторон трех подобных треугольников, т. е. на том факте, что соотношение любых двух соответствующих сторон подобных треугольников одинаково, независимо от размеров треугольников.
Пусть ABC представляет собой прямоугольный треугольник с прямым углом , расположенным в точке C , как показано на рисунке. Проведите высоту из точки C и назовите H ее пересечение со стороной AB . Точка H делит длину гипотенузы c на части d и e . Новый треугольник ACH похож на треугольник ABC , поскольку оба они имеют прямой угол (по определению высоты) и имеют общий угол A , а это означает, что третий угол также будет одинаковым в обоих треугольниках. отмечено на рисунке буквой θ . По аналогичным рассуждениям треугольник CBH также подобен ABC . Доказательство подобия треугольников требует постулата треугольника : сумма углов в треугольнике равна двум прямым углам и эквивалентна постулату параллельности . Подобие треугольников приводит к равенству отношений соответствующих сторон:
Первый результат приравнивает косинусы углов θ , тогда как второй результат приравнивает их синусы .
Эти соотношения можно записать как
Суммируя эти два равенства, получим
что после упрощения демонстрирует теорему Пифагора:
Роль этого доказательства в истории является предметом многочисленных спекуляций. Основной вопрос заключается в том, почему Евклид не использовал это доказательство, а изобрел другое. Одна из гипотез состоит в том, что доказательство с помощью подобных треугольников включало теорию пропорций, тему, которая не обсуждалась до более позднего времени в «Началах» , и что теория пропорций в то время нуждалась в дальнейшем развитии. [8]
Альберт Эйнштейн дал доказательство путем вскрытия, в котором части не нужно перемещать. [9] Вместо квадрата на гипотенузе и двух квадратов на катетах можно использовать любую другую фигуру, включающую гипотенузу, и две подобные фигуры, каждая из которых включает один из двух катетов вместо гипотенузы (см. Подобные фигуры на рисунке). три стороны). В доказательстве Эйнштейна фигура, включающая гипотенузу, сама является прямоугольным треугольником. Разрезание заключается в опущении перпендикуляра из вершины прямого угла треугольника на гипотенузу, таким образом разбивая весь треугольник на две части. Эти две части имеют ту же форму, что и исходный прямоугольный треугольник, катеты исходного треугольника являются их гипотенузами, а сумма их площадей равна сумме площадей исходного треугольника. Поскольку отношение площади прямоугольного треугольника к квадрату его гипотенузы одинаково для подобных треугольников, соотношение площадей трех треугольников справедливо и для квадратов сторон большого треугольника.
Вот как в общих чертах проходит доказательство в « Началах» Евклида . Большой квадрат разделен на левый и правый прямоугольник. Построен треугольник, площадь которого равна половине площади левого прямоугольника. Затем строится еще один треугольник, крайняя левая сторона которого имеет половину площади квадрата. Показано, что эти два треугольника конгруэнтны , что доказывает, что этот квадрат имеет ту же площадь, что и левый прямоугольник. За этим аргументом следует аналогичная версия для правого прямоугольника и оставшегося квадрата. Если соединить два прямоугольника вместе, чтобы преобразовать квадрат на гипотенузе, его площадь будет равна сумме площадей двух других квадратов. Подробности следуют далее.
Пусть A , B , C — вершины прямоугольного треугольника с прямым углом в A. Опустите перпендикуляр из точки А на сторону, противоположную гипотенузе, в квадрате над гипотенузой. Эта линия делит квадрат на гипотенузе на два прямоугольника, каждый из которых имеет ту же площадь, что и один из двух квадратов на катетах.
Для формального доказательства нам потребуются четыре элементарные леммы :
Далее каждому верхнему квадрату соответствует треугольник, конгруэнтный другому треугольнику, связанному, в свою очередь, с одним из двух прямоугольников, составляющих нижний квадрат. [10]
Доказательство следующее:
Это доказательство, которое появляется в «Началах» Евклида как доказательство предложения 47 в книге 1, демонстрирует, что площадь квадрата на гипотенузе представляет собой сумму площадей двух других квадратов. [12] [13] Это совершенно отличается от доказательства подобием треугольников, которое, как предполагается, является доказательством, которое использовал Пифагор. [14] [15]
Другая перестановка дает среднюю анимацию. Большой квадрат площадью c2 составлен из четырех одинаковых прямоугольных треугольников со сторонами a , b и c , расположенных вокруг маленького центрального квадрата . Затем путем перемещения треугольников образуются два прямоугольника со сторонами a и b . Объединение меньшего квадрата с этими прямоугольниками дает два квадрата с площадями a 2 и b 2 , которые должны иметь ту же площадь, что и исходный большой квадрат. [16]
Третье, самое правое изображение также дает доказательство. Два верхних квадрата разделены, как показано синей и зеленой штриховкой, на части, которые при перестановке можно разместить в нижнем квадрате на гипотенузе, или, наоборот, большой квадрат можно разделить, как показано на рисунке, на части, заполняющие два других. . Такой способ разрезания одной фигуры на части и перестановки их для получения другой фигуры называется рассечением . Это показывает, что площадь большого квадрата равна площади двух меньших. [17]
Как показано в сопровождающей анимации, отображения и сдвиги, сохраняющие площадь, могут преобразовать квадраты на сторонах, прилегающих к прямому углу, в квадрат на гипотенузе, вместе точно покрывая его. [18] При каждом сдвиге основание и высота остаются неизменными, поэтому площадь также остается неизменной. Переводы также оставляют область неизменной, поскольку они вообще не меняют формы. Каждый квадрат разрезается сначала на параллелограмм, а затем на прямоугольник, который можно перевести на одно сечение квадрата по гипотенузе.
Соответствующее доказательство было опубликовано будущим президентом США Джеймсом А. Гарфилдом (тогда представителем США ) (см. диаграмму). [19] [20] [21] Вместо квадрата используется трапеция , которую можно построить из квадрата во втором из приведенных выше доказательств путем деления внутреннего квадрата пополам по диагонали, чтобы получить трапецию, как показано на рисунке. диаграмма. Площадь трапеции можно вычислить как половину площади квадрата, то есть
Внутренний квадрат делится пополам аналогичным образом, а треугольников всего два, поэтому доказательство продолжается, как указано выше, за исключением коэффициента , который удаляется путем умножения на два, чтобы получить результат.
К теореме Пифагора можно прийти, изучив, как изменение стороны приводит к изменению гипотенузы, и применив математические вычисления . [22] [23] [24]
Треугольник ABC — прямоугольный, как показано в верхней части диаграммы, с гипотенузой BC . В то же время длины треугольника измеряются, как показано, с гипотенузой длиной y , стороной AC длиной x и стороной AB длиной a , как показано в нижней части диаграммы.
Если x увеличить на небольшую величину dx путем небольшого удлинения стороны AC до D , то y также увеличится на dy . Они образуют две стороны треугольника CDE , который (при выборе E так, чтобы CE был перпендикулярен гипотенузе) представляет собой прямоугольный треугольник, примерно аналогичный ABC . Следовательно, отношения их сторон должны быть одинаковыми, то есть:
Это можно переписать как , что представляет собой дифференциальное уравнение , которое можно решить прямым интегрированием:
предоставление
Константу можно вывести из x = 0, y = a, чтобы получить уравнение
Это скорее интуитивное доказательство, чем формальное: его можно сделать более строгим, если вместо dx и dy использовать соответствующие пределы .
Верно и обратное утверждение теоремы: [25]
Дан треугольник со сторонами длины a , b и c , если a 2 + b 2 = c 2 , то угол между сторонами a и b является прямым .
Для любых трех положительных действительных чисел a , b и c таких, что a 2 + b 2 = c 2 , существует треугольник со сторонами a , b и c как следствие обратного неравенства треугольника .
Это обратное явление появляется в «Началах» Евклида (книга I, предложение 48): «Если в треугольнике квадрат одной из сторон равен сумме квадратов двух оставшихся сторон треугольника, то угол, заключенный между двумя оставшимися сторонами треугольник правильный». [26]
Это можно доказать, используя закон косинусов или следующим образом:
Пусть ABC — треугольник с длинами сторон a , b и c , причем a 2 + b 2 = c 2 . Постройте второй треугольник, стороны которого a и b содержат прямой угол. По теореме Пифагора следует, что гипотенуза этого треугольника имеет длину c = √ a 2 + b 2 , такую же, как и гипотенуза первого треугольника. Поскольку стороны обоих треугольников имеют одинаковую длину a , b и c , треугольники конгруэнтны и должны иметь одинаковые углы. Следовательно, угол между сторонами длин a и b в исходном треугольнике является прямым.
Приведенное выше доказательство обратного использует саму теорему Пифагора. Обратное утверждение также можно доказать, не прибегая к теореме Пифагора. [27] [28]
Следствием обратной теоремы Пифагора является простой способ определить, является ли треугольник прямым, тупым или остроугольным, следующим образом. Пусть c выбрано как самая длинная из трех сторон и a + b > c (иначе согласно неравенству треугольника не будет треугольника ). Применимы следующие утверждения: [29]
Эдсгер В. Дейкстра сформулировал это положение об остром, прямоугольном и тупом треугольниках на этом языке:
где α — угол, противоположный стороне a , β — угол, противоположный стороне b , γ — угол, противоположный стороне c , а Sign — знаковая функция . [30]
Тройка Пифагора имеет три натуральных числа a , b и c , такие, что a 2 + b 2 = c 2 . Другими словами, тройка Пифагора представляет собой длины сторон прямоугольного треугольника, где все три стороны имеют целые длины. [1] Такую тройку обычно пишут ( a , b , c ). Некоторые хорошо известные примеры: (3, 4, 5) и (5, 12, 13).
Примитивная пифагорова тройка — это тройка, в которой a , b и c взаимно просты ( наибольший общий делитель a , b и c равен 1).
Ниже приводится список примитивных троек Пифагора со значениями меньше 100:
Дан прямоугольный треугольник со сторонами и высотой (линия, проведенная под прямым углом и перпендикулярная гипотенузе ) . Теорема Пифагора имеет:
в то время как обратная теорема Пифагора связывает две ноги с высотой , [31]
Уравнение можно преобразовать к,
где для любого ненулевого действительного . Если числа должны быть целыми числами , то наименьшее решение будет тогда
используя наименьшую пифагорову тройку . Обратная теорема Пифагора является частным случаем оптического уравнения
где знаменатели — квадраты, а также для семиугольного треугольника , стороны которого — квадратные числа.
Одним из следствий теоремы Пифагора является то, что отрезки прямой, длина которых несоизмерима (поэтому отношение которых не является рациональным числом ), можно построить с помощью линейки и циркуля . Теорема Пифагора позволяет построить несоизмеримые длины, поскольку гипотенуза треугольника связана со сторонами операцией извлечения квадратного корня .
На рисунке справа показано, как построить отрезки прямой, длина которых равна квадратному корню любого положительного целого числа. [32] У каждого треугольника есть сторона (обозначенная цифрой «1»), которая является выбранной единицей измерения. В каждом прямоугольном треугольнике теорема Пифагора устанавливает длину гипотенузы в этой единице. Если гипотенуза связана с единицей квадратным корнем из положительного целого числа, которое не является полным квадратом, это реализация длины, несоизмеримой с единицей, например √ 2 , √ 3 , √ 5 . Более подробно см. Квадратичная иррациональность .
Несоизмеримые длины противоречили представлению школы Пифагора о числах как о целых числах. Школа Пифагора имела дело с пропорциями путем сравнения целых чисел, кратных общей субъединице. [33] Согласно одной легенде, Гиппас из Метапонта ( ок. 470 г. до н.э.) был утоплен в море за то, что сообщил о существовании иррационального или несоизмеримого. [34] Тщательное обсуждение вклада Гиппаса можно найти у Фрица . [35]
Для любого комплексного числа
абсолютное значение или модуль определяется выражением
Таким образом, три величины r , x и y связаны уравнением Пифагора:
Обратите внимание, что r определяется как положительное число или ноль, но x и y могут быть как отрицательными, так и положительными. Геометрически r — это расстояние z от нуля или начала координат O на комплексной плоскости .
Это можно обобщить, чтобы найти расстояние между двумя точками, скажем, z 1 и z 2 . Требуемое расстояние определяется выражением
и снова они связаны версией уравнения Пифагора:
Формула расстояния в декартовых координатах выведена из теоремы Пифагора. [36] Если ( x 1 , y 1 ) и ( x 2 , y 2 ) являются точками на плоскости, то расстояние между ними, также называемое евклидовым расстоянием , определяется выражением
В более общем смысле, в евклидовом n -пространстве евклидово расстояние между двумя точками и определяется путем обобщения теоремы Пифагора как:
Если вместо евклидова расстояния используется квадрат этого значения ( квадрат евклидова расстояния или SED), полученное уравнение не имеет квадратных корней и представляет собой просто сумму SED координат:
Квадратная форма представляет собой гладкую выпуклую функцию обеих точек и широко используется в теории оптимизации и статистике , образуя основу метода наименьших квадратов .
Если не используются декартовы координаты, например, если используются полярные координаты в двух измерениях или, в более общем плане, если используются криволинейные координаты , формулы, выражающие евклидово расстояние, более сложны, чем теорема Пифагора, но их можно вывести из это. Типичный пример преобразования расстояния между двумя точками по прямой в криволинейные координаты можно найти в приложениях полиномов Лежандра в физике . Формулы можно найти, используя теорему Пифагора с уравнениями, связывающими криволинейные координаты с декартовыми координатами. Например, полярные координаты ( r , θ ) можно ввести как:
Тогда две точки с местоположениями ( r 1 , θ 1 ) и ( r 2 , θ 2 ) разделены расстоянием s :
Выполняя квадраты и объединяя члены, формула Пифагора для расстояния в декартовых координатах дает разделение в полярных координатах как:
используя тригонометрические формулы произведения к сумме . Эта формула представляет собой закон косинусов, иногда называемый обобщенной теоремой Пифагора. [37] Из этого результата в случае, когда радиусы двух мест находятся под прямым углом, приложенный угол Δ θ = π / 2 и форма, соответствующая теореме Пифагора, восстанавливается: Теорема Пифагора, справедливая для правых треугольников, следовательно, является частным случаем более общего закона косинусов, справедливого для произвольных треугольников.
В прямоугольном треугольнике со сторонами a , b и гипотенузой c тригонометрия определяет синус и косинус угла θ между стороной a и гипотенузой как:
Отсюда следует:
где на последнем этапе применяется теорема Пифагора. Это соотношение между синусом и косинусом иногда называют фундаментальным тригонометрическим тождеством Пифагора. [38] В подобных треугольниках соотношения сторон одинаковы независимо от размеров треугольников и зависят от углов. Следовательно, на рисунке треугольник с гипотенузой единичного размера имеет противоположную сторону размера sin θ и прилегающую сторону размера cos θ в единицах гипотенузы.
Теорема Пифагора аналогичным образом связывает векторное произведение и скалярное произведение : [39]
Это видно из определений векторного произведения и скалярного произведения, как
где n - единичный вектор, нормальный как к a , так и к b . Связь следует из этих определений и тригонометрического тождества Пифагора.
Это также можно использовать для определения перекрестного произведения. Перестановкой получается следующее уравнение
Это можно рассматривать как условие векторного произведения и, следовательно, как часть его определения, например, в семи измерениях . [40] [41]
Если предположить, что первые четыре аксиомы евклидовой геометрии верны, то теорема Пифагора эквивалентна пятой. То есть пятый постулат Евклида подразумевает теорему Пифагора и наоборот.
Теорема Пифагора обобщает не только площади квадратов с трех сторон, но и любые подобные фигуры . Это было известно Гиппократу Хиосскому в V веке до нашей эры [42] и было включено Евклидом в его «Начала» : [43]
Если на сторонах прямоугольного треугольника воздвигнуть подобные фигуры (см. Евклидову геометрию ) с соответствующими сторонами, то сумма площадей фигур на двух меньших сторонах равна площади фигуры на большей стороне.
Это расширение предполагает, что стороны исходного треугольника являются соответствующими сторонами трех конгруэнтных фигур (поэтому общие отношения сторон между подобными фигурами равны a:b:c ). [44] Хотя доказательство Евклида применимо только к выпуклым многоугольникам, теорема также применима к вогнутым многоугольникам и даже к подобным фигурам, которые имеют изогнутые границы (но при этом часть границы фигуры все же является стороной исходного треугольника). [44]
Основная идея этого обобщения заключается в том, что площадь плоской фигуры пропорциональна квадрату любого линейного измерения и, в частности, пропорциональна квадрату длины любой стороны. Таким образом, если подобные фигуры площадей A , B и C воздвигнуты на сторонах соответствующей длины a , b и c , то:
Но по теореме Пифагора a 2 + b 2 = c 2 , поэтому A + B = C .
И наоборот, если мы сможем доказать, что A + B = C для трех одинаковых фигур, не используя теорему Пифагора, то мы сможем работать в обратном направлении, чтобы построить доказательство теоремы. Например, начальный центральный треугольник можно воспроизвести и использовать как треугольник C на его гипотенузе, а два подобных прямоугольных треугольника ( A и B ) построить на двух других сторонах, образуя путем деления центрального треугольника на его высоту . Таким образом, сумма площадей двух меньших треугольников равна площади третьего, таким образом, A + B = C , а обращение вышеуказанной логики приводит к теореме Пифагора a 2 + b 2 = c 2 . ( См. также доказательство Эйнштейна путем рассечения без перестановки )
Теорема Пифагора является частным случаем более общей теоремы, связывающей длины сторон любого треугольника, закона косинусов, который утверждает, что
Если радианы или 90°, то , и формула сводится к обычной теореме Пифагора.
В любой выбранный угол общего треугольника со сторонами a, b, c впишите равнобедренный треугольник такой, что равные углы при его основании θ равны выбранному углу. Предположим, выбранный угол θ противоположен стороне, обозначенной c . Вписав равнобедренный треугольник, получим треугольник CAD с углом θ, противоположным стороне b, и стороной r , направленной вдоль c . Второй треугольник формируется с углом θ, противоположным стороне a, и стороной длиной s вдоль c , как показано на рисунке. Сабит ибн Курра заявил, что стороны трех треугольников связаны следующим образом: [47] [48]
По мере приближения угла θ к π /2 основание равнобедренного треугольника сужается, а длины r и s перекрываются всё меньше и меньше. Когда θ = π /2, ADB становится прямоугольным треугольником, r + s = c , и исходная теорема Пифагора восстанавливается.
Одно из доказательств гласит, что треугольник ABC имеет те же углы, что и треугольник CAD , но в противоположном порядке. (Два треугольника имеют общий угол в вершине A, оба содержат угол θ и, следовательно, имеют один и тот же третий угол согласно постулату треугольника .) Следовательно, ABC подобен отражению CAD , треугольника DAC на нижней панели. Взяв отношение сторон, противоположных и прилежащих к θ,
Аналогично для отражения другого треугольника:
Очистка дробей и добавление этих двух отношений:
требуемый результат.
Теорема остается в силе, если угол тупой, поэтому длины r и s не перекрываются.
Теорема Паппа о площади представляет собой дальнейшее обобщение, применимое к треугольникам, не являющимся прямоугольными, с использованием параллелограммов на трех сторонах вместо квадратов (квадраты, конечно, являются особым случаем). На верхнем рисунке показано, что для разностороннего треугольника площадь параллелограмма на самой длинной стороне равна сумме площадей параллелограммов на двух других сторонах при условии, что параллелограмм на длинной стороне построен так, как указано (размеры, отмеченные знаком стрелки одинаковые и определяют стороны нижнего параллелограмма). Эта замена квадратов параллелограммами имеет явное сходство с исходной теоремой Пифагора и считалась обобщением Паппа Александрийского в 4 году нашей эры [49] [50].
На нижнем рисунке показаны элементы доказательства. Сосредоточьтесь на левой стороне фигуры. Левый зеленый параллелограмм имеет ту же площадь, что и левая синяя часть нижнего параллелограмма, поскольку оба имеют одинаковое основание b и высоту h . Однако левый зеленый параллелограмм также имеет ту же площадь, что и левый зеленый параллелограмм верхнего рисунка, потому что у них одинаковое основание (верхняя левая сторона треугольника) и одинаковая высота по нормали к этой стороне треугольника. Повторяя аргументы для правой части рисунка, нижний параллелограмм имеет ту же площадь, что и сумма двух зеленых параллелограммов.
С точки зрения твердотельной геометрии теорема Пифагора может быть применена к трем измерениям следующим образом. Рассмотрим кубоид , изображенный на рисунке. Длина диагонали грани AC находится по теореме Пифагора как:
где эти три стороны образуют прямоугольный треугольник. Используя диагональ AC и горизонтальное ребро CD , длина диагонали тела AD затем находится посредством второго применения теоремы Пифагора как:
или, делая все это за один шаг:
Этот результат представляет собой трехмерное выражение величины вектора v (диагонали AD) через его ортогональные компоненты { v k } (три взаимно перпендикулярные стороны):
Эту одношаговую формулировку можно рассматривать как обобщение теоремы Пифагора на более высокие измерения. Однако этот результат на самом деле представляет собой просто повторное применение исходной теоремы Пифагора к последовательности прямоугольных треугольников в последовательности ортогональных плоскостей.
Существенным обобщением теоремы Пифагора на три измерения является теорема де Гуа , названная в честь Жана Поля де Гуа де Мальвеша : Если тетраэдр имеет прямой угол (как угол куба ) , то квадрат площади грани напротив угла прямого угла есть сумма квадратов площадей остальных трёх граней. Этот результат можно обобщить, как в « n -мерной теореме Пифагора»: [51]
Пусть – ортогональные векторы в R n . Рассмотрим n -мерный симплекс S с вершинами . (Представьте себе ( n − 1)-мерный симплекс с вершинами, не включающими начало координат, как «гипотенузу» S , а остальные ( n — 1)-мерные грани S как его «ноги».) Тогда квадрат объем гипотенузы S равен сумме квадратов объемов n катетов.
Это утверждение в трех измерениях иллюстрируется тетраэдром на рисунке. «Гипотенуза» — это основание тетраэдра в задней части фигуры, а «ноги» — это три стороны, исходящие из вершины на переднем плане. По мере увеличения глубины основания от вершины площадь «ножек» увеличивается, а площадь основания фиксируется. Теорема предполагает, что когда эта глубина равна значению, создающему правую вершину, применяется обобщение теоремы Пифагора. В другой формулировке: [52]
Для n -прямоугольного n -мерного симплекса квадрат ( n - 1)-содержимого грани , противоположной правой вершине, будет равен сумме квадратов ( n - 1)-содержимого остальных граней.
Теорема Пифагора может быть обобщена на пространства внутреннего произведения [53] , которые являются обобщениями знакомых 2-мерных и 3-мерных евклидовых пространств . Например, функцию можно рассматривать как вектор с бесконечным количеством компонентов в пространстве внутреннего продукта, как в функциональном анализе . [54]
В пространстве внутреннего продукта концепция перпендикулярности заменяется концепцией ортогональности : два вектора v и w ортогональны, если их внутренний продукт равен нулю. Внутренний продукт является обобщением скалярного произведения векторов. Скалярное произведение называется стандартным внутренним продуктом или евклидовым внутренним продуктом. Однако возможны и другие внутренние продукты. [55]
Понятие длины заменяется понятием нормы ‖ v ‖ вектора v , определяемого как: [56]
В пространстве внутреннего произведения теорема Пифагора утверждает, что для любых двух ортогональных векторов v и w имеем
Здесь векторы v и w подобны сторонам прямоугольного треугольника с гипотенузой, заданной векторной суммой v + w . Эта форма теоремы Пифагора является следствием свойств скалярного продукта :
где из-за ортогональности.
Дальнейшим обобщением теоремы Пифагора в пространстве внутреннего произведения на неортогональные векторы является закон параллелограмма : [56]
который гласит, что удвоенная сумма квадратов длин сторон параллелограмма равна сумме квадратов длин диагоналей. Любая норма, удовлетворяющая этому равенству, ipso facto является нормой, соответствующей скалярному продукту. [56]
Тождество Пифагора можно расширить до сумм более чем двух ортогональных векторов. Если v 1 , v 2 , ..., v n — попарно ортогональные векторы в пространстве внутреннего произведения, то применение теоремы Пифагора к последовательным парам этих векторов (как описано для 3-мерных измерений в разделе, посвященном твердотельной геометрии) ) приводит к уравнению [57]
Другое обобщение теоремы Пифагора применимо к измеримым по Лебегу множествам объектов любого числа измерений. В частности, квадрат меры m -мерного набора объектов в одной или нескольких параллельных m -мерных плоскостях в n -мерном евклидовом пространстве равен сумме квадратов мер ортогональных проекций объекта(ов) ) на все m -мерные координатные подпространства. [58]
В математических терминах:
где:
Теорема Пифагора выведена из аксиом евклидовой геометрии , и в самом деле, если бы теорема Пифагора не удалась для некоторого прямоугольного треугольника, то плоскость, в которой содержится этот треугольник, не могла бы быть евклидовой. Точнее, теорема Пифагора подразумевает и подразумевается (пятым) постулатом Евклида о параллельности . [59] [60] Таким образом, прямоугольные треугольники в неевклидовой геометрии [61] не удовлетворяют теореме Пифагора. Например, в сферической геометрии все три стороны прямоугольного треугольника (скажем, a , b и c ), ограничивающего октант единичной сферы, имеют длину, равную π /2, а все его углы прямые, что нарушает принцип Пифагора. теорема, потому что .
Здесь рассматриваются два случая неевклидовой геометрии — сферическая геометрия и геометрия гиперболической плоскости ; в каждом случае, как и в евклидовом случае для непрямоугольных треугольников, результат, заменяющий теорему Пифагора, следует из соответствующего закона косинусов.
Однако теорема Пифагора остается верной в гиперболической геометрии и эллиптической геометрии, если условие прямоугольности треугольника заменяется условием того, что сумма двух углов равна третьему, скажем , A + B = C. Стороны тогда связаны следующим образом: сумма площадей кругов диаметром a и b равна площади круга диаметром c . [62]
Для любого прямоугольного треугольника на сфере радиуса R (например, если γ на рисунке — прямой угол) со сторонами a , b , c соотношение между сторонами принимает вид: [63]
Это уравнение можно вывести как частный случай сферического закона косинусов , который применим ко всем сферическим треугольникам:
Для бесконечно малых треугольников на сфере (или, что то же самое, для конечных сферических треугольников на сфере бесконечного радиуса) сферическое соотношение между сторонами прямоугольного треугольника сводится к евклидовой форме теоремы Пифагора. Чтобы увидеть , как это сделать, предположим , что у нас есть сферический треугольник с фиксированными длинами сторон a , b и c на сфере с расширяющимся радиусом R. Когда R приближается к бесконечности, величины a/R , b/R и c/R стремятся к нулю, и сферическое тождество Пифагора сводится к таковому , поэтому мы должны рассмотреть его асимптотическое разложение .
Ряд Маклорена для функции косинуса можно записать как с остаточным членом в обозначении большого О. Пусть это сторона треугольника и рассматривая выражение как асимптотическое разложение через R для фиксированного c ,
и то же самое для a и b . Подстановка асимптотического разложения для каждого из косинусов в сферическое соотношение для прямоугольного треугольника дает
Вычитая 1, а затем отрицая каждую сторону,
Умножив на 2 R 2 , асимптотическое разложение для c в терминах фиксированных a , b и переменной R будет равно
Евклидово-пифагорово соотношение восстанавливается в пределе, поскольку остаток исчезает, когда радиус R приближается к бесконечности.
Для практических вычислений в сферической тригонометрии с маленькими прямоугольными треугольниками косинусы можно заменить синусами, используя тождество двойного угла, чтобы избежать потери значимости . Тогда сферическую теорему Пифагора можно альтернативно записать как
В гиперболическом пространстве с равномерной гауссовой кривизной −1/ R 2 для прямоугольного треугольника с катетами a , b и гипотенузой c соотношение сторон принимает вид: [64]
где cosh — гиперболический косинус . Эта формула представляет собой специальную форму гиперболического закона косинусов , применимого ко всем гиперболическим треугольникам: [65]
где γ - угол при вершине, противоположной стороне c .
Используя ряд Маклорена для гиперболического косинуса, cosh x ≈ 1 + x 2/2 , можно показать, что по мере того, как гиперболический треугольник становится очень маленьким (то есть когда a , b и c все стремятся к нулю), гиперболический треугольник соотношение для прямоугольного треугольника приближается к форме теоремы Пифагора.
Для маленьких прямоугольных треугольников ( a , b << R ) гиперболические косинусы можно исключить, чтобы избежать потери значимости , давая
Для любой равномерной кривизны K (положительной, нулевой или отрицательной) в очень маленьких прямоугольных треугольниках (| K | a 2 , | K | b 2 << 1) с гипотенузой c можно показать, что
Теорема Пифагора применима к бесконечно малым треугольникам, наблюдаемым в дифференциальной геометрии . В трехмерном пространстве расстояние между двумя бесконечно удаленными точками удовлетворяет условию
где ds — элемент расстояния и ( dx , dy , dz ) — компоненты вектора, разделяющего две точки. Такое пространство называется евклидовым пространством . Однако в римановой геометрии обобщение этого выражения, полезное для общих координат (не только декартовых) и общих пространств (не только евклидовых), принимает форму: [66]
который называется метрическим тензором . (Иногда, злоупотребляя языком, тот же термин применяется к набору коэффициентов gij . ) Он может быть функцией положения и часто описывает искривленное пространство . Простой пример — евклидово (плоское) пространство, выраженное в криволинейных координатах . Например, в полярных координатах :
Ведутся споры о том, была ли теорема Пифагора открыта один раз или много раз во многих местах, и дата первого открытия неизвестна, как и дата первого доказательства. Историки месопотамской математики пришли к выводу, что правило Пифагора широко использовалось в период Старого Вавилона (20-16 века до н. э.), более чем за тысячу лет до рождения Пифагора . [68] [69] [70] [71] Историю теоремы можно разделить на четыре части: знание троек Пифагора , знание отношений между сторонами прямоугольного треугольника, знание отношений между смежными углами и доказательства теоремы в рамках некоторой дедуктивной системы .
Написано ок. 1800 г. до н.э., Среднее египетское царство . Берлинский папирус 6619 включает задачу, решением которой является тройка Пифагора 6:8:10, но в задаче не упоминается треугольник. Месопотамская табличка Плимптон 322 , написанная недалеко от Ларсы, также ок. 1800 г. до н.э., содержит множество записей, тесно связанных с тройками Пифагора. [72]
В Индии Баудхаяна Шульба Сутра , даты которой даны по-разному: между 8-м и 5-м веками до нашей эры, [ 73] содержит список пифагорейских троек и утверждение теоремы Пифагора, как в частном случае равнобедренной правой треугольника и в общем случае, как и Апастамба Шулба Сутра ( ок. 600 г. до н. э. ). [а]
Византийский философ -неоплатоник и математик Прокл , писавший в пятом веке нашей эры, утверждает два арифметических правила, «одно из них приписывают Платону , другое — Пифагору», [76] для создания особых пифагорейских троек. Правило, приписываемое Пифагору ( ок. 570 – ок. 495 до н. э. ), начинается с нечетного числа и дает тройку с катетом и гипотенузой, отличающимися на одну единицу; правило, приписываемое Платону (428/427 или 424/423 – 348/347 до н.э.), начинается с четного числа и дает тройку с катетом и гипотенузой, отличающимися на две единицы. По словам Томаса Л. Хита (1861–1940), в сохранившейся греческой литературе за пять столетий после жизни Пифагора не существует конкретного приписывания этой теоремы Пифагору. [77] Однако, когда такие авторы, как Плутарх и Цицерон, приписывали эту теорему Пифагору, они делали это таким образом, что это предполагает, что авторство было широко известно и несомненно. [78] [79] Классицист Курт фон Фриц писал: «Если эта формула справедливо приписана лично Пифагору... можно с уверенностью предположить, что она принадлежит к самому древнему периоду пифагорейской математики ». [35] Около 300 г. до н. э., в «Началах » Евклида , представлено старейшее дошедшее до нас аксиоматическое доказательство теоремы. [80]
Китайский текст Чжоуби Суаньцзин (周髀算经), ( «Арифметическая классика гномона и круговых путей небес ») , содержание которого известно гораздо раньше, но в сохранившихся текстах, датируемых примерно I веком до нашей эры, дает обоснование пифагорейской теории. теорема для треугольника (3, 4, 5) — в Китае она называется « теоремой Гоугу » (勾股定理). [81] [82] Во времена династии Хань (202 г. до н.э. – 220 г. н.э.) пифагорейские тройки появляются в «Девяти главах математического искусства» [ 83] вместе с упоминанием прямоугольных треугольников. [84] Некоторые полагают, что эта теорема впервые возникла в Китае в 11 веке до нашей эры, [85] где она также известна как « теорема Шан Гао » (商高定理), [86] названная в честь астронома и математика герцога Чжоу. , чьи рассуждения составили большую часть того, что было в Чжоуби Суаньцзин . [87]
Постулат параллельности эквивалентен постулату равноудаления , аксиоме Плейфэра , аксиоме Прокла , постулату треугольника и теореме Пифагора .
Мы могли бы включить... постулат о параллельности и вывести теорему Пифагора. Или вместо этого мы могли бы выделить теорему Пифагора среди других аксиом и вывести постулат о параллельности.
Цитата: [В Сульба-сутрах] мы находим правила построения прямых углов с помощью троек веревок, длина которых образует пифагорейские триаги, например 3, 4 и 5, или 5, 12 и 13, или 8, 15 и 17 или 12, 35 и 37. Хотя влияние Месопотамии в Сулвасутрах вполне вероятно, мы не знаем никаких убедительных доказательств за или против этого. Аспастамба знал, что квадрат диагонали прямоугольника равен сумме квадратов двух соседних сторон. Менее легко объяснить другое правило, данное Апастамбой, – оно сильно напоминает некоторые положения геометрической алгебры из Книги II « Начал» Евклида . (...)
... только до Евклида мы нашли логическую последовательность общих теорем с надлежащими доказательствами.
Пифагорейцы утрояют вавилонских писцов ван дер Вардена.