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
=========================================================================