משפט ערך הביניים – הבדלי גרסאות

(היסטוריה. מתברר שלפני ההגדרה המקובלת לרציפות של פונקציה, היו שרצו להגדיר אותה באמצעות תכונת ערך הביניים.)
== היסטוריה ==
 
עוד קודם ההוכחה הפורמלית למשפט ערך הביניים נעשה שימוש בתכונת ערך הביניים, ו[[סיימון סטאבין]] אף הוכיח את קיום התכונה עבור פולינומים. לפני ההגדרה הפורמלית של [[רציפות]], היו שעשו שימוש בתכונת ערך הביניים כדי להגדיר מושג זה. המשפט הוכח לראשונהאותה, בידיאולם [[ברנרד בולצנו]] (בשנת [[1817]]) ופעם נוספת בידי ו[[אוגוסטן לואי קושי]] (בשנת [[1821]]. שניהם) הבינו שכדי לנסח מושגאת זהמשפט ערך הביניים באופן מדויק יש להגדיר את[[רציפות]] באופן המוכר תכונתלנו הרציפותכיום.
 
== ראו גם ==