Покажем, что (cos x)'=-sin x
По определению 
Приращение функции равно

Ищем отношение

Перейдем в этом равенстве к границе, когда
. В следствии непрерывности функции sin x

Для второго множителя (используя один из замечательных пределов), обозначив
, имеем

Поєтому

Т.е. (сos x)'=-sinx
Производная тангенса. Возьмем любую точку х є (a;b), где (a;b) - один из интервалов, на котором определена функция tg x. Ищем приращение

Получаем отношение

переходим к границе, когда
.

Следовательно производная функции y=tg x существует и равна
