4.3.17Calculus III — Sequences & Series

Maclaurin series of eˣ, sin x, cos x, ln(1+x), (1+x)ⁿ — derive all

1,394 words6 min readdifficulty · medium1 backlinks

1. The master formula (derive it once, use it forever)

Derivation from scratch. Assume ff can be written as a power series: f(x)=a0+a1x+a2x2+a3x3+f(x)=a_0+a_1x+a_2x^2+a_3x^3+\cdots

  • Find a0a_0: put x=0x=0. Every term with xx dies → f(0)=a0f(0)=a_0. Why? 0k=00^k=0.
  • Find a1a_1: differentiate once: f(x)=a1+2a2x+3a3x2+f'(x)=a_1+2a_2x+3a_3x^2+\cdots, then put x=0x=0f(0)=a1f'(0)=a_1.
  • Find a2a_2: differentiate again: f(x)=2a2+6a3x+f''(x)=2a_2+6a_3x+\cdots, put x=0x=0f(0)=2a2f''(0)=2a_2, so a2=f(0)2a_2=\dfrac{f''(0)}{2}.
  • General pattern: differentiating nn times, the xnx^n term becomes n!ann!\,a_n and is the only survivor at x=0x=0.

2. exe^x — the self-replicating function

HOW: f(n)(0)=e0=1f^{(n)}(0)=e^0=1 for all nn, so an=1n!a_n=\dfrac{1}{n!}. ex=n=0xnn!=1+x+x22!+x33!+(all x)\boxed{e^x=\sum_{n=0}^\infty \frac{x^n}{n!}=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots}\quad(\text{all }x)


3. sinx\sin x and cosx\cos x — the cycling derivatives

HOW for sinx\sin x: f(0)=0,  f(0)=1,  f(0)=0,  f(0)=1,f(0)=0,\;f'(0)=1,\;f''(0)=0,\;f'''(0)=-1,\dots sinx=xx33!+x55!=n=0(1)nx2n+1(2n+1)!\boxed{\sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\cdots=\sum_{n=0}^\infty\frac{(-1)^n x^{2n+1}}{(2n+1)!}}

HOW for cosx\cos x: f(0)=1,  f(0)=0,  f(0)=1,f(0)=1,\;f'(0)=0,\;f''(0)=-1,\dotsonly even powers: cosx=1x22!+x44!=n=0(1)nx2n(2n)!\boxed{\cos x=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\cdots=\sum_{n=0}^\infty\frac{(-1)^n x^{2n}}{(2n)!}}

Figure — Maclaurin series of eˣ, sin x, cos x, ln(1+x), (1+x)ⁿ — derive all

4. ln(1+x)\ln(1+x) — derive by integrating a geometric series

HOW. The geometric series (from rn=11r\sum r^n=\frac{1}{1-r} with r=xr=-x): 11+x=1x+x2x3+(x<1)\frac{1}{1+x}=1-x+x^2-x^3+\cdots\qquad(|x|<1) Integrate term by term, using ln(1+0)=0\ln(1+0)=0 to fix the constant: ln(1+x)=xx22+x33=n=1(1)n1xnn(1<x1)\boxed{\ln(1+x)=x-\frac{x^2}{2}+\frac{x^3}{3}-\cdots=\sum_{n=1}^\infty\frac{(-1)^{n-1}x^n}{n}}\quad(-1<x\le 1)


5. (1+x)n(1+x)^n — the Binomial Series

HOW. f(x)=(1+x)nf(x)=(1+x)^n. f(x)=n(1+x)n1f'(x)=n(1+x)^{n-1}, f(x)=n(n1)(1+x)n2f''(x)=n(n-1)(1+x)^{n-2}, ..., f(k)(x)=n(n1)(nk+1)(1+x)nkf^{(k)}(x)=n(n-1)\cdots(n-k+1)(1+x)^{n-k}. At x=0x=0: f(k)(0)=n(n1)(nk+1)f^{(k)}(0)=n(n-1)\cdots(n-k+1). Divide by k!k!: (1+x)n=k=0(nk)xk=1+nx+n(n1)2!x2+(x<1 if nZ0)\boxed{(1+x)^n=\sum_{k=0}^\infty\binom{n}{k}x^k=1+nx+\frac{n(n-1)}{2!}x^2+\cdots}\quad(|x|<1\text{ if }n\notin\mathbb{Z}_{\ge0}) where (nk)=n(n1)(nk+1)k!\dbinom{n}{k}=\dfrac{n(n-1)\cdots(n-k+1)}{k!}.


Recall Feynman: explain to a 12-year-old

Imagine you only know where a runner is right now, plus their speed, plus how fast that speed is changing, and so on. That's enough to predict their whole path near you! A Maclaurin series does this for a curve: it copies the height, the slope, the bend, the bend-of-the-bend at x=0x=0, and stacks them as 1,x,x2,x3,1, x, x^2, x^3,\dots pieces. Each piece is divided by a factorial so it doesn't overpower the others. Add enough pieces and your simple polynomial hugs the real curve.


Flashcards

