Calculus with polynomials
From Exampleproblems
In mathematics, polynomials are perhaps the simplest functions with which to do calculus. Their derivatives and integrals are given by the following rules:
Hence the derivative of x100 is 100x99 and the integral of x100 is x101/101 + c.
Contents |
Proof
The power rule for differentiation is:
- For every natural number n, the derivative of f(x) = xn is f'(x) = nxn − 1.
To prove this rule, we use the definition of the derivative as a limit:
Substituting f(x) = xn gives
Now, if you get the x + h out of the brackets using the binomial formula, it would lead to
Now then, if we look carefully, we see that xn and −xn cancel eachother out, so this becomes:
We can even work out more things out of this big sum. We see that h appears in a lot of places, so let's get some out!
Right, now we just make h (the difference in x) go to zero. All terms but the first one disappear, and we get the result that we want:
Finally, to differentiate arbitrary polynomials, we use that differentiation is linear, so we have:
Remark
One can prove that the power rule is valid for any real exponent, that is
for any real number a as long as x is in the domain of the functions on the left and right hand sides. Using this formula one can differentiate linear combinations of powers of x which are not necessarily polynomials.
Formal differentiation
If one has polynomials with coefficients that are not real or complex numbers (perhaps they are integers, or numbers modulo a prime number) then one can formally define the derivative according to the rules given above. This is useful, for example, in determining whether a polynomial will have multiple roots: compute the greatest common divisor of the polynomial and its formal derivative. If this polynomial is zero, then the original polynomial cannot have any multiple roots.
References
- Larson, Ron; Hostetler, Robert P.; and Edwards, Bruce H. (2003). Calculus of a Single Variable: Early Transcendental Functions (3rd edition). Houghton Mifflin Company. ISBN 061822307X.ko:다항식의 미적분
