MATH 141 Calculus 2 • McGill University, Montreal

Revision sheet: Taylor and Maclaurin series (MATH 141)

This sheet is not a summary of section 11.10 of Stewart: you already have the course notes. It answers one question only, what makes students lose marks on Taylor and Maclaurin series in MATH 141 at McGill University, and which precise gesture avoids each loss.

Every number below is done by hand, as on the exam, and every value quoted has been checked by an independent computation. The rule that runs through the whole sheet: build from the table, read back with n!n!, and stay inside the interval.

The thread of the chapter

The coefficient of the n-th power of (x - a) is the n-th derivative at a over n factorial, read in both directions: build a series from the table instead of differentiating, read derivatives back as n factorial times the coefficient, and never use a series outside the interval on which it equals its function.

This chapter is part of MATH 141, Calculus 2 (McGill)

The essentials

One formula, read in both directions

  • • Taylor series of ff at aa: ∑n=0∞f(n)(a)n!(x−a)n\sum_{n=0}^{\infty}\frac{f^{(n)}(a)}{n!}(x-a)^n. Maclaurin series: the case a=0a = 0.
  • • Uniqueness: if f(x)=∑cn(x−a)nf(x) = \sum c_n(x-a)^n on an interval around aa, then cn=f(n)(a)n!c_n = \frac{f^{(n)}(a)}{n!}, whatever route produced the series.
  • • Forwards, from the definition: differentiate, find and prove the pattern, evaluate AT aa, divide by n!n!, keep (x−a)n(x - a)^n. Only when no table route exists.
  • • Backwards: f(n)(a)=n! cnf^{(n)}(a) = n!\,c_n. From ex3=∑x3nn!e^{x^3} = \sum\frac{x^{3n}}{n!}: f(9)(0)=9!3!=60480f^{(9)}(0) = \frac{9!}{3!} = 60480 and f(10)(0)=0f^{(10)}(0) = 0.
  • • A convergent Taylor series may still not equal ff: the table's equalities are proved theorems, and a new function is best BUILT from them.

On a copy, say which direction you use. A derivative read from a series is worth full marks only if the n!n! appears on the page.

The table, with the interval of each equality

  • • Every xx: ex=∑xnn!e^x = \sum\frac{x^n}{n!}, sin⁡x=∑(−1)nx2n+1(2n+1)!\sin x = \sum\frac{(-1)^n x^{2n+1}}{(2n+1)!}, cos⁡x=∑(−1)nx2n(2n)!\cos x = \sum\frac{(-1)^n x^{2n}}{(2n)!}.
  • • 11−x=∑xn\frac{1}{1-x} = \sum x^n on (−1,1)(-1, 1); ln⁡(1+x)=∑n≥1(−1)n−1xnn\ln(1+x) = \sum_{n\ge1}\frac{(-1)^{n-1}x^n}{n} on (−1,1](-1, 1]; arctan⁡x=∑(−1)nx2n+12n+1\arctan x = \sum\frac{(-1)^n x^{2n+1}}{2n+1} on [−1,1][-1, 1], both from the power series chapter.
  • • (1+x)k=∑(kn)xn(1+x)^k = \sum\binom{k}{n}x^n for ∣x∣<1|x| < 1, with (kn)=k(k−1)⋯(k−n+1)n!\binom{k}{n} = \frac{k(k-1)\cdots(k-n+1)}{n!}, exactly nn factors on top. The constant inside must be 11.
  • • Recognize a table series by its DENOMINATOR: n!n! is the exponential, (2n)!(2n)! or (2n+1)!(2n+1)! with alternating signs is the cosine or the sine, nn is the logarithm, 2n+12n + 1 is the arctangent.
eˣ, sin x, cos xall x1/(1 − x)(−1, 1)ln(1 + x)(−1, 1]arctan x[−1, 1](1 + x)ᵏ|x| < 1−101
Red dots mark the endpoints: filled means the equality holds there, hollow means it does not. Only exe^x, sin⁡\sin and cos⁡\cos are valid everywhere; everything else stops at ±1\pm1 before any substitution.

