문제 은행 · 미적분 · 대학 미적분 · 급수 심화

테일러·매클로린 급수

먼저 혼자 풀어 보고, 풀이로 확인한 다음, 아래 「한 번 더」 문제로 이어서 연습하세요.

CLP-2 · 3.6절 · 49번대학 수준우리말 번역

cosh⁡(x)=ex+e−x2\displaystyle \cosh(x) =\frac{e^x+e^{-x}}{2} 라 하자.

(a) x0=0x_0 = 0 에서 cosh⁡(x)\cosh(x) 의 거듭제곱급수 전개를 구하고, 그 수렴 구간을 구하세요. (b) 323≤cosh⁡(2)≤323+0.13\frac{2}{3}\le \cosh(2) \le 3\frac{2}{3} + 0.1 임을 보이세요. (c) 모든 tt 에 대해 cosh⁡(t)≤e12t2\cosh(t) \le e^{\frac{1}{2}t^2} 임을 보이세요.

영어 원문 보기

Let cosh⁡(x)=ex+e−x2\displaystyle \cosh(x) =\frac{e^x+e^{-x}}{2}.

(a) Find the power series expansion of cosh⁡(x)\cosh(x) about x0=0x_0 = 0 and determine its interval of convergence. (b) Show that 323≤cosh⁡(2)≤323+0.13\frac{2}{3}\le \cosh(2) \le 3\frac{2}{3} + 0.1. (c) Show that cosh⁡(t)≤e12t2\cosh(t) \le e^{\frac{1}{2}t^2} for all tt.

정답·풀이 보기

(a) 모든 xx 에 대해 ex=∑n=0∞xnn!e^x = \sum\limits_{n=0}^\infty \frac{x^n}{n!} 임을 알고 있다. xx 를 −x-x 로 바꾸면, 모든 xx 에 대해 e−x=∑n=0∞(−x)nn!e^{-x} = \sum\limits_{n=0}^\infty \frac{(-x)^n}{n!} 이고, 따라서

cosh⁡(x)=12[ex+e−x]=12[∑n=0∞xnn!+∑n=0∞(−x)nn!]=∑n=0n even∞xnn!=∑n=0∞x2n(2n)!\begin{aligned} \cosh(x) =\frac{1}{2}\big[e^x+e^{-x}\big] =\frac{1}{2}\Big[\sum_{n=0}^\infty \frac{x^n}{n!} + \sum_{n=0}^\infty \frac{(-x)^n}{n!}\Big] = \sum_{\genfrac{}{}{0pt}{}{n=0}{n\text{ even}}}^\infty\frac{x^n}{n!} = \sum_{n=0}^\infty\frac{x^{2n}}{(2n)!} \end{aligned}

이 모든 xx 에 대해 성립한다. 특히 수렴 구간은 실수 전체이다.

(b) (a)의 거듭제곱급수 전개를 이용하면,

cosh⁡(2)=1+222!+244!+∑n=3∞22n(2n)!=323+∑n=3∞22n(2n)!\begin{aligned} \cosh(2) &= 1 +\frac{2^2}{2!}+\frac{2^4}{4!} +\sum_{n=3}^\infty\frac{2^{2n}}{(2n)!} = 3\frac{2}{3} +\sum_{n=3}^\infty\frac{2^{2n}}{(2n)!} \end{aligned}

따라서 ∑n=3∞22n(2n)!≤0.1\sum_{n=3}^\infty\frac{2^{2n}}{(2n)!}\le 0.1 임을 보이면 충분하다. bn=22n(2n)!b_n = \frac{2^{2n}}{(2n)!} 이라 하자. ∑n=3∞22n(2n)!\sum_{n=3}^\infty\frac{2^{2n}}{(2n)!} 의 첫째 항은

b3=266!=266×5×4×3×2=445b_3 = \frac{2^6}{6!} = \frac{2^6}{6 \times 5 \times 4 \times 3\times 2} = \frac{4}{45}

이다. ∑n=3∞22n(2n)!\sum_{n=3}^\infty\frac{2^{2n}}{(2n)!} 에서 이웃한 항 사이의 비는

