Найти тему
Математика не для всех

Теорема Пифагора в пространстве. Её вывели в 18 веке, но ждали полной формулировки почти 200 лет!

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

В 1783 году на заседании Парижской академии наук французским математиком Жаном-Полем де Гуа была представлена одноименная теорема, которая является обобщением теоремы Пифагора на трехмерные объекты.

Что взять в объемном пространстве "в качестве" прямоугольного треугольника? Очевидно, что это может быть тетраэдр, в котором три ребра, сходящиеся к одной вершине, являются взаимно перпендикулярными.

Очевидно, особенно для тех, кто знаком с понятием "симплекс"

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

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

-2

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

-3

Далее найдем квадрат площади видимой грани тетраэдра:

-4

Так это то же самое выражение, что мы видели раньше!

-5

В целом и теорема Пифагора и теорема де Гуа являются частными случаями более общей теоремы о соотношениях мер (длин, площадей, объемов) n-симплексов:

Источник: https://upload.wikimedia.org/wikipedia/commons/e/e1/Simplexes.jpg
Источник: https://upload.wikimedia.org/wikipedia/commons/e/e1/Simplexes.jpg

Эту теорему прямо описали только в 1974 году американские математики Дональд Р. Конант и Уильям А. Бейер.

1-мерный объем - это длина, 2-мерный - площадь, 3-мерный - объем, 4-мерный - 4-объем и т.д.
1-мерный объем - это длина, 2-мерный - площадь, 3-мерный - объем, 4-мерный - 4-объем и т.д.

Проще всего эту теорему понять на плоскости. Рассмотрим прямоугольный треугольник и для простоты понимания понятия "базис" расположим его вершину А в координатном нуле:

-8

Теперь по нашей формуле k=1 (мы оперируем длиной), а I={1,2) (размерность пространства). В итоге получаем:

В правой части мы берем всевозможные наборы из множества I. Например, для случая теоремы де Гуа I={1,2,3},  берем подмножества {1,2) , {1,3} , [2,3], которые соответствуют проекциям граней-треугольников.
В правой части мы берем всевозможные наборы из множества I. Например, для случая теоремы де Гуа I={1,2,3}, берем подмножества {1,2) , {1,3} , [2,3], которые соответствуют проекциям граней-треугольников.

Присмотритесь: все мы часть чего-то большего! Спасибо за внимание!

  • TELEGRAM и Вконтакте- там я публикую не только интересные статьи, но и математический юмор и многое другое.