A product of two polynomials can always be multiplied out and differentiated term by term. The product rule is for the other case, when the factors are better left as they are, and the way to trust it is to check it against the expansion.
Take f(t) = t² and g(t) = t + 1. Multiplied out, f·g = t³ + t², and the power rule gives the derivative of t³ + t² as 3t² + 2t. The tempting rule is to differentiate each factor and multiply: f′ = 2t and g′ = 1, so the product is 2t·1 = 2t. That is not 3t² + 2t, and it cannot be, since its degree is 1 and the true derivative's is 2.
Theorem · The product ruleFor polynomials f and g, (f·g)′ = f′·g + f·g′.
The numerator of the quotient of the product is f(t + h)·g(t + h) − f(t)·g(t). Add and subtract f(t)·g(t + h) and regroup: [f(t + h) − f(t)]·g(t + h) + f(t)·[g(t + h) − g(t)].
Divide by h. The quotient of the product is the quotient of f times g(t + h), plus f(t) times the quotient of g. Each quotient is a polynomial in h after the cancelling, and so is g(t + h).
Read off the part free of h: the constant term of the quotient of f is f′(t), the constant term of g(t + h) is g(t), and the constant term of the quotient of g is g′(t). The constant term of a product is the product of the constant terms, which gives f′(t)·g(t) + f(t)·g′(t).
□
Example · The rule against the expansionFor f = t² and g = t + 1: f′·g = 2t·(t + 1) = 2t² + 2t and f·g′ = t²·1 = t². Their sum is 3t² + 2t, which is the derivative of the expanded product t³ + t² found above.
The lab does this on any pair of polynomials, and its rule tile prints the correct sum beside the wrong product so the two can be compared. Its equality tile says whether the expanded product's derivative and the rule's output are the same polynomial.
A product that is not worth expanding
With f = t³ − t and g = t² + 2 the expansion is t⁵ + t³ − 2t, and its derivative is 5t⁴ + 3t² − 2. The rule reaches the same polynomial from the factors: f′·g = (3t² − 1)(t² + 2) = 3t⁴ + 5t² − 2 and f·g′ = (t³ − t)·2t = 2t⁴ − 2t², which add to 5t⁴ + 3t² − 2. For larger factors the rule is less work than the expansion, and for functions that cannot be multiplied out it is the only route.
When both factors are the same
Put g = f and the rule says (f²)′ = f′·f + f·f′ = 2·f·f′. Take f = t + 1: the square is t² + 2t + 1, whose derivative is 2t + 2, and the rule gives 2·(t + 1)·1, the same. The derivative of a square is twice the function times its own derivative, not f′ squared and not 2·f′. The lab's second preset squares t²: the true derivative of t⁴ is 4t³ and the wrong rule gives 2t·2t = 4t². At t = 0 and at t = 1 the two agree, so a check at one of those places would pass the wrong rule; the degrees, 3 against 2, say the two polynomials are different whatever any single place says. The next lesson carries the square one step further, to every power.