משפט רול
משפט רול
תהי [math]\displaystyle{ f }[/math] פונקציה רציפה בקטע [math]\displaystyle{ [a,b] }[/math] וגזירה בקטע [math]\displaystyle{ (a,b) }[/math] כך ש- [math]\displaystyle{ f(a)=f(b) }[/math] .
אזי קיימת נקודה [math]\displaystyle{ c\in (a,b) }[/math] עבורה מתקיים [math]\displaystyle{ f'(c)=0 }[/math] .
הוכחה
נוכיח כי קיימת נקודת קיצון מקומית [math]\displaystyle{ c\in (a,b) }[/math] ולכן המשל נובע ממשפט פרמה.
לפי משפט ויירשטראס השני, כיון שהפונקציה רציפה בקטע סגור היא מקבלת בו מינימום ומקסימום.
נחלק לשני מקרים: נניח המינימום וגם המקסימום מתקבלים בקצות הקטע [math]\displaystyle{ [a,b] }[/math] . על כן, כיון ש- [math]\displaystyle{ f(a)=f(b) }[/math] אנו מקבלים כי המקסימום והמינימום שווים ולכן הפונקציה קבועה בקטע. לכן כל נקודה בקטע היא נקודת קיצון מקומית, וקיבלנו את התוצאה הדרושה.
אחרת, המינימום או המקסימום מתקבלים בקטע הפתוח [math]\displaystyle{ (a,b) }[/math] ולכן הן נקודות קיצון מקומיות, ושוב קיבלנו את התוצאה הדרושה.