Verified answer

Квадрат сторони трикутника дорівнює сумі квадратів двох інших його сторін , мінус подвоєний добуток цих сторін на косинус кута між цими сторонами.

AB^2=AC^2+BC^2-2ACBCcosa

a2 = b2 + c2 – 2bc cosα.