Преобразуйте произведение в сумму cos45*cos15

По тригонометрической формуле имеем: cos a * cos b = 0.5 * (cos (a - b) + cos (a + b)) Тогда получим: cos 45 * cos 15 = 0.5 * (cos 30 + cos 60) = 0.5 * (к(3)/ 2 + 1/2) = (к(3) + 1) / 4