שינויים
פונקציה ממשית היא '''רציפה במידה שווה''' בקטע I אם לכל <math>\ \epsilon>0</math> קיים <math>\ \delta > 0</math> כך שלכל <math>x,y </math> בקטע, אם <math>\ |x-y|<\delta</math> אז <math>\ Big|f(x)-f(y)\Big|<\epsilon</math>. תכונה זו גוררת [[פונקציה רציפה|רציפות]] של הפונקציה בכל נקודה, ובדרך כלל היא חזקה יותר.
===הוכחה===
תהי <math>f </math> בעלת נגזרת חסומה בקטע <math>A</math> . נניח בשלילה שהיא אינה רציפה במ"ש לכן קיימות שתי סדרות <math>x_n,y_n</math> בקטע המקיימות
לכן קיימת תת -סדרה כך ש:-
(זוהי תת -הסדרה המתכנסת לגבול העליון. אם הגבול העליון היה שווה אפס <math>0</math> סדרת הערכים המוחלטים הייתה מתכנסת).
נובע מכאן כי הסדרה
אינה חסומה.
אבל לפי משפט לגראנז', קיימות נקודות <math>c_{n_k}</math> בין <math>x_{n_k},y_{n_k}</math> כך ש-
ולכן הנגזרת אינה חסומה, בסתירה.
[[קטגוריה:אינפי]]