xAI: Grok 4 passed on Does AI know AP Calculus AB?: "Correctly defines continuity and differentiability"

### The Relationship Between Differentiability and Continuity in AP Calculus AB

In AP Calculus AB, differentiability and continuity are closely related concepts, but they are not equivalent. Let's break this down step by step, including the key theorem, explanations, and examples.

#### 1. **Definitions Recap**
   - **Continuity at a point \( x = c \)**: A function \( f(x) \) is continuous at \( c \) if three conditions hold:
     - \( f(c) \) is defined (the function has a value at \( c \)).
     - The limit \( \lim_{x \to c} f(x) \) exists.
     - \( \lim_{x \to c} f(x) = f(c) \) (the limit matches the function value).
     In other words, there are no breaks, jumps, or holes in the graph at \( c \).
   - **Differentiability at a point \( x = c \)**: A function \( f(x) \) is differentiable at \( c \) if the derivative \( f'(c) \) exists, meaning the limit \( \lim_{h \to 0} \frac{f(c+h) - f(c)}{h} \) exists and is finite. Geometrically, this means the function has a well-defined tangent line (no sharp corners or vertical tangents) at \( c \).

#### 2. **The Key Relationship: Differentiability Implies Continuity**
   - **Theorem**: If a function is differentiable at a point \( x = c \), then it must also be continuous at \( x = c \).
   - **Why?** Differentiability requires the difference quotient to approach a finite limit as \( h \) approaches 0, which inherently ensures that the function approaches \( f(c) \) from both sides (i.e., the limit exists and equals \( f(c) \)). In proof terms (often covered in AP Calc AB):
     \[
     \lim_{h \to 0} [f(c+h) - f(c)] = \lim_{h \to 0} \left( \frac{f(c+h) - f(c)}{h} \cdot h \right) = f'(c) \cdot 0 = 0
     \]
     This shows \( \lim_{h \to 0} f(c+h) = f(c) \), confirming continuity.
   - **Intuition**: If a function has a tangent line at a point, the graph must be "smooth" enough to connect without interruption—hence, continuous.

#### 3. **The Converse is NOT True: Continuity Does Not Imply Differentiability**
   - A function can be continuous at a point but **not** differentiable there. This happens when the graph is smooth (no breaks) but has a "sharp corner," cusp, or vertical tangent where the slope isn't well-defined.
   - **Classic Example**: The absolute value function \( f(x) = |x| \) at \( x = 0 \).
     - **Continuity**: \( \lim_{x \to 0} |x| = 0 = f(0) \), so it's continuous at 0.
     - **Differentiability**: The left-hand derivative is \( \lim_{h \to 0^-} \frac{|h| - |0|}{h} = \lim_{h \to 0^-} \frac{-h}{h} = -1 \).
       The right-hand derivative is \( \lim_{h \to 0^+} \frac{|h| - |0|}{h} = \lim_{h \to 0^+} \frac{h}{h} = 1 \).
       Since left ≠ right, \( f'(0) \) doesn't exist—it's not differentiable at 0 (sharp corner).
   - **Another Example**: \( f(x) = x^{1/3} \) (cube root) at \( x = 0 \).
     - Continuous at 0, but the derivative doesn't exist because the tangent is vertical (infinite slope).
   - **Real-World Analogy**: Continuity is like a road with no potholes or cliffs—drivable but possibly bumpy. Differentiability requires the road to be smooth enough for a consistent speed (derivative).

#### 4. **Implications for AP Calculus AB**
   - This relationship is crucial for understanding theorems like the Mean Value Theorem (which requires continuity on a closed interval and differentiability on an open interval).
   - On the AP exam, you might be asked to identify points where a function is continuous but not differentiable (e.g., analyzing piecewise functions or graphs).
   - Remember: Differentiability is a **stronger** condition than continuity. All differentiable functions are continuous, but not vice versa.

If you have a specific function or problem in mind, feel free to share for more tailored examples!