How do you prove cos(x-pi/6) = 1/2([sqrt3] cosx + sin x)?