קוד:יחידות של פולינום טיילור
\begin{thm} נניח $f(x)=P(x)+o((x-x_0)^n)_{x\to x_0} = Q(x)+o((x-x_0)^n)_{x\to x_0} $ כאשר $P,Q $ פולינומים מדרגה קטנה או שווה ל- $n $ אזי $P(x)=Q(x) $ \end{thm}
\begin{proof} $$ P(x)+o((x-x_0)^n)_{x\to x_0}=Q(x)+o((x-x_0)^n)_{x\to x_0} \Rightarrow P(x)-Q(x) = o((x-x_0)^n)_{x\to x_0}$$ $$P(x)=p_0 + p_1 (x-x_0) + p_2 (x-x_0)^2 +\cdots p_n (x-x_0)^2 , Q(x)= q_0 + q_1 (x-x_0) +\cdots q_n (x-x_0)^n \Rightarrow $$ $$\sum_{k=0}^n (p_k-q_k) x^k = o((x-x_0)^n)_{x\to x_0} \Rightarrow \lim_{x\to x_0} \frac{(p_0-q_0)+(p_1-q_1)(x-x_0) +\cdots (p_n-q_n)(x-x_0)^n}{(x-x_0)^n}=0 $$
אבל הגבול הזה קיים רק אם כל המקדמים (חוץ מהאחרון) של $x-x_0 $ הם אפסים והגבול מתאפס אם המקדם האחרון הוא $0$. לסיכום $p_k-q_k=0 $ ואז $p_k=q_k $ .\\ לכן $P(x)=Q(x) $ \end{proof}
\begin{thm} נניח $f\in D^n (a,b) $ וקיים פולינום $P(x)=\sum_{k=0}^n p_k (x-x_0)^k $ עבור $x_0\in (a,b) $ כך ש- $f(x)=P(x)+o((x-x_0)^n)_{x\to x_0} $, אזי $p_k=\frac{f^{(k)}(x_0)}{k!} $ . במילים אחרות, הפולינום הוא פולינום הטיילור מדרגה $n$ של $f$ סביב $x_0 $. \end{thm}
\begin{proof} ראינו כבר שפולינום הטיילור $P_n (x) $ מקיים $f(x)=P_n (x) + o((x-x_0)^n)_{x\to x_0} $ . לפי המשפט הקודם מתקיים בהכרח ש- $P(x)=P_n (x) $ וסיימנו \end{proof}
דוגמה: ראינו בעבר שעבור $|x|\leq 1 $ מתקיים ש- $\sum_{n=0}^\infty x^n = \frac{1}{1-x} $ ובפרט אם נציב $x^2 $ נקבל
$$\frac{1}{1-x^2}=\sum_{n=0}^\infty x^{2n} $$
לכן אפשר להראות ש- $\frac{1}{1-x^2} = \sum_{k=0}^n p_k x^k + o((x-x_0)^n)_{x\to x_0} , p_k=\begin{cases} 0& \text{if k is odd}\\ 1& \text{if k is even} \end{cases} $
מהמשפט שהרגע הוכחנו נראה כי:
$$ \left ( \frac{1}{1-x^2} \right )^{(k)} (0) = \begin{cases}0& \text{if k is odd}\\ k!& \text{if k is even} \end{cases} $$
משום ש- $ \frac{\left ( \frac{1}{1-x^2} \right )^{(k)} (0)}{k!} =p_k $ . ככה לדוגמה אנחנו יכולים לחשב את הנגזרת ה- $2015 $ של הפונקציה ב-$0$ (יוצא $0$) ואת הנגזרת ה- $2016 $ ב-$0$ (יוצא $2016!$) בקלות .