🌱 Tony's Memex Tony's Intertwingled Memex
Digital Garden | OER Curriculum
Home / Digital Garden / Definition of the Derivative

Definition of the Derivative

Core Definition

The Derivative of a function f(x)f(x) at an arbitrary point xx is the instantaneous rate of change of ff with respect to xx, defined formally as the limit of the difference quotient as the increment hh approaches zero:

f′(x)=lim⁡h→0f(x+h)−f(x)hf'(x) = \lim_{h \to 0} \frac{f(x + h) - f(x)}{h}
provided this limit exists. At a specific fixed coordinate x=ax = a, the derivative can equivalently be evaluated as:
f′(a)=lim⁡x→af(x)−f(a)x−af'(a) = \lim_{x \to a} \frac{f(x) - f(a)}{x - a}


Concept Explanation

1. Geometric Intuition: From Secant Slopes to Tangent Slopes

To measure how rapidly a nonlinear curve changes, consider two distinct points on the graph y=f(x)y = f(x): a fixed point P(x,f(x))P(x, f(x)) and a neighboring point Q(x+h,f(x+h))Q(x + h, f(x + h)).

  • The straight line connecting PP and QQ is called a secant line.
  • The slope of this secant line represents the average rate of change over the interval [x,x+h][x, x + h]:
    msec=ΔyΔx=f(x+h)−f(x)(x+h)−x=f(x+h)−f(x)hm_{\text{sec}} = \frac{\Delta y}{\Delta x} = \frac{f(x + h) - f(x)}{(x + h) - x} = \frac{f(x + h) - f(x)}{h}
  • As h→0h \to 0, the secondary point QQ slides along the curve toward PP. In the limit as hh vanishes, the sequence of secant lines converges to the tangent line at PP.
  • The slope of this tangent line is the instantaneous rate of change, designated as f′(x)f'(x) or dfdx\frac{df}{dx}.

2. Algebraic Resolution of the 0/00/0 Indeterminate Form

Direct substitution of h=0h = 0 into the difference quotient always yields the indeterminate form:

f(x+0)−f(x)0=00\frac{f(x + 0) - f(x)}{0} = \frac{0}{0}
To evaluate f′(x)f'(x) analytically from first principles, we must manipulate the difference quotient algebraically until the factor of hh in the denominator cancels:

  1. Polynomials: Expand (x+h)n(x + h)^n using the Binomial Theorem, cancel f(x)f(x), factor out hh from the remaining terms, cancel hh with the denominator, and evaluate h→0h \to 0.
  2. Rational Functions: Find a common algebraic denominator for the compound fraction in the numerator, combine terms, cancel opposite terms to isolate an hh factor, divide out hh, and evaluate h→0h \to 0.
  3. Radical Functions: Multiply both numerator and denominator by the algebraic conjugate (⋯+⋯)(\sqrt{\cdots} + \sqrt{\cdots}) to create a difference of squares, exposing an hh factor that cancels the denominator.

3. Differentiability and Non-Smooth Points

A function f(x)f(x) is differentiable at x=ax = a if f′(a)f'(a) exists. While differentiability guarantees continuity (Differentiable  ⟹  Continuous\text{Differentiable} \implies \text{Continuous}), the converse is not true. A continuous function fails to be differentiable wherever the two-sided difference quotient limit fails:

  • Corner / Sharp Turn: The left-hand derivative and right-hand derivative exist but are unequal (e.g., f(x)=∣x∣f(x) = |x| at x=0x = 0, where f−′(0)=−1f'_-(0) = -1 and f+′(0)=+1f'_+(0) = +1).
  • Cusp: The secant slopes approach opposite infinities as x→ax \to a (e.g., f(x)=x2/3f(x) = x^{2/3} at x=0x = 0).
  • Vertical Tangent Line: The secant slopes approach ±∞\pm\infty from both sides (e.g., f(x)=x1/3f(x) = x^{1/3} at x=0x = 0).
  • Discontinuity: Any jump, removable, or infinite discontinuity automatically prevents differentiability.

