Попробуем векторную алгебру без теоремы Пифагора. Пусть есть линейное векторное пространство с длиной вектора L, удовлетворяющей неравенству треугольника, тогда для любого вектора A введём квадрат этого вектора, положительное число A*A = L(A)*L(A)
Введём скалярное произведение двух векторов
A*B = 1/2( (A+B)^2 - A^2 - B^2)
Получили векторную алгебру БЕЗ теоремы Пифагора.
Теперь надо немножко поработать. Введём векторы в геометрию, как это обычно делается, с длиной вектора, которая измеряется линейкой, проверим, что есть линейность по сложению и умножению на число и докажем, что если для треугольника со сторонами A,B,C справедливо, что A^2+B^2 = C^2 , то угол между A и B прямой.
1)Лемма. Для двух векторов одинаковой длины A,B: A^2 = B^2
(A+B)*( A-B ) = 0
(A+B)*( A-B ) = A^2 - B^2 = 0 по условию.
Это, конечно же, теорема о перпендикулярности диагоналей ромба.
Итак A +B перпендикулярно A-B
2)Пусть D =(1/2) С - A тогда
A = (1/2)С - D
B=(1/2)C + D
A^2+B^2 = (1/4)C^2 - C*D + D^2 + (1/4)C^2 + C*D + D^2 = (1/2)C^2 + 2D^2 = C^2
2D^2=(1/2)C^2
D^2=(1/4)C^2 = (C/2)^2
Отсюда A перпендикулярно B
Безо всякой теоремы Пифагора
Это, конечно же, выражение того обстоятельства, что точки прямоугольного треугольника лежат на окружности, а гипотенуза - диаметр этой окружности.