◀ Back to Note

Tony's Intertwingled Memex • Reference Manual

Definition of the Derivative

Formulas & Definitions
Core Definition

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

f′(x)=lim⁡h→0f(x+h)−f(x)hf'(x) = \lim_{h \to 0} \frac{f(x + h) - f(x)}{h}f′(x)=h→0lim​hf(x+h)−f(x)​
provided this limit exists. At a specific fixed coordinate x=ax = 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}f′(a)=x→alim​x−af(x)−f(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)y=f(x): a fixed point P(x,f(x))P(x, f(x))P(x,f(x)) and a neighboring point Q(x+h,f(x+h))Q(x + h, f(x + h))Q(x+h,f(x+h)).

  • The straight line connecting PPP and QQQ 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][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}msec​=ΔxΔy​=(x+h)−xf(x+h)−f(x)​=hf(x+h)−f(x)​
  • As h→0h \to 0h→0, the secondary point QQQ slides along the curve toward PPP. In the limit as hhh vanishes, the sequence of secant lines converges to the tangent line at PPP.
  • The slope of this tangent line is the instantaneous rate of change, designated as f′(x)f'(x)f′(x) or dfdx\frac{df}{dx}dxdf​.

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

Direct substitution of h=0h = 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}0f(x+0)−f(x)​=00​
To evaluate f′(x)f'(x)f′(x) analytically from first principles, we must manipulate the difference quotient algebraically until the factor of hhh in the denominator cancels:

  1. Polynomials: Expand (x+h)n(x + h)^n(x+h)n using the Binomial Theorem, cancel f(x)f(x)f(x), factor out hhh from the remaining terms, cancel hhh with the denominator, and evaluate h→0h \to 0h→0.
  2. Rational Functions: Find a common algebraic denominator for the compound fraction in the numerator, combine terms, cancel opposite terms to isolate an hhh factor, divide out hhh, and evaluate h→0h \to 0h→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 hhh factor that cancels the denominator.

3. Differentiability and Non-Smooth Points

A function f(x)f(x)f(x) is differentiable at x=ax = ax=a if f′(a)f'(a)f′(a) exists. While differentiability guarantees continuity (Differentiable  ⟹  Continuous\text{Differentiable} \implies \text{Continuous}Differentiable⟹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|f(x)=∣x∣ at x=0x = 0x=0, where f−′(0)=−1f'_-(0) = -1f−′​(0)=−1 and f+′(0)=+1f'_+(0) = +1f+′​(0)=+1).
  • Cusp: The secant slopes approach opposite infinities as x→ax \to ax→a (e.g., f(x)=x2/3f(x) = x^{2/3}f(x)=x2/3 at x=0x = 0x=0).
  • Vertical Tangent Line: The secant slopes approach ±∞\pm\infty±∞ from both sides (e.g., f(x)=x1/3f(x) = x^{1/3}f(x)=x1/3 at x=0x = 0x=0).
  • Discontinuity: Any jump, removable, or infinite discontinuity automatically prevents differentiability.

Engineering Applications

  • Civil & Structural Engineering: Beam deflection curves y(x)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}y′(x)=limΔx→0​ΔxΔy​ 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)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}v(t)=s′(t)=limΔt→0​ΔtΔs​ and acceleration a(t)=v′(t)a(t) = v'(t)a(t)=v′(t), critical for flight navigation computers and guidance algorithms.
  • Electrical Engineering: Capacitor charge q(t)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}i(t)=dtdq​=limΔt→0​Δtq(t+Δt)−q(t)​.

Example Problems

Example 1: Rational Difference Quotient

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

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}f′(x)=h→0lim​hf(x+h)−f(x)​
    (This formula is defined in Definition of the Derivative.)
  2. Substitute f(x+h)f(x + h)f(x+h) and f(x)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}f′(x)=h→0lim​h2(x+h)+11​−2x+11​​=h→0lim​h2x+2h+11​−2x+11​​
  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)}2x+2h+11​−2x+11​=(2x+2h+1)(2x+1)(2x+1)−(2x+2h+1)​=(2x+2h+1)(2x+1)−2h​
  4. Divide by hhh 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)}f′(x)=h→0lim​h(2x+2h+1)(2x+1)−2h​=h→0lim​(2x+2h+1)(2x+1)−2​
  5. Evaluate the limit as h→0h \to 0h→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}f′(x)=(2x+0+1)(2x+1)−2​=−(2x+1)22​

Example 2: Radical Difference Quotient at a Point

Use the limit definition of the derivative to evaluate f′(4)f'(4)f′(4) for f(x)=x+5f(x) = \sqrt{x + 5}f(x)=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}f′(a)=h→0lim​hf(a+h)−f(a)​
    (This formula is defined in Definition of the Derivative.)
  2. Substitute a=4a = 4a=4, f(4)=9=3f(4) = \sqrt{9} = 3f(4)=9​=3, and f(4+h)=4+h+5=9+hf(4 + h) = \sqrt{4 + h + 5} = \sqrt{9 + h}f(4+h)=4+h+5​=9+h​:
    f′(4)=lim⁡h→09+h−3hf'(4) = \lim_{h \to 0} \frac{\sqrt{9 + h} - 3}{h}f′(4)=h→0lim​h9+h​−3​
  3. Multiply numerator and denominator by the conjugate (9+h+3)(\sqrt{9 + h} + 3)(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)}f′(4)=h→0lim​h(9+h​+3)(9+h​−3)(9+h​+3)​=h→0lim​h(9+h​+3)(9+h)−9​=h→0lim​h(9+h​+3)h​
  4. Cancel hhh and evaluate the limit as h→0h \to 0h→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}f′(4)=h→0lim​9+h​+31​=9+0​+31​=3+31​=61​

Connections & References

  • Parent Concepts: Limits, Continuity
  • Operational Rules: Power Rule, Product Rule, Quotient Rule, Chain Rule
  • Course Sessions: Calc-1 Session 06, Calc-1 Session 10