Пусть
-сложная функция от переменной
.
Теорема: Пусть
,
дифференцируемы в точке (
,
, внешняя функция
дифференцируема в точке
, где
,
. Тогда сложная функция
дифференцируема в точке
, более того
;
, где производные всех функций берутся в соответственных точках.
Теорема (об инвариантности формы первого дифференциала):

;
.
+

+
=
+
форма первого дифференциала не зависит от того, являются ли переменные в свою очередь функциями или нет.






