Формулы сложения — это формулы преобразования тригонометрических функций суммы и разности двух аргументов.