- #1
Orion1
- 973
- 3
Is this identity true?
Identity:
[tex]\frac{d}{dx} x^n = \lim_{h \rightarrow 0} \frac{(x + h)^n - x^n}{h} = nx^{n-1}[/tex]
Last edited:
Orion1 said:
Is this identity true?
Identity:
[tex]\frac{d}{dx} x^n = \lim_{h \rightarrow 0} \frac{(x + h)^n - x^n}{h} = nx^{n-1}[/tex]
benorin said:Sure it's true, for non-negative integer n. Even for all [itex]n\neq -1[/itex].
Yes, it is.Orion1 said:
Is it possible to solve the limit part of this equation in a classical way to produce the solution?
[tex]\frac{d}{dx} (\ln x) = \lim_{h \rightarrow 0} \frac{\ln(x + h) - \ln x}{h}[/tex]
benorin said:Sure it's true, for non-negative integer n. Even for all [itex]n\neq -1[/itex].
mathwonk said:how do you prove that limit without knowing any derivative formulas for ln or exp?
agreed for integer nSince we have:
If [tex]\lim_{x \rightarrow \alpha} f(x) = L[/tex] then [tex]\lim_{x \rightarrow \alpha} f(x) ^ n = L ^ n[/tex] (n is some constant).
no, you can't say that. how did you go from integer n to k in R?We then can show that:
[tex]e ^ x = \lim_{k \rightarrow \infty} \left( 1 + \frac{x}{k} \right) ^ k, \ k \in \mathbb{R}[/tex]
From here, my book assumes that ex is continuous, and is increasing (since e > 1). (?)
They state that based on the fact that if a > 1 Then ax is increasing. However, they don't prove that fact. They say that it's generally accepted! (?)
I think I need to consult my maths teacher about this.
-------------------------
So I think about some other way:
We can prove that:
(xa)' = axa - 1, for all a in the reals.
It would be nice if you can show me your book's definition of e. And how can they prove some log and exp's properties...
And may I know the name of the book?
matt grime said:Oh, and log(x) is (equivalent to being defined as) the integral from 1 to x of 1/t dt. You can prove everything you want to about logs from that definition, by the way, ie that log(xy)=log(x)+log(y) and that log(x^r)=rlog(x), in particular that log(1/x)=-log(x)
Orion1 said:[tex]f'(1) = \lim_{x \rightarrow 0} \ln(1 + x)^{\frac{1}{x}} = 1[/tex]
[tex]f'(1) = 1[/tex]
VietDao29 said:So I would like to ask you guys what books in English that teach us Calculus
benorin said:Orion1, I like what you have: very good. But I cannot figure how you got this:
[tex]f'(1) = \lim_{x \rightarrow 0} \ln [(1 + x)^{\frac{1}{x}}] = 1[/tex]
[tex]f'(1) = 1[/tex]
matt grime said:exp(x) is the uique solution to f'=f f(0)=1, it exists and is well defined, it has powerseries we know and love.
In anycase, e=1+1+1/2!+1/3!+...
mathwonk said:benorin, your post #20 is wrong as stated, do you see why? hint consider the word "unique".
mathwonk said:Rudin of course cares nothing for motivation, and only for rigor and elegance, and although i respect his expertise, i do not enjoy his book for learning.
mathwonk said:here is a nice application of that approach, which was something like problem 2 or 3 on one of our first homework assignments freshman year:
prove e defined as 1 + 1 + 1/2 + 1/3! + ... is irrational as follows:
assume e = n/m for some integers n,m>0 and get a contradiction as follows:
if it wereb true then em! would be an integer, but prove that for all m>0
em! is nevber and integer by direwct estimation.
i.e. multiply m! by the series for e, and look at the terms which are obviously integers, and estimate sum of the rest of the terms by comparing with a geometric series.
you wills ee that m!e equals an integer plus a term which is between 0 and 1, hence not an integer.