משפט

אם ${\displaystyle f}$ גזירה בקטע ${\displaystyle (a,b)}$ ומתקיים ${\displaystyle f'(x)=0}$ לכל ${\displaystyle x\in (a,b)}$ , אזי ${\displaystyle f}$ קבועה בקטע ${\displaystyle (a,b)}$ .

הוכחה

יהיו ${\displaystyle x_{1},x_{2}\in (a,b)}$ ונניח ללא הגבלת הכלליות כי ${\displaystyle x_{1}<x_{2}}$ .

${\displaystyle f}$ גזירה בקטע ${\displaystyle (a,b)}$ , ובפרט גזירה בקטע הפתוח ${\displaystyle (x_{1},x_{2})}$ ורציפה בקטע הסגור ${\displaystyle [x_{1},x_{2}]}$ .

תנאי משפט הערך הממוצע של לגראנז' מתקיימים, לפיכך קיים ${\displaystyle c\in (x_{1},x_{2})}$ עבורו

${\displaystyle f'(c)={\frac {f(x_{2})-f(x_{1})}{x_{2}-x_{1}}}=0}$

מכך נובע כי ${\displaystyle f(x_{2})-f(x_{1})=0}$ , כלומר ${\displaystyle f(x_{1})=f(x_{2})}$ .

לכן ${\displaystyle f}$ קבועה בקטע ${\displaystyle (a,b)}$ .

${\displaystyle \blacksquare }$