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