The rules in table form

Each row reads from left to right: the assumptions, then the result. A red cell is not an answer, it is the finding that the form settles nothing and the instruction to rewrite it. Every case is followed by a worked example.

Where does the new series live?

Every construction moves the interval in its own way. The last column is the interval on which the new series equals its function; the red line is the series that students write and that does not exist.

ConstructionExampleInterval of the result
substitute u=cxu = cx ln⁡(1+2x)\ln(1 + 2x) from ln⁡(1+u)\ln(1+u) (−12,12]\left(-\frac{1}{2}, \frac{1}{2}\right]

Example: −1<2x≤1-1 < 2x \le 1; at x=12x = \frac{1}{2} the series is ∑(−1)n−1n\sum\frac{(-1)^{n-1}}{n}, it converges; at x=−12x = -\frac{1}{2} it is −∑1n-\sum\frac{1}{n}.

substitute u=xmu = x^m arctan⁡(x3)\arctan(x^3) [−1,1][-1, 1]

Example: ∣x3∣≤1  ⟺  ∣x∣≤1|x^3| \le 1 \iff |x| \le 1; the powers become x6n+3x^{6n+3}, exponents multiply.

multiply by xkx^k x2e−xx^2e^{-x} unchanged: every xx

Example: x2e−x=∑(−1)mxm+2m!x^2e^{-x} = \sum\frac{(-1)^m x^{m+2}}{m!}, so f(21)(0)=−21!19!=−420f^{(21)}(0) = -\frac{21!}{19!} = -420.

factor to reach (1+u)k(1 + u)^k 8+x3=2(1+x8)1/3\sqrt[3]{8 + x} = 2\left(1 + \frac{x}{8}\right)^{1/3} ∣x∣<8|x| < 8

Example: 2+x12−x2288+…2 + \frac{x}{12} - \frac{x^2}{288} + \dots, and f′(0)=13⋅8−2/3=112f'(0) = \frac{1}{3} \cdot 8^{-2/3} = \frac{1}{12} confirms c1c_1.

integrate term by term ∫0xe−t2 dt\int_0^x e^{-t^2}\,dt same radius: every xx

Example: ∑(−1)nx2n+1n! (2n+1)\sum\frac{(-1)^n x^{2n+1}}{n!\,(2n+1)}; at x=1x = 1 the exact value 1−13+110−142+…1 - \frac{1}{3} + \frac{1}{10} - \frac{1}{42} + \dots

Maclaurin series of ln⁡x\ln x ln⁡x\ln x at a=0a = 0 no such series no such series

Example: ln⁡x\ln x is not even defined at 00, so no f(n)(0)f^{(n)}(0) exists and no series in powers of xx can equal it.

Same form, other result: 1x\frac{1}{x} has no Maclaurin series either, yet 1x=∑(−1)n(x−1)n\frac{1}{x} = \sum(-1)^n(x-1)^n on (0,2)(0, 2): centred at 11 it works.

What to do: Change the centre: ln⁡x=ln⁡2+ln⁡(1+x−22)=ln⁡2+∑n≥1(−1)n−1(x−2)nn 2n\ln x = \ln 2 + \ln\left(1 + \frac{x-2}{2}\right) = \ln 2 + \sum_{n\ge1}\frac{(-1)^{n-1}(x-2)^n}{n\,2^n} on (0,4](0, 4], or work with ln⁡(1+x)\ln(1 + x).

Endpoints never follow a rule of thumb: after a substitution, each endpoint is the image of an endpoint of the table, and it is included exactly when the table includes it.

The mistakes that cost marks

These are the errors I correct most often in session. Each one costs marks on a paper, even when the reasoning behind it is right.

1. Reading a derivative off a coefficient without the factorial

the whole question

What not to write

“sin⁡(x2)=x2−x66+…\sin(x^2) = x^2 - \frac{x^6}{6} + \dots, so the sixth derivative of sin⁡(x2)\sin(x^2) at 00 is −16-\frac{1}{6}.”

What to write

