משוואה ראשונה: נובעת מהגדרת הגבול, בחרתי epsilon= (f'(x_0)-L)/2 ואז אתה יודע שקיים r עבור האפסילון כך שלכל |x-x_0|<r| מתקיים: |f'(x)-L|<epsilon| ועכשיו תפתח את הערך המוחלט ותעביר אגף ותקבל את הראשון. עבור השני: מתקיים: f'(x_0-r/2)<(L+f'(x_0))/2 (על פי המשוואה הראשונה ומכיוון ש: x_0-r/2 נמצא בסביבה ה- r של x_0 כמו כן: f'(x_0)<(L+f'(x_0))/2 (על פי ההנחה שלנו ש: f'(x_0)>L) לכן אם נסמן h=(L+f'(x_0))/2 אזי: f'(x_0-r/2)<h<f'(x_0) d לכן משפט דארבו אומר לך (תראה את הציטוט המלא בלינק שהבאתי בויקפדיה) שקיים c בין x_0-r/2 לבין x_0 כך ש: f'©=h וזו סתירה (כי |c-X_0|<r| כמובן לכן זו סתירה למשוואה הראשונה)