Цепное правило (правило дифференцирования сложной функции) позволяет вычислить производную композиции двух и более функций на основе индивидуальных производных. Если функция f имеет производную в точке x0, а функция g имеет производную в точке y0 = f(x0), то сложная функция h(x) = g(f(x)) также имеет производную в точке x0.
Одномерный случай
Пусть даны функции, определённые в окрестностях на числовой прямой,
где y0 = f(x0), и
Пусть также эти функции дифференцируемы:
Тогда их композиция также дифференцируема:
и её производная имеет вид:

Замечание
В обозначениях Лейбница цепное правило для вычисления производной функции y = y(x), где x = x(t), принимает следующий вид:

Инвариантность формы первого дифференциала
Дифференциал функции z = g(y) в точке y0 имеет вид:

где dy — дифференциал тождественного отображения
:

Пусть теперь
Тогда
, и согласно цепному правилу:

Таким образом, форма первого дифференциала остаётся одной и той же вне зависимости от того, является ли переменная функцией или нет.
Пример
Пусть
Тогда функция
может быть записана в виде композиции
где


Дифференцируя эти функции отдельно:


получаем

Многомерный случай
Пусть даны функции
где y0 = f(x0), и
Пусть также эти функции дифференцируемы:
и
Тогда их композиция тоже дифференцируема, и её дифференциал имеет вид
- dh(x0) = dg(y0) * df(x0).
В частности, матрица Якоби функции h является произведением матриц Якоби функций g и f:

Следствия
- Якобиан композиции двух функций является произведений якобианов индивидуальных функций:

Для частных производных сложной функции справедливо

Инвариантность формы полного дифференциала
Используя правило дифференцирования сложной функции, можно показать, что полный дифференциал обладает свойством инвариантности: полный дифференциал функции z=ƒ(х;у) сохраняет один и тот же вид независимо от того, являются ли аргументы независимыми переменными или функциями независимых переменных.
Пусть z=ƒ(х;у), где х и у — независимые переменные. Тогда полный дифференциал (1-го порядка) функции имеет вид
(формула (44.5)).
Рассмотрим сложную функцию z=ƒ(х;у), где х = x(u;v), у = y(u;v), т. е. функцию z = f(x(u;v);y(u;v)) = F(u;v;), где u и v — независимые переменные. Тогда имеем:

Выражения в скобках представляют собой полные дифференциалы dx и dy функций х = х(u;v) и y = y(u;v). Следовательно, и в этом случае,
