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