Свойства производных

Покажем, что множество функций, имеющих производную в некоторой фиксированной точке $ x_0$, замкнуто относительно арифметических операций с этими функциями. А именно, докажем следующую теорему, дающую основные правила дифференцирования.

        Теорема 4.2   Пусть функции $ f(x)$ и $ g(x)$ имеют производные в точке $ x$. Тогда функции $ w_1(x)=f(x)+g(x)$, $ w_2(x)=f(x)-g(x)$, $ w_3(x)=f(x)g(x)$, а в случае $ g(x)\ne0$ также $ w_4(x)=\dfrac{f(x)}{g(x)}$ имеют производные в точке $ x$, которые выражаются следующими формулами:
$\displaystyle w_1'(x)=(f(x)+g(x))'=f'(x)+g'(x);$(4.7)
$\displaystyle w_2'(x)=(f(x)-g(x))'=f'(x)-g'(x);$(4.8)
$\displaystyle w_3'(x)=(f(x)g(x))'=f'(x)g(x)+g'(x)f(x);$(4.9)
$\displaystyle w_4'(x)=\left(\dfrac{f(x)}{g(x)}\right)'=\dfrac{f'(x)g(x)-g'(x)f(x)}{(g(x))^2}.$(4.10)

Аналогичные утверждения и формулы имеют место также для односторонних производных $ w_i'(x\pm)$ ($ i=1,2,3,4$).

        Доказательство.     Докажем формулу (4.7). Пусть аргументу $ x$ дано приращение $ h$; при этом функция $ f(x)$ получает приращение $ {\Delta}f=f(x+h)-f(x)$, а функция $ g(x)$ -- приращение $ {\Delta}g=g(x+h)-g(x)$. Их сумма $ w_1(x)$ получит тогда приращение

$\displaystyle {\Delta}w_1=(f(x+h)+g(x+h))-(f(x)+g(x))=(f(x+h)-f(x))+(g(x+h)-g(x))=
{\Delta}f+{\Delta}g.$
Значит,
$\displaystyle w_1'(x)=\lim_{h\to0}\dfrac{{\Delta}w_1}{h}=
\lim_{h\to0}\left(\d...
...m_{h\to0}\dfrac{{\Delta}f}{h}+
\lim_{h\to0}\dfrac{{\Delta}g}{h}=f'(x)+g'(x).
$
Совершенно аналогично доказывается формула (4.8).

Докажем теперь формулу (4.9). Пусть снова $ {\Delta}f$ и $ {\Delta}g$ -- приращения функций, соответствующие приращению $ {\Delta}x=h$ аргумента $ x$. Тогда $ f(x+h)=f(x)+{\Delta}f$, $ g(x+h)=g(x)+{\Delta}g$ и приращением произведения будет

\begin{multline*}
{\Delta}w_3=f(x+h)g(x+h)-f(x)g(x)=(f(x)+{\Delta}f)(g(x)+{\Del...
...-f(x)g(x)=\\
=g(x){\Delta}f+f(x){\Delta}g+{\Delta}f{\Delta}g.
\end{multline*}
Поэтому, по свойствам пределов,
\begin{multline*}
w_3'(x)=\lim_{h\to0}\dfrac{{\Delta}w_3}{h}=
\lim_{h\to0}\lef...
...\
=f'(x)g(x)+g'(x)f(x)+0\cdot f'(x)g'(x)=f'(x)g(x)+g'(x)f(x).
\end{multline*}
При этом мы вынесли множители $ g(x)$ и $ f(x)$ за знак предела $ \lim\limits_{h\to0}$ как постоянные, не зависящие от переменного $ h$, к которому относится база предела.

Докажем теперь формулу (4.10). Заметим, что

$\displaystyle {\Delta}w_4=\dfrac{f(x)+{\Delta}f}{g(x)+{\Delta}g}-\dfrac{f(x)}{g...
...)(g(x)+{\Delta}g)}=
\dfrac{g(x){\Delta}f-f(x){\Delta}g}{g(x)(g(x)+{\Delta}g)}.$
Поэтому, согласно правилам вычисления пределов,

\begin{multline*}
w_4'=\lim_{h\to0}\dfrac{{\Delta}w_4}{h}=
\lim_{h\to0}\dfrac{...
...}(g(x)f'(x)-f(x)g'(x))=
\dfrac{f'(x)g(x)-g'(x)f(x)}{(g(x))^2}.
\end{multline*}


При этом мы вынесли за знак предела постоянный (то есть не зависящий от $ h$) множитель $ \dfrac{1}{g(x)}$ и воспользовались тем, что $ {\Delta}g\to0$ при $ h\to0$, что означает непрерывность функции $ g(x)$ в точке $ x$. Но ранее мы доказали, что всякая дифференцируемая в точке $ x$ функция непрерывна в точке $ x$ ( теорема 4.1).     
      

Главы учебника "Курс лекций высшей математики"

 

Аналитическая геометрия плоскости и поверхности Курс лекций Векторная алгебра. Электронные учебники - MATLAB Компьютерная математика Maple Лекции первого семестра первого курса Дифференциальное исчисление функции Дифференциальные уравнения первого порядка Теория вероятностей. Основные понятия Математический анализ Двойной интеграл Геометрический смысл производной Числовые ряды Степенные ряды Аналитическая геометрия Функции графики задачи Курс лекций Примеры задачи Интегрирование и дифференцирование матрицы ;