סאלינון
סאלינון (מיוונית: σαλινον - צלוחית למלח) היא צורה גאומטרית הבנויה מארבעה חצאי עיגולים בשלושה גדלים. את חצי העיגול הגדול (קוטר AB) נוגסים (חותכים) שני חצאי עיגולים קטנים יותר (קוטר AD וקוטר EB, זהים באורכם). למרכז חצי העיגול הגדול נוסף בכיוון ההפוך חצי-עיגול קטן (רדיוס DO).
הסאלינון הופיעה לראשונה בספר הלמות של ארכימדס כטענה 14:
יהי ACB חצי עיגול על AB כקוטר, ויהיו AD,BE קטעים כך שאורכם הנמדד מנקודות A ו-B בהתאמה שווה. על AD ו-BE נבנה חצאי עיגולים הפונים אל C, ועל DE כקוטר חצי עיגול בצד הנגדי. נניח שהאנך ל-AB דרך O, מרכז חצי העיגול הראשון, פוגש את חצאי העיגולים המנוגדים בנקודות C ו-F בהתאמה. אז השטח של הצורה התחומה על ידי כל היקפי חצאי העיגולים שווה לשטח של המעגל הנבנה על CF כקוטר.
ארכימדס הוכיח ששטח הסאלינון שווה לשטח העיגול שקוטרו FC.
הוכחה
[עריכת קוד מקור | עריכה]הרכב שטח הסאלינון:
שטח הסלינון הוא:
- מחצית העיגול הגדול ( רדיוס AO)
- ועוד: מחצית העיגול התחתון ( רדיוס DO )
- פחות: פעמיים חצי עיגול שנוגס בעיגול הגדול משני צדדיו ( קוטר AD ו EB ).
קביעת הרדיוסים של העיגולים ושטחיהם:
1. יהי רדיוס העיגול הגדול AO, שטח מחציתו יהיה:
2. יהי רדיוס העיגול התחתון DO, שטח מחציתו יהיה:
3. אזי, רדיוס העיגול הנוגס (החותך) את העיגול הגדול ( מחצית AD ) יהיה :
- ושטח העיגול יהיה: ( חישבנו עיגול ולא חצי עיגול משום שעלינו לחסר שני חצאים )
סך כל שטח הסאלינון:
ומצד שני:
הקוטר CF של המעגל בציור הוא סכום הרדיוסים AO + DO : ולפיכך הרדיוס הוא:
שטח העיגול עם רדיוס גם הוא:
ארבלוס
[עריכת קוד מקור | עריכה]אם הנקודות D ו-E יתלכדו עם הנקודה O נקבל צורה הקרויה ארבלוס, שגם בה עסק ארכימדס.
כאשר מסירים את הדרישה שהקטעים AD ו-BE יהיו שווים, מקבלים צורה שניתן לכנותה "סאלינון מוכלל"[1]. מקרה פרטי של סאלינון מוכלל כזה מתקבל כאשר הנקודות A ו-D מתלכדות, ואז מקבלים צורה המזכירה ארבלוס, אלא שבשונה מארבלוס שני חצאי המעגלים הקטנים שבו מנוגדים זה לזה. צורה זאת ניחנה בתכונות שהופכות אותה לשימושית במיוחד לצורך פתרון חידות חיתוך והרכבה העוסקות בחלוקת צורות מעוגלות לחלקים שווי שטח והיקף. בפרט, ניתן להשתמש בה לפתרון אלגנטי של בעיית חיתוך העיגול למספר שרירותי של חתיכות שוות שטח והיקף על ידי עקומות שמתחילות ונגמרות בהיקף העיגול ושאינן חותכות זו את זו או צמודות זו לזו[2]. הסיבה לכך נעוצה בקיום התכונות הבאות:
- לסוג זה של סאלינון יש שתי "צלעות" (האחת מורכבת משני חצאי המעגלים הקטנים ואילו השנייה היא חצי המעגל הגדול) שוות היקף.
- חישוב השטח של סאלינון כזה מראה שערכו כאשר D ו-r הם קוטר המעגל הגדול ביותר והמעגל הקטן ביותר, בהתאמה. הצבת מראה ששטח סאלינון כזה קטן פי n משטח העיגול הגדול.
- סאלינונים כאלה מקיימים יחס הכלה מוגדר היטב: סאלינון המוגדר על ידי קטע קטן יותר מוכל במלואו בסאלינון המוגדר על ידי קטע גדול יותר (כששניהם נבנים ביחס לאותו חצי מעגל).
שלוש תכונות אלו מאפשרות לחלק את העיגול ל-n חלקים שווי היקף ושטח באמצעות הבנייה הבאה: נחלק את קוטר המעגל ל-n קטעים שווים באמצעות נקודות המופיעות במרווחים שווים, ונבנה סאלינון המוגדר לפי כל אחת מהנקודות הללו. בנייה זאת מניבה חלוקה של העיגול ל-n חלקים שווי שטח והיקף, שכל אחד מהם תחום על ידי קשתות של מעגלים.