Теперь в числителе у нас есть два слагаемых, которые имеют общий знаменатель (sin^2(2a) * cos^2(2a)). Можно объединить эти два слагаемых в одно и выполнить вычитание:
([(sin(2a))^2 * (sin(2a))^2 - (cos(2a))^2 * (cos(2a))^2] / (sin(2a))^2 * (cos(2a))^2) / 4 * (cos(4a))^2 / (sin(4a))^2
=> [(sin^4(2a) - cos^4(2a))] / (sin^2(2a) * cos^2(2a)) / 4 * (cos(4a))^2 / (sin(4a))^2
Заметим, что sin^2(4a) упрощается в числителе и знаменателе, а также 2 упрощается в числителе и знаменателе:
[tg(a) * 1] / [(1 - tg^2(a)) * sin^2(2a) * cos^2(2a) * cos^2(4a)] * (1 / tg(4a))
Теперь, заменим sin^2(2a) и cos^2(2a) на их соответствующие формулы:
[tg(a) * 1] / [(1 - tg^2(a)) * (1 - tg^2(a)) * cos^2(4a)] * (1 / tg(4a))
Также, достаточно заметить, что tg(a) / tg(4a) - это просто tg(a - 4a), поэтому можем заменить tg(a) / tg(4a) на tg(a - 4a):
[tg(a - 4a) * 1] / [(1 - tg^2(a)) * (1 - tg^2(a)) * cos^2(4a)]`
Упростим числитель путем применения формулы тангенса разности:
[tg(a - 4a)] / [(1 - tg^2(a)) * (1 - tg^2(a)) * cos^2(4a)]
=(tg²2a-1)(tg²2a+1)*2tg2a/4(1-tg²2a)=-(tg²2a+1)/2=-1/2cos²2a