y=sinx+cosx=(√2)sin(x+π/4)的推导过程是什么