Question

Откуда берётся, что
cos(4x)=1-2sin^2(2x)

Answer 1

Из косинуса двойного угла $cos2 alpha =1-2sin^2 alpha$, а в нашем случае

$cos4x=cos(2cdot 2x)=1-2sin^22x$