Start from the geometric series
is a geometric series with first term 1 and common ratio x. When |x| < 1 its sum is , so for −1 < x < 1. At x = 0.5 the running totals are 1, 1.5, 1.75, 1.875, 1.9375, closing in on .
Outside that range the two sides part company. At x = 2 the left side is , but the series 1 + 2 + 4 + 8 + … diverges. An equation between a function and its series holds only where the series converges.
This is the Maclaurin series of , found without differentiating anything. Differentiating does give the same answer: the derivatives of at 0 are 1, 1, 2, 6, 24, …, which are 0!, 1!, 2!, 3!, 4!, so every coefficient is n! divided by n!, which is 1.
The gold curve is , and the plain one is the series stopped at the term. Near 0 the two run together: at x = 0.5 the polynomial gives 1.9961 against 2. Closer to x = 1 more terms are needed, and outside −1 < x < 1 no number of terms will do: at x = −1.2 the polynomial gives 2.7999 against 0.4545.
Substitute
Anything can be put in place of x, as long as it stays between −1 and 1. Replace x by −x: . The odd powers of −x are negative, so the signs now alternate. This holds when |−x| < 1, which is again −1 < x < 1.
Replace x by instead, and , also for −1 < x < 1. Replacing x by gives . Each one is a new series with no derivatives worked out.
Integrate
The derivative of ln(1 + x) is , so ln(1 + x) can be found by integrating the series for , one term at a time. 1 integrates to x, −x to , to , and to . So .
To find the constant, put x = 0. The left side is ln 1 = 0 and every term on the right is 0, so c = 0, and . The coefficients are , not .
Check at x = 0.2. The running totals are 0.2, 0.18, 0.182667, 0.182267 and 0.182331, and ln 1.2 = 0.182322.
The series holds for . Inside, it converges as the series for does. At x = 1 it is , which converges by the alternating series test, and its sum is ln 2. At x = −1 it is , the harmonic series made negative, which diverges, and ln 0 has no value. Beyond x = 1 the terms grow: at x = 2 the running totals are 2, 0, 2.667, −1.333, and after ten terms −64.825, nowhere near ln 3 = 1.098612.
The same move turns into , because the derivative of arctan x is and arctan 0 = 0. At x = 0.5 the running totals are 0.5, 0.458333, 0.464583 and 0.463467, and arctan 0.5 = 0.463648.
The gold curve is y = ln(1 + x), and the plain one is its series stopped at the term. Over most of the stretch from −1 to 1 the two are hard to tell apart: at x = 0.5 the polynomial gives 0.4054 against ln 1.5 = 0.4055. Past x = 1 the polynomial turns away: at x = 1.5 it gives −2.4031 against ln 2.5 = 0.9163.
Differentiate
Start from and differentiate each term. x gives 1. gives , and , so it gives . In the same way gives . So the derivative is , and since the derivative of sin x is cos x, .
Check at x = 0.5: 1 − 0.125 + 0.0026042 = 0.8776042, and cos 0.5 = 0.8775826.
Differentiating again gives , which is −sin x, as it should be. Differentiating the series for term by term gives the same series back, which matches the fact that is its own derivative.
The five to know
, for every x.
, for every x, with x in radians.
, for every x, with x in radians.
, for −1 < x < 1.
, for .
The ranges come from the ratio test. For the first three, the factorial underneath drives the ratio to 0 whatever x is, so the radius is infinite. For the last two the radius is 1, and the endpoints were tested above.
New series from the five
Substitute into : replacing x by gives , for every x. At x = 0.5 these four terms give 0.7786458, and .
Substitute into sin x: replacing x by 2x gives . Each power of 2x brings its own power of 2.
Differentiate : , for −1 < x < 1. At x = 0.5 the left side is , and the series 1 + 1 + 0.75 + 0.5 + 0.3125 + … adds up to 4.
The binomial series
One more series covers every power of 1 + x: . When n is a whole number the coefficients reach 0 and the series stops, giving the binomial theorem, true for every x. For any other n it goes on forever, and it holds for −1 < x < 1.
With n = −1 the coefficients are −1, then , then , so , the series for again.
With the coefficients are , then , then , so . At x = 0.1 that gives 1 + 0.05 − 0.00125 + 0.0000625 = 1.0488125, and .
The usual mistakes
Using a series outside its range. is no use for ln 3, because x = 2 is outside and the terms grow.
Putting factorials into the logarithm series. Integrating gives divided by n + 1, so the coefficients of ln(1 + x) are 1, , , …, not .
Leaving out the constant of integration without checking it. For ln(1 + x) it is 0 because ln 1 = 0; for a function that is not 0 at x = 0 it would not be.
Confusing the sine and cosine series. Cosine starts at 1, because cos 0 = 1, and has the even powers; sine starts at x and has the odd powers.