580ですが2cos2x+2sin2x+3
=(2√2)*sin(2x + π/4) + 3

がなんでそうなるのか分かりません…。詳しく教えて下さい