Помогите пожалуйста понять. Как они так посчитали, что вот так вышло? Распишите подробно по действиям

Основная формула чего?

Формула синус удвоенного аргумента:2sinAcosA = sin2AЗдесь sin2xcos2x = 0,5·(2·sin2xcos2x) = 0,5sin(2·2x) = 0,5sin4x = 1/2sin4x