תרבוע הפרבולה
תרבוע הפרבולה (ביוונית: Τετραγωνισμὸς παραβολῆς) הוא חיבור על גאומטריה, שנכתב על ידי ארכימדס במאה ה-3 לפנה"ס. כשהוא נכתב כמכתב לחברו דוסיתאוס, העבודה מכילה 24 טענות בנוגע לפרבולות, ותוצאת הכתר שלה היא ההוכחה שהשטח של מקטע פרבולי (השטח התחום על ידי פרבולה וקו ישר) שווה ל-4/3 שטחו של משולש חסום מסוים.
![מקטע פרבולי.](http://upload.wikimedia.org/wikipedia/commons/thumb/b/be/Parabolic_Segment.svg/243px-Parabolic_Segment.svg.png)
הניסוח של הבעיה נעזר בשיטת המיצוי. ארכימדס חילק את השטח התחום לאינסוף משולשים אשר שטחיהם יוצרים סדרה הנדסית. הוא מחשב את הסכום של הטור הגאומטרי המתקבל, ומוכיח שזהו השטח של המקטע הפרבולי. זה מייצג את אחד השימושים המתוחכמים ביותר בשיטת המיצוי במתמטיקה של העת העתיקה, ונשאר כזה עד הפיתוח של החשבון האינטגרלי במאה ה-17, אז הוא הוחלף בידי עקרון קאוואליירי.
המשפט המרכזי
עריכהמקטע פרבולי הוא האזור התחום על ידי פרבולה וישר. כדי למצוא את השטח של מקטע פרבולי, ארכימדס בונה משולש חסום מסוים. הבסיס של המשולש הזה הוא הקטע על הקו הישר המוקצה על ידי הפרבולה, והקודקוד השלישי של המשולש הוא הנקודה על הפרבולה בה המשיק לפרבולה מקביל לבסיס המשולש. לפי טענה 1, קו מהקודקוד השלישי אשר מקביל לציר הפרבולה מחלק את הבסיס של המשולש למקטעים שווים. המשפט המרכזי קובע כי השטח של המקטע הפרבולי שווה ל-4/3 שטחו של המשולש החסום.
מבנה הטקסט
עריכהארכימדס נותן שתי הוכחות של המשפט המרכזי. הראשונה נעזרת במכניקה מופשטת, ועושה שימוש בעקרון המנוף. השנייה, והמפורסמת יותר, נעזרת בגאומטריה טהורה, ובשיטת המיצוי.
הוכחה גאומטרית
עריכהחיתוך המקטע הפרבולי
עריכההרעיון המרכזי של ההוכחה הוא החלוקה של המקטע הפרבולי למספר אינסופי של משולשים, באופן כזה שכל משולש נחסם במקטע הפרבולי שלו באותו אופן שהמשולש הכחול נחסם במקטע הגדול.
שטחי המשולשים
עריכהבטענות 18 עד 21, ארכימדס מוכיח שהשטח של כל משולש ירוק הוא שמינית אחת משטח המשולש הכחול. זה נובע מההוכחה של ארכימדס שלמשולש הירוק רוחב ששווה למחצית רוחבו של המשולש הכחול וגובה ששווה לרבע גובהו של המשולש הכחול. הטענה שהגובה של המשולש הירוק שווה לרבע גובהו של המשולש הכחול נובעת מיישום הטענה הראשונה (טענה 1) שארכימדס הוכיח בחיבור למקטע הפרבולי בו חסום המשולש הירוק, ומן הגאומטריה של הפרבולה.
לאחר מכן, ארכימדס מרחיב את הטיעון הזה הלאה, ומוכיח שלכל אחד מהמשולשים הצהובים יש שטח ששווה לשמינית שטחו של המשולש הירוק, ושלכל אחד מהמשולשים האדומים יש שטח ששווה לשמינית משטח המשולש הצהוב, וכך הלאה. באמצעות שיטת המיצוי, נובע שהשטח הכולל של המקטע הפרבולי ניתן על ידי:
כאשר T מייצג את השטח של המשולש הגדול הכחול, האיבר השני מייצג את השטח הכולל של שני המשולשים הירוקים, האיבר השלישי מייצג את השטח הכולל של שני המשולשים הצהובים, וכך הלאה. הביטוי לעיל מתפשט ל-:
סיכום הטור
עריכהכדי להשלים את ההוכחה, ארכימדס מראה ש-:
הנוסחה לעיל היא טור גאומטרי, כל איבר הוא רבע מהאיבר הקודם לו. ארכימדס מעריך את הסכום בשיטה גאומטרית לחלוטין - ארכימדס מעריך את הסכומים החלקיים ומשתמש בתכונה הארכימדית כדי לטעון שהסכומים החלקיים נעשים קרובים בצורה שרירותית ל-4/3. זה שקול לוגית לרעיון המודרני של סיכום טור אינסופי. התמונה משמאל ממחישה את הסיכום של טור אינסופי כזה. התמונה מראה ריבוע יחידה שחולק לאינסוף ריבועים קטנים יותר. כל ריבוע סגול הוא בעל שטח של 1/4 מהריבוע הקודם לו, וכך השטח הסגול הכולל מסתכם ל-:
אבל הריבועים הסגולים קונגרואנטיים לכל אחת מקבוצות הריבועים הצהובים, ולכן מכסים 1/3 משטח ריבוע היחידה. מכך נובע שהסכום לעיל מסתכם ל-4/3.