Прошу объяснения, думаю что тут формула приведения но не уверен: корень из 2 * сos(x+п/4)

Это формула косинуса суммы двух углов
$\sqrt{2}cos(x+ \frac{ \pi }{4})= \sqrt{2}cosx\cdot cos \frac{ \pi }{4}- \sqrt{2}sinx\cdot sin \frac{ \pi }{4}=cosx-sinx$
$cos \frac{\pi }{4}=sin \frac{\pi }{4}= \frac{ \sqrt{2} }{2}$