Key Relationship: Differentiability at a point implies continuity at that point, but NOT vice versa.
Proof: If f'(a) exists, then lim [f(a+h)-f(a)] = lim h * [f(a+h)-f(a)]/h = 0 * f'(a) = 0. So f is continuous.
Counterexamples (Continuous but NOT Differentiable):
- f(x) = |x| at x = 0 (corner)
- f(x) = x^ at x = 0 (vertical tangent)
- f(x) = x^ at x = 0 (cusp)
- f(x) = x*sin, f(0)=0 at x = 0 (oscillating slope)
The Hierarchy: Differentiable < Continuously differentiable < Twice differentiable < ... < Smooth ()