- #1
Portuga
- 56
- 6
Proof that [tex] \lim_{x→p} \frac {f(x)}{x - p} = 0 \Leftrightarrow \lim_{x \rightarrow p} \frac{f(x)}{\left | x - p\right |} = 0 [/tex]
Relevant equations
I think there is a useful theorem here, the conservation of signal:
Suppose that [itex] \lim_{x\rightarrow p} f(x) = L [/itex]; [itex] L > 0 [/itex]; [itex]\forall \varepsilon >0 [/itex], there is [itex]\delta > 0[/itex] so that [itex]\forall x \in D_f[/itex], [tex] 0 < \left | x - p \right | < \delta \Rightarrow f(x) > 0[/tex].
The attempt at a solution
I've figured out a solution for the direct implication, and it's very easy:
[tex] \lim_{x\rightarrow p} \frac{f(x)}{x - p} = 0 \Rightarrow \forall \varepsilon >0 \exists \delta > 0 : 0 < \left | x - p \right | < \delta \Rightarrow \left | \frac{f(x)}{x - p} \right | < \varepsilon.[/tex]
As [itex]\left | x - p \right | = \left | \left | x - p \right | \right |[/itex], the proof is over (at least, this is my opinion). The problem arise when I try to proof the reverse implication:
[tex] \lim_{x \rightarrow p} \frac{f(x)}{\left | x - p\right |} = 0 \Rightarrow \lim_{x→p} \frac {f(x)}{x - p} = 0 . [/tex]
That's because I never considered elegant to use "reverse engeneering" to prove reverse implications (I mean, use the same strategy for both). For me, this is not elegant, and we must use another strategy to prove the reverse of the theorem, but I am with no ideas for this. Anyone has a clue of an independent method to prove it?
Thanks in advance!
Relevant equations
I think there is a useful theorem here, the conservation of signal:
Suppose that [itex] \lim_{x\rightarrow p} f(x) = L [/itex]; [itex] L > 0 [/itex]; [itex]\forall \varepsilon >0 [/itex], there is [itex]\delta > 0[/itex] so that [itex]\forall x \in D_f[/itex], [tex] 0 < \left | x - p \right | < \delta \Rightarrow f(x) > 0[/tex].
The attempt at a solution
I've figured out a solution for the direct implication, and it's very easy:
[tex] \lim_{x\rightarrow p} \frac{f(x)}{x - p} = 0 \Rightarrow \forall \varepsilon >0 \exists \delta > 0 : 0 < \left | x - p \right | < \delta \Rightarrow \left | \frac{f(x)}{x - p} \right | < \varepsilon.[/tex]
As [itex]\left | x - p \right | = \left | \left | x - p \right | \right |[/itex], the proof is over (at least, this is my opinion). The problem arise when I try to proof the reverse implication:
[tex] \lim_{x \rightarrow p} \frac{f(x)}{\left | x - p\right |} = 0 \Rightarrow \lim_{x→p} \frac {f(x)}{x - p} = 0 . [/tex]
That's because I never considered elegant to use "reverse engeneering" to prove reverse implications (I mean, use the same strategy for both). For me, this is not elegant, and we must use another strategy to prove the reverse of the theorem, but I am with no ideas for this. Anyone has a clue of an independent method to prove it?
Thanks in advance!
Last edited: