How is cos (x) * cos (π / 6-x) = 1 / 2 * [cos (π / 6) + cos (2x - π / 6)] derived?

How is cos (x) * cos (π / 6-x) = 1 / 2 * [cos (π / 6) + cos (2x - π / 6)] derived?

We use the integration and difference formula (COSA * CoSb = 1 / 2 [cos (a + b) + cos (a) (COS (a + b) + cos (a-b) as the integration and difference formula (COSA * CoSb = 1 / 2 [cos (a + B + cos (a + B) + cos (a-cos (a + b) + cos (a-b) (COS (a + b) + cos (a-b) (COS (a + b) + cos (a-cos (a + b) + cos (a-cos (a-cos (a-cos (a + b) + cos (COS (COS (a + b) + cos (COS (COS (COS (a + β) - cos (α + β) - cos (α + β) - cos (α - β (α - β) - cos (α - β) - cos (α - β) - cos (α - β) - cos (α - β) - cos (α - β) - cos (α - β) - cos (α - β) - cos (α - β) - cos (α - β) - cos (α[sin (α - β)] cos α sin β = 1 / 2 [sin (α + β) - sin (α - β)] Sum difference product formula: sin θ + sin φ = 2Sin (θ / 2 + θ / 2) cos (θ / 2 - φ / 2) sin θ - sin φ = 2cos (θ / 2 + φ / 2) sin (θ / 2 - φ / 2) cos θ + cos φ = 2cos (θ / 2 + φ / 2) cos (θ / 2 - φ / 2) cos θ - cos φ = - 2Sin (θ / 2 + φ / 2) sin (θ / 2 - φ / 2)