Формулы синуса суммы и разности, косинуса суммы и разности
1. Формулы синуса и косинуса суммы и разности аргументов
Теория
Перед тем как начать подробное ознакомление с формулами преобразования тригонометрических выражений, поясним, для чего  вообще нужны преобразования тригонометрических выражений. 
 
Дело в том, что очень часто тригонометрические выражения даже самого «устрашающего» вида после несложных преобразований довольно легко приводятся к выражениям с табличным значением аргумента — таким, например, как: 30°(π6),45°(π4),60°(π3)... или к таким выражениям, решение которых найти гораздо проще, чем решение исходного тригонометрического выражения. 
В этом и заключается основная цель преобразования тригонометрических выражений — привести заданное выражение к такому виду, чтобы найти его решение было проще.
Формул преобразования тригонометрических выражений несколько. Основными и наиболее важными считаются формулы синуса и косинуса суммы аргументов, так как из них легко выводятся остальные формулы тригонометрии.
 
Доказательство самих формул синуса и косинуса суммы аргументов технически довольно сложно, и оно не входит в базовый курс обучения. 
 
Примечание. Для краткости и упрощения в дальнейшем исключим слово «аргументов» из названий формул — это общепринятая практика — и, говоря о формулах синуса или косинуса суммы (разности), будем понимать, что это формулы синуса или косинуса суммы (разности) аргументов этих функций.
Формула синуса суммы: sin(x+y)=sinx⋅cosy+cosx⋅siny.        (\(1\))
 
Формула косинуса суммы: cos(x+y)=cosx⋅cosy−sinx⋅siny.       (\(2\))
Рассмотрим теперь выражение sin(x−y)  в таком виде: sin(x+(−y)) — и воспользуемся формулой синуса суммы (1): sin(x+(−y))=sinx⋅cos(−y)+cosx⋅sin(−y).
 
Теперь вспомним о свойстве чётности функции косинус: cos(−y)=cosy —
и свойстве нечётности функции синус: sin(−y)=−siny.
 
Тогда:
sin(x+(−y))=sinx⋅cos(−y)+cosx⋅sin(−y)=sinx⋅cosy−cosx⋅siny.
Формула синуса разности: sin(x−y)=sinx⋅cosy−cosx⋅siny.    (\(3\))
Аналогично, представив cos(x−y) в виде cos(x+(−y)), воспользуемся формулой косинуса суммы (2), 
и свойствами чётности функции косинус  cos(−y)=cosy,
и нечётности функции синус  sin(−y)=−siny.
 
Тогда получим:
cos(x+(−y))=cosx⋅cos(−y)−sinx⋅sin(−y)=cosx⋅cosy+sinx⋅siny.
Формула косинуса разности: cos(x−y)=cosx⋅cosy+sinx⋅siny.   (\(4\))