Запишем две известные формулы:
cos2x = cos²x - sin²x и 1 = cos²x + sin²x
Если x = α/2, то эти формулы будут иметь вид:
cosα = cos²(α/2) - sin²(α/2) и 1 = cos²(α/2) + sin²(α/2)
Складываем почленно эти два равенства и получаем формулу:
1 + cosα = 2cos²(α/2)