“c6=−16c_6 = -\frac{1}{6}, so f(6)(0)=6! c6=720⋅(−16)=−120f^{(6)}(0) = 6!\,c_6 = 720 \cdot \left(-\frac{1}{6}\right) = -120.”

Why: The coefficient is f(n)(a)n!\frac{f^{(n)}(a)}{n!}, not f(n)(a)f^{(n)}(a). The factorial is the only computation of the question, so forgetting it leaves nothing to mark.

2. Losing the centre

2 to 3 marks, and every later use of the series

What not to write

“The Taylor series of 1x\frac{1}{x} at a=1a = 1 is ∑(−1)nxn\sum(-1)^n x^n.”

What to write

“1x=11+(x−1)=∑n≥0(−1)n(x−1)n\frac{1}{x} = \frac{1}{1 + (x-1)} = \sum_{n\ge0}(-1)^n(x-1)^n for 0<x<20 < x < 2.”

Why: A series centred at aa is written in powers of (x−a)(x - a). The faux line is the series of 11+x\frac{1}{1+x} at 00, a different function. The value-at-the-centre test catches it: at x=1x = 1 it gives ∑(−1)n\sum(-1)^n, which does not even converge.

3. Evaluating a series outside its interval

the whole question

What not to write

“π3=arctan⁡3=∑n≥0(−1)n(3)2n+12n+1\frac{\pi}{3} = \arctan\sqrt{3} = \sum_{n\ge0}\frac{(-1)^n(\sqrt{3})^{2n+1}}{2n+1}.”

What to write

“13\frac{1}{\sqrt{3}} is in [−1,1][-1, 1]: π6=arctan⁡13\frac{\pi}{6} = \arctan\frac{1}{\sqrt{3}}, so π=23∑n≥0(−1)n(2n+1)3n\pi = 2\sqrt{3}\sum_{n\ge0}\frac{(-1)^n}{(2n+1)3^n}.”

Why: The arctangent series equals arctan⁡x\arctan x only on [−1,1][-1, 1]. At 3\sqrt{3} the terms 3n32n+1\frac{3^n\sqrt{3}}{2n+1} tend to infinity: the series diverges and equals nothing. Rewrite the number so that the argument falls inside the interval.

4. Copying the interval of the table after a substitution

1 to 2 marks

What not to write

“ln⁡(1+2x)=∑n≥1(−1)n−12nxnn\ln(1 + 2x) = \sum_{n\ge1}\frac{(-1)^{n-1}2^n x^n}{n} for −1<x≤1-1 < x \le 1.”

What to write

“The table needs −1<u≤1-1 < u \le 1 with u=2xu = 2x, so the series is valid for −12<x≤12-\frac{1}{2} < x \le \frac{1}{2}.”

Why: The interval belongs to the variable of the table, uu, not to xx. At x=1x = 1 the faux line would add terms 2nn\frac{2^n}{n} that grow without bound.

5. Applying the binomial series before factoring

2 to 3 marks

What not to write

“8+x3=2+13x−19x2+…\sqrt[3]{8 + x} = 2 + \frac{1}{3}x - \frac{1}{9}x^2 + \dots”

What to write

“8+x3=2(1+x8)1/3=2+x12−x2288+…\sqrt[3]{8 + x} = 2\left(1 + \frac{x}{8}\right)^{1/3} = 2 + \frac{x}{12} - \frac{x^2}{288} + \dots for ∣x∣<8|x| < 8.”

Why: The binomial series is the series of (1+u)k(1 + u)^k: the constant must be 11. The first-derivative test settles it in five seconds: f′(0)=13⋅8−2/3=112f'(0) = \frac{1}{3} \cdot 8^{-2/3} = \frac{1}{12}, not 13\frac{1}{3}.

6. Multiplying two series coefficient by coefficient

the whole question

What not to write

“excos⁡xe^x\cos x: multiply the coefficients of equal powers, 1+0⋅x−14x2+…1 + 0 \cdot x - \frac{1}{4}x^2 + \dots”

What to write

