Prov (fgh)' = f'gh + fg'h +fgh'

  • Thread starter Thread starter zketrouble
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on proving the differentiation rule for the product of three functions, specifically that (fgh)' = f'gh + fg'h + fgh'. The user attempts various approaches, including applying the product rule and exploring derivatives of polynomial forms. Ultimately, they express uncertainty about their proof's validity and seek clarification on potential errors in their reasoning. A suggested method involves applying the product rule iteratively to simplify the proof.

PREREQUISITES
  • Understanding of basic calculus concepts, specifically differentiation.
  • Familiarity with the product rule of differentiation.
  • Knowledge of polynomial functions and their derivatives.
  • Ability to manipulate algebraic expressions involving functions.
NEXT STEPS
  • Review the product rule of differentiation in detail.
  • Practice applying the product rule to multiple functions.
  • Explore examples of differentiating polynomial products.
  • Investigate common errors in applying differentiation rules.
USEFUL FOR

Students learning calculus, educators teaching differentiation, and anyone seeking to clarify the product rule for multiple functions.

zketrouble
Messages
47
Reaction score
0

Homework Statement



Hi folks,

I've been trying to teach myself Calculus and I found a problem on the net which asks to prove that (fgh)' = f'gh +fg'h +fgh'. I think I'm making this problem a lot more complicated than it needs to be.

Homework Equations


The Attempt at a Solution


Here's my attempt, the first part was all brainstorming:

d/dx 7x^2 = 14x
d/dx 7x^2; f(x) = 7 and g(x)=x^2

...f'g = (0)x^2; fg' = 7(2x)
0x^2 + 14x = 14x

Now let's try (constant)*x*x^n

k*x*x^n = kx^(n+1)

If: d/dx (fgh)' = f'gh + fg'h + fgh'
Then: d/dx k*x*x^n = d/dx kx^(n+1)

d/dx (k*x*x^n) = k'(x)(x^n) + k(x)'(x^n) + k(x)(x^n)'
d/dx (k*x*x^n) = 0(x)(x^n) + k(1)(x^n) + k(x)[nx^(n-1)]
d/dx (k*x*x^n) = 0 + k(x^n) + kx[nx^(n-1)]
d/dx (k*x*x^n) = kx^n + knx^n
d/dx (K*x*x^n) = 2kn(x^n)

d/dx [kx^(n+1)] = (n+1)kx^n
d/dx [kx^(n+1)] = nkx^n + kx^n
d/dx [kx^(n+1)] = 2kn(x^n)

I'm not sure if this thoroughly proves the statement (fgh)' = f'gh + fg'h + fgh' because it fails to take into account varying coefficients on terms of varying degree. So I tried again using a similar strategy, this time failing:

Let (a,b,c) = three coefficient constants. Let (d,e,f) = three exponential constants. When I use the letter e I am NOT referring to the number 2.71828.

(ax^d)*(bx^e)*(cx^f) = abcx^(d+e+f)
d/dx (ax^d)*(bx^e)*(cx^f) = d/dx abcx^(d+e+f)

Letting the three terms on the left-hand of the equation be denoted as functions F, G, and H,

If: (FGH)' = F'GH + FG'H + FGH'
Then: d/dx (ax^d)*(bx^e)*(cx^f) = d/dx abcx^(d+e+f)
and the triple product rule should be consistent with the equation, and the two derivatives below should obtain the same result.

d/dx (ax^d)*(bx^e)*(cx^f)

= adx^(d-1)*(bx^e)(cx^f) + bex^(e-1)*(ax^d)(cx^f) + cfx^(f-1)*(ax^d)(bx^e)
= adx^(d-1)*bcx^(e+f+1) + bex^(e-1)*acx^(d+f+1) + cfx^(f-1)*abx^(d+e+1)
= abcdx^(d+e+f) + abcex^(d+e+f) + abcfx^(d+e+f)
= abc[dx^(d+e+f) + ex^(d+e+f) + fx^(d+e+f)]

d/dx abcx^(d+e+f)

= abc(d+e+f)x^(d+e+f-1)
= abcdx^(d+e+f-1) + abcex^(d+e+f-1) + abcfx^(d+e+f-1)
= abc[dx^(d+e+f-1) + ex^(d+e+f-1) + fx^(d+e+f-1)


abc[dx^(d+e+f-1) + ex^(d+e+f-1) + fx^(d+e+f-1)

does NOT = abc[dx^(d+e+f) + ex^(d+e+f) + fx^(d+e+f)]


So I've either disproven one of the fundamental laws of differentiation (unlikely) or made an error somewhere (much more likely). Can anybody see where the error is, and does anybody have a better idea on how to solve the problem?

Thanks!
 
Physics news on Phys.org
zketrouble said:

Homework Statement



Hi folks,

I've been trying to teach myself Calculus and I found a problem on the net which asks to prove that (fgh)' = f'gh +fg'h +fgh'. I think I'm making this problem a lot more complicated than it needs to be.

...

So I've either disproven one of the fundamental laws of differentiation (unlikely) or made an error somewhere (much more likely). Can anybody see where the error is, and does anybody have a better idea on how to solve the problem?

Thanks!

Apply (fg)' = f'g + g'f to your problem written as

(f\cdot g\cdot h)' = (f\cdot(g\cdot h))'

and expand it.
 

Similar threads

Replies
5
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 58 ·
2
Replies
58
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 18 ·
Replies
18
Views
5K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K