2cos x cos(pi/2-x)=1

Я не знаток математики,но вроде правильно)