text: При допущении о непрерывной дифференцируемости L {\displaystyle L} имеет место равенство, аналогичное выражению для дифференциала функции: J ( x 1 ) = J ( x ) + J 1 ( δ x ) + ε r ( x , x 1 ) , {\displaystyle J(x_{1})=J(x)+J_{1}(\delta x)+\varepsilon r(x,\;x_{1}),} где остаточный член | r ( x , x 1 ) | → 0 {\displaystyle |r(x,\;x_{1})|\to 0} — расстояние между функциями и ε → 0 {\displaystyle \varepsilon \to 0} , а δ x ( t ) = x 1 ( t ) − x ( t ) {\displaystyle \delta x(t)=x_{1}(t)-x(t)} .