Преобразовать в произведение 2sin a + √2 Вроде бы должна быть какая-то формула, а какая - не помню. Подскажите

2(sin a + (2)^1/2) = 2 (sin a + sin pi/4) = 4 (sin [(a+pi/4)/2] cos [(a-pi/4)/2])
Формулу можно узнать, если ввести на яндексе "сумма синусов".