בציור שלושת הממים יש שתי טענות של אי שוויון
הטענה הראשונה....אורך קשת.. >... מאורך מיתר
הטענה השנייה.......אורך משיק... >...מאורך קשת
שתי הטענות הן גורפות, והן אמורות להתקיים בכל זווית
שתופיע בציור שלושת הממים, מזווית זעירה המתקרבת לאפס,
עד זווית גדולה המתקרבת ל 180 מעלות.
לטענה הראשונה יש הוכחה המבוססת על ידיעה טבעית.
ידיעה טבעית: למרחק הכי קצר בין שתי נקודות נתונות,
יש צורה ייחודית ושמה המוסכם הוא ישר.
את הישר ניתן להמחיש עם שרוך מתוח.
מי שהסכים לקבל את הידיעה הטבעית הזו, קיבל הוכחה
לטענה הראשונה.
הוכחה לטענת אי השוויון הראשונה:
היות והקשת והמיתר מופיעים בין אותן שתי נקודות.
(בזווית זעירה המרחק בין הנקודות יהיה זעיר )
והיות שלמיתר יש צורת קו ישר, ולקשת צורת קו עגול.
הרי בהכרח יציג המיתר את המרחק הכי קצר בין הנקודות,
ולכן תמיד מתקיים... אורך קשת...> ...מאורך מיתר.
טענת אי השוויון הראשונה היא טענה נכונה וגורפת לכל זווית
שתופיע בציור שלושת הממים.
והיות שאורך המיתר הוא צלע של מצולע משוכלל החסום במעגל,
אפשר לטעון עוד טענה גורפת.
היקף מעגל החוסם מצולע משוכלל..>.. מהיקף המצולע החסום בו.
ובניגוד גמור, לטענת אי השוויון השנייה אין הוכחה גורפת
אם הזווית בציור שלושת הממים תהיה בת 120 מעלות,
נבחין בקלות כי אורך משיק > אורך קשת
אבל אם זווית זו תהיה בת 60 מע', נצטרך להיעזר בסרגל
כדי לקבוע שאכן אורך המשיק > מאורך הקשת
אבל אם זווית זו תהיה בת 30 מעלות, אפילו הסרגל לא
יוכל לקבוע בוודאות כי אורך המשיק > מאורך הקשת
ואם הזווית תהיה בת 15 מעלות .. לא נדע מי ארוך ממי
אין הוכחה גורפת לטענה אורך המשיק > אורך הקשת
והיות שהמשיק הוא צלע של מצולע משוכלל החוסם
מעגל המופיע בציור שלושת הממים, לא נוכל לטעון באופן גורף
כי....היקף מצולע משוכלל החוסם מעגל > מהיקף המעגל החסום בו.
טענה זו תהיה נכונה רק למצולעים משוכללים בעלי כמות צלעות קטנה
כמו 12 צלעות.
לתוצאה זו השפעה מכרעת על הערכת רוחב תחום מספרי,
שבו אמור להיות מספר היחס בין היקף המעגל ורדיוסו.
היקף המצולע החסום במעגל מספר גבול תחתון של התחום
בהיעדר ההוכחה האמורה, מספר גבול עליון של התחום כלל לא ידוע.
מי מכיר הוכחה פשוטה, קצרה, יפה, ואלגטית, לטענת אי השוויון השנייה.
א.עצבר.