Critique my proof that f '(0) = 3.

[Jamin2112]

Homework Statement

Let f be a continuos real function on R¹, of which is its known that f '(x) exists for all x ≠ 0 and that f '(x) → 3 as x → 0. Does it follow that f '(0) exist?

Homework Equations

Mean Value Theorem
definition of f '(x)

The Attempt at a Solution

Fix ε > 0. Since lim_{x → 0} f '(x) = 3, there exists a ∂ > 0 such that |f '(t) - 3| < ε whenever 0 < |t - 0| = |t| < ∂. So choose t with 0 < |t| < ∂. Suppose without loss of generality that t > 0. Then f is continuous on [0, t] and differentiable on (0, t); hence by the Mean Value Theorem there exists an x in (0, t) for which f '(x) = [f(t) - f(0)] / [t -0]. Since 0 < |x| < ∂, we have

|f '(x) - 3| = |[f(t) - f(0)] / [t -0] - 3| < ε.​

Thus 0 < |t| = |t - 0| < ∂ implies |[f(t) - f(0)] / [t -0] - 3| < ε, which means f '(0) = 3.






Now rip that apart. Pretend that you're my nitpicky TA grading my paper and in the process trying to degrade me (pun intended).

 

[micromass]

Homework Statement

Let f be a continuos real function on R¹, of which is its known that f '(x) exists for all x ≠ 0 and that f '(x) → 3 as x → 0. Does it follow that f '(0) exist?

Homework Equations

Mean Value Theorem
definition of f '(x)

The Attempt at a Solution

Fix ε > 0. Since lim_{x → 0} f '(x) = 3, there exists a ∂ > 0 such that |f '(t) - 3| < ε whenever |t| < ∂.

That should be "whenever 0<|t|< ∂

So choose t, 0 < |t| < ∂. Suppose without loss of generality that t > 0. Then f is continuous on (0, t) and differentiable on [0, t];

It's the other way around, it has to be continuous on [0,t] and differentiable on (0,t)

hence there exists an x in (0, t) for which f '(x) = [f(t) - f(0)] / [t -0].

You should mention the mean-value theorem here.

Since |x| < ∂, we have

|f '(x) - 3| = |[f(t) - f(0)] / [t -0] - 3| < ε.​

Thus 0 < |t| = |t - 0| < ∂ implies |[f(t) - f(0)] / [t -0] - 3| < ε, which means f '(0) = 3.

Before "which mean..." I'dd add that it actually means that

\lim_{t\rightarrow 0}{\frac{f(t)-f(0)}{t-0}}=3


Overall, the proof seems to be nice.

 

[Jamin2112]

That should be "whenever 0<|t|< ∂



It's the other way around, it has to be continuous on [0,t] and differentiable on (0,t)



You should mention the mean-value theorem here.



Before "which mean..." I'dd add that it actually means that

\lim_{t\rightarrow 0}{\frac{f(t)-f(0)}{t-0}}=3


Overall, the proof seems to be nice.

Thanks, brah. When I write my final draft, I'll fancy it up by adding archaic words such as "whence" and "thereupon." This particular homework assignment will be golden.