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

между сторонами прямоугольного треугольника .

Считается, что доказана греческим математиком Пифагором, в честь которого и названа.

Геометрическая формулировка теоремы Пифагора.

Изначально теорема была сформулирована следующим образом:

В прямоугольном треугольнике площадь квадрата , построенного на гипотенузе , равна сумме площадей квадратов ,

построенных на катетах.

Алгебраическая формулировка теоремы Пифагора.

В прямоугольном треугольнике квадрат длины гипотенузы равен сумме квадратов длин катетов.

То есть, обозначив длину гипотенузы треугольника через c , а длины катетов через a и b :

Обе формулировки теоремы Пифагора эквивалентны, но вторая формулировка более элементарна, она не

требует понятия площади. То есть второе утверждение можно проверить, ничего не зная о площади и

измерив только длины сторон прямоугольного треугольника .

Обратная теорема Пифагора.

Если квадрат одной стороны треугольника равен сумме квадратов двух других сторон, то

треугольник прямоугольный.

Или, иными словами:

Для всякой тройки положительных чисел a , b и c , такой, что

существует прямоугольный треугольник с катетами a и b и гипотенузой c .

Теорема Пифагора для равнобедренного треугольника.

Теорема Пифагора для равностороннего треугольника.

Доказательства теоремы Пифагора.

На данный момент в научной литературе зафиксировано 367 доказательств данной теоремы. Вероятно, теорема

Пифагора является единственной теоремой со столь внушительным числом доказательств. Такое многообразие

можно объяснить лишь фундаментальным значением теоремы для геометрии.

Разумеется, концептуально все их можно разбить на малое число классов. Самые известные из них:

доказательства методом площадей , аксиоматические и экзотические доказательства (например,

с помощью дифференциальных уравнений ).

1. Доказательство теоремы Пифагора через подобные треугольники.

Следующее доказательство алгебраической формулировки — наиболее простое из доказательств, строящихся

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

Пусть ABC есть прямоугольный треугольник с прямым углом C . Проведём высоту из C и обозначим

её основание через H .

Треугольник ACH подобен треугольнику AB C по двум углам. Аналогично, треугольник CBH подобен ABC .

Введя обозначения:

получаем:

,

что соответствует -

Сложив a 2 и b 2 , получаем:

или , что и требовалось доказать.

2. Доказательство теоремы Пифагора методом площадей.

Ниже приведённые доказательства, несмотря на их кажущуюся простоту, вовсе не такие простые. Все они

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

• Доказательство через равнодополняемость.

Расположим четыре равных прямоугольных

треугольника так, как показано на рисунке

справа.

Четырёхугольник со сторонами c - квадратом,

так как сумма двух острых углов 90°, а

развёрнутый угол — 180°.

Площадь всей фигуры равна, с одной стороны,

площади квадрата со стороной (a+b ), а с другой стороны, сумме площадей четырёх треугольников и

Что и требовалось доказать.

3. Доказательство теоремы Пифагора методом бесконечно малых.

​

Рассматривая чертёж, показанный на рисунке, и

наблюдая изменение стороны a , мы можем

записать следующее соотношение для бесконечно

малых приращений сторон с и a (используя подобие

треугольников):

Используя метод разделения переменных, находим:

Более общее выражение для изменения гипотенузы в случае приращений обоих катетов:

Интегрируя данное уравнение и используя начальные условия, получаем:

Таким образом, мы приходим к желаемому ответу:

Как нетрудно видеть, квадратичная зависимость в окончательной формуле появляется благодаря линейной

пропорциональности между сторонами треугольника и приращениями, тогда как сумма связана с независимыми

вкладами от приращения разных катетов.

Более простое доказательство можно получить, если считать, что один из катетов не испытывает приращения

(в данном случае катет b ). Тогда для константы интегрирования получим:

Самые интересные доказательства ТЕОРЕМЫ ПИФАГОРА

Теорема Пифагора - одна из основополагающих теорем евклидовой геометрии, устанавливающая соотношение между сторонами прямоугольного треугольника. c2 = a2 + b2 Существует множество способов доказать эту теорему, мы же выбрали самые интересные…

