`(cos x-1)(2cosx-1)=0`

`<=>` `[(cosx-1=0),(2cosx-1=0):}`

`<=>` `[(cosx=1),(cosx=1/2):}`

`<=>` `[(x=k2pi),(cosx=cos\ pi/3):}`

`<=>` `[(x=k2pi),(x=+- pi/3+k2pi):}\quad (k in ZZ)`