Как из cosa+cos3a получили (1/2) * cos2a*cosa

не могу понять

Cosa+cos3a - - > (1/2) * cos2a*cosa

cosa + cos3a = 2cos ((a+3a) / 2) * cos ((a-3a) / 2) = 2cos (4a/2) * cos (-2a/2) = 2cos (2a) * cos (-a) = 2cos (2a) * cos (a)

по формуле суммы функций ... а вот коэффициент не может быть 1/2 ...