Şekildeki f fonksiyonunun integrasyonunu Riemann toplamı ile
b∫af(x)dx=limn→∞b−ann∑k=1f(a+kb−an)
şeklinde yazabileceğimizi biliyoruz. Peki bunun konumuzla ne alakası var? Birazdan bu tanımla hareket edeceğiz.
Bu şekildeki kırmızı çizgiler ise herhangi bir k pozitif tamsayısı için (a+(k−1)b−an,f(a+(k−1)b−an)) ile (a+kb−an,f(a+kb−an)) noktaları arasındaki doğru. n sonsuza ıraksadığında fonksiyona o kadar yakın olacak ki bize fonksiyonun gerçek uzunluğuna çok yakın bir değer verecek.
Burada kırmızı çizgilerin uzunluklarının toplamını bulmak isteyecek olursak
limn→∞n∑k=1√(b−an)2+(f(a+(k−1)b−an)−f(a+kb−an)2)=limn→∞b−ann∑k=1√1+(f(a+(k−1)b−an)−f(a+kb−an)b−an)2
olarak ifade edebiliriz.
g(a+kb−an)=√1+(f(a+(k−1)b−an)−f(a+kb−an)b−an)2
olarak düşünürsek, yukarıdaki ifadenin ∫bag(x)dx olduğunu görmek kolay.
Son olarak, n sonsuza ıraksarken
f(a+(k−1)b−an)−f(a+kb−an)b−an=−f′(a+kb−an)
olduğunu da görebilirsek
g(x)=√1+(f′(x))2
eşitliğini elde ederiz. O halde, fonksiyon üzerinden gidersek yolumuzun uzunluğunu
∫ba√1+(f′(x))2dx
olarak bulabileceğimizi göstermiş oluruz.