Prove que cos2pi/17+cos18pi/17+cos26pi/17+cos30pi/17=(17^(1/2)-1)/4 -- Esta mensagem foi verificada pelo sistema de antivírus e acredita-se estar livre de perigo.
========================================================================= Instruções para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~obmlistas/obm-l.html =========================================================================
