как найти модуль разницы двух векторов зная их длины и угол между ними. а-1 в-2 угол-45

вектор разности соединяет концы векторов а и в; получается треугольник. по теореме косинусов c^2 = a^2 +b^2 - 2 a*b* cos45