Is my proof for the Chain Rule invalid?

  • Context: Undergrad 
  • Thread starter Thread starter prasannapakkiam
  • Start date Start date
  • Tags Tags
    Chain Chain rule
Click For Summary
SUMMARY

The forum discussion centers on the validity of a proof for the Chain Rule in calculus, presented by a user who claims it is not a derivation but a proof. The proof involves manipulating notation and expressions related to derivatives, specifically dy/dx, du/dx, and df/du. While some participants argue that the proof is valid, others emphasize that it lacks rigor due to the treatment of differentials as fractions without proper limits. Ultimately, the consensus suggests that while the proof may be convenient, it does not adhere to the strict definitions required for a formal proof in calculus.

PREREQUISITES
  • Understanding of calculus concepts, specifically derivatives and the Chain Rule.
  • Familiarity with limits and their role in defining derivatives.
  • Knowledge of notation used in calculus, such as dy/dx, du/dx, and df/du.
  • Ability to differentiate between proofs and derivations in mathematical contexts.
NEXT STEPS
  • Study the formal proof of the Chain Rule using limits and the Fundamental Theorem of Calculus.
  • Learn about the rigorous definitions of derivatives and the importance of limits in calculus.
  • Explore the concept of infinitesimals and their role in calculus, particularly in non-standard analysis.
  • Review examples of valid proofs in calculus to understand the standards of rigor required.
USEFUL FOR

Students of calculus, mathematics educators, and anyone interested in understanding the rigor behind mathematical proofs, particularly in the context of derivatives and the Chain Rule.

  • #61
How about you check post 32.
 
Physics news on Phys.org
  • #62
That is it.

Arguments seem to be revolving around whether dy/dx or dy/du can be split up into a fraction. How about we take a look at: f'(x)=lim h--> 0 (f(x+h)-f(x))/h. How did we derive it? We used small values of y and x i.e. dy and dx. Remember that all the equal signs in my proof are the "aprox." signs. The limit in the end ties it all up to a differential. But the limit thing is neccessiarily necessary...
 
  • #63
prasannapakkiam said:
That is it.

Arguments seem to be revolving around whether dy/dx or dy/du can be split up into a fraction. How about we take a look at: f'(x)=lim h--> 0 (f(x+h)-f(x))/h. How did we derive it? We used small values of y and x i.e. dy and dx. Remember that all the equal signs in my proof are the "aprox." signs. The limit in the end ties it all up to a differential. But the limit thing is neccessiarily necessary...

This was the argument but it no longer is. The argument now is that the equality of the ratio and the product of the other ratios as well as the equality the limit of the first ratio with the product of the other ratios are doubtful. But as I said, for the case in which there exist a neighborhood in which the functions are monotonic, there's nothing to be doubted.
 
  • #64
Werg22 said:
How about you check post 32.
This is not the definition of the limit of a function, and your explanation was far from formal, and didn’t really what exactly it means to take to limits keeping “equal change”. Did you go over the delta epsilon definition of a limit in your class?
 
  • #65
prasannapakkiam said:
That is it.

Arguments seem to be revolving around whether dy/dx or dy/du can be split up into a fraction. How about we take a look at: f'(x)=lim h--> 0 (f(x+h)-f(x))/h. How did we derive it? We used small values of y and x i.e. dy and dx. Remember that all the equal signs in my proof are the "aprox." signs. The limit in the end ties it all up to a differential. But the limit thing is neccessiarily necessary...

Yes, someone said'hey, if we use this as a definition, we get the slope for a bunch of nice looking curves. So let's extend this, and define it to be the slope for all curves'

Why? Because for all curves, that includes curves that aren't nice. So yes, you can use this intuitive sense of derivative, and if your curve behaves welll, expect to be right. But the point of the definition is that it's the only way to 100% accurately describe the derivative of a function, no matter which function you're using.

Technically, werg has yet to prove that he's even covered all the cases (and as we can see by his initially missing the case where it hits zero infinite times in any interval, it's not obvious that all the cases are covered).

However, by definition using the definition of a derivative hits all the cases
 
  • #66
Notice how these [insert you know what here] keep on attacking my proof without actually putting anything forth. Office_Shredder, you are so laughable. As soon as Mathwonk stepped in, you changed your tune. It's pretty obvious now that you really don't know what you are talking about.
 
Last edited:

Similar threads

  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 8 ·
Replies
8
Views
961
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K