Dimostrare che t = cos 20° è soluzione dell'equazione 8t³ - 6t - 1 = 0
cos(3x)=cos(x+2x)=4(cos(x))^3-3cosx
x=20; cos(3x)=cos(60)=1/2-> 1/2=4(cos(20))^-3cos20
Formula di triplicazione del coseno.
cos(3a)=4(cos(a))^3-3cos(a)
Cioe'
cos(60)=4(cos20)^3-3cos20
Moltiplicare per 2 ed e' fatta