Производная сложной функции

Пусть задана сложная функция .

Теорема. Если и - дифференцируемые функции от своих аргументов, то производная сложной функции существует и равна производной данной функции по промежуточному аргументу и умноженной на производную промежуточного аргумента по независимой переменной , т.е.

.

? Дадим независимой переменной х приращение Δх≠0. Тогда функция u= φ(x) и у=f(u) соответственно получат приращения Δu и Δy.

Предположим, что Δu≠0. Тогда в силу дифференцируемости функции у=f(u) можно записать где - f′(u) величина не зависящая от Δu.

На основании теоремы о связи бесконечно малых величин с пределами функций где - бесконечно малая величина при Δu → 0, откуда

Это равенство будет справедливо и при Δu = 0, если полагать, что α(∆u=0)=0 (т.е. доопределить таким образом функцию α(∆u) при ∆u=0).

Разделив обе части последнего равенства на Δх≠0, получим

Так как по условию функция у=φ(х) дифференцируема, то она непрерывна в точке х, следовательно, при Δх → 0 Δu → 0 и α(∆u) → 0 .

Поэтому, переходя к пределу при Δх → 0 в последнем соотношении, получаем ■