Problema da Olimpíada Pessoense de Matemática - 2008 Será que alguém poderia me ajudar na resolução desse problema:
1) Sabendo que cos(5x) = 16cos^5(x) - 20cos^3(x) + 5cos(x). Calcule cos18°. Determine todos os valores reais positivos, x e y, que são soluções da equação: x^2 +4xcos(xy) + 4 = 0 pois estou sem perceber uma resolução que independa do uso de derivadas.