Engineering Applications

  • Civil & Structural Engineering: Beam deflection curves y(x)y(x) represent vertical displacements under load. The first derivative y′(x)=lim⁡Δx→0ΔyΔxy'(x) = \lim_{\Delta x \to 0} \frac{\Delta y}{\Delta x} represents the elastic rotation/slope of the beam cross-section, which dictates structural clearance and joint rotations.
  • Aerospace & Mechanical Engineering: Vehicle position telemetry s(t)s(t) sampled at microsecond intervals yields instantaneous velocity v(t)=s′(t)=lim⁡Δt→0ΔsΔtv(t) = s'(t) = \lim_{\Delta t \to 0} \frac{\Delta s}{\Delta t} and acceleration a(t)=v′(t)a(t) = v'(t), critical for flight navigation computers and guidance algorithms.
  • Electrical Engineering: Capacitor charge q(t)q(t) accumulates over time. Instantaneous electrical current is defined by the first derivative of charge: i(t)=dqdt=lim⁡Δt→0q(t+Δt)−q(t)Δti(t) = \frac{dq}{dt} = \lim_{\Delta t \to 0} \frac{q(t + \Delta t) - q(t)}{\Delta t}.

Example Problems

Example 1: Rational Difference Quotient

Use the limit definition of the derivative to find f′(x)f'(x) for f(x)=12x+1f(x) = \frac{1}{2x + 1}.

Solution
  1. State the Governing Formula:
    f′(x)=lim⁡h→0f(x+h)−f(x)hf'(x) = \lim_{h \to 0} \frac{f(x + h) - f(x)}{h}
    (This formula is defined in Definition of the Derivative.)
  2. Substitute f(x+h)f(x + h) and f(x)f(x):
    f′(x)=lim⁡h→012(x+h)+1−12x+1h=lim⁡h→012x+2h+1−12x+1hf'(x) = \lim_{h \to 0} \frac{\frac{1}{2(x + h) + 1} - \frac{1}{2x + 1}}{h} = \lim_{h \to 0} \frac{\frac{1}{2x + 2h + 1} - \frac{1}{2x + 1}}{h}
  3. Find a common denominator in the numerator:
    12x+2h+1−12x+1=(2x+1)−(2x+2h+1)(2x+2h+1)(2x+1)=−2h(2x+2h+1)(2x+1)\frac{1}{2x + 2h + 1} - \frac{1}{2x + 1} = \frac{(2x + 1) - (2x + 2h + 1)}{(2x + 2h + 1)(2x + 1)} = \frac{-2h}{(2x + 2h + 1)(2x + 1)}
  4. Divide by hh and cancel the zero-factor:
    f′(x)=lim⁡h→0−2hh(2x+2h+1)(2x+1)=lim⁡h→0−2(2x+2h+1)(2x+1)f'(x) = \lim_{h \to 0} \frac{-2h}{h(2x + 2h + 1)(2x + 1)} = \lim_{h \to 0} \frac{-2}{(2x + 2h + 1)(2x + 1)}
  5. Evaluate the limit as h→0h \to 0:
    f′(x)=−2(2x+0+1)(2x+1)=−2(2x+1)2f'(x) = \frac{-2}{(2x + 0 + 1)(2x + 1)} = -\frac{2}{(2x + 1)^2}

Example 2: Radical Difference Quotient at a Point

Use the limit definition of the derivative to evaluate f′(4)f'(4) for f(x)=x+5f(x) = \sqrt{x + 5}.

Solution
  1. State the Governing Formula:
    f′(a)=lim⁡h→0f(a+h)−f(a)hf'(a) = \lim_{h \to 0} \frac{f(a + h) - f(a)}{h}
    (This formula is defined in Definition of the Derivative.)
  2. Substitute a=4a = 4, f(4)=9=3f(4) = \sqrt{9} = 3, and f(4+h)=4+h+5=9+hf(4 + h) = \sqrt{4 + h + 5} = \sqrt{9 + h}:
    f′(4)=lim⁡h→09+h−3hf'(4) = \lim_{h \to 0} \frac{\sqrt{9 + h} - 3}{h}
  3. Multiply numerator and denominator by the conjugate (9+h+3)(\sqrt{9 + h} + 3):
    f′(4)=lim⁡h→0(9+h−3)(9+h+3)h(9+h+3)=lim⁡h→0(9+h)−9h(9+h+3)=lim⁡h→0hh(9+h+3)f'(4) = \lim_{h \to 0} \frac{(\sqrt{9 + h} - 3)(\sqrt{9 + h} + 3)}{h(\sqrt{9 + h} + 3)} = \lim_{h \to 0} \frac{(9 + h) - 9}{h(\sqrt{9 + h} + 3)} = \lim_{h \to 0} \frac{h}{h(\sqrt{9 + h} + 3)}
  4. Cancel hh and evaluate the limit as h→0h \to 0:
    f′(4)=lim⁡h→019+h+3=19+0+3=13+3=16f'(4) = \lim_{h \to 0} \frac{1}{\sqrt{9 + h} + 3} = \frac{1}{\sqrt{9 + 0} + 3} = \frac{1}{3 + 3} = \frac{1}{6}

Connections & References