Thank you very much. This is the best proof I've seen so far. The other ones here on TH-cam usually involve some kind of unsatisfactory implicit differentiation. Not this one!
Me during the first part of the video: Isn't he just going in circles?.. Me during second part of the video: We are just going in circles.... Me during final part of the video: WE ARE SUPPOSED TO GO IN A CIRCLE!!! I don't know who made this proof but, hot diggity it is jaw dropping
it's kind of a redundant proof actually. you can simply set m=1/deltax (delta x->0, m->inf), then sub in and get e^x * lim m-> inf of m(e^(1/m)-1), where in the limit, e^(1/m) becomes 1, then the term in brackets becomes (1-1) and collapses the limit leaving you with e^x
U can do that but you would need to take the derivative of m and ln(1+m). The proof is using first principles, which means all the information u have is the limit definition and algebra.
on the other side , any function say a^x , the derivative would become a^x times limit as h approaches 0 of a^h - 1/h , which gives some random irrational number (which ln a) , so we would ask , so is there any number ,so that we take derivative the limit becomes 0, yes that is e , so most likely it is one of e definition you can say from another persepective
At 3:56 , I do not understand why the e to the power of x is "independent" of the limit and can go to the front of the whole limit/right hand side. Many videos say the same thing but never explain that. Is there a video that explains that? Thank you!
Observe that we are taking the limit of the expression (inside the limit) as h→0, meaning we only need to evaluate those terms or expressions containing the variable h. Since fhe factor e^x does not contain any variable h (hence, we call it independent), then it can be treated as a constant multiple of the expression, which can be put outside the limit expression per limit rule on constant multiples.
Thank you, I found this really clear. Including approaches that didn’t work was very helpful too (I’ve watched other ‘proofs’ that evaluated 0/0 as 1 with no justification).
Right at the start you have circular reasoning. You see, d/dx e^x = e^x IS a definition of e. Such that e is the only value of n that satisfies d/dx n^x = n^x. All definitions are equivalent, so what you are doing by taking the definition of e at the start is effectively saying: to prove d/dx e^x = e^x, we first start by asserting d/dx e^x = e^x. You see the problem? Using the limit definition of e is exactly the same as using the derivative definition of e. But more than that, YOU CANNOT PROVE A DEFINITION, if you could you wouldn't need it to be a definition in the first place. No matter what you do, you simply cannot prove it without some kind of circular reasoning. Maybe we will develop the maths tools someday that allow us to prove the value of e, but until then, we can only define it.
If the chain rule and the derivative of the log-function is known ,then there is a very fast and simple proof: set y(x) = e^x and use that d/dx(ln y(x)) =1/y(x) *y'(x) ,but by definition ln(e^x) = x ,hence we have 1/y(x) * y'(x) = 1,that is (e^x) ' = e^x.
Thanks for the video. I think it was well presented. But I wouldn't say it is based on first principles, because you have already made an assumption about e. Is it not possible to only assume there is a function such that f''(x) = f(x) and then derive its characteristics? The function would be k^x. One would then have to determine a value for k. Or is this not possible? I suppose as with most theorems or derivations, the problem is deciding where the buck stops.
Thank you for your comment. Very good! That’s what mathematics is all about. What I meant from first principles is I’ve formulated the result based on the definition of the what a derivative is. And I have not assumed e as such, because that’s what is is defined as as well. What you’re proposing I’m sure there’s a way but it will not be within the scope of my math channel. My goal with my channel over the next few years is to steer it toward solving mathematical problems in engineering and physics (i.e. applied mathematics). Calculus is very important to these fields which is why I’m covering it extensively.
You are the man. You are him. You know where the dog is, you know victoria's secret. You can see john cena. My pronouns are he not him. Cuase I can never be you.
the video is well explain but I only have one question. can you show us where and why e is defined as given in the video because we just adopted it and not shown it also how e is defined by the supposed given limit
How about we say that e^x=1+x/1!+x^2/2!+x^3/3!+x^4/4!... Since e^x is optimal growth. And if we derive this we find 0+1+x/1!+x^2/2!+x^3/3!... And so on. Hence e^x is equal to its derivative.
I used to think so but then I realised that any multiple of e^x is also it's own derivative (a*e^x)'=a*e^x. If we set a=0 → (0)'=0. So the derivative of f(x)=0 is just a special case of f(x)=f'(x)=a*e^x
There is a kind of circular argument here. You’ve assumed without proof what e^irrational means. Usually a^x, where x is irrational , is defined via e^x, and then you have to prove that e^(a+b) =e^a*e^b, for all Real a,b, which you haven’t. But I like the substitution with the log - that is cool, and avoiding Taylor Series.
You can define irrational exponents with limits of their ratio al approximations. Using e^x or ln(x) is just a convenience. See the Math StackExchange question: "Can you raise a number to an irrational exponent?" for more information.
Sir We can use the definition of e^h (in terms of factorials of natural numbers and different powers of h .) to find the value of ( e^h --1)/h. when h tends to zero . Clearly it is 1 . Hence d/dx. e^x =e^x . proved .
Thank you very much. This is the best proof I've seen so far. The other ones here on TH-cam usually involve some kind of unsatisfactory implicit differentiation. Not this one!
Me during the first part of the video: Isn't he just going in circles?.. Me during second part of the video: We are just going in circles.... Me during final part of the video: WE ARE SUPPOSED TO GO IN A CIRCLE!!! I don't know who made this proof but, hot diggity it is jaw dropping
it's kind of a redundant proof actually. you can simply set m=1/deltax (delta x->0, m->inf), then sub in and get e^x * lim m-> inf of m(e^(1/m)-1), where in the limit, e^(1/m) becomes 1, then the term in brackets becomes (1-1) and collapses the limit leaving you with e^x
6:50 can I apply L Hospital rules because it is now 0/0 form.
U can do that but you would need to take the derivative of m and ln(1+m). The proof is using first principles, which means all the information u have is the limit definition and algebra.
on the other side , any function say a^x , the derivative would become a^x times limit as h approaches 0 of a^h - 1/h , which gives some random irrational number (which ln a) , so we would ask , so is there any number ,so that we take derivative the limit becomes 0, yes that is e , so most likely it is one of e definition you can say from another persepective
How did you bring the limit inside the natural log? What rule is that?
The limit doesn’t affect anything outside the log so it doesn’t matter. It’s functionally the same
Natural log is monotonic. I believe that allows us to 'jump' the limit on the inside. Vaguely remember this from somewhere.
At 3:56 , I do not understand why the e to the power of x is "independent" of the limit and can go to the front of the whole limit/right hand side. Many videos say the same thing but never explain that. Is there a video that explains that? Thank you!
Observe that we are taking the limit of the expression (inside the limit) as h→0, meaning we only need to evaluate those terms or expressions containing the variable h. Since fhe factor e^x does not contain any variable h (hence, we call it independent), then it can be treated as a constant multiple of the expression, which can be put outside the limit expression per limit rule on constant multiples.
Best proof of this derivative, others imply knowing what Taylor series is but that's ridiculous if we're working with the definition of derivatives
Thank you, I found this really clear. Including approaches that didn’t work was very helpful too (I’ve watched other ‘proofs’ that evaluated 0/0 as 1 with no justification).
Right at the start you have circular reasoning. You see, d/dx e^x = e^x IS a definition of e. Such that e is the only value of n that satisfies d/dx n^x = n^x. All definitions are equivalent, so what you are doing by taking the definition of e at the start is effectively saying: to prove d/dx e^x = e^x, we first start by asserting d/dx e^x = e^x. You see the problem? Using the limit definition of e is exactly the same as using the derivative definition of e. But more than that, YOU CANNOT PROVE A DEFINITION, if you could you wouldn't need it to be a definition in the first place. No matter what you do, you simply cannot prove it without some kind of circular reasoning. Maybe we will develop the maths tools someday that allow us to prove the value of e, but until then, we can only define it.
This was amazing, thank you!
Hi, what program do you use to make these videos?
If the chain rule and the derivative of the log-function is known ,then there is a very fast and simple proof: set y(x) = e^x and
use that d/dx(ln y(x)) =1/y(x) *y'(x) ,but by definition ln(e^x) = x ,hence we have 1/y(x) * y'(x) = 1,that is (e^x) ' = e^x.
But what if that derivative is not known??
Why are you allowed to move the limit inside the argument of the ln function?
cause the ln function is being treated as a coefficient I think.
The function is continuous so if x_n converges then
Lim f(x_n) = f(lim x_n) :)
(Where f is any continuous function e.g. ln)
Best proof found on internet
Thank you very much!
this one was satisfactory
I rather predefine e than predefine a magical exp
amazing! thanks a ton, subscribed! wil be finishing all of your videos.
Thanks for the video. I think it was well presented. But I wouldn't say it is based on first principles, because you have already made an assumption about e. Is it not possible to only assume there is a function such that f''(x) = f(x) and then derive its characteristics? The function would be k^x. One would then have to determine a value for k. Or is this not possible? I suppose as with most theorems or derivations, the problem is deciding where the buck stops.
Thank you for your comment. Very good! That’s what mathematics is all about.
What I meant from first principles is I’ve formulated the result based on the definition of the what a derivative is. And I have not assumed e as such, because that’s what is is defined as as well.
What you’re proposing I’m sure there’s a way but it will not be within the scope of my math channel.
My goal with my channel over the next few years is to steer it toward solving mathematical problems in engineering and physics (i.e. applied mathematics). Calculus is very important to these fields which is why I’m covering it extensively.
@@MasterWuMathematics Hiya! How did you define e in terms of m? I understand how you manipulated it, just not how you found it. Thanks!
What a beautiful video and presentation
You are the man. You are him. You know where the dog is, you know victoria's secret. You can see john cena. My pronouns are he not him. Cuase I can never be you.
I'm nothing special, honestly. But thank you!
We can use lhopitalle rule
Nice proof sir
the video is well explain but I only have one question. can you show us where and why e is defined as given in the video because we just adopted it and not shown it also how e is defined by the supposed given limit
I'm pretty sure that's just the original definition of e, idk why tho
How about we say that e^x=1+x/1!+x^2/2!+x^3/3!+x^4/4!... Since e^x is optimal growth.
And if we derive this we find
0+1+x/1!+x^2/2!+x^3/3!... And so on. Hence e^x is equal to its derivative.
best explanation ever, tyvvvvm
Great content sir
Thank you :)
really good proof
it is not the only
f(x) = 0 = f'(x) also, for instance
All f(x) = ce^x has that property where c is a real number. When c = 0, we get your example.
y'=y, y'/y=1 (y≠0), ln|y|=x+c
|y|=e^(x+c)=e^x•e^c=Ce^x (C=e^c)
y1=Ce^x , y2=-Ce^x , check y=0 0'=0 , y=Ce^x , C is a real number
You need to add the ‘initial condition’ y(0) = 1
THANK YOU!
You’re welcome!
the exponential function is defined as that unique function that is its own derivative. proof is not necessary.
Not the only function. Also y=0
I used to think so but then I realised that any multiple of e^x is also it's own derivative (a*e^x)'=a*e^x. If we set a=0 → (0)'=0.
So the derivative of f(x)=0 is just a special case of f(x)=f'(x)=a*e^x
@@fsponjright!
exellent !
Thank you!
Beautiful ❤️
Thank you!
Very nice.
There is a kind of circular argument here. You’ve assumed without proof what e^irrational means. Usually a^x, where x is irrational , is defined via e^x, and then you have to prove that e^(a+b) =e^a*e^b, for all Real a,b, which you haven’t.
But I like the substitution with the log - that is cool, and avoiding Taylor Series.
You can define irrational exponents with limits of their ratio al approximations. Using e^x or ln(x) is just a convenience.
See the Math StackExchange question: "Can you raise a number to an irrational exponent?" for more information.
Coulda skipped a bunch of steps but still excellent proof ;)
Very nice
Sir We can use the definition of e^h (in terms of factorials of natural numbers and different powers of h .) to find the value of ( e^h --1)/h. when h tends to zero . Clearly it is 1 . Hence d/dx. e^x =e^x . proved .
As he said when h tends zero than the value will be undefined 0/0
❤