Стул невесты На рисунке квадраты, построенные на катетах, размещены ступенями один рядом с другим. Эту фигуру, которая встречается в доказательствах, датируемых не позднее, чем 9 столетием н. э., индусы называли "стулом невесты" . Способ построения квадрата со стороной, равной гипотенузе, ясен из чертежа. Общая часть двух квадратов, построенных на катетах, и квадрата, построенного на гипотенузе, - неправильный заштрихованный пятиугольник 5. Присоединив к нему треугольники 1 и 2, получим оба квадрата, построенные на катетах; если же заменить треугольники 1 и 2 равными им треугольниками 3 и 4, то получим квадрат, построенный на гипотенузе. На рисунках ниже изображены два различных расположения близких к тому, которое дается на первом рисунке.

Доказательство индийского математика Бхаскари Рассмотрим квадрат, показанный на рисунке. Сторона квадрата равна b , на квадрат наложены 4 исходных треугольника с катетами a и c , как показано на рисунке. Сторона маленького квадрата, получившегося в центре, равна c - a , тогда: b2 = 4*a*c/2 + (c-a)2 = = 2*a*c + c2 - 2*a*c + a2 = = a2 + c2

Самое простое доказательство теоремы Пифагора. Рассмотрим квадрат, показанный на рисунке. Сторона квадрата равна a + c . В одном случае (слева) квадрат разбит на квадрат со стороной b и четыре прямоугольных треугольника с катетами a и c . В другом случае (справа) квадрат разбит на два квадрата со сторонами a и c и четыре прямоугольных треугольника с катетами a и c . Таким образом, получаем, что площадь квадрата со стороной b равна сумме площадей квадратов со сторонами a и c .

Доказательство через подобные треугольники Пусть ABC есть прямоугольный треугольник с прямым углом C . Проведём высоту из C и обозначим её основание через H . Треугольник ACH подобен треугольнику ABC по двум углам. Аналогично, треугольник CBH подобен ABC . Введя обозначения получаем Что эквивалентно Сложив, получаем или

Доказательство Хоукинса Приведем еще одно доказательство, которое имеет вычислительный характер, однако сильно отличается от всех предыдущих. Оно опубликовано англичанином Хоукинсом в 1909 году; было ли оно известно до этого- трудно сказать. Прямоугольный треугольник ABC с прямым углом C повернем на 90° так, чтобы он занял положение A"CB". Продолжим гипотенузу A"В" за точку A" до пересечения с линией АВ в точке D. Отрезок В"D будет высотой треугольника В"АВ. Рассмотрим теперь заштрихованный четырехугольник A"АВ"В. Его можно разложить на два равнобедренных треугольника САA" и СВВ" (или на два треугольника A"В"А и A"В"В). SCAA"=b²/2 SCBB"=a²/2 SA"AB"B=(a²+b²)/2 Треугольники A"В"А и A"В"В имеют общее основание с и высоты DA и DB, поэтому: SA"AB"B=c*DA/2+ c*DB/2=c(DA+DB)/2=c²/2 Сравнивая два полученных выражения для площади, получим: a ²+ b ²= c ² Теорема доказана.

Доказательство Вольдхейма Это доказательство имеет вычислительный характер. Для того чтобы доказать теорему пользуясь первым рисунком достаточно только выразить площадь трапеции двумя путями. Sтрапеции=(a+b)²/2 Sтрапеции=a²b²+c²/2 Приравнивая правые части получим: a²+b²=c² Теорема доказана.

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

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

Обозначив длину гипотенузы треугольника c, а длины катетов как a и b, получим следующую формулу:

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

Для любых трех положительных чисел a, b и c, таких что a ? + b ? = c ?, существует прямоугольный треугольник с катетами a и b и гипотенузой c.

