[obm-l] Problemas em aberto IV

["A. C. Morgado" <morgado@xxxxxxxxxxxxxxx>]

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 é <nicolau@mat.puc-rio.br>
=========================================================================