Ludium
Sign In
Single Variable Calculus
Differentiation
01The Derivative as the Slope of the Tangent Line02Secant Lines and the Limit Definition of the Derivative03Differentiating 1/x Straight From the Definition04Tangents to 1/x and the Triangle of Area 205Newton and Leibniz Notation, and the Power RuleProblem set0/10Problem set 20/10MIT problem set0/3Practice∞
01The Derivative as an Instantaneous Rate of Change02Rates of Change Without Time: Gradient and Sensitivity03Easy Limits, 0/0, and One-Sided Limits04Continuity, Jumps, and Removable Discontinuities05Infinite Discontinuities: 1/x and Its Derivative06Differentiable Implies ContinuousProblem set0/10Problem set 20/10Practice∞
01Two Kinds of Formula, and the Derivative of Sine02The Derivative of Cosine, and Two Limits at Zero03Bow and Bowstring: Proving the Two Trig Limits04Why the Trig Derivatives Hold Only in Radians05A Geometric Proof: Sine as a Height on the Circle06Finishing the Proof, and the Product and Quotient RulesProblem set0/10Problem set 20/10MIT problem set0/1Practice∞
01Proving the Product Rule: Change One Factor at a Time02The Quotient Rule, and the Power Rule for Negative Exponents03The Chain Rule: Differentiating a Function of a Function04Higher Derivatives: The Sine Cycle and Three Notations05The nth Derivative of xⁿ Is n Factorial, by InductionProblem set0/10Problem set 20/10MIT problem set0/2Practice∞
01The Power Rule for Rational Exponents02The Slope of a Circle, Two Ways03Implicit Differentiation of a Quartic Curve04Inverse Functions and the Reflection Across y = x05Derivatives of the Arctangent and ArcsineProblem set0/10Problem set 20/10MIT problem set0/1Practice∞

Differentiable Implies Continuous

How can multiplying by (x - x0)/(x - x0) prove that differentiability forces continuity without ever dividing by zero?


Loading…

←Previous Infinite Discontinuities: 1/x and Its DerivativeNext Two Kinds of Formula, and the Derivative of Sine →

Your summary note

    1. 1

      Restating continuity at x0x_0x0​

      State the theorem, then write continuity lim⁡x→x0f(x)=f(x0)\lim_{x \to x_0} f(x) = f(x_0)limx→x0​​f(x)=f(x0​) in the equivalent form lim⁡x→x0(f(x)−f(x0))=0\lim_{x \to x_0}(f(x) - f(x_0)) = 0limx→x0​​(f(x)−f(x0​))=0 that the proof checks.

    2. 2

      The one-line proof

      Reproduce lim⁡x→x0(f(x)−f(x0))=lim⁡x→x0[f(x)−f(x0)x−x0](x−x0)=f′(x0)⋅0=0\lim_{x \to x_0}(f(x) - f(x_0)) = \lim_{x \to x_0}\left[\frac{f(x) - f(x_0)}{x - x_0}\right](x - x_0) = f'(x_0) \cdot 0 = 0limx→x0​​(f(x)−f(x0​))=limx→x0​​[x−x0​f(x)−f(x0​)​](x−x0​)=f′(x0​)⋅0=0, noting the first factor's limit is where differentiability is used.

    3. 3

      Not division by zero

      Record that multiplying and dividing by x−x0x - x_0x−x0​ is legal since the limit excludes x=x0x = x_0x=x0​, so x−x0x - x_0x−x0​ is small but never zero, and note this supports the product and quotient rules.

    Attempt 1 of 2