Для правой части тождеств применим формулу сложения (разность и сумма аргументов) для косинуса:
1) √2cos(π/4-x)=√2(sinπ/4*sinx+cosπ/4*cosx)=√2(√2/2*sinx+√2/2*cosx)=
=sinx+cosx;
2) -√2cos(π/4+x)=-√2(cosπ/4*cosx-sinπ/4*sinx)=-√2(√2/2*cosx-√2/2*sinx)=
=-cosx+sinx=sinx-cosx.