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