Chain rule proof | Derivative rules | AP Calculus AB | Khan Academy

Поділитися
Вставка
  • Опубліковано 25 січ 2025

КОМЕНТАРІ • 93

  • @dwong7826
    @dwong7826 8 років тому +97

    As several people pointed out, this proof is incorrect because it is incomplete. By dividing by delta u, delta u can't be zero. As viewers will note, the proof in the video proceeds assuming delta u is not zero -- an unstated assumption. The division by zero case is addressed in the Wikipedia article, en.wikipedia.org/wiki/Chain_rule.

    • @stopthephilosophicalzombie9017
      @stopthephilosophicalzombie9017 3 роки тому +1

      Thank you for mentioning this. That problem was glaring out at me at the end.

    • @illumexhisoka6181
      @illumexhisoka6181 2 роки тому +4

      But it doesn't matter because if delta u is zero then the u function is a constant and we know without a proof that its Derivative is zero and when we put it inside another function it will also have a Derivative that = to zero

    • @DarinBrownSJDCMath
      @DarinBrownSJDCMath 2 роки тому

      @@illumexhisoka6181 When we say "delta u is zero", we only mean that every interval of the point contains points in which delta u is zero, NOT that delta u is identically zero in some neighborhood of the point.

    • @hamez1300
      @hamez1300 2 роки тому

      @@DarinBrownSJDCMath I'm quite confused, is this in the case of rapidly oscillating functions? If so how do you resolve this?

    • @DarinBrownSJDCMath
      @DarinBrownSJDCMath 2 роки тому

      @@hamez1300 The usual example given is u(x) = x^2 * sin(1/x) for x =/= 0, and u(0) = 0. Then delta(u) --> 0 as delta(x) --> 0, every interval about 0 contains points where delta(u) = 0, yet delta(u) is not identically 0 near 0. This causes the intuitive proof not to work, because delta(y)/delta(u) is undefined for points arbitrarily close to 0.
      There are several ways to "repair" this defect. The most common is to "redefine" delta(y)/delta(u) to be equal to y'(u(a)) whenever delta(u) = 0. I have always found this approach to be very ugly and not too instructive. My preferred repair is to use an equivalent definition of differentiability based on linear approximation error, which avoids division altogether. This alternate method has the additional advantage of generalizing nicely to the multivariable case.

  • @12345papad
    @12345papad 9 років тому +52

    This is not a proof. The proof of this requires either non-standard analysis ( which you seem to be assuming to hold true in this case) or the FTC.

    • @seandever2272
      @seandever2272 8 років тому +6

      But since Δy = y(x+Δx)-y(x) isn't "the limit as Δx approaches zero of Δy over Δx" just a slightly simplified version of the FTC?

    • @mariomario-ih6mn
      @mariomario-ih6mn 5 років тому +1

      I know

    • @jackmortem4557
      @jackmortem4557 4 роки тому

      Hi

    • @carlosmehicano8052
      @carlosmehicano8052 2 роки тому

      If anyone sees this check out keislers elementary infinitesimal calculus, infinitesimals make the proof very easy

  • @aditt.7475
    @aditt.7475 2 роки тому +5

    The first ten seconds of this video was the most accurate description of the chain rule that I've ever heard of.

  • @gothicknight5538
    @gothicknight5538 7 років тому +53

    Thank you. I always love to know the proofs and not just simply memorizing it.

    • @chempoint5854
      @chempoint5854 3 роки тому

      We r same bro

    • @salmansaadiqp
      @salmansaadiqp 3 роки тому

      Me too man

    • @user-pd4wz1oo3x
      @user-pd4wz1oo3x 3 роки тому +3

      not knowing the proof is kinda like not knowing the language the song you listen to is written in

    • @Kneecap22
      @Kneecap22 5 місяців тому

      The khan academy proof is not rigorous, I like the linear approximation and then turning dy into a function of the errors of W and then dW as a function of x by linear approximation and then substitute dW and the starting points, where the starting point of the inner function B is the outer function at A, and then divide dx, and then FOIL and then take the limit as dx goes to 0, so the error of linear_approximation_1 and linear_approximation_2, goes to 0. And you are left with (f'(g(a)))*(g'(a)).

  • @aakashkarajgikar9384
    @aakashkarajgikar9384 2 роки тому +2

    5:37 I would like an actual proof please. Is dy/dx a fraction? My calc 1 teacher/professor I have is telling me it isn't a fraction, but I am hearing wrong. So I am pretty confused.

    • @Zipbomb-v2f
      @Zipbomb-v2f Рік тому

      "dy/dx does not mean dy divide by dx but dy/dx is the symbol for lim(delta y /delta X) when delta X approaches 0" --my textbook

    • @glasssmirror2314
      @glasssmirror2314 3 місяці тому

      @@Zipbomb-v2f
      Please if not the fraction then why when cancelling dy/du Mult du/dx=dy/dx------du cancelled

  • @arielfuxman8868
    @arielfuxman8868 4 роки тому +3

    This just shows how useful the d/dy notation is.

  • @TortaSabrosa
    @TortaSabrosa 9 років тому +13

    Your proof of the Chain Rule is technically incorrect. For example, what if delta u is 0 (i.e., u is a constant function of x)? In order for your argument to work, you must assume delta u is not 0, since you're dividing by delta u. Then you would have to consider the case where du/dx=0 separately.

    • @Meverynoob
      @Meverynoob 8 років тому

      what are u even asking? dy/dx = 0, dy/du = 0 and du/dx also = 0 (where u is a constant function and y is a function of u). what u are tryna talk about is delta u not being 0, which is quite obvious because u cant have a 0 in the demominator of a fraction now can you

    • @TortaSabrosa
      @TortaSabrosa 8 років тому +5

      +Meverynoob We are assuming that u is a function of x, i.e., u = u(x). So what I'm asking is: what if u is a constant function, e.g., u(x)=1 for all real numbers x. Then delta u=0 over any sub interval. In his proof he divides by delta u, so he must logically assume that delta u is not equal to 0. So that case must be handled separately.

    • @Meverynoob
      @Meverynoob 8 років тому

      ceryan83 in that case, it'll end up with 0/0 * 0.
      does this not equal to 0?

    • @ykkrasaoz9748
      @ykkrasaoz9748 5 років тому +19

      @@Meverynoob oh dear mate lol

    • @Meverynoob
      @Meverynoob 5 років тому +14

      @@ykkrasaoz9748 This is me 3 years in the future and I must admit treating 0/0 as a real number is a bit embarrassing. In that case, consider y = u(x) where u(x) = 1. I just have to define u as something else. Now, dy/du is 1 but du/dx is 0. Sorry this took so long.

  • @yotsubakoiwai1645
    @yotsubakoiwai1645 10 років тому +17

    y needs to be differentiable at u(x), not x

    • @Meverynoob
      @Meverynoob 8 років тому +2

      no difference.

    • @Meverynoob
      @Meverynoob 8 років тому

      in this case y is already a function of u so...

    • @IvangelionTw
      @IvangelionTw 5 років тому

      @@Meverynoob so what?

    • @wolframalpha8634
      @wolframalpha8634 5 років тому +2

      If y is differentiable at u(x) it also does imply that y is differentiable at x as well , coz u(x) is a function of x , hence it's range(output) will be in terms of x(input) , and y is a function of u(x) , which implies the range of u(x) which is in terms of x turns out to be in the domain of y !! Hence we can by telling that y is differentiable at x as well!!

    • @LastHopeee
      @LastHopeee 3 роки тому

      @@wolframalpha8634 we cant

  • @zbolt9able
    @zbolt9able 10 років тому +4

    Excellent. So by the same logic you could turn delta u into delta z. But, the reason that doesn't work is you have no way of calculating delta z with respect to x. The reason this works is because you can calculate delta u with respect to x.

    • @zbolt9able
      @zbolt9able 9 років тому +1

      if 2 things have no connection to eachother, how would you calculate them with respect to eachother? for instance, how would you calculate my height with respect to your height?

    • @Meverynoob
      @Meverynoob 8 років тому

      +Akrahm Joltevskoy then how would u prove it?

  • @KBineetPrasadPatro
    @KBineetPrasadPatro 5 років тому +2

    Thanks sir , I was founded from a long time , finally I got it . So , double thanks ☺️😊👍👌💐🎂

  • @nafrost2787
    @nafrost2787 4 роки тому

    4:58 I see here that you are replacing one limit here with another. Is there a name for doing that? Also what are thye conditions, that allow you to replace the limit as x -> c1, to the limit as u -> c2?

  • @asyraafafandi1216
    @asyraafafandi1216 8 років тому +7

    what is the title of the previous video???

    • @kimjongtrill2399
      @kimjongtrill2399 7 років тому +1

      The previous video is titled "Change in continuous function approaches 0"

  • @notsodope834
    @notsodope834 11 місяців тому +1

    I don't understand why is it important to consider the case when u(x) is constant function coz usually its not used. Idk

  • @qualquan
    @qualquan 2 роки тому

    Just finding complex F'(x) by using the very useful U substitution of the "inner" x terms (function) and then finding dU by dU/dx to express everything in terms of x as a diff. coeff. Is a proof needed to justify substitution?

  • @barthennin6088
    @barthennin6088 5 місяців тому

    Great proof up to the point he says, "according to a previous video, this is true" (Shaking my head)

  • @MrZeroSugar01
    @MrZeroSugar01 10 років тому +7

    Thanks so much! I just learned the chain rule at school, and was a bit disappointed that we didn't learn a proof.. and here it is! :)

  • @littleuniverse1430
    @littleuniverse1430 3 роки тому

    Can you do a proof by the definition of derivative ?

  • @zainkhalid3049
    @zainkhalid3049 8 років тому +1

    this video was a helpful video for me thank you.
    Question:
    (where the chain rule is use, how do we know where we use chain rule, chain rule daily life example)
    Thank you

    • @headlikeahole6548
      @headlikeahole6548 4 місяці тому

      No daily life but it's used in neural networks.

  • @Hobbit183
    @Hobbit183 6 років тому +2

    I came up with this alternative proof:
    We know that: df=f'(t)*dt
    Now, if t itself a function of another variable x then we have that: t=t(x)=g(x). Also dt=dg (that is, an infinitesimal change in t results in an infinitesimal change in g)
    if we plug this into the first equation we have that: df=f'(g(x))*dg
    Then we divide both sides by dx: df/dx=f'(g(x))*dg/dx=f'(g(x))*g'(x)
    Is this correct???

  • @black_jack_meghav
    @black_jack_meghav 5 років тому +2

    Dear sir, isn't this proof incomplete? ∆u can be zero even if ∆x isn't. This is what the textbook says.

  • @mohammedhisham107
    @mohammedhisham107 4 роки тому

    Thanks alot Khan

  • @WangQihong
    @WangQihong 2 місяці тому

    but why lim delta y / delta x = lim delta y/ delta u * delta u / delta x

  • @brighttips8203
    @brighttips8203 2 роки тому

    Thnks sir

  • @Sky-pg6xy
    @Sky-pg6xy 6 років тому +3

    Lol, Alsace Lorraine is also de-Frenchable

  • @farruhhabibullaev5316
    @farruhhabibullaev5316 Рік тому

    It's a great description of the chain rule but the proof is not complete, You are using the theorem itself to prove.

  • @ElmoDaSituation
    @ElmoDaSituation 10 років тому

    How do you write so neatly? When i was using the scratchpad on khan academy, i found it extremely difficult to write clearly.

    • @JesseMeyer
      @JesseMeyer 9 років тому +1

      khan uses a tablet

  • @martyspandex
    @martyspandex 10 років тому +1

    At last! I've been waiting for a decent proof for the chain rule for ages. Good stuff.

  • @drmichaelsunsschoolformath
    @drmichaelsunsschoolformath 6 років тому +55

    Not even close to a proof

    • @IvangelionTw
      @IvangelionTw 5 років тому +1

      Why?

    • @daman7387
      @daman7387 5 років тому +1

      Bro chill it's just a UA-cam video

    • @Sednas
      @Sednas 2 роки тому

      @@daman7387 it's not a proof though and neither is it correvt

    • @A_person-c
      @A_person-c 9 місяців тому

      A proof should not necessarily be as clear as you wish, he just needs to show you there's no contradiction and he didn't come with a law just out of nothing..

    • @lukasproano4296
      @lukasproano4296 3 місяці тому

      @@A_person-che literally used the fallacy of defining something by using that same thing. This was the math equivalent of someone defining a woman as “someone who identifies as a woman”

  • @copernicus6420
    @copernicus6420 7 років тому

    what a nice explanation. simply the best. you have got yourself a subscriber

  • @yeonhojung7185
    @yeonhojung7185 7 років тому

    *ohmygod* now i get this!!

  • @Kneecap22
    @Kneecap22 5 місяців тому +1

    This proof is not rigorous.

  • @nileshjambhekar7699
    @nileshjambhekar7699 8 років тому +2

    This is a silly question so just wanted to be clear:
    Why is d/dx [y{u(x))] = dy/dx?

    • @paramass1802
      @paramass1802 8 років тому +1

      +Nilesh Jambhekar Hm... Your question seems to be reasonable... Actually it is not pretty clear in this video as there's some sort of confusion in the use of variables.... To understand better, y = v(u(x))=dy/dx
      So the modified chain rule goes as dy/dx where y=v(u(x))=(dv/du) * (du/dx) Hope this makes you understand better.. : D

    • @Meverynoob
      @Meverynoob 8 років тому +2

      the function is y which is one of u(x) but is also a function of x so d/dx of y as a function of u(x) is the same as dy/dx

  • @anilkumarsharma1205
    @anilkumarsharma1205 5 років тому

    it's looking like a commutative rules of integral

  • @praneshkulkarni4565
    @praneshkulkarni4565 6 років тому

    Derivative of sin( sin x)

    • @kostas919
      @kostas919 6 років тому +3

      Cosx*cos(sinx)

  • @akrocuba
    @akrocuba 10 років тому +1

    I love these vids! I always wanted to be a math/science geek, just never had the proper amount of grey matter...LOL
    Still, I am learning a lot....thanks for loading!

  • @MegaSairahul
    @MegaSairahul 10 років тому

    khan i wish u cud increase your pace a bit and speak like the old khan plzzzz if students can't follow some parts they will revind the video and watch it again

    • @reman3000
      @reman3000 5 років тому

      1.25x playback speed

  • @bestillandknow2999
    @bestillandknow2999 6 місяців тому

    Does anyone else hear "de-Frenchiate"

  • @sahandehteshami7404
    @sahandehteshami7404 4 роки тому

    Dy/du * dx/xd = dy/dx cuz du cancels out where is my PhD

  • @22y4igaochenzhang8
    @22y4igaochenzhang8 2 роки тому

    Bro you can't just cancel out the delta u with delta u

  • @stevengottlieb6023
    @stevengottlieb6023 4 роки тому +1

    Sal, this proof is NOT correct at all. You basically multiplied by (g(x+h)-g(x))/(g(x+h) -g(x)) which could be 0/0. This happens if in a neighborhood of x, g(x) is constant. So for h small enough g(x+h) - g(x)
    =0! This blows up your proof. Please remove it as it is wrong!!

  • @DarinBrownSJDCMath
    @DarinBrownSJDCMath 4 роки тому

    FAIL! This is not a proof. If you want to make little videos showing how to carry out computations, fine. Leave the proofs to the mathematicians, PLEASE.

    • @kingofdice66
      @kingofdice66 Рік тому

      I don't agree to the statement "Leave the proofs to the mathematicians".
      However, one must be careful and make sure he understands and give proper proofs.
      For example Srinivasa Ramanujan was not a professional mathematician and I'm sure that there are many examples of non professional mathematicians.

    • @DarinBrownSJDCMath
      @DarinBrownSJDCMath Рік тому

      @@kingofdice66 Ramanujan was not presenting himself as a trusted authority and expert to tens of millions of people. Sal is a very smart guy, but too often he strays outside of his knowledge. Here, he is trying to present what is essentially a proof from real analysis, which is an upper-division course taken by math majors. Maybe he took real analysis, maybe he didn't. But he should know he doesn't have the mathematical background to present rigorous, abstract mathematics.

    • @DarinBrownSJDCMath
      @DarinBrownSJDCMath Рік тому

      @@kingofdice66 And it's not really the fact he posted an incorrect proof that bothers me. What DOES bother me, is that AFTER the mistake has been pointed out by several people in the comments section, he has not corrected the mistake or deleted and replaced the video. Everyone makes mistakes -- especially anyone who has taught for any length of time. But if someone points out a mistake, do something to fix it. He has made several similar mistakes over the years, and not once has he fixed them. That's what I have a problem with.

  • @vijaynath8493
    @vijaynath8493 4 роки тому

    Your voice is scary 😱😰😰😰