테일러 정리 증명

테일러 정리 증명

Proof of taylors Theorem

정리[^1]

함수 $f(x)$ 가 $[a,b]$ 에서 연속이고 $(a,b)$ 에서 $n$ 번 미분가능하면

$$ \begin{align*} f(b) =& \sum_{k=0}^{n-1} {{(b-a)^{k}\over{k!}}{f^{(k)}( a )}} + {(b-a)^{n}\over{n!}}{f^{(n)}(\xi)} \\ =& {f(a)} + {(b-a)f ' (a)} + \cdots + {(b-a)^{n-1}\over{(n-1)!}}{f^{(n-1)}(a)} + {(b-a)^{n}\over{(n)!}}{f^{(n)}(\xi)} \end{align*} $$

를 만족하는 $\xi \in (a,b)$ 가 존재한다.

설명

수학 전반에서 너무나 중요하게 쓰이고 있는 정리로, 이 이름을 딴 테일러 급수가 있다. 미분을 $n$ 번 한다는 의미에서는 평균값의 정리를 일반화한 정리라고 볼 수 있다.

관례적으로, 테일러 정리를 사용할 땐 $c$ 가 아니라 $\xi$ 를 사용한다.

증명

$$ \begin{align*} f(b) :=& {(b-a)^0\over{0!}}{f(a)} + {(b-a)^1\over{1!}}{f ' (a)} + {(b-a)^2\over{2!}}{f’’(a)} \\ &+ \cdots + {(b-a)^{n-1}\over{(n-1)!}}{f^{(n-1)}(a)} + {(b-a)^{n}\over{(n)!}}c \end{align*} $$

라 하자. $c={f^{(n)}(\xi)}$ 을 보이면 증명은 끝난다. 함수 $g$ 를 다음과 같이 정의하자.

$$ \begin{align*} g(x):=& -f(b) + f(x) + {(b-x)^1\over{1!}}{f ' (x)} + {(b-x)^2\over{2!}}{f’’(x)} \\ & + \cdots + {(b-x)^{n-1}\over{(n-1)!}}{f^{(n-1)}(x)} + {(b-x)^{n}\over{(n)!}}c \\ =& -f(b) + \sum_{k=0}^{n-1}{(b-x)^{k}\over{(k)!}}{f^{(k)}(x)} + {(b-x)^{n}\over{(n)!}}c \end{align*} $$

$g$ 는 $[a,b]$ 에서 연속, $(a,b)$ 에서 미분가능하고 $c$ 의 정의에 의해 $g(b)=g(a)=0$ 이다.

롤의 정리

함수 $f(x)$가 $[a,b]$에서 연속이고 $(a,b)$에서 미분가능하며 $f(a)=f(b)$ 면 $f ' (\xi)=0$를 만족하는 $\xi$가 $(a,b)$ 에 적어도 하나 존재한다.

롤의 정리에 의해

$$ \begin{align*} g'(\xi) =& \sum_{k=1}^{n-1} \left[ -{(b-\xi)^{k-1}\over{(k-1)!}}{f^{(k)}(\xi)} + {(b-\xi)^{k}\over{k!}}{f^{(k+1)}(\xi)} \right] - {(b-\xi)^{n-1}\over{(n-1)!}}c \\ =& {(b-\xi)^{n-1}\over{(n-1)!}}{f^{(n)}(\xi)} - {(b-\xi)^{n-1}\over{(n-1)!}}c \\ =& 0 \end{align*} $$

을 만족하는 $\xi$ 가 $(a,b)$ 에 적어도 하나 존재한다. 따라서

$$ \begin{align*} && {(b-\xi)^{n-1}\over{(n-1)!}}{f^{(n)}(\xi)} - {(b-\xi)^{n-1}\over{(n-1)!}}c = 0 \\ \implies&& {(b-\xi)^{n-1}\over{(n-1)!}}{f^{(n)}(\xi)} = {(b-\xi)^{n-1}\over{(n-1)!}}c \\ \implies&& {f^{(n)}(\xi)} = c \end{align*} $$

$c={f^{(n)}(\xi)}$ 을 보였으므로 증명이 끝났다.


증명은 위와 같이 했으나 더 자주 사용하는 꼴은 다음과 같다. 물론 $x \in [a,b]$ 이고 $x_{0} \in (a,b)$ 으로 두기 때문에 사실상 $[x_{0} , x] \subset [a,b]$ 가 된다.

테일러 정리

함수 $f(x)$ 가 $[a,b]$ 에서 연속이고 $(a,b)$ 에서 $n$ 번 미분가능하면 $x_{0} \in (a,b)$ 에 대해

$$ f(x) = \sum_{k=0}^{n-1} {{( x - x_{0} )^{k}\over{ k! }}{f^{(k)}( x_{0} )}} + {(x - x_{0} )^{n}\over{ n! }}{f^{(n)}(\xi)} $$

를 만족하는 $\xi \in (a,b)$ 가 존재한다.

같이보기

댓글