В правой части раскроем скобки по формуле квадрата разницы:
b² - (b*cosα)² = a² - (c - b*cosα)²
b² - (b*cosα)² = a² - (c² - 2bc*cosα+ (b*cosα)²)
b² - (b*cosα)² = a² - c² + 2bc*cosα - (b*cosα)²
Осталось привести подобные:
a² = b² - (b*cosα)² + (b*cosα)² +c² - 2bc*cosα
a² = b² + c² - 2bc*cosα