А разве в (1–ctg(πx/4)·tg(πx/6)) в конечном итоге в числителе не sin(πx/12)
И не совсем понятно как Вы получили следующее неравенство: sin(πx/12)·(16sin^4(πx/12)–4sin^2(πx/12)+3)/(sin^4(πx/12)·sin(πx/4))≤ 0. У меня в числителе выходит лишь: (3 - 4sin^2(px/12) - 16sin^3(px/12)sin(px/4)).
Можете объяснить, пожалуйста