“The coefficient of x2x^2 collects 1⋅(−12)+1⋅0+12⋅1=01 \cdot \left(-\frac{1}{2}\right) + 1 \cdot 0 + \frac{1}{2} \cdot 1 = 0: excos⁡x=1+x−x33−x46+…e^x\cos x = 1 + x - \frac{x^3}{3} - \frac{x^4}{6} + \dots”

Why: A product of series is a product of polynomials that never ends: the coefficient of xnx^n gathers every pair of degrees adding to nn. The faux line even fails c1=f′(0)=1c_1 = f'(0) = 1.

7. Stopping the expansion before anything survives

the whole question

What not to write

“Near 00, cos⁡x≈1\cos x \approx 1, so 1−cos⁡xx2≈0x2=0\frac{1 - \cos x}{x^2} \approx \frac{0}{x^2} = 0 and the limit is 00.”

What to write

“1−cos⁡x=x22−x424+…1 - \cos x = \frac{x^2}{2} - \frac{x^4}{24} + \dots, so 1−cos⁡xx2=12−x224+⋯→12\frac{1 - \cos x}{x^2} = \frac{1}{2} - \frac{x^2}{24} + \dots \to \frac{1}{2}.”

-7-6-5-4-3-2-112345670.10.20.30.40.50.60.7y = (1 − cos x)/x²the limit is 1/2
The curve does not head for 00: it climbs to the hollow point at height 12\frac{1}{2}, the coefficient of the first term that survives, x22\frac{x^2}{2}.

Why: The approximation cos⁡x≈1\cos x \approx 1 throws away exactly the term that decides. Expand until a nonzero term survives the cancellation, to the degree of the denominator.

8. Taking a convergent Taylor series for its function

the whole question

What not to write

“Every derivative of f(x)=e−1/x2f(x) = e^{-1/x^2} (with f(0)=0f(0) = 0) is 00 at 00, so its Maclaurin series is 00 and f(x)=0f(x) = 0 for all xx.”

What to write

“The Maclaurin series of ff is 00 and converges everywhere, but f(1)=1e≠0f(1) = \frac{1}{e} \ne 0: the series equals ff only at x=0x = 0.”

-3-2-1123-0.4-0.20.20.40.60.811.2y = e^(−1/x²)its Maclaurin series: 0
The blue curve is so flat at 00 that every derivative vanishes there, so its Maclaurin series is the red line y=0y = 0; the two agree only at the origin.

Why: Convergence of the Taylor series says nothing about its limit. The equalities of the table are theorems proved with the remainder; a function outside the table is either built from it or checked the same way.

Which method to choose

Which route to the series, by the FORM of the function

Before differentiating anything, look for a table function hidden in the formula

  • If a table function of a simple expression: e−x2e^{-x^2}, cos⁡x\cos\sqrt{x}, ln⁡(1+2x)\ln(1 + 2x) → substitute in parentheses, then rescale the interval

    Example: e−x2=∑(−1)nx2nn!e^{-x^2} = \sum\frac{(-1)^n x^{2n}}{n!}, every xx

  • If a power of xx times a table function → multiply, and shift the exponents

    Example: x2arctan⁡(x3)=∑(−1)nx6n+52n+1x^2\arctan(x^3) = \sum\frac{(-1)^n x^{6n+5}}{2n+1} on [−1,1][-1, 1]

  • If a product or a quotient of two table functions → collect every pair of degrees, or write the unknown series and match coefficients

    Example: tan⁡x=x+x33+2x515+…\tan x = x + \frac{x^3}{3} + \frac{2x^5}{15} + \dots from sin⁡x=tan⁡x⋅cos⁡x\sin x = \tan x \cdot \cos x

  • If a composition f(g(x))f(g(x)) → make the inner quantity tend to 00, then expand each power of it to the degree asked

    Example: ln⁡(cos⁡x)\ln(\cos x) with cos⁡x=1+u\cos x = 1 + u: −x22−x412+…-\frac{x^2}{2} - \frac{x^4}{12} + \dots

  • If a constant other than 11 inside a power, or a centre a≠0a \ne 0 → factor to reach (1+u)k(1 + u)^k or ln⁡(1+u)\ln(1 + u)

    Example: ln⁡x=ln⁡2+ln⁡(1+x−22)\ln x = \ln 2 + \ln\left(1 + \frac{x-2}{2}\right) on (0,4](0, 4]

  • If an integral with no elementary antiderivative, or a function defined by one → expand the integrand, integrate term by term on a bounded interval

    Example: Si(x)=x−x318+x5600−…\text{Si}(x) = x - \frac{x^3}{18} + \frac{x^5}{600} - \dots

  • If none of the above, and the question says from the definition → differentiate, find the pattern, prove it, evaluate at the centre, divide by n!

    Example: ln⁡x\ln x at 22: f(n)(2)=(−1)n−1(n−1)!2nf^{(n)}(2) = \frac{(-1)^{n-1}(n-1)!}{2^n}, cn=(−1)n−1n 2nc_n = \frac{(-1)^{n-1}}{n\,2^n}

