מתמטיקה תיכונית/חשבון אינטגרלי/מבוא: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
אין תקציר עריכה |
||
שורה 1:
=הקדמה=
[[קובץ:LeftRiemann2.png|ממוזער|אינטגרציה]]
בקצרה קשה להסביר מהו אינטגרל. ניתן לומר כי הוא ביטוי לשתי פעולות שונות הרלוונטיות לנו :
#'''הפונקציה הקדומה''' או '''האינטגרל הלא־מסוים''' - פעולה הפוכה לגזירה במילים אחרות, מציאת הפונקציה באמצעות הנגזרת שלה.
# '''האינטגרל המסוים''' - מספר השווה לשטח הכלוא בין ציר ה־<math>\ x</math> לבין גרף הפונקציה, בין קצות הקטע.
'''אינטגרציה:''' במהלך השנים היו ניסיונות רבים בידי מתמטיקאים לחשב שטח של צורות עקומות. ניסיונות אלו הובילו לפיתוח של שיטה ששמה "אינטגרציה" במהלכה מיצרים מלבנים רבים או חצי מלבנים (משולשים) עמם ניתן לחשב באופן המקורב ביותר את השטח של עקומה.
[[קובץ:Derivative - geometric meaning.svg|ימין|ממוזער|מציאת נגזרת באמצעות מציאת שיפוע משיק לה]]
'''נגזרת (שיפוע המשיק):''' מנגד מתמטיקאים רבים נסו למצוא את שיפועו של עקומה (=נגזרת). בעוד בפונקציה לינארית (קו ישר), לה יש שיפוע שאינו משתנה מנקודה לנקודה וניתן לחישוב באמצעות ההפרש של שתי נקודות (<math> {\displaystyle m={\frac {y_{1}-y_{2}}{x_{1}-x_{2}}}}</math>), אצל שאר הפונקציות ניתן להעביר מספר מיתרים מנקודת ההשקה ולקבל ערך שיפוע שונה. הפתרון היה חישוב שיפוע משיק הנמצא בין שני נקודות על העקומה שקרובות זו לזו. תהליך זה נקרא גזירה.
במשך שנים שתי פעולות אלו נחשבו שונות זו מזו. בסוף המאה ה-17, ניוטון ולייבניץ הוכיחו בתיאוריה הקרויה "המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי" (משפט ניוטון-לייבניץ ) כי שני התהליכים האלו קשורים זה לזה: תהליך האינטגרציה (מציאת שטח מתחת לגרף) הוא תהליך הפוך לגזירה (מציאת שיפוע העקומה). פרצה דרך זו העניקה למתמטיקאים כלים נוספים לבצע אינטגרציה - חוקי הנגזרת.
עתה נרחיב על שתי הפעולות בנפרד.
==הפונקציה הקדומה==
'''פונקציה קדומה''' (<math>F(x)</math>), היא הפונקציה הראשונית לפני "הגזירה", אותה מקבלים לאחר האינטגרציה. דיהנו, זוהי הפונקציה הראשונה אותה גזרו <math>F(x)=\frac{x^3}{3}</math> וקיבלו נגזרת מסוימת, "פונקציה חדשה" <math>f'(x)=x^2</math>. {{טענה|
מספר=1|
שם=פונקציה קדומה|
תוכן= פונקציה <math>F(x)</math> נקראת '''פונקציה קדומה''' של <math>f(x)</math> בקטע כלשהו, אם לכל נקודה בקטע <math>F'(x)=f(x)</math>. כלומר <math>f(x)</math> היא הנגזרת של <math>F(x)</math> בקטע.}}
'''לנגזרת יכולות להיות מספר פונקציות קדומות''', להבדיל מפונקציה לה יש נגזרת אחת. {{דוגמה|
מספר=1|
שם=נגזרות קודמות לפונקציה|
תוכן=
עבורה הנגזרת <math>F'(x)=x^2</math> יכולות להיות הפונקציות: <math>f(x)=\frac{x^3}{3}</math>, <math>f(x)=\frac{x^3}{3}+1</math> ,<math>f(x)=\frac{x^3}{3}+2</math> וכן הלאה.
בכדי לייצג את כלל הפונקציות נעזרים באינטגרל הבלתי מסוים. האינטגרל הבלתי מסוים מייצג את האיבר החופשי <math>(1,2,3)</math> באמצעות '''קבוע האינטגרציה''' המסומן באות '''C''' : <math>f(x)=\frac{x^3}{3}+C</math>.
}}
'''אינטגרל לא-מסוים''' הוא ביטוי לכל הפונקציות הקדומות.
==אינטגרל המסוים==
[[קובץ:Integral as region under curve.png|ממוזער]]
כאמור אינטגרל הוא גם ביטוי לשטח הכלוא בין פונקציה קדומה לציר ה-<math>x</math> דהינו זהו ההפרש בין אינטגרל בנקודה מסוימת לאינטגרל בנקודה אחרת (=אינטגרל מסוים).
הנגזרת היא שיפוע מכאן שהיא מבטא את : <math>m=f'(x)=\frac{y_1-y_2}{x_1-x_2}</math> ובמילים אחרות : <math>m=f'(x)=\frac{dy}{dx}</math> (דלתא <math>\Delta</math> = הפרש).
כדאי למצוא את <math>y=F'(x)</math> (הנגזרת של פונקציה קדומה) צריך לבצע אינטגרציה ל-<math>f(x)</math> (לפונקציה חדשה) דהינו לחשב את <math>F'(x)=\frac{dy}{dx}</math>.
על פי כלל הנגזרת הקדומה, כפי שהוצגה לעיל, <math>F(x)'=f(x)</math> ולכן <math>\frac{dy}{dx}=f(x)</math>
נוכל לרשום <math>dy=f(x)*dx</math>.
נבצע אינטגרציה לשני האגפים ונקבל <math>y=\int f(x)dx</math> (לא ניתן לבצע לצד השמאלי אינטגרציה ללא ערכי תחום).
לכן נוכל לומר <math>\int {f(x)dx=F(x)+c}</math> כאשר <math>F'(x)=f(x)</math>
==הקשר בין פונקציה קדומה לאינטגרל==
[[File:FTC 2.png|thumb|Fundamental theorem of calculus]]
נמצא את השטח הנמצא באיור בין הנקודות <math>S_{aA}</math> (מתחת לפונקציה) ונוכיח באמצעותו את הקשר בין הפונקציה הקדומה לאינטגרל.
נחשב את השטח תחילה באמצעות יצירת מלבן אותו יהיה לנו קל לחשב.
נבחר נקודה הקרובה ביותר אל <math>A</math> (באיור סימנו את נקודה זו כ-<math>B</math> על אף שמרוחקת מנקודה <math>A</math> בכדי להקל על ההסבר בהמשך)
נוריד אנכים מהנקודות <math>A</math> ו-<math>B</math>.
גודל האנכים <math>h_A, h_B</math> זהה לערך ה-<math>y</math> של הנקודות דהינו <math>h_A=yA</math> ו-<math>h_B=y_B</math>.
המרחק בין הנקודה <math>C, D</math> הוא ההפרש בין ערכי ה-<math>x</math> של הנקודות math>A</math> ו-<math>B</math> דהינו <math>x_A-x_b</math> (לכן בדרך כלל נהוג לסמן את הנקודות לא באותיות C ו-D אלא <math>x, x_1</math> כפי שננהג מעתה)
נניח כי הנקודה <math>a</math> היא נקודה קבועה עבור כלל הפונקציות על כן גודל שטח הפונקציות תלוי במיקום של הנקודה <math>A</math>.
אם הנקודה <math>A</math> תנוע קדימה כך גם הנקודה <math>B</math> ששואפת להיות צמודה אליה ולפיכך יש לנו שני שטחים שעלינו לחשב בין הנקודות <math>S_{aC}+ S_{CD}</math>. מכאן השטח הקטן שווה <math>S_{aC}=S_{aD}- S_{CD}</math>
נעביר שני ישרים המקבילים לנקודות <math>A</math> ו-<math>B</math>:
<math>S_{BDCF} = x_1*(x-x_1)</math>
<math>S_{EDCA} = x_A*(x-x_1)</math>
השטח הכלוא בין גרף הפונקציה לבין הנקודות <math>A</math> ו-<math>B</math> קטן משטח המלבן שנוצר כאשר מעבירים מקביל לציר ה-<math>x</math> מהנקודה <math>B</math> כלומר, <math>S_{CD}<S_{BCDF}</math>
השטח הכלוא בין גרף הפונקציה לבין הנקודות <math>A</math> ו-<math>B</math> גדול משטח המלבן שנוצר כאשר מעבירים מקביל לציר ה-<math>x</math> מהנקודה <math>A</math> כלומר, <math>S_{CD}>S_{CDAE}</math>
במידה והפונקציה הייתה קבועה השטחים היו יכולים להיות שווים לשטחי המלבנים ועל כן ניתן לכתוב
<math>S_{BCDF} \ge S_{CD} \ge S_{CDAE}</math>
נציב באי השוויון את ערך השטחים ונקבל: <math>f(x)(x-x_1)] \le S_{CD} \le f(x_1)(x-x_1) </math>
<math>S_{CD}=S_{x}-S_{x_1}</math>
<math>f(x)(x-x_1) \le S_{x}-S_{x_1} \le f(x_1)(x-x_1) </math>
נחלק ב-<math>(x-x_1)</math> ונקבל <math>f(x) \le \frac{S_{x}-S_{x_1}}{(x-x_1)} \le f(x_1) </math>
אנו שואפים כי <math>x</math> יהיה במרחק הקטן ביותר מ-<math>x_1</math> על כן נוכל "לכתוב" <math>f(x_1) \le \frac{S_{x_1}-S_{x_1}}{(x_1-x_1)} \le f(x_1) </math>
הביטוי החדש שמתקבל הוא למעשה זהה ל[[מתמטיקה תיכונית/חשבון דיפרנציאלי/נגזרת - תורת הגבולות|הגדרת הנגזרת]] ובמילים אחרות נוכל להציב
<math>f(x_1) \le S'_{aCB} \le f(x_1) </math>
על פי כלל הסנוויץ (אם ביטוי גדול או שווה וקטן לביטוי אזהי הוא שווה לביטוי) נקבל <math>le S'_{aCB} = f(x_1) </math> כלומר קבלנו שפונקציה שווה לשטח הנגזרת שלה
[[קובץ:Fundamental-theorem-1.png|שמאל|250px|תיאור התמונה|ממוזער]]
גודל הפונקציה היא סכום (<math>\int</math>) השטחים ב-<math>\int_a^{x_1}\!\! f(x_1) dx</math>
<math>f(x_1)</math> היא הפונקציה
<math>dx</math> הוא הפרשי ה-<math>x</math>. ניתן לחשב את השטחים גם על פי הפרשי ה-<math>y</math> הרי <math>m=f'(x)=\frac{y_1-y_2}{x_1-x_2}</math>דהינו <math>\frac{d_y}{d_x}=f'(x)</math>
=הערות שולים=
[[קטגוריה:חשבון אינטגרלי לתיכון]]
| |||