cos 5 альфа*cos 7 альфа-cos альфа+sin 5 альфа*sin 7 альфа упростите выражение с решением

Вопрос пользователя:

cos 5 альфа*cos 7 альфа-cos альфа+sin 5 альфа*sin 7 альфа

упростите выражение с решением

Илюха отвечает:

 это формула

sin5acos3a-cos5asin3a=sin(5a-3a)=sin2a = 2sinacosa