<span>cos(π/6+α)-√3/2 *cosα=cospi/6*cosa-sinpi/6*sina-√3/2 *cosα=√3/2 *cosα-1/2 * sina-√3/2cosα=-1/2 *sina</span>
=========================
Использованы формулы
2 sin α · cos α = sin (2α) - синус двойного аргумента
sin (-α) = -sin α - нечётность функции sin
sin²α + cos²α = 1 - основное тригонометрическое тождество
a² - b² = (a - b)(a + b) - разность квадратов