Uvažujme křivku danou grafem funkce f na intervalu
Abychom našli její délku, rozdělíme interval
Délku takového kousku lze spočítat pomocí Pythagorovy věty. Na to
potřebujeme znát délku vodorovné a svislé projekce. Horizontální velikost je
dx. Protože zde máme přímku, odpovídající vertikální velikost najdeme
vynásobením vodorovné velikosti dx směrnicí přímky, která je dána
derivací f v x:
Sečtením délek všech kousků dostaneme délku křivky:
Teď už jen musíme zajistit, že dotyčný integrál existuje, například takto:
Fakt.
Uvažujme křivku danou grafem funkce f na intervalu〈a,b〉. Jestliže má f spojitou derivaci na〈a,b〉, pak délka této křivky je
Uvažujme parametrickou křivku
Zase máme dvě možnosti, jak délku křivky najít. Jedna je uvažovat funkci f generovanou pomocí y a inverzní funkcí k x, pak bychom použili substituce v již odvozeném vzorci pro délku.
Mnohem jednodušší bude přístup přes rozdělení křivky na malé kousky. Nicméně
zde nebudeme dělit na kousky určené geometricky (například rozdělením osy
x), ale rozdělíme časový interval
Abychom byli korektní, musíme zajistit, že integrál existuje a také že křivka necestuje po některé své části několikrát - pak by tato totiž byla započítána vícekrát.
Fakt.
Uvažujme parametrickou křivkux = x(t), y = y(t) pro t z〈α,β〉 takovou, že sama sebe protíná nejvýše konečně krát. Jestliže mají x a y spojité derivace na〈α,β〉, pak je délka této křivky rovna
Uvažujme křivku danou v polárních souřadnicích předpisem
Zase jsou možné dva přístupy. Jeden je rozdělit úhel na malé podúhly velikosti dφ. Můžeme si představit, že odpovídající kousky křivky jsou přímé a najít jejich délku pomocí Pythagorovy věty:
Všimněte si, že velikost "napříč úhlem" byla vypočítána podle vzorce
"poloměr krát úhel" pro délku výseče kružnice, protože pro tak
krátké kousky se délka části kružnice a délka odpovídající úsečky prakticky
neliší. Kolmou část dϱ
lze spočítat pomocí substituční formule z rovnosti
Je také možno přejít od polárních ke kartézským souřadnicím:
Tyto předpisy definují parametrickou křivku, takže můžeme použít příslušného vzorce:
Abychom se vyhnuli problémům, měli bychom zajistit, že se žádná část křivky nezapočte několikrát. Zkusíme to nejjednodušším způsobem:
Fakt.
Uvažujme křivku danou v polárních souřadnicích předpisemϱ = ϱ(φ) pro φ z〈α,β〉, která sama sebe protne nejvýše konečně krát. Jestliže máϱ(φ) spojitou derivaci na〈α,β〉, pak je délka této křivky rovna