AP Calculus AB/BC · Unit 10 · Topic 10.14 · BC Only
Finding Taylor or Maclaurin Series for a Function
Translate an all-orders derivative pattern at a center into an infinite power series and determine where it represents the function.
1. Topic Focus
Determine series convergence, estimate error, construct Taylor approximations, and represent functions with power series on valid intervals.
This topic: Translate an all-orders derivative pattern at a center into an infinite power series and determine where it represents the function.
2. Key Relationship
Read every symbol with its domain, direction, units, and hypotheses before applying the relationship.
3. Visual Connection
4. Worked Example
A convergent coefficient series represents f only where its Taylor remainders approach zero.
Write the governing relationship first, carry out the algebra cleanly, and finish with a sentence that answers the mathematical question.
5. Concept Development
BC-only topic. A Taylor series records every derivative of a function at one center. It is the infinite continuation of the Taylor polynomials from Topic 10.11.
Taylor and Maclaurin series
If \(f\) has derivatives of all orders at \(x=a\), its Taylor series at \(a\) is
At \(a=0\), this becomes the Maclaurin series
From finite polynomial to infinite series
The degree-\(N\) Taylor polynomial is the \(N\)th partial sum:
The Taylor series asks what happens as \(N\to\infty\).
Why the coefficients are unique
If a power series centered at \(a\) represents \(f\), repeated differentiation at \(a\) forces
Therefore a function cannot have two different power-series representations about the same center on an open interval.
A direct-derivative workflow
- Identify the center \(a\).
- Compute several derivatives and evaluate them at \(a\).
- Recognize a sign, parity, factorial, or exponential pattern.
- Write a formula for \(f^{(n)}(a)\).
- Substitute it into \(f^{(n)}(a)(x-a)^n/n!\).
- Display several initial terms to verify the general term.
- Determine the radius or interval and explain where the series equals \(f\).
Convergence to a number versus representation of f
The Taylor series may converge as a numerical series without converging to \(f(x)\). To write
one must know that the remainders satisfy \(R_N(x)=f(x)-P_N(x)\to0\). A Lagrange bound tending to zero is one common justification.
Smooth does not automatically mean analytic
Having derivatives of every order at a point guarantees that the Taylor series can be formed, but not that it reproduces the function nearby. Representation requires the additional remainder-to-zero conclusion.
Exponential pattern
For \(f(x)=e^{kx}\),
The factorial denominator makes this series converge for every real \(x\).
Sine and cosine cycles
The four-derivative cycles at \(0\) produce
The sine series contains only odd powers; the cosine series contains only even powers. Both converge for all real \(x\).
Logarithm centered at 1
For \(f(x)=\ln x\),
Hence
The left endpoint \(x=0\) gives a divergent harmonic series; the right endpoint \(x=2\) gives the convergent alternating harmonic series.
Reciprocal centered at 1
For \(f(x)=1/x\), \(f^{(n)}(1)=(-1)^n n!\), so
Changing the center
At a nonzero center, preserve powers of \(x-a\). For example, every derivative of \(e^x\) at \(a\) equals \(e^a\), giving
Reading derivatives from a known series
If
then \(f^{(k)}(a)=k!c_k\). Missing powers correspond to zero derivative values at the center.
First terms as an error check
Before finalizing sigma notation, expand the first three or four terms. This catches shifted signs, wrong parity, and factorial-index errors.
AP-style checklist
- State whether the series is Taylor or Maclaurin and identify its center.
- Show a valid all-orders derivative pattern.
- Include the factorial and shifted power in the general term.
- Check the formula against initial terms.
- State the radius or interval when requested.
- Distinguish convergence of the series from equality with the function.
6. Detailed Worked Example and Error Check
Example 1: The exponential series
Because \(f^{(n)}(0)=1\) for \(f(x)=e^x\),
The Ratio Test gives convergence for all real \(x\), and the Lagrange remainder tends to zero.
Example 2: The sine series
The derivative values of \(\sin x\) at zero cycle \(0,1,0,-1\). Therefore
Example 3: The cosine series
The cosine cycle gives
Example 4: Logarithm about x = 1
Using \(f^{(n)}(1)=(-1)^{n-1}(n-1)!\),
The general term is \((-1)^{n-1}(x-1)^n/n\), and the representation interval is \((0,2]\).
Example 5: Reciprocal about x = 1
Since \(f^{(n)}(1)=(-1)^n n!\),
Example 6: Exponential at a shifted center
At \(a=2\), every derivative of \(e^x\) equals \(e^2\). Thus
valid for every real \(x\).
Example 7: Sine centered at pi/2
Writing \(h=x-\pi/2\), \(\sin x=\cos h\). Therefore
This agrees with the direct derivative values \(1,0,-1,0,\ldots\) at \(x=\pi/2\).
Example 8: A scaled exponential found directly
For \(f(x)=e^{2x}\), \(f^{(n)}(0)=2^n\). Hence
Example 9: Recover an arbitrary derivative
Suppose
The coefficient of \((x-2)^k\) is \((k+1)/3^k\), so
Example 10: A polynomial has a terminating Taylor series
For \(f(x)=x^3-2x+1\) centered at \(1\),
All higher derivatives vanish, so the Taylor series terminates and equals the polynomial for every real \(x\).
Common errors
- Writing a finite Taylor polynomial when an infinite series is requested.
- Using \(x^n\) at a nonzero center.
- Forgetting \(n!\) in the coefficient.
- Guessing a general term from one or two terms without checking the derivative pattern.
- Using \(n\) where the sine or cosine pattern requires \(2n\) or \(2n+1\).
- Starting a logarithm series at \(n=0\), which creates division by zero.
- Claiming the Taylor series equals the function merely because both exist.
- Finding a radius but ignoring endpoint behavior.
- Reading \(c_n\) directly as \(f^{(n)}(a)\) instead of multiplying by \(n!\).
- Confusing the interval of convergence with the domain of the original function.
- Dropping the factor \(e^a\) in an exponential series centered at \(a\).
7. AP Reasoning Routine
Check the nth-term condition first, match the series structure to a justified test, state convergence type, and test power-series endpoints separately.
- Identify the representation and requested quantity.
- State the rule or theorem and verify its conditions.
- Keep exact values until the final requested approximation.
- Interpret sign, units, interval, and context.
Find the requested series and state its radius or interval of convergence when applicable.
(a) Find the Maclaurin series for \(e^{-x}\).
(b) Find the Maclaurin series for \(\sin x\).
(c) Find the Maclaurin series for \(\cos x\).
(d) Find the Taylor series for \(e^x\) centered at \(-1\).
(e) Find the Taylor series for \(\ln x\) centered at \(1\).
(f) Find the Taylor series for \(1/x\) centered at \(2\) and its interval of convergence.
(g) Find the Taylor series for \(\sin x\) centered at \(\pi/2\).
(h) Find the Maclaurin series for \(e^{3x}\) directly from its derivatives.
(i) Find the Maclaurin series for \(1/(1+x)\) directly from its derivatives and state its interval.
(j) If \(f(x)=\sum_{n=0}^{\infty}(2n+1)(x-4)^n/5^n\), find \(f^{(6)}(4)\).
(k) Explain what must be shown before a Taylor series can be asserted to represent its function at a particular \(x\).
(l) Suppose \(f^{(n)}(2)=(-1)^n n!/5^n\) for every \(n\ge0\). Write the Taylor series, identify its sum as a function, and state its interval of convergence.
Check the solution
(a) Since \(f^{(n)}(0)=(-1)^n\), \(e^{-x}=\sum_{n=0}^{\infty}(-1)^n x^n/n!\), with \(R=\infty\).
(b) \(\sin x=\sum_{n=0}^{\infty}(-1)^n x^{2n+1}/(2n+1)!\), with \(R=\infty\).
(c) \(\cos x=\sum_{n=0}^{\infty}(-1)^n x^{2n}/(2n)!\), with \(R=\infty\).
(d) \(e^x=e^{-1}\sum_{n=0}^{\infty}(x+1)^n/n!\), with \(R=\infty\).
(e) \(\ln x=\sum_{n=1}^{\infty}(-1)^{n-1}(x-1)^n/n\), valid on \((0,2]\).
(f) Since \(f^{(n)}(2)=(-1)^n n!/2^{n+1}\), \(1/x=\sum_{n=0}^{\infty}(-1)^n(x-2)^n/2^{n+1}\). The condition is \(|x-2|<2\), and both endpoints have nonzero terms, so the interval is \((0,4)\).
(g) \(\sin x=\sum_{n=0}^{\infty}(-1)^n(x-\pi/2)^{2n}/(2n)!\), with \(R=\infty\).
(h) Since \(f^{(n)}(0)=3^n\), \(e^{3x}=\sum_{n=0}^{\infty}3^n x^n/n!\), with \(R=\infty\).
(i) Since \(f^{(n)}(0)=(-1)^n n!\), \(1/(1+x)=\sum_{n=0}^{\infty}(-1)^n x^n\), valid on \((-1,1)\).
(j) The coefficient of \((x-4)^6\) is \(13/5^6\), so \(f^{(6)}(4)=6!(13)/5^6\).
(k) One must show that the Taylor remainders \(R_N(x)=f(x)-P_N(x)\) approach zero. Convergence of the coefficient series alone is insufficient.
(l) The Taylor series is \(\sum_{n=0}^{\infty}(-1)^n(x-2)^n/5^n\), a geometric series with ratio \(-(x-2)/5\). Its sum is \(1/[1+(x-2)/5]=5/(x+3)\), and it converges for \(|x-2|<5\), or \(-3<x<7\). Both endpoint terms fail to approach zero, so the interval is \((-3,7)\).