The Question:
Suppose $f: \mathbb{R} \to \mathbb{R}$ and
$$ f(x) = \begin{cases} -x^3, & \text{if $x \le 0$;} \\ x^2, & \text{if $0 < x \le 1$;} \\ \sqrt{x}, & \text{if $1 < x$.} \end{cases} $$
Does $f$ have a derivative at $x = 1$?
Where I Am:
Well, clearly, $f$ is continuous at $1$, so that satisfies that necessary condition. Furthermore, the LHS limit and RHS limit as $x$ approaches $1$ are both $1$, so that's fairly strong evidence that $f'(1)$ exists and is equal to $1$. Yet, I'm still not convinced, since there's a "sharp point" (edit: it's not "smooth" -- it took me a minute to remember the terminology) at $f(1)$ on its plot (similiar to the absolute value function at at $0$). Is there some sufficient condition for differentiability that I'm overlooking? (It's been a while since calculus.)
$$\lim_{x \to 1^-}\frac{f(x)-f(1)}{x-1}=\lim_{x \to 1^-}\frac{x^2-1}{x-1}=2$$
$$\lim_{x \to 1^+}\frac{f(x)-f(1)}{x-1}=\lim_{x \to 1^+}\frac{\sqrt{x}-1}{x-1}=\frac{1}{2}$$
So from these you can conclude that $f$ is not differentiable at $x=1$