Пусть a⃗ a→\vec a и b⃗ b→\vec b - произвольные неколлинеарные векторы.
Тогда вектор a⃗ +b⃗ a→+b→\vec a+\vec b длиннее вектора a⃗ −b⃗ a→−b→\vec a-\vec b тогда и только тогда, когда угол между векторами a⃗ a→\vec a и b⃗ b→\vec b