Dimostrare che tan(pi/16), -tan(7pi/16) sono soluzioni dell'equazione x⁴ + 4x³ - 6x² - 4x + 1 = 0