Using the expansions of cos(3x − x) and cos(3x + x), prove that

1/2(cos 2x − cos 4x) ≡ sin 3x sin x.