Rule of product

Lore & Background

The rule of product is illustrated with examples: choosing one element from set {A, B, C} and one from {X, Y} yields 3 × 2 = 6 ordered pairs. The sets need not be disjoint; choosing an ordered pair from {A, B, C} twice gives 3 × 3 = 9 possibilities. Another example involves ordering pizza: choosing crust (thin or deep dish) and topping (cheese, pepperoni, or sausage) gives 2 × 3 = 6 combinations.

Reader's Guide

In set theory, the rule of product is often taken as the definition of the product of cardinal numbers: |S₁|·|S₂|⋯|Sₙ| = |S₁ × S₂ × ⋯ × Sₙ|, where × is the Cartesian product operator. These sets need not be finite, nor is it necessary to have only finitely many factors. An extension considers n different types of objects (e.g., sweets) to be associated with k objects (e.g., people); each person may receive any of the n sweets, yielding n^k ways. The rule of sum is a related basic counting principle: if there are a ways of doing something and b ways of doing another thing and one cannot do both at the same time, then there are a + b ways to choose one of the actions.

Did You Know?

• The rule of product states that if there are a ways of doing something and b ways of another, there are a·b ways of performing both actions.
• In the example with sets {A, B, C} and {X, Y}, the rule says multiply 3 by 2, getting 6.
• The rule of product is often taken as the definition of the product of cardinal numbers in set theory.
• An extension of the rule considers n types of sweets to be associated with k people, giving n^k ways.

The Formula and Its Notation

The product rule stands as one of the most essential formulas in differential calculus, providing a systematic method for computing the derivative of a product of two or more functions. In its basic two-function form, the rule declares that the derivative of u·v equals u'·v plus u·v'—that is, the derivative of the first factor times the second, plus the first factor times the derivative of the second. This statement can be rendered in Lagrange's prime notation or in Leibniz's d/dx notation, each carrying its own notational elegance. Crucially, the rule is not limited to pairs of functions. It generalizes naturally to products of three or more factors, extends to formulas for higher-order derivatives of a product, and finds application in other mathematical contexts beyond elementary single-variable calculus. This breadth of applicability is what makes the product rule such a cornerstone of the discipline.

Discovery and Attribution

The discovery of the product rule is most commonly credited to Gottfried Leibniz, who demonstrated the result using infinitesimals—a conceptual precursor to the modern differential. His argument was elegant in its simplicity: he considered d(uv) to be the difference between two successive values of the product, one being uv and the other (u+du)(v+dv). Expanding the latter expression produced u·dv + v·du + du·dv, and Leibniz then dismissed the du·dv term as negligible relative to the remaining two terms, arriving at d(uv) = v·du + u·dv. Dividing through by the differential dx yielded the familiar derivative form seen in textbooks today. Yet the historical attribution is not entirely uncontested. J. M. Child, a translator of Leibniz's papers, argued that the rule is properly due to Isaac Barrow, suggesting that the credit may have been misassigned for centuries.

Early Proofs and the Question of Rigor

The earliest demonstrations of the product rule, offered independently by both Leibniz and Newton, would not meet the standards of rigor expected by modern analysts. Leibniz reasoned with what he called infinitely smaller quantities, and he interpreted the product of two functions geometrically as the area of a rectangle, tracking how that area changes when both side lengths shift by infinitesimal amounts. Newton, working within his own conceptual framework, reasoned with flowing quantities—treating variables as continuously changing magnitudes whose rates of change could be manipulated algebraically. Neither approach would satisfy a contemporary proof-theorist, yet both captured the essential algebraic structure of the rule. The gap between these intuitive, pre-limit arguments and the epsilon-delta formalism that later mathematicians developed highlights how far the foundations of calculus had to travel before the product rule could be placed on fully rigorous logical ground.

Applications and Special Cases

A concrete illustration of the product rule appears when differentiating f(x) = x²sin(x). Applying the rule directly, one obtains f'(x) = 2x·sin(x) + x²·cos(x), since the derivative of x² is 2x and the derivative of the sine function is the cosine function. This straightforward example shows how the rule decomposes a compound expression into two simpler derivative computations. A particularly important special case is the constant multiple rule: if c is a fixed number and f(x) is a differentiable function, then the derivative of c·f(x) is simply c·f'(x). This follows directly from the product rule by observing that the derivative of a constant is zero, causing one of the two terms to vanish entirely. The product rule thus subsumes simpler differentiation rules within its framework, and its generalization to three or more factors, higher-order derivatives, and other contexts underscores its central role in the broader calculus toolkit.

Gallery