שינויים
כעת, נציב במש' ישר עם הנקודה <math>(0,\frac{1}{2})</math>, ונקבל:
<math>y=\frac{1}{2}+\frac{1}{4}x</math>.
8) היה במערכי התרגול. הראינו שהיא עולה וחסומה.
9) בשביל לבדוק התכנסות בהחלט, נשתמש במבחן קושי: נחפש את הגבול העליון של <math>8(\frac{n}{n+2})^n</math>.
<math>8(\frac{n}{n+2})^n=8(1-\frac{2}{n+2})^n=8(1-\frac{1}{\frac{n+2}{2}})^{\frac{(n+2)}{2}\cdot 2-2}=8((1-\frac{1}{\frac{n+2}{2}})^{\frac{(n+2)}{2}})^2\cdot (1-\frac{1}{\frac{n+2}{2}})^{-2}</math>
קיבלנו גורם 8, גורם <math>(e^{-1})^2</math>, וגורם 1. לכן הגבול, ובפרט הגבול העליון, הוא <math>\frac{8}{e^2}>1</math>, (מסכן מי ששכח להביא מחשבון - זה יוצא די קרוב ל-1) ולכן הטור הנתון אינו מתכנס בהחלט.
באותו האופן, <math>h(-1)=f(-1)-(-1)^2=f(-1)-1<0</math> ולכן יש ל-<math>h </math> שורש בקטע <math>(-1,0)</math>. כל שורש של h הוא נקודה בה הפונ' שוות, ומצאנו שיש לפחות 2 כאלה.
12 קליין) נגדיר פונקצייה h על ידי <math>\forall x \in I: h(x)=f(x)-x</math>.
h מתאפסת בשתי נקודות שונות בקטע <math>I</math> ולכן לפי משפט רול קיימת נק' בפנים הקטע בה נגזרתה מתאפסת. כלומר <math>\exists c \in I: h'(c)=0</math>. לכן <math>h'(c)=(f(x)-x)'=f'(x)-1=0\Rightarrow f'(x)=1</math>. מש"ל.
12 הורוביץ) פונ' רציפה בקטע סגור מקבלת בו מקסימום ומינימום (ויירשטראס II). בשלילה, נניח שהאינפימום אינו חיובי, ומייד נקבל סתירה שכן הפונ' צריכה לקבל את האינפימום שלה, ובנקודה זאת הפונ' תהיה אי-חיובית, בסתירה.
<math>\blacksquare</math>
