Формули додавання для тригонометричних функцій та наслідки з них