Оваа статија подетално се занимава со поимот ***Извод од производ на функции***.   
 Околу дефиницијата на поимот извод на функција, видете ја статијата Диференцијално сметање.

При диференцирање на производ не се раководиме според принципот по кој диференцираме збир или разлика. Правилото при диференцирање на збир или разлика е: **извод од збир (разлика) е збир (разлика) на изводи**, што не е случај со производот.

Како се *бара* извод од производ на две функции?
------------------------------------------------

Тврдењето ќе го дадеме формално, во вид на теорема:

Нека {\displaystyle \ f} и {\displaystyle \ g} се реални функции од една променлива, определени на интервалот {\displaystyle \ P} и диференцијабилни во точка {\displaystyle \ x\_{0}\in P}. Тогаш и нивниот производ {\displaystyle \ f\cdot g} е диференцијабилен во точката {\displaystyle \ x\_{0}\in P} и при тоа важи:

{\displaystyle \ (f\cdot g)^{\prime }(x\_{0})=f^{\prime }(x\_{0})\cdot g(x\_{0})+f(x\_{0})\cdot g^{\prime }(x\_{0})}
Дополнително ако посочените функции се диференцијабилни во секоја точка од интервалот {\displaystyle \ P}, тогаш и нивниот производ е диференцијабилен на целиот интервал и формално се бележи:

{\displaystyle \ (f\cdot g)^{\prime }=f^{\prime }\cdot g+f\cdot g^{\prime }}

Доказ
-----

Ќе дадеме и формален доказ. Нека се исполнети условите на теоремата, т.е. нека постојат изводите на функциите {\displaystyle \ f} и {\displaystyle \ g} во точката {\displaystyle \ x\_{0}\in P}. Тогаш, според дефиницијата на извод имаме:

{\displaystyle f^{\prime }(x)=\lim \_{x\to x\_{0}}{\frac {f(x)-f(x\_{0})}{x-x\_{0}}}}
{\displaystyle g^{\prime }(x)=\lim \_{x\to x\_{0}}{\frac {g(x)-g(x\_{0})}{x-x\_{0}}}}
Бидејќи по дефиниција: {\displaystyle \ (f\cdot g)(x)=f(x)g(x)}, имаме:

{\displaystyle (f\cdot g)^{\prime }(x)=\lim \_{x\to x\_{0}}{\frac {(fg)(x)-(fg)(x\_{0})}{x-x\_{0}}}=\lim \_{x\to x\_{0}}{\frac {f(x)g(x)-f(x\_{0})g(x\_{0})}{x-x\_{0}}}=}
{\displaystyle =\lim \_{x\to x\_{0}}{\frac {f(x)g(x)-f(x\_{0})g(x\_{0})+g(x)f(x\_{0})-g(x)f(x\_{0})}{x-x\_{0}}}=}
{\displaystyle =\lim \_{x\to x\_{0}}{\frac {g(x)\left(f(x)-f(x\_{0})\right)+f(x\_{0})\left(g(x)-g(x\_{0})\right)}{x-x\_{0}}}=}
{\displaystyle =\lim \_{x\to x\_{0}}{\frac {f(x)-f(x\_{0})}{x-x\_{0}}}\cdot \lim \_{x\to x\_{0}}g(x)+f(x\_{0})\cdot \lim \_{x\to x\_{0}}{\frac {g(x)-g(x\_{0})}{x-x\_{0}}}=}
{\displaystyle =f^{\prime }(x\_{0})\cdot g(x\_{0})+f(x\_{0})\cdot g^{\prime }(x\_{0})\,\,\,\blacksquare }
Со тоа доказот е завршен.

Случај со повеќе од две функции
-------------------------------

Кога веќе го покажавме правилото за две функции, лесно ќе го прошириме на три, четири и повеќе.

Нека се зададени функции {\displaystyle f,\,g,\,h,\,k\,} и нека претпоставиме дека сите се диференцијабилни во некоја точка {\displaystyle \ x}. Тогаш имаме:

* **Извод од производ на три функции во точка {\displaystyle \ x}:**

{\displaystyle \ (fgh)^{\prime }=[f(gh)]^{\prime }=f^{\prime }(gh)+f(gh)^{\prime }=f^{\prime }gh+f(g^{\prime }h+gh^{\prime })=f^{\prime }gh+fg^{\prime }h+fgh^{\prime }\,\,\,\blacksquare }
* **Извод од производ на четири функции во точка {\displaystyle \ x}:**

{\displaystyle \ (fghk)^{\prime }=[f(ghk)]^{\prime }=f^{\prime }(ghk)+f(ghk)^{\prime }=f^{\prime }ghk+f(g^{\prime }hk+gh^{\prime }k+ghk^{\prime })=}
{\displaystyle \ f^{\prime }ghk+fg^{\prime }hk+fgh^{\prime }k+fghk^{\prime }}

Поврзано
--------

* Диференцијално сметање
* Извод од количник
* Интегрално сметање