Для вывода формул производных тригонометрических функций нам придется вспомнить некоторые формулы тригонометрии, а также первый замечательный предел.
По определению производной для функции синуса имеем
.
Воспользуемся формулой разности синусов:

Осталось обратиться к первому замечательному пределу:

Таким образом, производная функции sin x есть cos x.
Абсолютно аналогично доказывается формула производной косинуса.

Следовательно, производная функции cos x есть –sin x.
Вывод формул таблицы производных для тангенса и котангенса проведем с использованием доказанных правил дифференцирования (производная дроби).
