Prove the following identities: sin²(π/8 + x/2) – sin²(π/8 – x/2) = 1/√2 sin x