Boa noite, gostaria de fazer uma pergunta.
É possível estudar o sinal dessa função definido em (0, pi / 2) por
f (x) = cos (x) -cos (pi / 4-x)?
Consigo mostrar que desaparece em pi / 8, mas não sei como fazer o estudo dos signos.
Obrigado 