bn+1bn=22n+2/22n(2n+2)!/(2n)!=4(2n+2)(2n+1)≤48×7=114모든 n≥3 에 대해\begin{aligned} \frac{b_{n+1}}{b_n} = \frac{2^{2n+2}/2^{2n}}{(2n+2)!/(2n)!} =\frac{4}{(2n+2)(2n+1)} \le \frac{4}{8\times 7} =\frac{1}{14}\qquad \text{모든 }n\ge 3\text{ 에 대해} \end{aligned}

이다. 그러므로

∑n=3∞22n(2n)!≤445⏞b3+445×114⏞b4≤+445×1142⏞b5≤+445×1143⏞b6≤+⋯=445 11−114=445 1413=56585<110\begin{aligned} \sum_{n=3}^\infty\frac{2^{2n}}{(2n)!} &\le \overbrace{\frac{4}{45}}^{b_3} + \overbrace{\frac{4}{45}\times \frac{1}{14}}^{b_4\le} + \overbrace{\frac{4}{45}\times \frac{1}{14^2}}^{b_5\le} + \overbrace{\frac{4}{45}\times \frac{1}{14^3}}^{b_6\le} + \cdots\\ &=\frac{4}{45}\,\frac{1}{1-\frac{1}{14}} =\frac{4}{45}\,\frac{14}{13} =\frac{56}{585}<\frac{1}{10} \end{aligned}

이다.

(c)

cosh⁡(t)=∑n=0∞t2n(2n)!=∑n=0∞(t2)n(2n)!그리고e12t2=∑n=0∞(12t2)nn!=∑n=0∞(t2)n2nn!\cosh(t) = \sum_{n=0}^\infty\frac{t^{2n}}{(2n)!} = \sum_{n=0}^\infty\frac{{(t^2)}^n}{(2n)!} \qquad\text{그리고}\qquad e^{\frac{1}{2}t^2} = \sum_{n=0}^\infty\frac{{(\frac{1}{2}t^2)}^n}{n!} = \sum_{n=0}^\infty\frac{{(t^2)}^n}{2^n n!}

을 비교하면, (2n)!≥2nn!(2n)! \ge 2^n n! 임을 보이면 충분하다. 이제 모든 n≥1n\ge 1 에 대해,

(2n)!=1×2×⋯×n⏞n개의 인수(n+1)×(n+2)×⋯×2n⏞n개의 인수≥1×2×⋯×n⏞n개의 인수2×2×⋯×2⏞n개의 인수=2n n!\begin{aligned} (2n)! &=\overbrace{1\times 2\times\cdots\times n}^{n\text{개의 인수}} \overbrace{(n+1)\times (n+2)\times\cdots\times 2n}^{n\text{개의 인수}} \\ &\ge\overbrace{1\times 2\times\cdots\times n}^{n\text{개의 인수}} \overbrace{2\times 2\times\cdots\times 2}^{n\text{개의 인수}} \\ &=2^n\, n! \end{aligned}

이다.

원본 교재 풀이(영어)

(a) We know that ex=∑n=0∞xnn!e^x = \sum\limits_{n=0}^\infty \frac{x^n}{n!} for all xx. Replacing xx by −x-x, we also have e−x=∑n=0∞(−x)nn!e^{-x} = \sum\limits_{n=0}^\infty \frac{(-x)^n}{n!} for all xx and hence

cosh⁡(x)=12[ex+e−x]=12[∑n=0∞xnn!+∑n=0∞(−x)nn!]=∑n=0n even∞xnn!=∑n=0∞x2n(2n)!\begin{aligned} \cosh(x) =\frac{1}{2}\big[e^x+e^{-x}\big] =\frac{1}{2}\Big[\sum_{n=0}^\infty \frac{x^n}{n!} + \sum_{n=0}^\infty \frac{(-x)^n}{n!}\Big] = \sum_{\genfrac{}{}{0pt}{}{n=0}{n\text{ even}}}^\infty\frac{x^n}{n!} = \sum_{n=0}^\infty\frac{x^{2n}}{(2n)!} \end{aligned}

for all xx. In particular, the interval of convergence is all real numbers.

(b) Using the power series expansion of part (a),

cosh⁡(2)=1+222!+244!+∑n=3∞22n(2n)!=323+∑n=3∞22n(2n)!\begin{aligned} \cosh(2) &= 1 +\frac{2^2}{2!}+\frac{2^4}{4!} +\sum_{n=3}^\infty\frac{2^{2n}}{(2n)!} = 3\frac{2}{3} +\sum_{n=3}^\infty\frac{2^{2n}}{(2n)!} \end{aligned}

