proof?
sinx+cosx=√2 sin(x+pi/4)
sinx+cosx=√2 sin(x+pi/4)