משפט הוא עובדה, אמירה שהיא נכונה וצריך להוכיח אותה. מרגע שמוכיחים משפט הוא נכון תמיד.(גם בסין, גם בברזיל וכו')
תהי פונקציה שמוגדרת בקטע ותהי נקודת קיצון של שבה גזירה.
אזי, .
כעת נסביר את המשפט:
- קטע פתוח המסומן , משמעו .
- נקודת קיצון היא מקסימום או מינימום מקומי. למשל, מקסימום מקיימת:
לכל בסביבה של - גזירה באינטואיציה משמעה גרף חלק. נזכור כי מסמלת נגזרת, משמע, שיפוע המשיק.
שרבוט הינו מעולה לאינטואיציה אך אינו הוכחה.
המשפט הינו מהתיכון: "גוזרים ומשווים לאפס"
תהי פונקציה רציפה בקטע וגזירה בקטע ונניח כי .
אזי, קיימת בין ל- כך ש-.
נסביר את המשפט:
- פונקציה רציפה משמעה באינטואיציה הוא שניתן לשרטט את הגרף מבלי להרים את העט מהדף.
- קטע סגור : .
נשרבט ונשתכנע כי המשפט נכון:
אם הפונקציה לא קבוע(כלומר, לא קו ישר), הפונקציה צריכה או לעלות או לרדת, אבל לא ניתן פשוט להמשיך לעלות/לרדת שכן . לכן, נצטרך לבצע את הפעולה ההפוכה כדי להגיע בחזרה ל- ולכן, מכיוון שעלינו וירדנו, ישנה נקודת קיצון.
תהי פונקציה רציפה בקטע וגזירה בקטע .
אזי, קיימת כך ש-
אם מסתכלים על הגרף עם הראש מוטה הצידה, נוכל לראות בערך את משפט רול.
זו הכללה של רול
יהיו פונצקיות רציפות ב- וגזירות ב- ונניח כי לכל .
אזי:
- מתקיים:
- קיימת כך ש-
בואו נוכיח את 1.
הוכחה: בשלילה
נניח כי . נתון כי .
ע"פ משפט רול, קיימת נקודה בה ולכן הגענו לסתירה.
∎
רעיון להוכחה שאינו נכון:
הפונקציה מקיימת את התנאים של לגראנג'. גם מקיימת את התנאים הנ"ל.
ההוכחה אינה נכונה שכן אינה אותה ב- וב-.
לכן, המשוואה ממקודם היא בעצם .
זו הכללה של לגראנג'.
נפעיל את קושי על כללית ועל .
נאמר כי אם לכל קיים כך ש-
צנזור מאחל בהצלחה! ומוסר כי חשוב לא לפחד לטעות.