==שאלה 1==נניח כי f פונקציה רציפה ב- <math>[0,\infty)</math>, גזירה ב- <math>(0,\infty)</math>. בנוסף נתון כי <math>f(0)=0</math> והנגזרת <math>f'</math>מונוטונית עולה ב- <math>(0,\infty)</math>.
א. הוכיחו כי <math>f'אני יודעת שאתמול הוכחת לנו את זה לפני השיעור חזרה, אבל זה היה ממש לא מסודר ולא ממש הצלחתי לעקוב, אז אני אשמח אם אתה (x)\geq \frac{fאו מישהו אחר בכיף(x:)}{x}</math> ביתן תשובה:ככה: T נורמלי הוכח ש- <math>im(0,\inftyT)=im(T^*)</math>.
ב. הוכיחו כי הפונקציה <math>g(x)=\frac{f(x)}{x}</math> מונוטונית עולה ב- <math>(0,\infty)</math>.
===פתרון===
א. יהי <math>x>0</math>. נפעיל את משפט לגראנג' על הפונקציה f בקטע <math>[0,x]</math>. לכן קיימת נקודה <math>0<c<x</math> כך ש:
::<math>f'(c)=\frac{f(x)-f(0)}{x-0}=\frac{f(x)}{x}</math>
אבל מתוך מונוטוניות הנגזרת, אנו מקבלים:
::<math>f'(x)\geq f'(c) = \frac{f(x)}{x}</math>
כפי שרצינו.
ב. נוכיח כי הנגזרת חיובית ולכן הפונקציה מונוטונית עולה
::<math>g'(x)=\frac{xf'(x)-f(x)}{x^2}</math>
כיוון שהמכנה חיובי תמיד, סימן הנגזרת נקבע על ידי המונה. אבל לפי סעיף א':
::<math>xf'(x)-f(x)\geq x\frac{f(x)}{x}-f(x)=0</math>
=טיילור=
כיוון שכפל וחיבור הן פעולות שקל לחשבן, פולינומים הן פונקציות שקל לחשבן את ערכן בכל נקודה. לכן, בהנתן פונקציה כללית f, היינו שמחים למצוא פולינום קרוב אליה. כלומר, היינו רוצים למצוא פולינום p כך שהשארית
::<math>R(x)=f(x)-p(x)</math>
תהא "מינימלית". שימו לב כי הגדרת המינמליות תלוייה בצורך. לדוגמא ייתכן ונרצה כי השארית תהא חסומה על כל הממשיים או תשאף לאפס בנקודה מסויימת.
==פולינום טיילור==
'''פולינום טיילור סביב נקודה a''' מדרגה n הינו פולינום מהצורה:
::<math> P_n(x)=\sum_{i=1}^n\frac{f^{(i)}(a)}{i!}(x-a)^i</math>
כאשר <math>f^{(n)}</math> היא הנגזרת ה-n של f
שימו לב שבאופן ברור מההגדרה קיום פולינום טיילור מדרגה n דורש שהפונקציה תהא גזירה לפחות n פעמים בנקודה a. אנחנו נראה מיד שעל מנת להעריך את השגיאה של הפולינום נדרוש כי הפונקציה תהא גזירה '''לפחות n+1''' פעמים '''באיזור''' הנקודה a.
פולינום טיילור משמש לקירוב פונקציות מסיבות שנראה בהמשך ([[טור חזקות]]), ובזכות [[משפט טיילור עם שארית לגראנז']]
==שארית לגראנז'==
תהי f פונקציה ממשית הגזירה n+1 פעמים בסביבה מסויימת של נקודה a. אזי לכל x בסביבה קיימת נקודה c בין x לבין a כך ש:
::<math>R_n(x)=f(x)-P_n(x)=\frac{f^{(n+1)}(c)}{(n+1)!}(x-a)^{n+1}</math>
כאשר <math>P_n</math> הינו [[פולינום טיילור]] מדרגה n
'''שימו לב''' כי הנקודה c תלוייה ב-x
==שאלה 1==
תהי f פונקציה בעלת חמש נגזרת רציפות על הממשיים. נניח ש <math>f(0)=f'(0)=...=f^{(4)}(0)=0</math> וגם <math>f^{(5)}(0)>0</math>. עוד נניח שלכל <math>x\neq 0</math> מתקיים <math>f'(x)\neq 0</math>. הוכיחו שלכל <math>x>0</math> מתקיים <math>f(x)>0</math>
===הוכחה===
מכיוון שהפונקציה ו4 נגזרותיה מתאפסות באפס, פולינום טיילור מסדר 4 בסביבת הנקודה אפס שווה זהותית לאפס. השארית היא מהצורה דבר ראשון נוכיח ש<math>\frac{f^{ker(5T)}=ker(cT^*)}{5!}x</math>. נניח <math>v \in kerT</math> לכן <math>Tv=0</math> ולכן <math>\forall u: <T^5*Tv,u>=<0,u>=0</math> כאשר אבל <math>T^*T=TT^*</math> ולכן <math>\forall u: <TT^*v,u>=0<c/math> ולכן <xmath>\forall u: <T^*v,T^*u>=0</math>ובפרט זה נכון עבור v=u ולכן <math><T^*v,T^*v>=0</math> ולכן <math>T^*v=0</math> כלומר <math>v \in ker T^*</math>. בכיוון ההפוך ההוכחה דומה.
מכיוון ש<math>f^{(5)}(0)>0</math> והנגזרת החמישית רציפה, אז קיימת סביבה של אפס בה <math>f^{(5)}>0</math>. לכן בסביבה ימנית של אפס מתקיים <math>f(x)=\frac{f^{(5)}(c)}{5!}x^5>0</math>.
נותר להוכיח שעכשיו נוכיח את הטענה. <math>f(x)v \in kerT</math>אם"ם <math>\forall u: <Tv,u>=0</math> עבור אם"ם <math>x\forall u: <v,T^*u>=0</math> גם מחוץ לסביבה הימנית הזו. נניח בשלילה ש אם"ם <math>fv \in (xImT^*)^\leq 0bot</math> אזי לפי משפט ערך הביניים ולכן <math>fkerT = (xImT^*)=0^\bot</math> עבור איזה . בצורה דומה <math>x>0kerT^*=(ImT)^\bot</math>. אבל גם הגרעינים שווים ולכן <math>f(0ImT)^\bot=0(ImT^*)^\bot</math> ולכן לפי משפט רול הנגזרת מתאפסת עבור נקודה גדולה מאפס בסתירהומזה נובע שהם שווים (כי המרחב המאונך הינו יחיד, והמאונך של המאונך הינו המרחב עצמו).
