Формули зведення. Основна тригонометрична тотожність