שינויים

במייזלר יש הוכחה שמשתמשת בטענת עזר שקשורה בחיתוך עם ציר ה-x של הפונקצייה. למה לא לפשט את זה להוכחה כזו (האם היא תקינה?):

תהי f רציפה ב-[a,b], אזי אם <math>f(a)<y<f(b)</math> נבנה סדרת קטעים <math>I_n=[a_n,b_n]</math> כך ש- <math>f(a_n) \le y \le f(b_n)</math> , כאשר <math>I_1=[a,b], I_n=[a_n,b_n]</math>, ו-<math>c_n</math> מוגדרת: <math>c_n=0.5(a_n+b_n)</math>, כך שאם <math>f(c_n)\le y</math> נגדיר <math>I_{n+1}=[c_n,b_n]</math>, ואחרת <math>I_{n+1}=[a_n,c_n]</math> . לפי קנטור קיימת נק' יחידה <math>x_0</math> באמצע כך ש- <math>lim(a_n)=lim(b_n)=x_0</math> , ובגלל הרציפות של f נקבל ש- <math>f(a_n)</math> ו- <math>f(b_n)</math> שואפים להיות y.