A table route and the definition give the SAME series, by uniqueness. When time allows, the second route is the best check of the first.

How the answer is expected to be written

A marker ticks steps. Here they are in order, with the concluding sentence expected word for word.

Writing a series built from the table

When to use it: Any question that says find the Taylor or Maclaurin series and state where it is valid

  1. 1 Name the table series you start from, with its interval, in the variable uu.
  2. 2 Say what uu is, substitute in parentheses, and multiply or factor as needed.
  3. 3 Simplify the general term: powers of powers multiply, signs come out as (−1)n(-1)^n.
  4. 4 Translate the interval of uu into an interval of xx, and give each endpoint's verdict from the table.
  5. 5 Check the first term, or c1=f′(a)c_1 = f'(a), before moving on.

Concluding sentence

“Since ln⁡(1+u)=∑n≥1(−1)n−1unn\ln(1+u) = \sum_{n\ge1}\frac{(-1)^{n-1}u^n}{n} for −1<u≤1-1 < u \le 1, with u=2xu = 2x: ln⁡(1+2x)=∑n≥1(−1)n−12nxnn\ln(1+2x) = \sum_{n\ge1}\frac{(-1)^{n-1}2^n x^n}{n} for −12<x≤12-\frac{1}{2} < x \le \frac{1}{2}.”

The trap: Writing the table series and the final series without saying what uu is: the marker cannot tell a substitution from a guess, and the interval has no justification.

Marking: Typically 1 mark for the table series quoted with its interval, 1 to 2 for the substitution and the general term, 1 for the interval of the result with its endpoints.

Check before you hand in

Five minutes of checking recover more marks than one more problem started in a hurry.

The typical problem, taken apart

A limit by series, composition included

Compute lim⁡x→0ex2−cos⁡x−32x2x4\lim_{x\to0}\frac{e^{x^2} - \cos x - \frac{3}{2}x^2}{x^4}.

No calculator, no L'Hôpital's rule: the answer is expected by series, as on a MATH 141 final.

Step 1

Form 00\frac{0}{0}, denominator x4x^4: every piece of the numerator will be expanded up to x4x^4, not further.

Why

The degree of the denominator fixes the depth of every expansion. Going further costs time; stopping earlier loses the answer.

Step 2

eu=1+u+u22+…e^u = 1 + u + \frac{u^2}{2} + \dots with u=x2u = x^2: ex2=1+x2+x42+…e^{x^2} = 1 + x^2 + \frac{x^4}{2} + \dots, the next term being of degree 66.

Why

A substitution into the table, no derivative. Stopping at 1+x21 + x^2 because x4x^4 looks small is exactly the error that ruins the question.

Step 3

cos⁡x=1−x22+x424+…\cos x = 1 - \frac{x^2}{2} + \frac{x^4}{24} + \dots, the next term being of degree 66.

Why

Straight from the table. Both expansions now stop at the same degree, 44, which is the condition for the subtraction to be exact up to x4x^4.

Step 4

