Prove the following identities: √2+√2+2cos 4x = 2cos x, 0 less than x less than π/4