Скалярным произведением двух ненулевых векторов а и b называется число, равное произведению длин этих векторов на косинус угла междуними.
Обозначается ab,а* b(или(а, b)).Итак, по определению,
Формуле (6.1) можно придать иной вид. Так как | a| cosg=пр ba, (см. рис.14), a |b| cosg = пр ab, то получаем:
т. е. скалярное произведение двух векторов равно модулю одного из них, умноженному на проекцию другого на ось, сонаправленную с первым вектором.
2) Теорема Пифагора
Следующее доказательство алгебраической формулировки — наиболее простое из доказательств, строящихся напрямую из аксиом. В частности, оно не использует понятие площади фигуры.
Пусть ABC есть прямоугольный треугольник с прямым углом C. Проведём высоту из C и обозначим её основание через H. Треугольник ACH подобен треугольнику ABC по двум углам. Аналогично, треугольник CBH подобен ABC. Введя обозначения
получаем
Что эквивалентно
Сложив, получаем
или