Визуальное доказательство для треугольника (3, 4, 5) из книги «Чу Пэй» 500-200 до н.э. Историю теоремы можно разделить на четыре части: знание о Пифагоровы числа, знания об отношении сторон в прямоугольном треугольнике, знание об отношении смежных углов и доказательство теоремы.
Мегалитические сооружения около 2500 до н.э. в Египте и Северной Европе, содержат прямоугольные треугольники со сторонами из целых чисел. Бартель Леендерт ван дер Варден высказал гипотезу, что в те времена Пифагоровы числа были найдены алгебраически.
Написанный между 2000 и 1876 до н.э. папирус времен Среднего Египетского царства Berlin 6619 содержит задачу решением которой являются числа Пифагора.
Во время правления Хаммурапи Великого, вивилонська табличка Plimpton 322, написанная между 1790 и 1750 до н.э содержит много записей тесно связанных с числами Пифагора.
В сутрах Будхаяны, которые датируются по разным версиям восьмой или второй веками до н.э. в Индии, содержит Пифагоровы числа выведены алгебраически, формулировка теоремы Пифагора и геометрическое доказательство для ривнобедренного прямоугольного треугольника.
В сутрах Апастамба (около 600 до н.э.) содержится числовое доказательство теоремы Пифагора с использованием вычисления площади. Ван дер Варден считает, что оно было основано на традициях предшественников. Согласно Альбертом Бурко, это оригинальное доказательство теоремы и он предполагает, что Пифагор посетил Араконам и скопировал его.
Пифагор, годы жизни которого обычно указывают 569 – 475 до н.э. использует алгебраические методы расчета пифагоровых чисел, согласно Проклова комментариями к Евклида. Прокл, однако, жил между 410 и 485 годами н.э. Согласно Томасом Гизом, нет никаких указаний на авторство теоремы течение пяти веков после Пифагора. Однако, когда такие авторы как Плутарх или Цицерон приписывают теорему Пифагору, они делают это так, будто авторство широко известно и несомненно.
Около 400 до н. э соответствии Прокла, Платон дал метод расчета пифагоровых чисел, сочетавший алгебру и геометрию. Около 300 до н.э., в Началах Евклида имеем древнейшее аксиоматическое доказательство, которое сохранилось до наших дней.
Написанные где-то между 500 до н.э. и 200 до н.э., китайский математическая книга «Чу Пэй» (? ? ? ?), дает визуальное доказательство теоремы Пифагора, которая в Китае называется теорема гугу (????), для треугольника со сторонами (3, 4, 5). Во время правления династии Хань, с 202 до н.э. до 220 н.э. Пифагоровы числа появляются в книге «Девять разделов математического искусства» вместе с упоминанием о прямоугольные треугольники.
Впервые зафиксировано использование теоремы в Китае, где она известна как теорема гугу (????) и в Индии, где она известна как теорема Баскара.
Многие дискутируется была теорема Пифагора открыта один раз или многократно. Бойер (1991) считает, что знания обнаружены в Шульба Сутра могут быть месопотамского происхождения.
Алгебраическое доказательство
Квадраты образуются из четырех прямоугольных треугольников. Известно более ста доказательств теоремы Пифагора. Здесь представлены доказательства основан на теореме существования площади фигуры:

Разместим четыре одинаковые прямоугольные треугольники так, как это изображено на рисунке.
Четырехугольник со сторонами c является квадратом, так как сумма двух острых углов , А развернутый угол – .
Площадь всей фигуры равна, с одной стороны, площади квадрата со стороной «a + b», а с другой – сумме площадей четырех треугольников и внутреннего квадрата.

Что и необходимо доказать.
По сходству треугольников
Использование подобных треугольников. Пусть ABC – прямоугольный треугольник, в котором угол C прямой, как показано на рисунке. Проведем высоту с точки C, и назовем H точку пересечения со стороной AB. Образован треугольник ACH подобен треугольника ABC, поскольку они оба прямоугольные (по определению высоты), и у них общий угол A, очевидно третий угол будет в этих треугольников также одинаков. Аналогично миркуюючы, треугольник CBH также подобен треугольника ABC. С подобия треугольников: Если

Это можно записать в виде

Если добавить эти две равенства, получим

HB + c times AH = c times (HB + AH) = c ^ 2, ! Src = "http://upload.wikimedia.org/math/7/0/9/70922f59b11b561621c245e11be0b61b.png" />

Другими словами, теорема Пифагора:

