Re: [obm-l] cos(2*pi/17)

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Thu, Aug 25, 2005 at 01:19:04AM -0300, Jefferson Franca wrote:
> Nem vou perguntar de onde tirou essa idéia, mas valeu pela solução.

Em um curso de álgebra que cubra teoria de Galois este tipo de coisa
é explicada com mais contexto. Eu dei um esboço rápido e elementar.

Aliás, todos estes "prove que" são braçais. Para isso, tome
a = cos(2*pi/17) + i sen(2*pi/17) de tal forma que
xk = a^k + a^(17-k). Expanda tudo em termos de a, use o fato
que 1+a+a^2+...+a^16 = 0, faça muitas contas com polinômios
com coeficientes inteiros e tudo segue.

[]s, N.
=========================================================================
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
=========================================================================