In matematica, la lunghezza di un arco è un numero reale positivo che misura intuitivamente l'estensione di un arco o di una curva.
Nonostante la definizione di lunghezza di un segmento o di un percorso poligonale sia stata chiara da tempo, una definizione generale soddisfacente della lunghezza d'arco è relativamente recente. Questo problema, noto anche come rettificazione, è stato inizialmente affrontato per curve specifiche e successivamente risolto grazie al calcolo infinitesimale. La definizione risultante, accettata adesso da tutti i matematici, funziona per un insieme molto vasto di curve, dette rettificabili.
Scelto un numero finito di punti lungo la curva e connettendo ogni punto al successivo con un segmento, la somma delle lunghezze dei segmenti è la lunghezza del "cammino poligonale". La lunghezza del segmento sarà definita come la distanza tra i due estremi.
La lunghezza della curva è il più piccolo numero che la lunghezza del cammino poligonale non può superare, ovvero è l'estremo superiore della lunghezza del cammino della poligonale, al variare delle poligonali.
In termini matematici sia la curva e uno spazio metrico con la distanza d. Per definire la poligonale bisogna scegliere i punti sulla curva. Sia quindi una partizione dell'intervallo
La lunghezza della poligonale, è:
e la lunghezza della curva è l'estremo superiore di questa quantità al variare della partizione:
Se tale valore non è infinito, la curva si dice rettificabile. Le curve di Peano e di Koch non sono rettificabili. La lunghezza di una curva non dipende dalla sua parametrizzazione.
Se una curva è derivabile con continuità allora è rettificabile: per ogni punto t dell'intervallo è definita una velocità e si può dimostrare che la lunghezza definita come sopra è uguale all'integrale di questa velocità su I (quando la curva è in forma parametrica):
dove è la norma indotta dalla distanza usata nella definizione sopra. Usando la nozione di integrale di linea si può scrivere anche:
A volte è utile conoscere la lunghezza del grafico di una funzione . In questo caso il grafico si può scrivere come curva :
Usando la definizione integrale di lunghezza di arco si perviene al risultato (quando la curva è in forma cartesiana):
Se si suddivide l'intervallo in N intervalli (con b > a senza perdere in generalità), e poi si tracciano le congiungenti tra e , si ottiene la quantità:
dove è la lunghezza dell'i-esima congiungente, data (per teorema di Pitagora) da , con . La lunghezza della curva tra a e b è allora data da
Osservando che, per N tendente a infinito, accade che
l'eguaglianza si riduce a
Se la curva bidimensionale è parametrica con x=f(t) e y=g(t), la lunghezza dell'arco è
Se invece la curva è tridimensionale, con x=f(t), y=g(t), z=k(t), la lunghezza dell'arco è
Per dimensioni più alte si procede analogamente.
Durante la storia della matematica, per molto tempo, anche le menti migliori considerarono impossibile calcolare la lunghezza di un arco irregolare. Nonostante Archimede fosse stato pioniere con l'approssimazione rettangolare per trovare l'area sotto una curva con il suo metodo di esaustione, pochi credevano che fosse possibile che le curve avessero una lunghezza definita come le linee diritte. Come spesso avviene nel calcolo i primi risultati furono ottenuti come approssimazioni. Molti iniziarono a inscrivere i poligoni con delle curve e a calcolare la lunghezza dei lati. Usando sempre più lati e usando lati più piccoli, furono in grado di ottenere approssimazioni via via più accurate.
Nel 1600, il metodo d'esaustione consentì di rettificare con metodi geometrici molte curve trascendenti: la spirale logaritmica da parte di Evangelista Torricelli nel 1645 (alcune fonti dicono John Wallis negli anni 1650), la cicloide da parte di Christopher Wren nel 1658, e la catenaria da parte di Gottfried Leibniz nel 1691.
Prima del completo sviluppo del calcolo, le basi per la moderna lunghezza degli archi sotto forma di integrale furono scoperte indipendentemente da Hendrik van Heuraet e Pierre Fermat.
Nel 1659 van Heuraet pubblicò una costruzione mostrando che la lunghezza di un arco poteva essere interpretata come l'area sotto una curva, e lo applicò alla parabola. Nel 1660, Fermat pubblicò una teoria più generale che conteneva gli stessi risultati nel suo De linearum curvarum cum lineis rectis comparatione dissertatio geometrica.
Partendo dai suoi lavori sulle tangenti, Fermat usò la curva
la cui tangente in x = a ha pendenza:
quindi la retta tangente ha equazione
Successivamente, incrementò a di una piccola quantità a a + ε, facendo diventare il segmento AC una buona approssimazione per la lunghezza della curva da A a D. Per trovare la lunghezza del segmento AC usò il teorema di Pitagora:
che porta a
Per approssimare la lunghezza, Fermat sommò in una sommatoria di segmenti piccoli. Notare che il risultato moderno è: