[obm-l] Questão atormentadora

[Igor O.A.]

Pessoal, faz é tempo que essa questão tah procurando uma solução e ninguém acha. Vê se vocês conseguem resolver:

 

 

Achar x real que satisfaça:

 

cos(x) . cos(5x) . cos(7x) = [sqrt(3)]/3 (tangente de 30º)

Valeu!

--
I G O R

Jesus ama você.