Prove that, if f(x) is differentiable at x =c , then f(x) is continous at x=c

[kramer733]

Homework Statement

From the definition of the derivative, prove that, if f(x) is differentiable at x=c, then f(x) is continuous at x=c.

Homework Equations

f'(c) = lim [f(x)-f(c)]/(x-c) This is the definition for a function to be differentiable at
x->c x=c.

The Attempt at a Solution

we are required to prove that
lim f(x) = f(c) (this is what it means for the function to be continuous
x->c

lim f(x) - f(c) = 0
x->c

This looks a lot like the numerator for the definition of differentiable at x=c.

From here, I'm lost.

 

[Menelaus]

Use the definition of limit to make an inequality (< ε for some ε > 0) to get yourself started and simplify. From there it is useful to change your x's into x_{n}'s

 

[kramer733]

Use the definition of limit to make an inequality (< ε for some ε > 0) to get yourself started and simplify. From there it is useful to change your x's into x_{n}'s

so right now i`m at the following:

0 < |x-c| < δ --> |f(x)-f(c)| <ε

But this thing has no numbers. I'm not used to it. I can perform the "reverse" triangle inequality on |x-c| but I'm still stuck. Could you give me 1 or 2 more step hint?

 

[vela]

so right now i`m at the following:

0 < |x-c| < δ --> |f(x)-f(c)| <ε

If you could show this was true, you'd be done. This statement says the limit of f(x) as x approaches c is f(c).

But this thing has no numbers. I'm not used to it. I can perform the "reverse" triangle inequality on |x-c| but I'm still stuck. Could you give me 1 or 2 more step hint?

You know the function is differentiable at x=c. That means, as you said earlier, that the limit
\lim_{x \to c} \frac{f(x)-f(c)}{x-c}exists. In terms of δ and ε, that means: given ε>0, there exists δ>0 such that |x-c| < δ implies
\left|\frac{f(x)-f(c)}{x-c}-f&#039;(c)\right| &lt; \varepsilonwhere f'(c) denotes the value of the limit. You need to somehow go from this statement to the statement: given ε'>0, there exists δ'>0 such that |x-c|<δ' implies |f(x)-f(c)|<ε'.

 

[vela]

I wanted to add, it's probably not necessary to use the δ-ε definition of the limit for the proof. Just use the various properties of limits that you know.

 

[kramer733]

Thank you. I'll try it now.

 

[kramer733]

I wanted to add, it's probably not necessary to use the δ-ε definition of the limit for the proof. Just use the various properties of limits that you know.

That'd probably be more likely on the exam. I don't think I'm expected to prove this with epsilon deltas anyway but even then, I'm sort of lost. I was hoping i didn't have to prove this with epsilon deltas as well. If we go back to where I'm at with the original post, what would be the next step in proving this with the limit laws?

 

[vela]

In your first post, you noted that you want to show that
\lim_{x \to c} f(x)-f(c) = 0.You also noted it looked like the numerator in the definition of the derivative. So what if you looked at something like
\lim_{x \to c} \left[\frac{f(x)-f(c)}{x-c}\cdot(x-c)\right]?

 

[kramer733]

In your first post, you noted that you want to show that
\lim_{x \to c} f(x)-f(c) = 0.You also noted it looked like the numerator in the definition of the derivative. So what if you looked at something like
\lim_{x \to c} \left[\frac{f(x)-f(c)}{x-c}\cdot(x-c)\right]?

but here's where i got confused.

if you did that, it's f'(c) = lim [f(x)-f(c)]
x->c

It still doesn't equal zero though.

 

[vela]

How did you get f'(c) = lim [f(x)-f(c)]?

 

[kramer733]

How did you get f'(c) = lim [f(x)-f(c)]?

oh wait nvm. Sorry but i meamnt to say that.

lim f(x)-f(c)=0. We need that but do we know that f'(c) = 0?
x->c

 

[Citan Uzuki]

You're trying to prove that \lim_{x \rightarrow c} f(x)-f(c) = 0, not that \lim_{x \rightarrow c} \frac{f(x)-f(c)}{x-c} = 0. So you don't need to know that f'(c) is 0, you only have to know that it exists

 

[kramer733]

oh wait nvm. Sorry but i meamnt to say that

We need that:

lim f(x)-f(c)=0.
x->c
However we have:

lim f(x)-f(c). It doesn't equal zero.
x->c

I'm just confused.

 

[kramer733]

You're trying to prove that \lim_{x \rightarrow c} f(x)-f(c) = 0, not that \lim_{x \rightarrow c} \frac{f(x)-f(c)}{x-c} = 0. So you don't need to know that f'(c) is 0, you only have to know that it exists

Oh ok. So then the proof is basically done then right?

 

[vela]

Depends. What did you say?