Терема косинусов( формула , формулировка) Помогите пожалуйста

${a}^{2} = {b}^{2} + {c}^{2} - 2bc \times \cos(a)$
Квадрат стороны треугольника равен сумме квадратов двух других сторон минус удвоенное произведение этих сторон на косинус угла между ними