How do you prove #2cos^2 x - sinx - 1 = 0#?