É possível exprimir por meio de radicais o sen(10º) ? Ou simplemente resolver a equação
8x^3 -6x+1=0 . Desenhei o gráfico da função y=8x^3 -6x+1 em um programa e ela contém 3 raízes reais entre -1 e 1. Duas delas positivas. Parece obvio que sen(10º) é a menor das raízes positivas.
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================