Упростите cos 18°×cos 72°

Решение задания прилагаю

cos(18°) * cos(72°) = 1/2 * (cos(90°) + (cos(-54°) = 1/2*cos(54°).

Объяснение:

Почему после первого знака равенства разнложили именно так? Формула: cos(a) * cos(b) = 1/2 * (cos(a - b) + cos(a + b).