קוד:פולינום טיילור
\section{פולינום טיילור}
\begin{definition}
תהי $f:(a,b)\rightarrow\mathbb{R}$ פונקציה הגזירה $n$ פעמים, ותהי $x_0\in(a,b)$. \textbf{פולינום טיילור} של $f$ סביב $x_0$ מסדר $n$ הוא הפולינום
$$P_n(x,x_0)=\sum_{k=0}^n\frac{f^{(k)}(x_0)}{k!}(x-x_0)^k=f(x_0)+f'(x_0)(x-x_0)+\frac{f(x_0)}{2}(x-x_0)^2+\cdots+\frac{f^{(n)}(x_0)}{n!}(x-x_0)^n$$
אם $x_0=0$, לפעמים קוראים לפולינום זה \textbf{פולינום טיילור-מקלורן} או \textbf{פולינום מקלורן}.
מסמנים את \textbf{השארית} בתור $R_n(x,x_0)=f(x)-P_n(x,x_0)$
\end{definition}
\begin{remark}
פולינום טיילור הוא הפולינום היחיד ממעלה $n$ כך ש-$n+1$ הנגזרות שלו מזדהות עם הנגזרות של $f$, ולכן הוא מקרב את $f$ בסביבה של $x_0$.
\end{remark}
\begin{example}
ניתן כמה דוגמאות לפולינומי טיילור של פונקציות מוכרות:
\begin{enumerate}
\item פולינום טיילור של $e^x$ סביב $x_0=0$ מסדר $n$ הוא $\displaystyle{\sum_{k=0}^n\frac{1}{k!}x^k}$.
\item פולינום טיילור של $\ln(1+x)$ סביב $x_0=0$ מסדר $n$ הוא $\displaystyle{\sum_{k=1}^n\frac{(-1)^k}{k}x^k}$.
\item פולינום טיילור של $\sin(x)$ סביב $x_0=0$ מסדר $2n+1$ הוא $\displaystyle{\sum_{k=0}^n\frac{(-1)^k}{(2k+1)!}x^{2k+1}}$.
\item פולינום טיילור של $\cos(x)$ סביב $x_0=0$ מסדר $2n$ הוא $\displaystyle{\sum_{k=0}^n\frac{(-1)^k}{(2k)!}x^{2k}}$.
\end{enumerate}
\end{example}
רוצים להבין \underline{כמה} פולינום טיילור קרוב לפונקציה. יש שני משפטים הנותנים לנו את היכולת למדוד את הקירוב:
\begin{thm}[פיתוח טיילור עם שארית בצורת פיאנו]
תהי $f:(a,b)\rightarrow\mathbb{R}$ פונקציה הגזירה $n$ פעמים, ותהי $x_0\in(a,b)$. נניח ש-\(P_n(x,x_0)\) פולינום טיילור של $f$ סביב $x_0$ מסדר $n$, ונרשום $R_n(x,x_0)=f(x)-P_n(x,x_0)$. אזי
$$\displaystyle{\lim_{x\to x_0}\frac{f(x)-P_n(x,x_0)}{(x-x_0)^n}}=\displaystyle{\lim_{x\to x_0}\frac{R_n(x,x_0)}{(x-x_0)^n}}=0$$
\end{thm}
\begin{thm}[פיתוח טיילור עם שארית בצורת לגראנז']
תהי $f:(a,b)\rightarrow\mathbb{R}$ פונקציה הגזירה $n+1$ פעמים, ותהי $x_0\in(a,b)$. נניח ש-\(P_n(x,x_0)\) פולינום טיילור של $f$ סביב $x_0$ מסדר $n$, ונרשום $R_n(x,x_0)=f(x)-P_n(x,x_0)$. אזי קיימת נקודה $c$ בין $x_0$ ל-$x$ שעבורה
$$f(x)-P_n(x,x_0)=R_n(x,x_0)=\frac{f^{(n+1)(c)}}{(n+1)!}(x-x_0)^{n+1}$$
(כמובן, $c$ תלוי ב-$x$).
\end{thm}
מהמשפט האחרון אפשר להגיע למסקנה לגבי אומדן השארית בחישוב עם פולינום טיילור:
\begin{corollary}
תהי $f:(a,b)\rightarrow\mathbb{R}$ פונקציה הגזירה $n+1$ פעמים, ותהי $x_0\in(a,b)$. נניח ש-\(P_n(x,x_0)\) פולינום טיילור של $f$ סביב $x_0$ מסדר $n$, ונרשום $R_n(x,x_0)=f(x)-P_n(x,x_0)$. עוד נניח שהנגזרת ה-$n+1$ של $f$ חסומה בין $x_0$ ל-$x$, כלומר קיים \(M>0\) שעבורו לכל $c$ בין $x_0$ ל-$x$, $\left|f^{(n+1)}(c)\right|\leq M$. אזי השגיאה מקיימת
$$|f(x)-P_n(x,x_0)|=|R_n(x,x_0)|\leq\frac{M}{(n+1)!}|x-x_0|^{n+1}$$
\end{corollary}