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∞

The nth Derivative of xⁿ Is n Factorial, by Induction

What survives when x^n is differentiated exactly n times, and how does induction turn that guessed pattern into a theorem?


Loading…

←Previous Higher Derivatives: The Sine Cycle and Three NotationsNext The Power Rule for Rational Exponents →

Your summary note

    1. 1

      The pattern of repeated differentiation of xnx^nxn

      Write out Dxn=nxn−1Dx^n = nx^{n-1}Dxn=nxn−1, D2xn=n(n−1)xn−2D^2x^n = n(n-1)x^{n-2}D2xn=n(n−1)xn−2 and D3xn=n(n−1)(n−2)xn−3D^3x^n = n(n-1)(n-2)x^{n-3}D3xn=n(n−1)(n−2)xn−3, recording how the exponent and the front factor move at each step.

    2. 2

      The constant Dnxn=n!D^nx^n = n!Dnxn=n!

      Carry the count to Dn−1xn=n(n−1)⋯2⋅xD^{n-1}x^n = n(n-1)\cdots 2 \cdot xDn−1xn=n(n−1)⋯2⋅x and one step further to n!n!n!, then check the small cases D2x2=2D^2x^2 = 2D2x2=2, D3x3=6D^3x^3 = 6D3x3=6, D4x4=24D^4x^4 = 24D4x4=24.

    3. 3

      Proof by mathematical induction

      Write the base case Dx=1=1!Dx = 1 = 1!Dx=1=1!, then the step Dn+1xn+1=Dn((n+1)xn)=(n+1)Dnxn=(n+1)n!=(n+1)!D^{n+1}x^{n+1} = D^n((n+1)x^n) = (n+1)D^nx^n = (n+1)n! = (n+1)!Dn+1xn+1=Dn((n+1)xn)=(n+1)Dnxn=(n+1)n!=(n+1)!.

    4. 4

      One differentiation too many, Dn+1xn=0D^{n+1}x^n = 0Dn+1xn=0

      Record the result Dn+1xn=0D^{n+1}x^n = 0Dn+1xn=0 together with the one-line argument that settles it.

    Attempt 1 of 2