`text{Đặt} ∝/2 = t`
`-> text{Phương trình trở thành}`
`-2sin^2 t = cos 2t - 1`
`-> -2.(1 - cos 2t)/2 = cos 2t - 1`
`-> -(1 - cos 2t) = cos 2t - 1`
`-> cos 2t - 1 = cos 2t - 1` `(text{luôn đúng})`
`-> -2sin ((∝)/2) = cos ∝ - 1`
`-> text{Biểu thức được chứng minh}`