Название теоремы

Привет!

На картинке у нас дана задача, которая требует указать название теоремы.

Здесь показано, что квадрат любой стороны треугольника равен сумме квадратов двух других сторон минус удвоенное произведение этих сторон на косинус угла между ними. А именно, \(a^2 = b^2 + c^2 - 2bc \cos(\alpha)\).

Это формула для нахождения сторон треугольника с помощью углов.

Название теоремы: Теорема косинусов.