משפט רול

תהי [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] ולכן הן נקודות קיצון מקומיות, ושוב קיבלנו את התוצאה הדרושה.

ראו גם