Numerator: (1−1)+(1+12−32)x2+(12−124)x4+⋯=1124x4+…(1 - 1) + \left(1 + \frac{1}{2} - \frac{3}{2}\right)x^2 + \left(\frac{1}{2} - \frac{1}{24}\right)x^4 + \dots = \frac{11}{24}x^4 + \dots

Why

Collect degree by degree and write the cancellations on the page: the constants and the x2x^2 terms vanish, which is why the limit is decided at x4x^4.

Step 5

Divide by x4x^4: 1124+(terms of degree≥2)→1124\frac{11}{24} + (\text{terms of degree} \ge 2) \to \frac{11}{24}.

Why

The limit is the coefficient of the first surviving power, once it has the degree of the denominator.

The conclusion, written out

“lim⁡x→0ex2−cos⁡x−32x2x4=lim⁡x→0(1124+… )=1124\lim_{x\to0}\frac{e^{x^2} - \cos x - \frac{3}{2}x^2}{x^4} = \lim_{x\to0}\left(\frac{11}{24} + \dots\right) = \frac{11}{24}.”

The classic mistake on this problem: Stopping ex2e^{x^2} at 1+x21 + x^2 turns the numerator into −x424-\frac{x^4}{24} and the limit into −124-\frac{1}{24}: a wrong sign and a wrong size, from one term left out.

Learn by heart

  • • cn=f(n)(a)n!c_n = \frac{f^{(n)}(a)}{n!}, and backwards f(n)(a)=n! cnf^{(n)}(a) = n!\,c_n. Never forget the factorial.
  • • Centre aa: powers of (x−a)(x - a). The series of ln⁡x\ln x and 1x\frac{1}{x} exist only around a≠0a \ne 0.
  • • Only exe^x, sin⁡x\sin x, cos⁡x\cos x are valid for every xx. The others stop at ±1\pm1 in their own variable.
  • • Substitute in parentheses, then rescale the interval and recheck its endpoints.
  • • Binomial series: make the constant 11 first; (kn)\binom{k}{n} has exactly nn factors on top.
  • • Products collect all pairs of degrees; compositions need an inner quantity tending to 00.
  • • Limits: expand until something survives, to the degree of the denominator.
  • • A convergent Taylor series may converge to something else: e−1/x2e^{-1/x^2}.

Frequently asked questions

What is the difference between a Taylor series and a Maclaurin series?

A Maclaurin series is simply a Taylor series centred at zero. The Taylor series of a function at a point a is written in powers of x minus a, with the n-th derivative at a divided by n factorial as coefficient. Choose the centre where the function and its derivatives are easy to evaluate, and where the function is defined.

How do I find a Maclaurin series without computing derivatives?

Start from the table of known series, those of e to the x, sine, cosine, the natural log of one plus x, arctangent and the binomial series, then substitute, multiply by a power of x, multiply or divide two series, or integrate term by term. By uniqueness the result is the Maclaurin series. Always restate the interval where the new series is valid.

How do I find the n-th derivative at zero from a power series?

Find the coefficient of x to the n in the series, then multiply it by n factorial. For e to the x cubed, the x to the ninth term is x to the ninth over 3 factorial, so the ninth derivative at zero is 9 factorial over 3 factorial, 60480. If x to the n never appears, that derivative is zero.

How do I use Taylor series to compute a limit?

Replace each function by its series around the point, keeping enough terms that something nonzero survives after the cancellations, usually up to the degree of the denominator. Simplify, divide, and the limit is the coefficient of the lowest surviving power. Stopping too early, for instance replacing sine of x by x, is the most common way to get zero by mistake.

Practise it

Corrected exercises: Taylor and Maclaurin series, MATH 141 at McGill

A method is proved on a paper, not on a sheet. The set for the same chapter takes each of these traps into a problem, with the solution written out step by step.

  • 10 corrected exercises
  • 100 points
  • 150 minutes
Do the exercises
Previous sheet Power series Next sheet Taylor polynomials and error bounds

See also

Looking for a MATH 141 tutor in Montreal?

Get in touch for a first session. Taylor series are where the whole course meets: derivatives, integrals, limits and series in one formula, and where a single forgotten factorial costs the question.

Site by Studio Squalli