AP Calculus BC

Maclaurin Series vs Binomial Series

Every Maclaurin series is built from the derivatives of a function at zero. The binomial series is that construction already carried out for one plus x raised to a power k, so you quote its coefficient pattern instead of differentiating, and it holds for x strictly between negative 1 and 1.

Maclaurin series

Use when: You can differentiate the function at zero, or you can reach it by substituting into one of the standard series you already know.

Binomial series

Use when: The function is one plus x raised to a power that is not a nonnegative integer, such as a square root or a reciprocal of a power.

Side by side

Maclaurin seriesBinomial series
Applies toAny ff with derivatives of every order at 00Only (1+x)k(1+x)^k
Coefficient of xnx^nf(n)(0)n!\frac{f^{(n)}(0)}{n!}k(k1)(kn+1)n!\frac{k(k-1)\cdots(k-n+1)}{n!}
How you build itDifferentiate at 00, or substitute into a known seriesQuote the pattern with your kk dropped in
Where it holdsDepends on the function, from a single point to every real numberx<1\lvert x \rvert < 1, unless kk is a nonnegative integer, where the sum stops and holds everywhere
Worked caseex=n=0xnn!e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}1+x=1+x2x28+\sqrt{1+x} = 1 + \frac{x}{2} - \frac{x^2}{8} + \cdots

Nothing new is happening in the binomial series. Differentiating f(x)=(1+x)kf(x) = (1+x)^k repeatedly gives f(n)(x)=k(k1)(kn+1)(1+x)knf^{(n)}(x) = k(k-1)\cdots(k-n+1)(1+x)^{k-n}, so at x=0x = 0 the derivative is the falling product k(k1)(kn+1)k(k-1)\cdots(k-n+1). Divide by n!n!, as the Maclaurin definition demands, and the binomial coefficients fall out.

(1+x)k=1+kx+k(k1)2!x2+k(k1)(k2)3!x3+,x<1(1+x)^k = 1 + kx + \frac{k(k-1)}{2!}x^2 + \frac{k(k-1)(k-2)}{3!}x^3 + \cdots, \qquad \lvert x \rvert < 1

Setting k=1k = -1 recovers something familiar: 11+x=1x+x2x3+\frac{1}{1+x} = 1 - x + x^2 - x^3 + \cdots, which is the geometric series with ratio x-x. That is where the radius of 11 comes from, and the same radius applies for every kk that is not a nonnegative integer. Setting k=12k = \frac{1}{2} gives the square root expansion in the table, 1+x2x28+x3161 + \frac{x}{2} - \frac{x^2}{8} + \frac{x^3}{16} - \cdots.

Know the four, derive the rest

The series expected cold are those for exe^x, sinx\sin x, cosx\cos x, and 11x\frac{1}{1-x}. The binomial pattern is not on that list, so when a negative or fractional power shows up, either substitute into 11x\frac{1}{1-x} or differentiate at zero and read off the falling product.

Frequently asked questions

Is the binomial series a Maclaurin series?

Yes. It is the Maclaurin series of (1+x)k(1+x)^k, and its coefficients are exactly f(n)(0)n!\frac{f^{(n)}(0)}{n!} for that function. The name marks the one function it applies to, not a different construction.

What happens when kk is a nonnegative integer?

The falling product picks up a factor of zero once nn passes kk, so every later coefficient vanishes. The series stops, becomes the finite binomial theorem, and holds for every xx rather than only on x<1\lvert x \rvert < 1.

How do I expand 4+x\sqrt{4+x}?

Factor the constant out first: 4+x=21+x4\sqrt{4+x} = 2\sqrt{1 + \frac{x}{4}}. Then use the pattern with k=12k = \frac{1}{2} and x4\frac{x}{4} in place of xx, which puts the interval at x<4\lvert x \rvert < 4.

In the CED: Unit 10: Infinite Sequences and Series (BC)