שינויים
/* גרסא חלשה ופשוטה של המשפט היסודי */
==פרק 3 - הקשר בין האינטגרל המסויים ללא מסויים==
כבר במאות ה4 וה3 לפנה"ס [https://he.wikipedia.org/wiki/%D7%90%D7%95%D7%A7%D7%9C%D7%99%D7%93%D7%A1 אולידס] ו[https://he.wikipedia.org/wiki/%D7%90%D7%A8%D7%9B%D7%99%D7%9E%D7%93%D7%A1 ארכימדס] ידעו לחשב היקפים, שטחים ונפחים, אך רק במאה ה17 לספירה [https://he.wikipedia.org/wiki/%D7%90%D7%99%D7%99%D7%96%D7%A7_%D7%A0%D7%99%D7%95%D7%98%D7%95%D7%9F ניוטון] ו[https://he.wikipedia.org/wiki/%D7%92%D7%95%D7%98%D7%A4%D7%A8%D7%99%D7%93_%D7%95%D7%99%D7%9C%D7%94%D7%9C%D7%9D_%D7%9C%D7%99%D7%99%D7%91%D7%A0%D7%99%D7%A5 לייבניץ] המציאו את החשבון הדיפרנציאלי והאינטגרלי.
כלומר, ההבנה שיש קשר בין שטחים (האינטגרל המסויים) לבין פונקציות קדומות (אינטגרל לא מסוים) הגיעה כמעט 2000 שנה לאחר שכבר ידעו לחשב שטחים.
בפרק זה נוכיח את הקשר הזה שבין החשבון הדיפרנציאלי לאינטגרלי בעזרת '''המשפט היסודי של החדו"א'''.
===המשפט היסודי של החדו"א===
*עבור פונקציה אינטגרבילית, בנקודות בהן היא רציפה מתקיים כי <math>\displaystyle{S'(x)=\left(\int_a^x f(t)dt\right)' = f(x)}</math>
*תהי f אינטגרבילית וF קדומה אזי <math>\displaystyle{\int_a^b f(x)dx = F(b)-F(a)}</math>
<videoflash>0SWk8jqaFDY</videoflash>
===גרסא חלשה ופשוטה של המשפט היסודי===
*תהי <math>f</math> פונקציה רציפה בקטע <math>[a,b]</math> ותהי <math>S(x)=\int_a^x f(t)dt</math> פונקצית השטח שלה.
*אזי לכל <math>a<x_0<b</math> מתקיים כי <math>S'(x_0)=f(x_0)</math>
===הוכחה===
[[קובץ:ftcalculus.png|600px]]
*לפי [[משפט ערך הממוצע האינטגרלי]] לכל x בקטע קיימת c בקטע כך ש <math>f(c)=\frac{\int_{x_0}^x f(t)dt}{x-x_0}=\frac{S(x)-S(x_0)}{x-x_0}</math>
*לכן לכל סדרה <math>x_0>x_n \to x_0 </math> קיימת סדרת נקודות <math>x_0\leq c_n \leq x_n</math> כך ש <math>f(c_n)=\frac{S(x_n)-S(x_0)}{x_n-x_0}</math>
*לפי משפט הסנדביץ' <math>c_n \to x_0</math> וכיוון ש<math>f</math> רציפה, נובע כי <math>f(c_n)\to f(x_0)</math>
*לכן קיבלנו כי <math>lim_{x\to x_0^+}\frac{S(x)-S(x_0)}{x-x_0}=f(x_0)</math>
*ניתן להוכיח באופן דומה שזה גם הגבול השמאלי, ובסה"כ לפי הגדרת הנגזרת קיבלנו כי <math>S'(x_0)=f(x_0)</math>
===הגדרת המספר π, וחישוב היקף ושטח מעגל===
