Основные правила дифференцирования
I. Если , то
(производная постоянной функции равна 0).
II. Если , а
– дифференцируема в точке x, то
(постоянный множитель можно вынести за знак производной).
III–V. Если функции и
дифференцируемы в точке x, то их сумма, разность, произведение и частное (если
) также дифференцируемы в этой точке, причем имеют место формулы:
III.
IV.
V.
Докажем, например, формулу дифференцирования частного. Пусть . Тогда:
.
Добавим и вычтем в числителе член , сгруппируем и вынесем за скобки общие множители. Будем иметь:
.
Составим разностное отношение, т.е. отношение приращения функции к приращению аргумента:
.
Теперь перейдем к пределу при . Так как
и
- дифференцируемы (а, следовательно, непрерывны), то существуют пределы
,
,
,
а и
от
не зависят и выносятся за знаки пределов. Значит, существует предел разностного отношения, т.е.
.
VI. Пусть функция дифференцируема в точке
, а функция
дифференцируема в точке
, причем
. Тогда и сложная функция
дифференцируема в точке
и имеет место формула
.
Другие формы записи этой формулы:
,
.
Для доказательства придаем аргументу x функции приращение
. Оно вызовет приращение
этой функции, которое в свою очередь вызовет приращение
функции
. В силу теоремы 1 §4 из диффе-ренцируемости функций
и
имеем:
Подставляя первую формулу во вторую, получим для приращения сложной функции:
Сразу отметим, что в силу непрерывности функции (следует из её дифференцируемости) ее приращение
стремится к нулю при
. Составляем разностное отношение и переходим к пределу
.
Первое слагаемое под знаком предела в правой части – это постоянная. Второе – произведение постоянной на бесконечно малую, ибо по определению символа
. Третье слагаемое представим в виде
.
Здесь первый множитель есть бесконечно малая при , а второй имеет конечный предел
. Итак, второе и третье слагаемое – это бесконечно малые при
. Отсюда и получаем формулу дифференцирования сложной функции.
Замечание 1. Остальные правила дифференцирования приведем позже.