So it suffices to show that ∑n=3∞22n(2n)!≤0.1\sum_{n=3}^\infty\frac{2^{2n}}{(2n)!}\le 0.1. Let's write bn=22n(2n)!b_n = \frac{2^{2n}}{(2n)!}. The first term in ∑n=3∞22n(2n)!\sum_{n=3}^\infty\frac{2^{2n}}{(2n)!} is

b3=266!=266×5×4×3×2=445b_3 = \frac{2^6}{6!} = \frac{2^6}{6 \times 5 \times 4 \times 3\times 2} = \frac{4}{45}

The ratio between successive terms in ∑n=3∞22n(2n)!\sum_{n=3}^\infty\frac{2^{2n}}{(2n)!} is

bn+1bn=22n+2/22n(2n+2)!/(2n)!=4(2n+2)(2n+1)≤48×7=114for all n≥3\begin{aligned} \frac{b_{n+1}}{b_n} = \frac{2^{2n+2}/2^{2n}}{(2n+2)!/(2n)!} =\frac{4}{(2n+2)(2n+1)} \le \frac{4}{8\times 7} =\frac{1}{14}\qquad \text{for all }n\ge 3 \end{aligned}

Hence

∑n=3∞22n(2n)!≤445⏞b3+445×114⏞b4≤+445×1142⏞b5≤+445×1143⏞b6≤+⋯=445 11−114=445 1413=56585<110\begin{aligned} \sum_{n=3}^\infty\frac{2^{2n}}{(2n)!} &\le \overbrace{\frac{4}{45}}^{b_3} + \overbrace{\frac{4}{45}\times \frac{1}{14}}^{b_4\le} + \overbrace{\frac{4}{45}\times \frac{1}{14^2}}^{b_5\le} + \overbrace{\frac{4}{45}\times \frac{1}{14^3}}^{b_6\le} + \cdots\\ &=\frac{4}{45}\,\frac{1}{1-\frac{1}{14}} =\frac{4}{45}\,\frac{14}{13} =\frac{56}{585}<\frac{1}{10} \end{aligned}

(c) Comparing

cosh⁡(t)=∑n=0∞t2n(2n)!=∑n=0∞(t2)n(2n)!ande12t2=∑n=0∞(12t2)nn!=∑n=0∞(t2)n2nn!\cosh(t) = \sum_{n=0}^\infty\frac{t^{2n}}{(2n)!} = \sum_{n=0}^\infty\frac{{(t^2)}^n}{(2n)!} \qquad\text{and}\qquad e^{\frac{1}{2}t^2} = \sum_{n=0}^\infty\frac{{(\frac{1}{2}t^2)}^n}{n!} = \sum_{n=0}^\infty\frac{{(t^2)}^n}{2^n n!}

we see that it suffices to show that (2n)!≥2nn!(2n)! \ge 2^n n!. Now. for all n≥1n\ge 1,

(2n)!=1×2×⋯×n⏞n factors(n+1)×(n+2)×⋯×2n⏞n factors≥1×2×⋯×n⏞n factors2×2×⋯×2⏞n factors=2n n!\begin{aligned} (2n)! &=\overbrace{1\times 2\times\cdots\times n}^{n\text{ factors}} \overbrace{(n+1)\times (n+2)\times\cdots\times 2n}^{n\text{ factors}} \\ &\ge\overbrace{1\times 2\times\cdots\times n}^{n\text{ factors}} \overbrace{2\times 2\times\cdots\times 2}^{n\text{ factors}} \\ &=2^n\, n! \end{aligned}

한 번 더 — 비슷한 문제OpenStax 2권 · 6장 복습 · 3번우리말 번역

단원 복습 문제

참 또는 거짓? 다음 문제에서 증명 또는 반례로 답의 근거를 대세요.

작은 값에 대하여 x,sin⁡x≈x.x,\sin x\approx x.

답 쓰고 채점
다 풀었으면 정답 확인

참

이 문제로 이어서 풀기
# 테일러·매클로린 급수증명·논술도전자동 분류
CLP-2 Integral Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)

「테일러·매클로린 급수」 문제 목록으로