If you merely want the answer (without proof), type "solve cos(x)=-cos(2x) for x" in wolfram alpha. If you want to figure out the proof, look up the trig formula that let's you express cos(2x) in terms of cos(x). With that substitution, you will have transformed your equation into a quadratic equation, with cos(x) as the unknown, the solution of which is cos(x)=-1 (implying x=-pi) or cos(x)=1/2 (implying x=pi/3 or x=-pi/3). Of course, add any integer multiple of 2pi to these answers to characterize the infinite number of solutions.