Правило дифференцирования алгебраической суммы функций.
Производная алгебраической суммы конечного числа дифференцируемых функций равна алгебраической сумме производных отдельных слагаемых.
Доказательство. Рассмотрим функцию . Дадим фиксированному значению аргумента приращение . Тогда функции и получат приращения и , а функция — приращение . Таким образом, по определению
.
Так как по предположению функции и дифференцируемы,
.
Следовательно,
.
Это правило легко обобщается на случай любого конечного числа слагаемых
⊠
Правило дифференцирования произведения функций. Производная произведения двух дифференцируемых функций равна сумме произведений производной первого сомножителя на второй и производной второго сомножителя на первый, т. е.
.
Доказательство.Пусть . Когда аргументу придают приращение , то функции , и получают соответственно приращения , и , причем
.
Разделим последнее равенство на
.
В последнем равенстве приращения , и зависят от , а и не зависят от ( так как и — значения функции, соответствующие начальному значению аргумента ).
Используя теоремы о пределах функций, находим
.
Так как
и ( т.к. функция непрерывна). Итак, окончательно имеем:
.
⊠
Следствие. Пусть функция имеет производную в точке , тогда функция ( — const) также имеет в этой точке производную, причем
.
Правило дифференцирования произведения двух функций методом математической индукции легко можно распространить на случай любого конечного числа сомножителей
Правило дифференцирования частного функций. Производная дроби (частного двух дифференцируемых функций) равна дроби, у которой знаменатель есть квадрат знаменателя данной дроби, а числитель представляет собой разность между произведением знаменателя данной дроби на производную ее числителя и произведением числителя на производную знаменателя.
Доказательство аналогично доказательству предыдущих двух теорем.
Пример. Найти производную функции .
Решение. .