Вывод 4

В трехмерном векторном пространстве длина вектора (8) находится благодаря теореме Пифагора. В абстрактном векторном пространстве размерности больше трех аксиомами (5) задается скалярное произведение, а длина выражается через скалярное произведение по формуле (6). В арифметической модели скалярное произведение существует в виде (9), а длина вектора определяется согласно формуле (10).