Доказательство Евклида
Доказательство Евклида в евклидовых «Началах», теорема Пифагора доказана методом параллелограммов. Пусть A, B, C вершины прямоугольного треугольника, с прямым углом A. Опустим перпендикуляр из точки A на сторону противоположную гипотенузы в квадрате построенном на гипотенузе. Линия делит квадрат на два прямоугольника, каждый из которых имеет такую же площадь, что и квадраты построены на катетах. Главная идея при доказательстве состоит в том, что верхние квадраты превращаются в параллелограммы такой же площади, а потом возвращаются и превращаются в прямоугольники в нижнем квадрате и снова при неизменной площади.

Проведем отрезки CF и AD, получим треугольники BCF и BDA.
Углы CAB и BAG – прямые; соответственно точки C, A и G – коллинеарны. Так же B, A и H.
Углы CBD и FBA – оба прямые, тогда угол ABD равен углу FBC, поскольку оба являются суммой прямого угла и угла ABC.
Треугольник ABD и FBC уровне по двум сторонам и углу между ними.
Поскольку точки A, K и L – коллинеарны, площадь прямоугольника BDLK равна двум площадям треугольника ABD (BDLK = BAGF = AB 2)
Аналогично миркуюючы получим CKLE = ACIH = AC 2
С одной стороны площадь CBDE равна сумме площадей прямоугольников BDLK и CKLE, а с другой стороны площадь квадрата BC 2, или AB 2 + AC 2 = BC 2.

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

Интегрируя получим

Если a = 0 тогда c = b, так что "константа" – b 2. Тогда

Как можно увидеть, квадраты получен благодаря пропорции между приращениями и сторонами, тогда как сумма является результатом независимого вклада приростов сторон, не очевидно из геометрических доказательств. В этих уравнениях da и dc – соответственно бесконечно малые приращения сторон a и c. Но вместо них мы используем? a и? c, тогда предел отношения, если они стремятся к нулю равна da / dc, производная, и также равен c / a, отношению длин сторон треугольников, в результате получаем дифференциальное уравнение.
В случае ортогональной системы векторов имеет место равенство, которую также называют теоремой Пифагора:

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

ДОКАЗАТЕЛЬСТВА ТЕОРЕМЫ ПИФАГОРА

Доказательства, основанные на использовании понятия равновеликости фигур.

При этом можно рассмотреть доказательства, в которых квадрат, построенный на гипотенузе данного прямоугольного треугольника «складывается» из таких же фигур, что и квадраты, построенные на катетах. Можно рассматривать и такие доказательства, в которых применяется перестановка слагаемых фигур и учитывается ряд новых идей.

На рис. 2 изображено два равных квадрата. Длина сторон каждого квадрата равна a + b. Каждый из квадратов разбит на части, состоящие из квадратов и прямоугольных треугольников. Ясно, что если от площади квадрата отнять учетверенную площадь прямоугольного треугольника с катетами a, b, то останутся равные площади, т. е. c 2 = a 2 + b 2 . Впрочем, древние индусы, которым принадлежит это рассуждение, обычно не записывали его, а

сопровождали чертеж лишь одним словом: «смотри!» Вполне возможно, что такое же доказательство предложил и Пифагор.

Аддитивные доказательства.

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

Доказательство Энштейна (рис. 3) основано на разложении квадрата, построенного на гипотенузе, на 8 треугольников.

Здесь: ABC – прямоугольный треугольник с прямым углом C; CÎMN; CK^MN; PO||MN; EF||MN.

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

На рис. 4 приведено доказательство теоремы Пифагора с помощью разбиения ан-Найризия – средневекового багдадского комментатора «Начал» Евклида. В этом разбиении квадрат, построенный на гипотенузе, разбит на 3 треугольника и 2 четырехугольника. Здесь: ABC – прямоугольный треугольник с прямым углом C; DE = BF.

Докажите теорему с помощью этого разбиения.

· На основе доказательства ан-Найризия выполнено и другое разложение квадратов на попарно равные фигуры (рис. 5, здесь ABC – прямоугольный треугольник с прямым углом C).

