Нарисуйте треугольник, к которому применяется теорема косинусов. Для нахождения модуля мы ищем длину диагонали параллелограмма. А их две. Одна соответствует сумме векторов, другая разности. Углы в треугольниках будут разные. Один равен углу между векторами, другой дополнению до

. Вы правы насчёт формул приведения. Осталось показать, что угол между векторами равен альфа.