Решите пожалуйста: корень из 128*cos^(7pi/8)-корень из 32

Question

Решите пожалуйста: корень из 128*cos^(7pi/8)-корень из 32

Answer 1

8√2cos²(π-π/8)-4√2=8√2cos²π/8-4√2=8√2*(1+cosπ/4)/2-4√2=
=4√2+4√2*√2/2-4√2=4