Рассмотрим функцию z = φ(x) и функцию y = f(z). Допустим, что она имеет в точке x производную z'x = φ'(x), а функция y = f(z) имеет при значении z, соответствующим значению x, производную y'z = f'(z). Дадим аргументу x приращение Δx. Функция z получит при этом приращение Δz = φ(x + Δx), а функция y получит приращение Δy = f(z + Δz). При Δx→0 Δz→0 и Δy→0.
Из соотношения для предела и свойств бесконечно малых
представляем отношение приращений Δy / Δz как сумму предела (пределом такого отношения будет производная) и бесконечно малой:
Здесь α→0 при Δz→0. Далее преобразовываем это равенство Δy = y'zΔz + αΔz. Делим обе части на Δx:
Учитывая, что:
получаем y'x = y'zz'x.
Другими словами z'x , грубо говоря, это отношение Δz к Δx, а y'z - это приближенно отношение Δy к Δz.
y'zz'x ≈ (Δy / Δz)(Δz / Δx) = Δy / Δx ≈ y'x. Соотношение становится точным в пределе, когда Δx→0.