I have since seen more concise proofs, but am curious if this works. If f is differentiable at an interior point $z_0$, then: $\forall\epsilon>0,\exists \delta_1>0$ such that


My main concern is this part; is it valid to have $\sqrt{\epsilon/2}$ rather than $\epsilon$. I've seen $c\epsilon$ used with $c>0$. I thought doing this was valid because $\epsilon$ and $c\epsilon$ have the same range for $\epsilon>0$. If this is the case $\sqrt{\epsilon/2}$ should be valid too right? I also use $\lim_{z\to z_0}(z-z_0)=0$:

$\forall\epsilon>0,\exists \delta_2>0$ such that $|z-z_0|<\delta_2\implies|z-z_0|<\sqrt{\epsilon/2}$

and $\lim_{z\to z_0}f'(z_0)(z-z_0)=0$:

$\forall\epsilon>0,\exists \delta_3>0$ such that $|z-z_0|<\delta_3\implies|z-z_0||f'(z_0)|<\epsilon/2$

Let $\delta=min\{\delta_1,\delta_2,\delta_3\}$.


$\leq |z-z_0||\frac{f(z)-f(z_0)}{z-z_0}-f'(z_0)|+|z-z_0||f'(z_0)|$




Forgot the final line:

Therefore $\forall \epsilon>0$ $\exists \delta=min\{\delta_1,\delta_2,\delta_3\}$, such that:


Therefore differentiability at z_0 implies continuity at z_0


You proof seems fine.

You might want to be careful with $\color{blue}{0<}|z-z_0|<\delta$.

The reason why you can choose $\sqrt{\frac{\epsilon}2}$ is because it is positive.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.