Для вывода формул производных тригонометрических функций нам придется вспомнить некоторые формулы тригонометрии, а также первый замечательный предел.
По определению производной для функции синуса имеем .
Воспользуемся формулой разности синусов:
Осталось обратиться к первому замечательному пределу:
Таким образом, производная функции sin x есть cos x.
Абсолютно аналогично доказывается формула производной косинуса.
Следовательно, производная функции cos x есть –sin x.
Вывод формул таблицы производных для тангенса и котангенса проведем с использованием доказанных правил дифференцирования (производная дроби).