· Еще одно доказательство методом разложения квадратов на равные части, называемое «колесом с лопастями», приведено на рис. 6. Здесь: ABC– прямоугольный треугольник с прямым углом C; O – центр квадрата, построенного на большом катете; пунктирные прямые, проходящие через точку O, перпендикулярны или параллельны гипотенузе.

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

Доказательства методом построения.

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

· На рис. 7 изображена обычная Пифагорова фигура – прямоугольный треугольник ABC с построенными на его сторонах квадратами. К этой фигуре присоединены треугольники 1 и 2, равные исходному прямоугольному треугольнику.

Справедливость теоремы Пифагора вытекает из равновеликости шестиугольников AEDFPB и ACBNMQ. Здесь CÎEP, прямая EP делит шестиугольник AEDFPB на два равновеликих четырехугольника, прямая CM делит шестиугольник ACBNMQ на два равновеликих четырехугольника; поворот плоскости на 90° вокруг центра A отображает четырехугольник AEPB на четырехугольник ACMQ.

· На рис. 8 Пифагорова фигура достроена до прямоугольника, стороны которого параллельны соответствующим сторонам квадратов, построенных на катетах. Разобьем этот прямоугольник на треугольники и прямоугольники. Из полученного прямоугольника вначале отнимем все многоугольники 1, 2, 3, 4, 5, 6, 7, 8, 9, остался квадрат, построенный на гипотенузе. Затем из того же прямоугольника отнимем прямоугольники 5, 6, 7 и заштрихованные прямоугольники, получим квадраты, построенные на катетах.

Теперь докажем, что фигуры, вычитаемые в первом случае, равновелики фигурам, вычитаемым во втором случае.

· Рис. 9 иллюстрирует доказательство, приведенное Нассир-эд-Дином (1594 г.). Здесь: PCL – прямая;

KLOA = ACPF = ACED = a 2 ;

LGBO = CBMP = CBNQ = b 2 ;

AKGB = AKLO + LGBO = c2;

отсюда c 2 = a 2 + b 2 .

Рис. 11 иллюстрирует еще одно более оригинальное доказательство, предложенное Гофманом.

Здесь: треугольник ABC с прямым углом C; отрезок BF перпендикулярен CB и равен ему, отрезок BE перпендикулярен AB и равен ему, отрезок AD перпендикулярен AC и равен ему; точки F, C, D принадлежат одной прямой; четырехугольники ADFB и ACBE равновелики, так как ABF=ECB; треугольники ADF и ACE равновелики; отнимем от обоих равновеликих четырехугольников общий для них треугольник ABC, получим

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

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

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

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

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

b 2 = cb 1 ; (1)

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

a 2 = ca 1 . (2)

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

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

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

Площадь данного прямоугольного треугольника, с одной стороны, равна

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

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

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

Вокруг да около

Прежде всего, хочется для полноты изложения привести здесь доказательство теоремы Пифагора, которое, по моему мнению, наиболее элегантно и очевидно. На рисунке выше изображено два одинаковых квадрата: левый и правый. Из рисунка видно, что слева и справа площади закрашенных фигур равны, так как в каждом из больших квадратов закрашено по 4 одинаковых прямоугольных треугольника. А это означает, что и незакрашенные (белые) площади слева и справа тоже равны. Замечаем, что в первом случае площадь незакрашенной фигуры равна , а во втором - площадь незакрашенной области равна . Таким образом, . Теорема доказана!

Как же назвать эти числа? Треугольниками не назовешь, ведь четыре числа никак не могут образовать треугольник. И тут! Как гром среди ясного неба

Раз есть такие четверки чисел, значит должен быть геометрический объект с такими же свойствами, отраженными в этих числах!

Теперь осталось только подобрать какой-то геометрический объект под это свойство, и все встанет на свои места! Конечно, предположение было чисто гипотетическое, и никакого подтверждения под собой не имело. Но что если это так!

Начался перебор объектов. Звезды, многоугольники, правильные, неправильные, с прямым углом и так далее и тому подобное. Опять ничего не подходит. Что делать? И в этот момент Шерлок получает свою вторую зацепку.

