אורך עקומה
מתוך Math-Wiki
תהי f פונקציה גזירה ברציפות בקטע סגור . נקרב את אורך העקומה שלה (אורך הקו שלה בגרף) על ידי גבול סכום המיתרים בין נקודות הפונקציה על חלוקות (סכום הקווים הכחולים בציור).
עבור חלוקת הקטע , הנוסחא לסכום המיתרים נתונה על ידי:
![\begin{align}L(P)&=\sum_{k=1}^n\sqrt{(x_{k-1}-x_k)^2+(f(x_k)-f(x_{k-1}))^2}\\&=\sum_{k=1}^n\sqrt{1+\left(\frac{f(x_k)-f(x_{k-1})}{x_k-x_{k-1}}\right)^2}\ (x_k-x_{k-1})\\&=\sum_{k=1}^n\sqrt{1+f'(c_k)^2}\Delta x_k\end{align}](/images/math/c/7/4/c7457bffa4e3e4d238439cf9013be889.png)
כאשר הנקודות מקיימות
. אכן קיימות נקודות כאלה לפי משפט לגראנז'.
הגענו לסכום רימן עבור הפונקציה . כיוון שנתון כי
רציפה, גם
רציפה בקטע הסגור ולכן אינטגרבילית.
על כן סכומי רימן אלה שואפים לאינטגרל וזוהי הנוסחא לחישוב אורך עקום של פונקציה.