Рассмотрим числитель:
6*(y^2 + 13/6 - 5/6) = 6*((y+13/12)^2 - (13/12)^2 - 5/6
6 *((y+13/12)^2 - 289/12
6*(y+30/12)*(y-4/12)
перейдем ко всему выражению:
6*(y+30/12)*(y-4/12)/(12*(y-4/12))
После сокращения получаем:
y/2 + 5/4
Из левой части получим
((2sinα)*(cos²α-sin²α)*cos²α)/(cos²α+sin²α)=2*(sin2α)*cos2α=sin4α
получили правую, тождество доказано. Использовал дважды синус двойного аргумента, один раз косинус двойного аргумента, и тангенс расписал как отношение синуса альфа к косинусу альфа.
Дерзайте. Жду лучшего ответа.)