Parece simples mais ainda não consegui exergar o caminho. Usei tansformações, forma exponencial dos complexos, combinei várias transformações, etc, só ainda não dei um tratamento geométrico..
Vejam: Mostre que 2cos20º - 1/cos80º é um inteiro. Abraços. Pedro Júnior João Pessoa - PB