How do you solve the identity # 2 sin^2 x = 2 + cos x#?