`2cos^2 (x+\pi/4)-cos 2x=0`
`<=>2cos^2 (x+\pi/4)-1+1-cos 2x=0`
`<=>cos(2x+\pi/2)+1-cos 2x=0`
`<=>-sin 2x-cos 2x=-1`
`<=>1/\sqrt{2}sin 2x+1/\sqrt{2}cos 2x)=1/\sqrt{2}`
`<=>sin(2x+\pi/4)=1/\sqrt{2}`
`<=>[(2x+\pi/4=\pi/4+k2\pi),(2x+\pi/4=[3\pi]/4+k2\pi):}`
`<=>[(x=k\pi),(x=\pi/4+k\pi):}` `(k in ZZ)`