Решить, хотя бы как начать. корень из двух * cosx = sin(x-п/2)

Если я правильно поняла запись, то 
√2cos^2 x=-cosx=>cosx=-√2/2=>x=±arccos⁡(-√2/2)+2πk,k ϵ Z=>x=±3π/4+2πk,k ϵ Z