求证cosx+sinx=√2cos(x-π/4)