По каким формулам решена задача ? помогите пожалуйста !

Само уравнение - это теорема косинусов. Квадрат стороны треугольника равен сумме квадратов двух других сторон минус удвоенное произведение этих сторон на косинус угла между ними
a² = b² + c² - 2 · b · c · cosα