§18. Декартовы координаты и векторы в пространстве → номер 61
Рассмотрим ΔАСВ, где AC^ = a^, AB^ = b^ и CB^ = b^ — a^. По теореме косинусов: