Тождество с тангенсами

[Sergey89]

Возникли трудности с доказательством на первый взгляд тривиального тождества: tg(5)*tg(55)*tg(65))*tg(75)=1; все аргументы даны в градусах; естественно, все очень легко сводится к комбинации из тангенсов 5 градусов, которые, увы, выразить через радикалы не представляется возможным; Буду благодарен за любую помощь в раз мышлениях насчет решения. С уважением, Sergey89.

[Lia]

Закрыто. Sergey89, замечание за дублирование темы.