O Luís Lopes mandou ha algum tempo: Prove que tan(3*Pi/11) + 4*sin(2*Pi/11) = sqrt(11).
Embora eu tenha uma ideia muito clara do que fazer (usar trigonometria do tempo dos gregos, isto eh, construir um conveniente quadrilatero inscrito e aplicar o teorema de Ptolomeu), quando tentei nao consegui. Eh verdade que nao pude dedicar a esse problema o tempo que ele parece exigir.
Morgado
========================================================================= 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 O administrador desta lista é <[EMAIL PROTECTED]> =========================================================================