Differentiation rules are reusable consequences of the limit definition. They make computation efficient without changing the derivative’s meaning as instantaneous rate and local linear coefficient. Every rule has a structural scope, so choosing the rule is as important as carrying it out. Domain restrictions remain attached to the original function even when a derivative formula looks broader. This lesson derives the foundational rules, explains their notation, and verifies results with units, signs, degrees, and numerical difference quotients.
Learning objectives and the role of rules
By the end of this lesson, you will derive constant, constant-multiple, sum, and positive-integer power rules from limits. You will extend the power rule carefully to negative and fractional exponents. You will differentiate polynomial, exponential, sine, and cosine functions. You will choose a rule from the expression’s outermost structure. You will also state derivative domains and interpret results with appropriate units.
A differentiation rule compresses a limit argument that has already been justified. Using a rule is not abandoning rigor when its hypotheses are satisfied. It is citing a theorem instead of repeating its proof. The derivative still measures the limit of a difference quotient. Efficient notation lets attention shift from repeated algebra to structure and interpretation.
Rules do not all distribute across all operations. Linearity handles finite sums and constant multiples. Products, quotients, and compositions require additional rules because their parts change together. The roadmap below separates these outer structures. Accurate classification prevents an appealing but invalid shortcut.
Derive the constant rule
Let , where is constant. The difference quotient is . Its numerator is zero for every nonzero . Therefore the quotient is zero. Its limit is also zero.
The constant rule is . The operator means differentiate with respect to . A constant output has no local change as varies. Its graph is horizontal. A horizontal line has slope zero.
Units reinforce the meaning. If is a fixed volume in liters and is time in seconds, the derivative is zero liters per second. The number zero still belongs to a rate quantity. Writing no units can hide the variable of differentiation. State units when the context supplies them.
Derive constant-multiple and sum rules
Let for constant . Its difference quotient is . A constant can pass through the limit when the derivative exists. Therefore . Scaling outputs by scales every output change by .
For , split the numerator into the change in plus the change in . The quotient becomes the sum of two difference quotients. Limit laws give . Subtraction follows by using constant negative one. Finite sums can therefore be differentiated term by term.
Together these statements express linearity: . The constants and do not depend on . Linearity does not say or . Multiplicative and nested structures are not linear combinations. Their derivatives require rules that account for interaction between changing factors.
Derive the positive-integer power rule
For with positive integer , begin with . The binomial theorem expands . Its first two terms are . Every later term contains at least . Subtracting removes the constant-order term.
After division by nonzero , the leading term is . Every remaining term still contains at least one factor of . As , those terms vanish. Therefore . The old exponent becomes a coefficient and the exponent decreases by one.
The derivation explains both changes in the rule. There are first-order ways for one factor in the product to contribute an increment. Removing one increment factor leaves factors of . The rule is not a symbol-moving trick. It records the first-order part of the binomial expansion.
Apply the power rule to polynomials
A polynomial is a finite sum of constant multiples of nonnegative integer powers. Linearity and the power rule therefore apply term by term. For , differentiate each term. The result is . The constant term disappears.
At , the derivative value is . This number is the tangent slope and instantaneous output rate per input unit. It is not the function value. The original value is . Function value and derivative value answer different questions.
A nonconstant polynomial of degree normally has derivative degree . This observation checks the leading behavior. Leading-term cancellation can lower the degree further only after like terms are combined. A proposed derivative with higher degree than the original polynomial is immediately suspicious. Degree is a useful diagnostic, not the derivation itself.
Extend the rule to negative exponents
Negative exponents represent reciprocals. For , . The generalized power rule gives . This extension can be proved using quotient rules or other limit arguments. The original exclusion remains.
Differentiate . The first term gives . The second gives because . The constant gives zero. Thus the derivative is for .
Sign deserves attention. The derivative of is , which is negative on both domain intervals. This agrees with the reciprocal function decreasing on each interval. A sign check catches a lost negative coefficient. Domain and qualitative behavior support the calculation.
Apply the rule to fractional exponents
Fractional powers represent roots under real-domain conventions. The function has real domain . For , the power rule gives . The derivative formula requires a positive input. It becomes unbounded as .
Continuity at zero does not guarantee finite differentiability there. The right difference quotient for at zero is . It grows without bound as . The function also lacks real inputs to the left of zero. Therefore the standard two-sided finite derivative does not exist at zero.
Other rational exponents require domain analysis. Odd roots may accept negative inputs, while even roots do not. Negative fractional exponents add denominator restrictions. State an interval where the function is real and differentiable. Do not let a formal power-rule expression silently enlarge the domain.
Differentiate exponential functions
The natural exponential function satisfies . The number is approximately . It is distinguished by having instantaneous relative growth rate one. The derivative equals the original output at every input. This self-reproduction makes central in calculus.
For a positive base , . The symbol is the natural logarithm of the base. The limit produces that factor. When , . The formula reduces to the natural exponential rule.
If , then , so decreases. If , then , so it increases. The derivative sign matches graph behavior. A base must be positive for a real-valued exponential across all real inputs. Nested exponents such as require the chain rule developed later.
Establish sine and cosine derivatives
Trigonometric derivative rules use radian measure. The foundational limits are and . Angle-addition identities then transform the difference quotients. The results are and . The negative sign reflects cosine’s local direction.
Radians are essential because they relate arc length directly to radius. In degree measure, conversion factors appear. A formula copied from radian calculus into a degree-input model is incomplete. State the angle unit when differentiation has a physical or computational context. Standard calculus notation assumes radians unless stated otherwise.
Graph checks support the signs. Sine increases most rapidly at zero, and . Cosine has horizontal slope at zero, and . Near , cosine is decreasing and . These values align with the derivative formulas.
Choose rules from outermost structure
Before differentiating, identify the expression’s outermost operation. A finite sum calls for linearity. A single power of calls for the power rule. A product of varying functions calls for the product rule. A nested function calls for the chain rule.
The expression is a fifth power, but its base is not simply . The inner quantity also changes with . Writing omits that inner rate. The chain rule supplies the missing factor. Do not apply the basic power rule as though a composite base were the independent variable.
Rewriting can reveal simpler structure. A square root may be written as a fractional power. A reciprocal may be written with a negative exponent. A polynomial should be expanded or combined before termwise differentiation when that reduces complexity. Preserve domain restrictions during every rewrite.
Preserve derivative domains
The derivative exists only where the original function is defined and differentiable. A simplified derivative formula cannot restore an excluded input. For , the original real domain is . Both the root and reciprocal restrictions combine. The derivative must be reported on that domain.
Rewrite . Differentiating gives . In horizontal-fraction notation, this is . Both terms are defined for . That is the derivative’s inherited domain.
An absolute-value function illustrates another limitation. A formula may be defined and continuous at a corner but not differentiable there. A piecewise derivative must exclude the corner unless one-sided slopes agree. Rule application within pieces does not settle their boundary. Check transition points separately with one-sided derivatives.
Interpret derivatives with units
If is measured in liters and in seconds, then has liters-per-second units. A negative derivative means the quantity is locally decreasing. It does not mean the quantity itself is negative. Function value and rate have different units and meanings. Always interpret both separately.
Suppose is position in meters. Then is velocity in meters per second. Differentiating again gives acceleration in meters per second squared. Each derivative divides by another time unit. Dimensional analysis tracks this hierarchy.
In economics, if is cost in dollars and is units produced, then has dollars-per-unit units. It approximates the additional cost of a small production increase near . A derivative at a discrete count is a continuous-model approximation. State that assumption. Context determines how the local rate should be used.
Verify derivatives efficiently
Use a small centered difference to approximate a derivative numerically. Compare it with the symbolic formula at a permitted input. Several moderate values of are more informative than one extremely small value. Roundoff and measurement noise can dominate when is too small. Numerical agreement supports but does not prove the rule application.
Check qualitative behavior. If a graph increases on an interval, a proposed derivative that is negative everywhere there is inconsistent. A local maximum often has derivative zero when differentiability holds. Exponential derivative signs should match their bases. Polynomial degree should usually decrease by one.
Check units and domains. The derivative’s units must be output units per input unit. Every evaluation input must belong to the original derivative domain. A formula that divides by zero is invalid there. Independent checks catch errors that repeated symbolic inspection may miss.
Diagnose common mistakes
The power rule multiplies by the old exponent before subtracting one from it. Doing only one of those operations is incomplete. The rule does not distribute through a sum inside a power. Linearity applies to sums of functions, not products of their derivatives. Structure must be read first.
Do not use degree-mode trigonometric formulas without a conversion factor. Do not drop a negative sign from the cosine derivative. Do not claim a derivative formula proves differentiability at every displayed input. Do not ignore root and denominator restrictions. Each rule carries hypotheses.
Do not omit contextual units. Do not confuse with . Do not substitute values before differentiating a time-dependent relationship in later related-rate work. A clear workflow names the rule, applies it, simplifies, records domain, and interprets. Verification completes the solution.
Guided practice and connection forward
Differentiate . Linearity gives three times the derivative of minus four times the derivative of cosine. The result is . The plus sign arises because the cosine derivative already contains a negative sign. The real domain is all real numbers.
Find the slope of at four. For positive , . Evaluating gives . The derivative is finite because four is inside the positive domain. If had length units, the resulting unit interpretation would require the function’s own units.
For independent synthesis, differentiate and state its domain. Then differentiate , explaining the factor and the radian assumption. Finally, diagnose why is incomplete as the derivative of . Product, quotient, and chain rules will extend these foundations to simultaneous and nested change. Preserve your written reasoning so that those later rules can be compared with the linear rules learned here.