מבוא לניתוח האינסוף

מבוא לניתוח האינסוף (בלטינית: Introductio in analysin infinitorum) הוא חיבור בעל שני כרכים של המתמטיקאי לאונרד אוילר, שהניח רבים מהיסודות לאנליזה מתמטית. הוא נכתב בלטינית ופורסם ב-1748, והכיל 18 פרקים בכרך הראשון ו-22 פרקים בכרך השני. היסטוריון המדע Carl Boyer  השווה בין ההשפעה של חיבורו זה של אוילר לזו של היסודות של אוקלידס, וקרא ליסודות "הטקסט המתמטי החשוב ביותר של העת העתיקה" ולחיבורו של אוילר "הטקסט החשוב ביותר של הזמנים המודרניים". Boyer כתב גם:

התרגום הראשון שלו לאנגלית נעשה ב-1988 על ידי ג'ון ד. בלאנטון. התרגום השני שלו, על ידי איאן ברוס, זמין ברשת. 

הפרק הראשון הוא על מושגי היסוד של משתנים ופונקציות. פרק 4 מציג טורים אינסופיים באמצעות פונקציות רציונליות. לפי  Henk Bos:

אוילר השיג זאת באמצעות התייחסות לפונקציה המעריכית ax לפי בסיס שרירותי a מהמספרים הממשיים החיוביים. הוא ציין שהפונקציה המוגדרת בדרך זאת אינה פונקציה אלגברית של x, אלא פונקציה טרנסצנדנטית. בעבור a > 1 הפונקציות הללו הן מונוטוניות עולות ומהוות התאמה חד-חד ערכית ועל מהישר הממשי למספרים הממשיים החיוביים. לאחר מכן הוא מכנה בפרק 6 לכל בסיס a את הפונקציה ההפוכה לפונקציה המעריכית "הלוגריתם לפי בסיס a".  בפרק 7, אוילר מגדיר את e כמספר אשר הלוגריתם ההיפרבולי שלו הוא 1. הרפרנס כאן הוא לגרגואיר דה סנט וינסנט אשר ערך תרבוע של ההיפרבולה y = 1/x באמצעות תיאור של הלוגריתם ההיפרבולי. בחלק 122 הוא מתייג את הלוגריתם לפי בסיס e "כלוגריתם הטבעי או הלוגריתם ההיפרבולי... ומכיוון שתרבוע ההיפרבולה ניתן לביטוי באמצעות הלוגריתמים הללו". כאן הוא מביא גם את הטור האינסופי:

אז בפרק 8 אוילר מציג את הפונקציות הטריגונומטריות הקלאסיות "כפונקציות טרנסצנדנטיות הנובעות מהמעגל". הוא מציג את מעגל היחידה, וגוזר את נוסחת אוילר באנליזה מרוכבת. פרק 9 עוסק בגורמים טרינומיים של משוואות פולינומיות. פרק 16 עוסק בחלוקות של מספרים, נושא מרכזי בתורת המספרים. שברים משולבים נידונים בפרק 18.

תוכן העניינים של החיבור

ספר ראשון 
פרק 1: על סוגי הפונקציות.

פרק 2: טרנספורמציות של פונקציות. 

פרק 3: טרנספורמציות של פונקציות על ידי הצבות.

פרק 4: פיתוח של פונקציות על ידי טורים אינסופיים.

פרק 5: פונקציות של שני משתנים או יותר.

פרק 6: בנוגע לפונקציות אקספוננציאליות או לוגריתמיות.

פרק 7: פיתוח פונקציות לוגריתמיות ואקספוננציאליות לטורים.

פרק 8: על גדלים טרנסצנדנטיים הנגזרים מהמעגל.

פרק 9: בנוגע לחקירת גורמים טרינומיים.

פרק 10: בנוגע לשימוש בגורמים שנמצאו מקודם לצורך הגדרת סכומים של טורים אינסופיים.

פרק 11: בנוגע למכפלות אינסופיות של סינוסים.

פרק 12: בנוגע לפיתוח של פונקציות שבריות.

פרק 13: על טורים המוגדרים על ידי יחס נסיגה.

פרק 14: על הכפלה וחלוקה של זוויות.

פרק 15: טורים הנגזרים מפיתוח של גורמים.

פרק 16: בנוגע לחלוקות של מספרים.

פרק 17: השימוש בטורי נסיגה לצורך חקירת שורשים של משוואות.

פרק 18: שברים משולבים.

הנושאים שנידונים בספר הראשון כוללים: הגדרת הפונקציה וההבחנה בין פונקציות רב-ערכיות ופונקציות חד-ערכיות ובין פונקציות אי-זוגיות לפונקציות זוגיות (בפרק 1). נידונות בו בעיות של פירוק פולינומים לגורמים הקשורות למשפט היסודי של האלגברה, טכניקות וזהויות אנליטיות שונות הכוללות: הצבות, טורים אינסופיים, פונקציות אקספוננציאליות ולוגריתמים, פיתוח לשברים חלקיים, זהויות טריגונומטריות הקשורות למכפלות וסכומים ארוכים של סינוסים של זוויות שונות, כמו גם תוצאות חשובות ומתקדמות יותר כגון חישוב הערכים הטבעיים הזוגיים של פונקציית זטא  (בעיית בזל המוכללת), זהויות על מכפלות וטורים אינסופיים, ותוצאות רבות על חלוקות של מספרים. חלק גדול מהפרקים האחרונים של הספר הראשון מוקדש לפיתוח הטכניקות האנליטיות של פונקציות יוצרות ושברים משולבים.

ספר שני 
הספר השני עוסק בעיקר במיון עקומים אלגבריים: אוילר עוסק בו בתאוריה שמאחורי חתכי חרוט וממשיך את מיון העקומים המעוקבים של ניוטון - בין היתר הוא ממיין עקומים ממעלה רביעית ומפשט את המיון של ניוטון (של עקומים מעוקבים) באמצעות שלל הגדרות ומושגים חדשים.

נספחים על משטחים

ראו גם 
 לאונרד אוילר

קישורים חיצוניים

ערכים שבהם תבנית בריטניקה אינה מתאימה
ספרי מתמטיקה