tan 3x = P(tan x)
となる有理式P(t)持ってきて方程式
P(t)=tan15°
の解がtan5°、tan65°、-tan55°であることを利用したらいけるかな？