אז מה זה חשבון דיפרנציאלי ואינטגרלי?

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

תיאור פשטני אבל יחסית מדויק הוא שהחדו”א עוסקת בגדלים שהם “קטנים עד אינסוף” ו”גדולים עד אינסוף” ומנסה לתת להם משמעות מדוייקת ולעבוד איתם בצורה מסודרת. תיאור קצת יותר כללי הוא שהחדו”א עוסקת בשני מושגים מתמטיים מרכזיים - הנגזרת והאינטגרל - ששניהם קשורים לאותם רעיונות של “קטן/גדול עד אינסוף”, ובין שניהם יש קשרים לא טריוויאליים. יש כמה דרכים שונות להציג את שני המושגים הללו ואני לא מתחייב לבחור את הנכונה ביותר - רק את זו שנראית לי הכי ברורה ומעניינת.

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

מרגע שידועה לנו הנגזרת של דבר מה שכזה (דבר מה שנקרא פשוט “פונקציה” - במקרה שלנו, משהו שקושר בין הזמן שחלף ובין המיקום של הטיל), ניתן להפיק עליו מידע. כך למשל מציאת הזמן המדוייק שבו מהירות הטיל היא 0 (כלומר, הנגזרת של המקום היא 0) מראה לנו את הזמן שבו גובה הטיל היה מקסימלי. זהו שימוש אלמנטרי וחשוב של הנגזרת - מציאת נקודות מקסימום ומינימום. שימוש אחר של הנגזרת הוא בבניית מודלים מתמטיים של סיטואציות מורכבות. למשל, כזו שבה המיקום של גוף נע משפיע על המהירות שלו, ולא רק ההפך (למשל, בדוגמת הטיל - ככל שהטיל גבוה יותר, כך כוח המשיכה שכדור הארץ מפעיל עליו חלש יותר, ולכן קל יותר להגדיל את מהירות הטיל - למעשה, אפשר לתאר זאת במשוואה כקשר בין המיקום ובין התאוצה). תיאורים מורכבים שכאלו מכונים משוואות דיפרנציאליות, ומודלים רבים בפיזיקה מתבססים עליהן. עוד שימוש לנגזרת הוא בבניית קירובים לפונקציות - ידע על הנגזרות של פונקציות מסויימות מאפשר לנו לחשב אותן ביעילות באמצעות מחשב (זה האופן שבו מחשבונים “יודעים” לחשב פונקציות מסובכות).

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

מבחינה היסטורית החדו”א התחיל להתפתח באופן רציני במאה ה-17 (אף שהדים קלושים שלו נמצאים כבר בעבודתם של היוונים הקדמונים - בפרט אצל ארכימדס). תרומה נכבדה להתפתחות החדו”א נזקפת לזכות פייר דה פרמה (שאולי שמעתם את שמו בהקשר של “המשפט האחרון של פרמה”), אך פריצת הדרך האמיתית הגיעה בעבודותיהם של אייזק ניוטון וגוטפריד לייבניץ שפיתחו (בנפרד, מאוד בנפרד) מאוד את התיאוריה ובפרט מצאו את הקשר שבין הנגזרת והאינטגרל. מכיוון שכל אחד מהם טען לזכות הראשונים על ההמצאה התפתחה מעין “מלחמה” בין שתי אסכולות מתמטיות - תומכי ניוטון ותומכי לייבניץ - שהדים לה קיימים אף כיום, בשיטות סימון שונות שבהם משתמשים כדי לתאר נגזרות.

לאחר ניוטון ולייבניץ החדו”א הפסיק להיות אוסף של כמה טכניקות מבודדות והפך להיות תורה מתמטית סדורה - וכזו שעליה הסתמך ניוטון במודל הפיזיקלי שהציע לעולם (מודל כה חשוב ומוצלח עד כי גם כיום הוא הראשון שאותו לומדים בלימודי הפיזיקה; ואכן, אף שהמציאות מורכבת יותר ממנו, הוא מהווה תיאור טוב של הפיזיקה בה אנו נתקלים בחיי היום יום). אלא שהחדו”א אז עדיין היה שונה במהותו מהחדו”א שנלמד היום, שכן חסר לו ביסוס פורמלי. את הרעיון של “קטן עד אינסוף” שהוא לב לבה של החדו”א תיארו באמצעות יצור מתמטי שכונה “אינפיניטסימל” שהיה בדיוק זה - מספר “קטן עד אינסוף”, אף שלא היה ברור עד הסוף מה זה אומר. חשוב להבין שהמתמטיקה של אותן שנים הייתה שונה מאוד מהמתמטיקה של ימינו ברמת הפורמליות והדיוק שלה ציפו המתמטיקאים; הגישה הכללית הייתה שאם התוצאה יוצאת נכונה, אז סוף טוב הכל טוב. גם מתמטיקאי מאוחר יותר, אחד מגדולי המתמטיקאים בכל הזמנים - לאונרד אוילר - נקט בגישה זו. רבות מההוכחות שלו כיום לא היו עומדות במבחן הפורמליות שאנו דורשים מהוכחה מתמטית; התוצאות היו נכונות לחלוטין, וניתן לשער שאוילר היה מצליח להוכיח לפחות את חלקן גם תחת דרישות הפורמליות של ימינו, אך בזמנו (המאה ה-18) זה כלל לא נראה רלוונטי. כמובן שכבר באותם ימים נמתחה ביקורת על החדו”א במתכונתו זו, כשהביקורת המפורסמת ביותר הייתה של הבישוף ג’ורג’ ברקלי, אך את המתמטיקאים זה לא עניין כל כך.

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

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

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

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

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


נהניתם? התעניינתם? אם תרצו, אתם מוזמנים לתת טיפ:

Buy Me a Coffee at ko-fi.com