משפט

אם הפונקציות ${\displaystyle f,g}$ גזירות, אזי ${\displaystyle {\frac {d}{dx}}{\bigl (}f(x)\cdot g(x){\bigr )}=g(x)\cdot {\frac {d}{dx}}f(x)+f(x)\cdot {\frac {d}{dx}}g(x)}$ .

$${\displaystyle {\begin{aligned}{\frac {d}{dx}}{\big (}f(x)\cdot g(x){\big )}&=\lim _{h\to 0}{\frac {f(x+h)g(x+h)-f(x)g(x)}{h}}\\&=\lim _{h\to 0}{\frac {f(x+h)g(x+h)-{\color {blue}f(x)g(x+h)}+{\color {blue}f(x)g(x+h)}-f(x)g(x)}{h}}\\&=\lim _{h\to 0}g(x+h)\cdot {\frac {f(x+h)-f(x)}{h}}+\lim _{h\to 0}f(x)\cdot {\frac {g(x+h)-g(x)}{h}}\\&=\lim _{h\to 0}g(x+h)\cdot \lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}+\lim _{h\to 0}f(x)\cdot \lim _{h\to 0}{\frac {g(x+h)-g(x)}{h}}\\&=g(x)\cdot \lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}}+f(x)\cdot \lim _{h\to 0}{\frac {g(x+h)-g(x)}{h}}\\&=g(x)\cdot {\frac {d}{dx}}f(x)+f(x)\cdot {\frac {d}{dx}}g(x)\end{aligned}}}$$

המעבר ${\displaystyle \lim _{h\to 0}g(x+h)=g(x)}$ הוא מפני ש־${\displaystyle g}$ רציפה ב־${\displaystyle x}$ (גזירות בנקודה גוררת רציפות בה).

${\displaystyle \blacksquare }$

נסמן ${\displaystyle y=f(x)g(x)}$ . אזי מתקיים:

$${\displaystyle \ln(y)=\ln {\bigl |}f(x)g(x){\bigr |}=\ln {\bigl |}f(x){\bigr |}+\ln {\bigl |}g(x){\bigr |}}$$

נגזור לפי כלל השרשרת ונקבל:

$${\displaystyle {\begin{matrix}{\dfrac {y'}{y}}={\dfrac {f'(x)}{f(x)}}+{\dfrac {g'(x)}{g(x)}}\\y'=f(x)g(x)\left({\dfrac {f'(x)}{f(x)}}+{\dfrac {g'(x)}{g(x)}}\right)=f'(x)g(x)+f(x)g'(x)\end{matrix}}}$$

${\displaystyle \blacksquare }$

הערה: במבט ראשון, הוכחה זו עלולה להידמות כבעלת הגיון מעגלי אבל למעשה נוסחת כלל השרשרת ונגזרת הלוגריתם הטבעי ניתנות להוכחה באופן עצמאי לחלוטין, ללא שימוש בכלל למכפלת נגזרות.