Master Maclaurin coefficient formula
an=f(n)(0)n!a_n=\dfrac{f^{(n)}(0)}{n!}, so f(x)=f(n)(0)n!xnf(x)=\sum \frac{f^{(n)}(0)}{n!}x^n
Why the n!n! appears
dndxnxn=n!\frac{d^n}{dx^n}x^n=n!, the only surviving term at x=0x=0
Series for exe^x
n=0xnn!=1+x+x22!+\sum_{n=0}^\infty \frac{x^n}{n!}=1+x+\frac{x^2}{2!}+\cdots, valid all xx
Series for sinx\sin x
(1)nx2n+1(2n+1)!=xx36+x5120\sum \frac{(-1)^n x^{2n+1}}{(2n+1)!}=x-\frac{x^3}{6}+\frac{x^5}{120}-\cdots (odd powers)
Series for cosx\cos x
(1)nx2n(2n)!=1x22+x424\sum \frac{(-1)^n x^{2n}}{(2n)!}=1-\frac{x^2}{2}+\frac{x^4}{24}-\cdots (even powers)
Series for ln(1+x)\ln(1+x) + convergence
xx22+x33x-\frac{x^2}{2}+\frac{x^3}{3}-\cdots, valid 1<x1-1<x\le1
How to derive ln(1+x)\ln(1+x) quickly
Integrate 11+x=1x+x2\frac{1}{1+x}=1-x+x^2-\cdots term-by-term
Binomial series (1+x)n(1+x)^n
k(nk)xk=1+nx+n(n1)2x2+\sum_k \binom{n}{k}x^k=1+nx+\frac{n(n-1)}{2}x^2+\cdots, x<1|x|<1 if nZ0n\notin\mathbb Z_{\ge0}
First three terms of 1+x\sqrt{1+x}
1+x2x28+1+\frac{x}{2}-\frac{x^2}{8}+\cdots
Why only odd powers in sin\sin
sin\sin is an odd function ⇒ even-power coefficients vanish

Connections

  • Taylor series (general centre a) — Maclaurin is the a=0a=0 case
  • Geometric series — backbone for ln(1+x)\ln(1+x) and (1+x)1(1+x)^{-1}
  • Radius & interval of convergencewhere these series are valid
  • Euler's formulaeix=cosx+isinxe^{ix}=\cos x+i\sin x from combining three series
  • L'Hôpital & limits via series — e.g. limx0sinxx=1\lim_{x\to0}\frac{\sin x}{x}=1
  • Binomial theorem (integer n) — special terminating case

Concept Map

pinned down by

differentiate n times

leads to

all derivs equal 1

derivs cycle odd powers

derivs cycle even powers

differentiate gives

integrate

binomial expansion

truncate to estimate

Smooth function near 0

Assume power series

Match all derivatives at 0

Coefficient rule an equals fn0 over n!

eˣ series

sin x series

cos x series

ln 1+x series

1+x ⁿ series

Geometric series 1 over 1+x

e^0.1 approx 1.105

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Maclaurin series ka idea simple hai: koi bhi smooth function ko hum ek polynomial se replace kar sakte hain, lekin sirf x=0x=0 ke aas-paas. Logic ye hai — agar do curves ki value, slope, curvature, aur saare higher derivatives x=0x=0 par same hain, toh wo wahan ek doosre ko exactly copy karenge. Isliye formula banta hai f(x)=f(n)(0)n!xnf(x)=\sum \frac{f^{(n)}(0)}{n!}x^n. Yahan n!n! neeche isliye aata hai kyunki xnx^n ko nn baar differentiate karne par n!n! nikalta hai — isko bhoolna sabse common galti hai.

Paanch important series yaad rakho. exe^x sabse pyaara hai kyunki uska har derivative khud exe^x hai aur e0=1e^0=1, toh saare coefficients 1n!\frac{1}{n!} ban jaate hain. sinx\sin x aur cosx\cos x ke derivatives cycle karte hain (sin,cos,sin,cos\sin,\cos,-\sin,-\cos), isliye sin\sin me sirf odd powers aate hain aur cos\cos me sirf even powers — dono me signs alternate hote hain. Ye parity (odd/even function) se bhi match karta hai.

ln(1+x)\ln(1+x) ke liye shortcut: pehle 11+x=1x+x2\frac{1}{1+x}=1-x+x^2-\cdots likho (geometric series, r=xr=-x), phir term-by-term integrate karo — bas dhyaan rakho ye sirf 1<x1-1<x\le1 par valid hai, warna diverge ho jaayega. (1+x)n(1+x)^n binomial series hai; positive integer nn ke liye finite, baaki real nn ke liye infinite, lekin coefficient wahi (nk)\binom{n}{k}.

Ye topic kyun matter karta hai? Kyunki complicated functions ko approximate karna, limits nikalna (jaise sinxx1\frac{\sin x}{x}\to 1), aur physics ki tedhi equations ko simple banane me ye series har jagah use hoti hain. Practice me bas derivatives at 00 nikaalo, n!n! se divide karo, pattern dekho — done!

Go deeper — visual, from zero

Test yourself — Calculus III — Sequences & Series

Connections