§17. Формули додавання для косинуса