Надо повысить размерность! Раз тройке соответствуют треугольник на плоскости, значит четверке соответствует нечто трехмерное!

О нет! Опять перебор вариантов! А в трехмерии гораздо, гораздо больше всевозможных геометрических тел. Попробуй перебрать их все! Но не все так плохо. Есть же еще прямой угол и другие зацепки! Что мы имеем? Египетские четверки чисел (пусть будут египетские, надо же их как-то называть), прямой угол (или углы) и некий трехмерный объект. Дедукция сработала! И… Полагаю, что догадливые читатели уже поняли, что речь идет о пирамидах, у которых при одной из вершин все три угла - прямые. Можно даже назвать их прямоугольными пирамидами по аналогии с прямоугольным треугольником.

Новая теорема

На картинке изображена пирамида с вершиной в начале прямоугольных координат (пирамида как бы лежит на боку). Пирамида образована тремя взаимно-перпендикулярными векторами, отложенными из начала координат вдоль координатных осей. То есть каждая боковая грань пирамиды - это прямоугольный треугольник с прямым углом при начале координат. Концы векторов определяют секущую плоскость и образуют грань-основание пирамиды.

Теорема

Пусть есть прямоугольная пирамида, образованная тремя взаимно-перпендикулярными векторами , у которой площади граней-катетов равны - , и площадь грани-гипотенузы - . Тогда

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

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

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

Выразим площади через длины векторов .

где .

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

Как известно, векторное произведение двух векторов - это вектор, длина которого численно равна площади параллелограмма, построенного на этих векторах.
Поэтому

Таким образом,

Что и требовалось доказать!

Конечно, как у человека, профессионально занимающегося исследованиями, подобное в моей жизни уже случалось, и не раз. Но этот момент был самым ярким и самым запоминающимся. Я испытал полную гамму чувств, эмоций, переживаний первооткрывателя. От зарождения мысли, кристализации идеи, нахождения доказательства - до полного непонимания и даже неприятия, которое встретили мои идеи у моих друзей, знакомых и, как мне тогда казалось, у целого мира. Это было уникально! Я словно почувствовал себя в шкуре Галлилея, Коперника, Ньютона, Шредингера, Бора, Эйнштейна и многих многих других открывателей.

Послесловие

В жизни, все оказалось гораздо проще и прозаичнее. Я опоздал… Но на сколько! Всего-то навсего 18 лет! Под страшными продолжительными пытками и не с первого раза Гугл признался мне, что эта теорема была опубликована в 1996 году!

Статья опубликована издательством Техасского технического университета. Авторы, профессиональные математики, ввели терминологию (которая, кстати, во многом совпала с моей) и доказали также и обобщенную теорему справедливую для пространства любой размерности большей единицы. Что же произойдет в размерностях более высоких, чем 3? Все очень просто: вместо граней и площадей будут гиперповерхности и многомерные объемы. А утверждение, конечно, останется все тем же: сумма квадратов объемов боковых граней равна квадрату объема основания, - просто количество граней будет больше, а объем каждой из них станет равен половине произведения векторов-образующих. Вообразить это почти невозможно! Можно только, как говорят философы, помыслить!

Что удивительно, узнав о том, что такая теорема уже известна, я ничуть не расстроился. Где-то в глубине души я подозревал, что вполне возможно, я был не первый, и понимал, что нужно быть всегда к этому готовым. Но тот эмоциониальный опыт, который я получил, зажег во мне искру исследователя, которая, я уверен, теперь уже не угаснет никогда!

P.S.

Эрудированный читатель в комментариях прислал ссылку
Теорема де Гуа

Выдержка из Википедии

В 1783 году теорема была представлена Парижской академии наук французским математиком Ж.-П. де Гуа, однако ранее она была известна Рене Декарту и до него Иоганну Фульгаберу (англ.), который, вероятно, первым открыл её в 1622 году. В более общем виде теорему сформулировал Шарль Тинсо (фр.) в докладе Парижской академии наук в 1774 году

Так что я опоздал не на 18 лет, а как минимум на пару веков!

Источники

Читатели указали в комментариях несколько полезных ссылок. Вот эти и некоторые другие ссылки: