{"id":240,"date":"2023-09-20T22:48:30","date_gmt":"2023-09-20T22:48:30","guid":{"rendered":"https:\/\/content.one.lumenlearning.com\/calculus1\/chapter\/the-advanced-rules\/"},"modified":"2024-08-05T12:40:41","modified_gmt":"2024-08-05T12:40:41","slug":"differentiation-rules-learn-it-3","status":"publish","type":"chapter","link":"https:\/\/content.one.lumenlearning.com\/calculus1\/chapter\/differentiation-rules-learn-it-3\/","title":{"raw":"Differentiation Rules: Learn It 3","rendered":"Differentiation Rules: Learn It 3"},"content":{"raw":"

The Advanced Rules<\/h2>\r\n

The Product Rule<\/h3>\r\n

Now that we have examined the basic rules, we can begin looking at some of the more advanced rules. The first one examines the derivative of the product of two functions. Although it might be tempting to assume that the derivative of the product is the product of the derivatives, similar to the sum and difference rules, the product rule<\/strong> does not follow this pattern.<\/p>\r\n

\r\n

To see why we cannot use this pattern, consider the function [latex]f(x)=x^2[\/latex], whose derivative is,<\/p>\r\n

[latex]f^{\\prime}(x)=2x[\/latex]<\/center>\r\n

which is not the same as,<\/p>\r\n

[latex]\\frac{d}{dx}(x)\\cdot \\frac{d}{dx}(x)=1\\cdot 1=1[\/latex].<\/center><\/section>\r\n
\r\n

the product rule<\/h3>\r\n

Let [latex]f(x)[\/latex] and [latex]g(x)[\/latex] be differentiable functions. Then<\/p>\r\n

[latex]\\frac{d}{dx}(f(x)g(x))=\\frac{d}{dx}(f(x))\\cdot g(x)+\\frac{d}{dx}(g(x))\\cdot f(x)[\/latex]<\/div>\r\n

 <\/p>\r\n

That is,<\/p>\r\n

if [latex]j(x)=f(x)g(x)[\/latex] then [latex]j^{\\prime}(x)=f^{\\prime}(x)g(x)+g^{\\prime}(x)f(x)[\/latex]<\/div>\r\n

 <\/p>\r\n

This means that the derivative of a product of two functions is the derivative of the first function times the second function plus the derivative of the second function times the first function.<\/p>\r\n<\/section>\r\n

\r\n

Proof<\/strong><\/p>\r\n

\r\n

We begin by assuming that [latex]f(x)[\/latex] and [latex]g(x)[\/latex] are differentiable functions. At a key point in this proof we need to use the fact that, since [latex]g(x)[\/latex] is differentiable, it is also continuous. In particular, we use the fact that since [latex]g(x)[\/latex] is continuous, [latex]\\underset{h\\to 0}{\\lim}g(x+h)=g(x)[\/latex].<\/p>\r\n

By applying the limit definition of the derivative to [latex]j(x)=f(x)g(x)[\/latex], we obtain<\/p>\r\n

[latex]j^{\\prime}(x)=\\underset{h\\to 0}{\\lim}\\dfrac{f(x+h)g(x+h)-f(x)g(x)}{h}[\/latex]<\/div>\r\n

 <\/p>\r\n

By adding and subtracting [latex]f(x)g(x+h)[\/latex] in the numerator, we have<\/p>\r\n

[latex]j^{\\prime}(x)=\\underset{h\\to 0}{\\lim}\\dfrac{f(x+h)g(x+h)-f(x)g(x+h)+f(x)g(x+h)-f(x)g(x)}{h}[\/latex]<\/div>\r\n

 <\/p>\r\n

After breaking apart this quotient and applying the sum law for limits, the derivative becomes<\/p>\r\n

[latex]j^{\\prime}(x)=\\underset{h\\to 0}{\\lim}\\left(\\frac{f(x+h)g(x+h)-f(x)g(x+h)}{h}\\right)+\\underset{h\\to 0}{\\lim}\\left(\\frac{f(x)g(x+h)-f(x)g(x)}{h}\\right)[\/latex]<\/div>\r\n

 <\/p>\r\n

Rearranging, we obtain<\/p>\r\n

[latex]j^{\\prime}(x)=\\underset{h\\to 0}{\\lim}\\left(\\frac{f(x+h)-f(x)}{h}\\cdot g(x+h)\\right)+\\underset{h\\to 0}{\\lim}\\left(\\frac{g(x+h)-g(x)}{h}\\cdot f(x)\\right)[\/latex]<\/div>\r\n

 <\/p>\r\n

By using the continuity of [latex]g(x)[\/latex], the definition of the derivatives of [latex]f(x)[\/latex] and [latex]g(x)[\/latex], and applying the limit laws, we arrive at the product rule,<\/p>\r\n

[latex]j^{\\prime}(x)=f^{\\prime}(x)g(x)+g^{\\prime}(x)f(x)[\/latex]<\/div>\r\n

[latex]_\\blacksquare[\/latex]<\/p>\r\n<\/section>\r\n

As you begin using the product rule, it may be useful to remember that addition and multiplication are commutative for all real numbers.<\/p>\r\n

\r\n

The following properties hold for real numbers [latex]a[\/latex], [latex]b[\/latex], and [latex]c[\/latex].<\/p>\r\n\r\n\r\n\r\n\r\n\r\n
\u00a0<\/th>\r\nAddition<\/th>\r\nMultiplication<\/th>\r\n<\/tr>\r\n<\/thead>\r\n
Commutative Property<\/strong><\/td>\r\n[latex]a+b=b+a[\/latex]<\/td>\r\n[latex]a\\cdot b=b\\cdot a[\/latex]<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<\/section>\r\n

This is particularly useful for our product rule because our formula consists solely of these two operations. Due to the commutative property of addition:<\/p>\r\n

[latex]j^{\\prime}(x)=f^{\\prime}(x)g(x)+g^{\\prime}(x)f(x)=g^{\\prime}(x)f(x)+f^{\\prime}(x)g(x)[\/latex]<\/p>\r\n

Additionally, the order in which you multiply each of these terms doesn't matter, due to the commutative property of multiplication.<\/p>\r\n

\r\n

For [latex]j(x)=f(x)g(x)[\/latex], use the product rule to find [latex]j^{\\prime}(2)[\/latex] if [latex]f(2)=3, \\, f^{\\prime}(2)=-4, \\, g(2)=1[\/latex], and [latex]g^{\\prime}(2)=6[\/latex].<\/p>\r\n

[reveal-answer q=\"fs-id1169736658802\"]Show Solution[\/reveal-answer]
\r\n[hidden-answer a=\"fs-id1169736658802\"]<\/p>\r\n

Since [latex]j(x)=f(x)g(x), \\, j^{\\prime}(x)=f^{\\prime}(x)g(x)+g^{\\prime}(x)f(x)[\/latex], and hence<\/p>\r\n

[latex]j^{\\prime}(2)=f^{\\prime}(2)g(2)+g^{\\prime}(2)f(2)=(-4)(1)+(6)(3)=14[\/latex].<\/div>\r\n

[\/hidden-answer]<\/p>\r\n<\/section>\r\n

\r\n

For [latex]j(x)=(x^2+2)(3x^3-5x)[\/latex], find [latex]j^{\\prime}(x)[\/latex] by applying the product rule. Check the result by first finding the product and then differentiating.<\/p>\r\n

[reveal-answer q=\"fs-id1169739301174\"]Show Solution[\/reveal-answer]
\r\n[hidden-answer a=\"fs-id1169739301174\"]<\/p>\r\n

If we set [latex]f(x)=x^2+2[\/latex] and [latex]g(x)=3x^3-5x[\/latex], then [latex]f^{\\prime}(x)=2x[\/latex] and [latex]g^{\\prime}(x)=9x^2-5[\/latex]. Thus,<\/p>\r\n

[latex]j^{\\prime}(x)=f^{\\prime}(x)g(x)+g^{\\prime}(x)f(x)=(2x)(3x^3-5x)+(9x^2-5)(x^2+2)[\/latex].<\/div>\r\n

Simplifying, we have<\/p>\r\n

[latex]j^{\\prime}(x)=15x^4+3x^2-10[\/latex].<\/div>\r\n

To check, we see that [latex]j(x)=3x^5+x^3-10x[\/latex] and, consequently, [latex]j^{\\prime}(x)=15x^4+3x^2-10[\/latex].<\/p>\r\n

[\/hidden-answer]<\/p>\r\n<\/section>\r\n

\r\n

[ohm_question hide_question_numbers=1]205283[\/ohm_question]<\/p>\r\n<\/section>","rendered":"

The Advanced Rules<\/h2>\n

The Product Rule<\/h3>\n

Now that we have examined the basic rules, we can begin looking at some of the more advanced rules. The first one examines the derivative of the product of two functions. Although it might be tempting to assume that the derivative of the product is the product of the derivatives, similar to the sum and difference rules, the product rule<\/strong> does not follow this pattern.<\/p>\n

\n

To see why we cannot use this pattern, consider the function [latex]f(x)=x^2[\/latex], whose derivative is,<\/p>\n

[latex]f^{\\prime}(x)=2x[\/latex]<\/div>\n

which is not the same as,<\/p>\n

[latex]\\frac{d}{dx}(x)\\cdot \\frac{d}{dx}(x)=1\\cdot 1=1[\/latex].<\/div>\n<\/section>\n
\n

the product rule<\/h3>\n

Let [latex]f(x)[\/latex] and [latex]g(x)[\/latex] be differentiable functions. Then<\/p>\n

[latex]\\frac{d}{dx}(f(x)g(x))=\\frac{d}{dx}(f(x))\\cdot g(x)+\\frac{d}{dx}(g(x))\\cdot f(x)[\/latex]<\/div>\n

 <\/p>\n

That is,<\/p>\n

if [latex]j(x)=f(x)g(x)[\/latex] then [latex]j^{\\prime}(x)=f^{\\prime}(x)g(x)+g^{\\prime}(x)f(x)[\/latex]<\/div>\n

 <\/p>\n

This means that the derivative of a product of two functions is the derivative of the first function times the second function plus the derivative of the second function times the first function.<\/p>\n<\/section>\n

\n

Proof<\/strong><\/p>\n

\n

We begin by assuming that [latex]f(x)[\/latex] and [latex]g(x)[\/latex] are differentiable functions. At a key point in this proof we need to use the fact that, since [latex]g(x)[\/latex] is differentiable, it is also continuous. In particular, we use the fact that since [latex]g(x)[\/latex] is continuous, [latex]\\underset{h\\to 0}{\\lim}g(x+h)=g(x)[\/latex].<\/p>\n

By applying the limit definition of the derivative to [latex]j(x)=f(x)g(x)[\/latex], we obtain<\/p>\n

[latex]j^{\\prime}(x)=\\underset{h\\to 0}{\\lim}\\dfrac{f(x+h)g(x+h)-f(x)g(x)}{h}[\/latex]<\/div>\n

 <\/p>\n

By adding and subtracting [latex]f(x)g(x+h)[\/latex] in the numerator, we have<\/p>\n

[latex]j^{\\prime}(x)=\\underset{h\\to 0}{\\lim}\\dfrac{f(x+h)g(x+h)-f(x)g(x+h)+f(x)g(x+h)-f(x)g(x)}{h}[\/latex]<\/div>\n

 <\/p>\n

After breaking apart this quotient and applying the sum law for limits, the derivative becomes<\/p>\n

[latex]j^{\\prime}(x)=\\underset{h\\to 0}{\\lim}\\left(\\frac{f(x+h)g(x+h)-f(x)g(x+h)}{h}\\right)+\\underset{h\\to 0}{\\lim}\\left(\\frac{f(x)g(x+h)-f(x)g(x)}{h}\\right)[\/latex]<\/div>\n

 <\/p>\n

Rearranging, we obtain<\/p>\n

[latex]j^{\\prime}(x)=\\underset{h\\to 0}{\\lim}\\left(\\frac{f(x+h)-f(x)}{h}\\cdot g(x+h)\\right)+\\underset{h\\to 0}{\\lim}\\left(\\frac{g(x+h)-g(x)}{h}\\cdot f(x)\\right)[\/latex]<\/div>\n

 <\/p>\n

By using the continuity of [latex]g(x)[\/latex], the definition of the derivatives of [latex]f(x)[\/latex] and [latex]g(x)[\/latex], and applying the limit laws, we arrive at the product rule,<\/p>\n

[latex]j^{\\prime}(x)=f^{\\prime}(x)g(x)+g^{\\prime}(x)f(x)[\/latex]<\/div>\n

[latex]_\\blacksquare[\/latex]
\n<\/section>\n

As you begin using the product rule, it may be useful to remember that addition and multiplication are commutative for all real numbers.<\/p>\n

\n

The following properties hold for real numbers [latex]a[\/latex], [latex]b[\/latex], and [latex]c[\/latex].<\/p>\n\n\n\n\n\n
\u00a0<\/th>\nAddition<\/th>\nMultiplication<\/th>\n<\/tr>\n<\/thead>\n
Commutative Property<\/strong><\/td>\n[latex]a+b=b+a[\/latex]<\/td>\n[latex]a\\cdot b=b\\cdot a[\/latex]<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/section>\n

This is particularly useful for our product rule because our formula consists solely of these two operations. Due to the commutative property of addition:<\/p>\n

[latex]j^{\\prime}(x)=f^{\\prime}(x)g(x)+g^{\\prime}(x)f(x)=g^{\\prime}(x)f(x)+f^{\\prime}(x)g(x)[\/latex]<\/p>\n

Additionally, the order in which you multiply each of these terms doesn’t matter, due to the commutative property of multiplication.<\/p>\n

\n

For [latex]j(x)=f(x)g(x)[\/latex], use the product rule to find [latex]j^{\\prime}(2)[\/latex] if [latex]f(2)=3, \\, f^{\\prime}(2)=-4, \\, g(2)=1[\/latex], and [latex]g^{\\prime}(2)=6[\/latex].<\/p>\n