- сгруппировали и вынесли общий множитель за скобки
- в скобках раскрыли формулу суммы аргументов косинуса
- привели подобные в скобке
- раскрыли формулу суммы аргументов косинуса
- воспользовались формулой разности квадратов (свернули)
- сгруппировали и вынесли общий множитель за скобки
- еще раз вынесли общий множитель за скобки
- выразили квадраты косинусов по основному тригонометрическому тождеству
- верно, тождество доказано
