sin(x)+cos(x)=√2*sin(x+(π/4))
これどんな変形したのか教えてください