Προβολή πηγαίου κώδικα για τη σελίδα Μήκος τόξου

{{επιμέλεια|να μπουν οι παραπομπές στη θέση τους στο κείμενο ''[[+]]'' να βγει η διπλοαναφορά των "Πηγών"}}
[[Αρχείο:Arc_length.gif|με-πλαίσιο|Όταν η καμπύλη ευθυγραμμιστεί, δίνει ένα ευθύγραμμο τμήμα με το ίδιο μήκος με τη καμπύλη του μήκους του τόξου.]]
Ο καθορισμός του '''μήκους των αντικανονικών τμημάτων του τόξου''' ονομάζεται επίσης ευθυγραμμισμός της [[καμπύλη]]ς. Ιστορικά, πολλές μέθοδοι χρησιμοποιήθηκαν για συγκεκριμένες καμπύλες. Η έλευση του [[Λογισμός|απειροστικού λογισμού]] , οδήγησε σε μια γενική φόρμουλα που παρέχει [[κλειστού τύπου λύσεις]] σε ορισμένες περιπτώσεις.

== Γενική προσέγγιση ==
[[Αρχείο:Arclength.svg|δεξιά|μικρογραφία|Προσέγγιση κατά πολλαπλά γραμμικά τμήματα]]

Μια καμπύλη στο επίπεδο μπορεί να προσεγγιστεί από τη σύνδεση ενός πεπερασμένου αριθμό σημείων στην καμπύλη χρησιμοποιώντας τμήματα της γραμμής για να δημιουργήσετε ένα πολυγωνικό μονοπάτι. Δεδομένου ότι είναι εύκολο να υπολογιστεί το μήκος του κάθε γραμμικού τμήματος (χρησιμοποιώντας το [[Πυθαγόρειο θεώρημα]] σε Ευκλείδειο χώρο, για παράδειγμα), το συνολικό μήκος της προσέγγισης μπορεί να βρεθεί από την άθροιση των μηκών του κάθε γραμμικού τμήματος? Αυτή η προσέγγιση είναι γνωστή ως η (σωρευτικά) συγχορδιακή απόσταση. [1]

Εάν η καμπύλη δεν είναι ήδη μία πολυγωνική διαδρομή, χρησιμοποιώντας ένα προοδευτικά μεγαλύτερο αριθμό τμημάτων με μικρότερο μήκος θα οδηγήσει σε καλύτερη προσέγγιση. Τα μήκη των διαδοχικών προσεγγίσεων δεν θα μειωθούν και μπορεί να αυξάνεται επ 'αόριστον, αλλά οι ομαλές καμπύλες θα τείνουν σε ένα πεπερασμένο όριο καθώς τα μήκη των τμημάτων μικραίνουν αυθαίρετα.

Για κάποιες καμπύλες υπάρχει ένας μικρότερος αριθμός <math>L</math> ο οποίος είναι ένα άνω όριο του μήκους της κάθε πολυγωνικής προσέγγισης. Αυτές οι καμπύλες ονομάζονται ευθυγραμμίσιμες και ο αριθμός <math>L</math> ορίζεται ως το μήκος του τόξου.

== Ορισμός για μια ομαλή καμπύλη ==
Έστω <math>f:[a,b]\to\R^n</math> να είναι μία [[Συνέχεια συνάρτησης|συνεχώς]] διαφορίσιμη [[συνάρτηση]]. Το μήκος της καμπύλης που ορίζεται από την <math>f</math> μπορεί να οριστεί ως το [[Όριο (μαθηματικά)|όριο]] του αθροίσματος του μήκους των ευθυγράμμων τμημάτων για μία κανονική διαμέρηση του <math>[a,b]</math> , καθώς ο αριθμός των τμημάτων πλησιάζει στο άπειρο.

Αυτό σημαίνει:
: <math>L(f)=\lim_{N\to\infty}\sum_{i=1}^N \bigg|f(t_i)-f(t_{i-1})\bigg|</math>
όπου <math>t_i=a+i(b-a)/N=a+i\Delta t</math> για <math>i=0,1,\dots,N.</math>

Ο ορισμός αυτός είναι ισοδύναμος με τον ορισμό του μήκος του τόξου:
: <math>\lim_{N\to\infty}\sum_{i=1}^N \bigg|f(t_i)-f(t_{i-1})\bigg|=\lim_{N\to\infty}\sum_{i=1}^N \left|\frac{f(t_i)-f(t_{i-1})}{\Delta t}\right|\Delta t=\int_a^b \Big|f'(t)\Big|\ dt.</math>
 
Η παραπάνω ισότητα είναι αληθής, επειδή ο ορισμός της παραγώγου ως όριο σημαίνει ότι υπάρχει μια θετική πραγματική συνάρτηση <math>\delta(\epsilon)</math>, των θετικών πραγματικών αριθμών <math>\epsilon</math> , ετσι ώστε <math>\Delta t<\delta(\epsilon)</math>. Συνεπάγεται λοιπόν οτι:

<math>\left|\bigg|\frac{f(t_i)-f(t_{i-1})}{\Delta t}\bigg|-\Big|f'(t_i)\Big|\right|<\epsilon.</math>

Αυτό σημαίνει οτι:
: <math>
\sum_{i=1}^N \left|\frac{f(t_i)-f(t_{i-1})}{\Delta t}\right|\Delta t-\sum_{i=1}^N \Big|f'(t_i)\Big|\Delta t
</math>
έχει [[απόλυτη τιμή]] μικρότερη απο το γινόμενο <math>\epsilon (b-a)</math> ,για <math>N>(b-a)/\delta(\epsilon).</math> Αυτό σημαίνει ότι καθώς το <math>N\rightarrow\infty,</math> στο αριστερό μέρος είναι σχεδόν ισο με το δεξί μερος της ισότητας, που είναι ο ορισμος του [[Ολοκληρώματος Riemann]] της <math>|f'(t)|</math> στο διάστημα <math>[a,b].</math> Αυτός ο ορισμός του μήκους τόξου δείχνει ότι το μήκος μιας καμπύλης <math>f:[a,b]\rightarrow\mathbb{R}^n</math> συνεχώς διαφορίσιμη στο <math>[a,b]</math> είναι πάντα πεπερασμένο. Με άλλα λόγια, η καμπύλη είναι πάντα ευθυγραμμίσιμη.

Ο ορισμός του μήκους τόξου μιάς ομαλής καμπύλης ως το [[ολοκλήρωμα]] της [[νόρμα]]ς της παραγώγου είναι ισοδύναμο με τον παρακάτω ορισμό:
: <math>L(f)=\sup\sum_{i=1}^N \bigg|f(t_i)-f(t_{i-1})\bigg|</math>
όπου το supremum υπολογίζεται λαμβάνοντας υπ'οψην όλες τις πιθανές κατατμήσεις <math>a=t_0<t_1<\dots <t_{N-1}<t_N=b</math> του <math>[a,b].</math><ref>{{Cite book|title=Principles of Mathematical Analysis|url=https://archive.org/details/principlesofmath00rudi|last=Rudin|first=Walter|publisher=McGraw-Hill, Inc.|year=1976|isbn=0-07-054235-X|location=|pages=[https://archive.org/details/principlesofmath00rudi/page/137 137]}}</ref> Αυτός ο ορισμός ισχύει επίσης αν η <math>f</math> είναι απλώς συνεχής,και δεν είναι διαφορίσιμη.

Μια καμπύλη μπορεί να παραμετρικοποιηποιηθεί με άπειρους τρόπους. Έστω <math>\varphi:[a,b]\to [c,d]</math> να είναι μια οποιαδήποτε συνεχώς διαφορίσιμη, [[αμφιμονοσήμαντη]] (ή [[Επί συναρτηση|επί]]) συναρτηση. Έστω επίσης, <math>g=f\circ\varphi^{-1}:[c,d]\to\R^n</math> είναι μία άλλη συνεχώς διαφορίσιμη παραμετρικοποίηση της καμπύλης που αρχικά ορίζεται από <math>f.</math> Το μήκος τόξου της καμπύλης είναι το ίδιο, ανεξάρτητα από την παραμετρικοποίηση που χρησιμοποιείται για τον ορισμό της καμπύλης:
: <math>\begin{align}
L(f) &= \int_a^b \Big|f'(t)\Big|\ dt=\int_a^b \Big|g'(\varphi(t))\varphi'(t)\Big|\ dt \\
&= \int_a^b \Big|g'(\varphi(t))\Big|\varphi'(t)\ dt \quad \textrm{since} \ \varphi \ \textrm{must} \ \textrm{be} \ \textrm{non-decreasing} \\
&= \int_c^d \Big|g'(u)\Big|\ du \quad \textrm{using} \ \textrm{integration} \ \textrm{by} \ \textrm{substitution}\\
&= L(g).
\end{align}</math>

== Εύρεση μήκους τόξου με την ενσωμάτωση ==
[[Αρχείο:Quarter_circle.png|μικρογραφία|400x400εσ|Τέταρτο κύκλου]]Δείτε επίσης:[[Διαφορική γεωμετρία]] των καμπυλών

Εάν μια επίπεδη καμπύλη στο <math>\mathbb{R}^2</math> ορίζεται από την εξίσωση <math>y=f(x)</math>, όπου <math>f</math> είναι συνεχώς διαφορίσιμη, τότε είναι απλά μια ειδική περίπτωση μιας παραμετρικής εξίσωση όπου <math>x=t</math> και y = f ( t)<math>y = f ( t)</math>, και το μήκος τόξου είναι ίσο με:
: <math>s=\int_a^b \sqrt{1+\left(\frac{dy}{dx}\right)^2}dx.</math>
Καμπύλες με κλειστή μορφή λύσεων για το μήκος τόξου περιλαμβάνουν: την αλυσοειδή, τον κύκλο, την κυκλοειδή,την λογαριθμική σπείρα, την παραβολή,την ημικυβική παραβολή και την ευθεία γραμμή. Η έλλειψη μιας κλειστού τύπου λύσης για το μήκος τόξου ενός ελλειπτικού τόξου οδήγησε στην ανάπτυξη των ελλειπτικών ολοκληρωμάτων.

=== Αριθμητική ολοκλήρωση ===
Στις περισσότερες περιπτώσεις, συμπεριλαμβανομένου ακόμη και απλές καμπύλες, δεν υπάρχουν κλείστου τύπου λύσεις για το μήκος του τόξου και η Αριθμητική ολοκλήρωση είναι απαραίτητη.Η Αριθμητική ολοκλήρωση του μήκους τόξου ολοκληρώματος είναι συνήθως πολύ αποτελεσματική. Για παράδειγμα, σκεφτείτε το πρόβλημα της εύρεσης του μήκους ενος τετερτημορίου του κύκλου ενσωματώνοντας το μήκος του τόξου αναπόσπαστο. Το πάνω μισό του κύκλου μπορεί να είναι παραμετροποιημένο ως <math>y=\sqrt{1-x^2}.</math> Το χρονικό διάστημα <math>x\in [-\sqrt{2}/2, \sqrt{2}/2] </math> αντιστοιχεί στο ένα τέταρτο του κύκλου. Από τότε <math>dy/dx=-x/\sqrt{1-x^2}</math> και <math>1+(dy/dx)^2 = 1/(1-x^2),</math> το μήκος του ενος τεταρτημορίου του κύκλου
: <math>\int_{-\sqrt{2}/2}^{\sqrt{2}/2}\frac{1}{\sqrt{1-x^2}} dx.</math>
:
Η εκτίμηση του κανόνα 15-σημείο Gauss-Kronrod για αυτό το ολοκλήρωμα της 1.570796326808177 διαφέρει από την πραγματική διάρκεια της \ pi / 2 από 1.3e-11 και η εκτίμηση του κανόνα 16-σημείο Gaussian τετραγωνισμός 1.570796326794727 διαφέρει από την πραγματική διάρκεια μόνο 1.7e- 13.

=== Καμπύλη στην επιφάνεια ===
Έστω <math>\mathbf{x}(u,v)</math> να είναι μια απεικόνιση της επιφάνειας και έστω <math>\mathbf{C}(t) = (u(t), v(t))</math> να είναι μια καμπύλη σε αυτή την επιφάνεια. Η προς ολοκλήρωση συνάρτηση του ολοκληρώματος του μήκους του τόξου είναι <math>|(\mathbf{x}\circ\mathbf{C})'(t)|.</math> Για τον υπολογισμό των παραγώγων απαιτείται η χρήση του [[Κανόνας της αλυσίδας|κανόνα της αλυσίδας]] για τα διανυσματικά πεδία:
: <math>D(\mathbf{x} \circ \mathbf{C}) = (\mathbf{x}_u \ \mathbf{x}_v)\binom{u'}{v'} = \mathbf{x}_u u' + \mathbf{x}_v v'.</math>
Το τετράγωνο της νόρμας του διανύσματος είναι <math>(\mathbf{x}_u u' + \mathbf{x}_v v') \cdot (\mathbf{x}_u u' + \mathbf{x}_v v') = g_{11}(u')^2 + 2g_{12}u'v' + g_{22}(v')^2 </math> (που <math>g_{ij} </math> είναι [[η πρώτη θεμελιώδης μορφή συντελεστή]]), έτσι ώστε η προς ολοκλήρωση συνάρτηση του ολοκληρώματος του μήκους του τόξου μπορεί να γραφτεί ως <math>\sqrt{g_{ab} (u^a)' (u^b)'} </math> (όπου <math>u^1 = u </math> και <math>u^2 = v </math>).

=== 'Αλλα συστήματα συντεταγμένων ===
Έστω <math>C(t)=(r(t), \theta(t))</math> να είναι μια καμπύλη εκφρασμένη σε [[Πολικό σύστημα συντεταγμένων|πολικές συντεταγμένες]]. Η απεικόνιση που μετατρέπει τις πολικές συντεταγμένες σε ορθογώνιες συντεταγμένες είναι η <math>\mathbf{x}(r,\theta) = (r\cos\theta, r\sin\theta ).</math>

Η προς ολοκλήρωση συνάρτηση του ολοκληρώματος του μήκους τόξου ειναι η <math>|(\mathbf{x}\circ\mathbf{C})'(t)|.</math> Ο κανόνας της αλυσίδας για διανυσματικά πεδία, δείχνει ότι <math>D(\mathbf{x}\circ \mathbf{C}) = \mathbf{x}_r r' + \mathbf{x}_{\theta} \theta'.</math> Έτσι το τετράγωνο της προς ολοκλήρωσης συνάρτησης του ολοκληρώματος του μήκους του τόξου είναι:
: <math>(\mathbf{x_r}\cdot\mathbf{x}_r)(r')^2 + 2(\mathbf{x}_r\cdot\mathbf{x}_{\theta})r'\theta' + (\mathbf{x}_{\theta}\cdot\mathbf{x}_{\theta})(\theta')^2 = (r')^2 + r^2(\theta')^2.</math>
Έτσι για μία καμπύλη που εκφράζεται σε πολικές συντεταγμενες, το μήκος τόξου είναι:
: <math>\int_{t_1}^{t_2} \sqrt{\left(\frac{dr}{dt}\right)^2 + r^2\left(\frac{d\theta}{dt}\right)^2 }dt = \int_{\theta(t_1)}^{\theta(t_2)} \sqrt{\left(\frac{dr}{d\theta}\right)^2 + r^2}d\theta.</math>
Τώρα έστω '''''C(t)=(r(t), θ(t), φ(t))''''' να είναι μία καμπύλη εκφρασμενη σε σφαιρικές συντεταγμένες όπου '''θ''' είναι η πολική γωνία που μετράται απο τον θετικό αξονα '''z''' και '''φ''' είναι η [[αζιμουθιακή γωνία]]. Η απεικόνιση που μετατρέπει τις σφαιρικές συντεταγμένες σε ορθογώνιες συντεταγμένες είναι:

<math>x(r, \theta, \phi)= (r\sin\theta cos\phi, rsin\theta sin\phi, rcos\theta)</math>

Χρησιμοποιώντας τον κανόνα της αλυσίδας και πάλι δείχνουμε ότι <math>D(\mathbf{x}\circ\mathbf{C}) = \mathbf{x}_r r' + \mathbf{x}_{\theta}\theta' + \mathbf{x}_{\phi}\phi'.</math> Όλα εσωτερικά γινόμενα <math>\mathbf{x}_i \cdot \mathbf{x}_j</math> ,όπου <math>i</math> και <math>j</math> διάφορα του μηδενός, οπότε το τετράγωνο της νόρμας αυτού του διανύσματος είναι:
: <math>(\mathbf{x}_r\cdot \mathbf{x}_r )(r'^2) + (\mathbf{x}_{\theta} \cdot \mathbf{x}_{\theta})(\theta')^2 + (\mathbf{x}_{\phi}\cdot \mathbf{x}_{\phi})(\phi')^2 = (r')^2 + r^2(\theta')^2 + r^2 \sin^2\theta (\phi')^2.</math>
Έτσι για μία καμπύλη που εκφράζεται σε σφαιρικές συντεταγμένες, το μήκος τόξου είναι:
: <math>\int_{t_1}^{t_2} \sqrt{\left(\frac{dr}{dt}\right)^2 + r^2\left(\frac{d\theta}{dt}\right)^2 + r^2\sin^2\theta \left(\frac{d\phi}{dt}\right)^2}dt. </math>
Ένας παρόμοιος υπολογισμός μας δείχνει οτι το μήος του τόξου μιας καμπύλης που εκφράζεται σε κυλικδρικές συντεταγμένες είναι:
: <math>\int_{t_1}^{t_2} \sqrt{\left(\frac{dr}{dt}\right)^2 + r^2\left(\frac{d\theta}{dt}\right)^2 + \left(\frac{dz}{dt}\right)^2}dt. </math>
:

== Απλές περιπτώσεις ==

=== Τόξα των κύκλων ===
Τα μήκη τόξου συμβολίζονται με s, δεδομένου ότι η λατινική λέξη για το μήκος (ή το μέγεθος) είναι spatium.

Στις παρακάτω γραμμές, r αντιπροσωπεύει την ακτίνα ενός κύκλου, το d είναι η διάμετρος του, το C είναι περιφέρειά του, το s είναι το μήκος ενός τόξου του κύκλου, και θήτα είναι η γωνία η οποία το τόξο υποτείνει στο κέντρο του κύκλου . Οι αποστάσεις r, d, C, και s εκφράζονται στις ίδιες μονάδες.

* <math>C=2\pi r</math>, η οποία είναι η ίδια ως <math>C=\pi d</math>. (Αυτή η εξίσωση είναι ο ορισμός του <math>\pi</math>.)
* Αν το τόξο είναι ένα ημικύκλιο, τότε <math>s=\pi r</math>.
* Αν <math>\theta</math> είναι σε ακτίνια τότε <math>s=r\theta</math>. (Αυτό είναι ο ορισμός της σε ακτίνια).
* Αν <math>\theta</math> είναι σε μοίρες, τότε <math>s=\frac{\pi r \theta}{180},</math> το οποίο είναι το ίδιο με <math>s=\frac{C \theta}{360}.</math>
* Αν <math>\theta</math> είναι σε βαθμούς (100 βαθμούς, ή βαθμούς, ή gradians είναι μία [[ορθή γωνία]]), τότε <math>s=\frac{\pi r \theta}{200},</math> το οποίο είναι το ίδιο με <math>s=\frac{C \theta}{400}.</math>
* Αν <math>\theta</math> είναι σε στροφές (μία στροφή είναι μία πλήρη περιστροφή, ή 360 ° ή 400 βαθμούς, ή 2 <math>\pi</math> ακτίνια), τότε <math>s=C \theta.</math>.

==== Τόξα των μεγάλων κύκλων στη Γη ====
{{main|Η απόσταση του Μεγάλου κύκλου}}
{{further|Geodesics σε ένα ελλειψοειδές}}
Δύο μονάδες μήκους, το ναυτικό μίλι και ο μετρητής (ή χιλιόμετρα), είχαν αρχικά οριστεί έτσι ώστε τα μήκη των τόξων των μεγάλων κύκλων στην επιφάνεια της Γης να σχετίζονται απλά αριθμητικά με τις γωνίες που υποτείνουν στο κέντρο του. Η απλή εξίσωση <math>s=\theta</math> ισχύει στις ακόλουθες περιπτώσεις:

* αν <math>s</math> είναι σε ναυτικά μίλια, και <math>\theta</math> είναι σε λεπτά του τόξου (1/60 βαθμού), ή
* αν <math>s</math> είναι σε χιλιόμετρα, και <math>\theta</math> είναι σε [[Κλίμακα Κελσίου|βαθμούς Κελσίου]] (1/100 grad).
Τα μήκη των μονάδων απόστασης που επιλεχτηκαν για να κάνουν την περιφέρεια της Γης είναι ίσο με 40.000 χιλιομέτρων, ή 21.600 ναυτικά μίλια. Αυτοί είναι οι αριθμοί των αντίστοιχων μονάδων γωνίας σε μια πλήρη περιστροφή.

Αυτοί οι ορισμοί του μετρητή και του ναυτικο'ύ μιλίου έχουν αντικατασταθεί από πιο ακριβείς,αλλά οι αρχικοί ορισμοί εξακολουθούν να είναι αρκετά ακριβείς για εννοιολογικούς σκοπούς, καθώς και για ορισμένους υπολογισμούς. Για παράδειγμα,συνεπάγουν ότι ένα χιλιόμετρο είναι ακριβώς 0,54 ναυτικά μίλια. Χρησιμοποιώντας επίσημους σύγχρονους ορισμούς, ένα ναυτικό μίλι είναι ακριβώς 1,852 χιλιομέτρα, το οποίο σημαίνει ότι 1 χιλιόμετρο ≈ 0,53995680 ναυτικά μίλια. Αυτή η μοντέρνα αναλογία διαφέρει από τη μία που υπολογίζεται από τους αρχικούς ορισμούς κατά λιγότερο από 1/10.000.

=== Μήκος τόξου της παραβολής ===
Για τον υπολογισμό του μήκους του παραβολικού τόξου, βλέπε [[Παραβολή § μήκος ενός τόξου μιας παραβολής|Παραβολή § Μήκος ενός τόξου μιας παραβολής]].

== Ιστορικές μέθοδοι ==

=== Αρχαιότητα ===

Για ένα μεγάλο μέρος της [[ιστορίας των μαθηματικών]], ακόμα και οι μεγαλύτεροι στοχαστές θεώρησαν αδύνατο να υπολογιστεί το μήκος του ακανόνιστου τόξου. Παρά το γεγονός ότι ο [[Αρχιμήδης]] είχε πρωτοπορήσει έναν τρόπο για την εξεύρεση του χώρου κάτω από μια καμπύλη με την "[[μέθοδο της εξάντλησης]]'' του, λίγοι πίστεψαν ότι ήταν ακόμη δυνατό για τις καμπύλες να έχουν σαφή μήκη, όπως και οι ευθείες γραμμές. Ο πρώτος λόγος που καταρρίφθηκε σε αυτόν τον τομέα, όπως συχνά έχει γίνει στο [[λογισμό,]] με [[προσέγγιση]]. Οι άνθρωποι άρχισαν να εγγράφουν [[Πολύγωνο|πολύγωνα]] εντός των καμπυλών και να υπολογίζουν το μήκος των πλευρών για μια κάπως ακριβή μέτρηση του μήκους. Με τη χρήση περισσότερων τμημάτων, και μειώνοντας το μήκος του κάθε τμήματος, ήταν σε θέση να αποκτήσουν μια ολοένα και πιο ακριβή προσέγγιση. Ειδικότερα, με την εγγραφή ένος πολυγώνου πολλών πλευρών σε έναν κύκλο, ήταν σε θέση να βρουν κατά προσέγγιση τιμές του π.

=== 17ος αιώνας ===

Τον 17ο αιώνα, η μέθοδος της εξάντλησης οδήγησε στην ευθυγράμμιση με γεωμετρικές μεθόδους από αρκετές υπερβατικές καμπύλες: η λογαριθμική σπείρα από Evangelista Torricelli το 1645 (μερικές πηγές λένε John Wallis στα 1650), η κυκλοειδής από τον [[Christopher Wren]] το 1658, και η αλυσοειδή από [[Gottfried Leibniz]] το 1691.

Το 1659,ο [[Wallis]] πιστώνεται την ανακάλυψη του [[William Neile]] της πρώτης ευθυγράμμισης μιας μη τετριμμένης αλγεβρικής καμπύλης, την ημικυβική παραβολή.

αναπόσπαστη μορφή

Πριν από την πλήρη επίσημη ανάπτυξη του λογισμού, η βάση για τη σύγχρονη ολοκληρωτική μορφή για το μήκος του τόξου ανακαλύφθηκε ανεξάρτητα από τον Hendrik van Heuraet και τον Pierre de Fermat.

Το 1659 ο [[van Heuraet]] δημοσίευσε μια κατασκευή που δείχνει ότι το πρόβλημα του προσδιορισμού μήκους τόξου μπορεί να μετατραπεί σε πρόβλημα του προσδιορισμού της περιοχής κάτω από μια καμπύλη (δηλαδή, αποτελεί αναπόσπαστο). Ως παράδειγμα της μεθόδου του, καθόρισε το μήκος του τόξου μιας ημικυβικής παραβολής, το οποίο απαιτείται για να βρεθεί η περιοχή κάτω από μια [[Παραβολή (γεωμετρία)|παραβολή]]. Το 1660, ο [[Fermat]] δημοσίευσε μια πιο γενική θεωρία που περιέχει το ίδιο αποτέλεσμα στο έργο του De linearum curvarum cum lineis rectis comparatione dissertatio geometrica (Γεωμετρική διατριβή για καμπύλες γραμμές σε σύγκριση με ευθείες γραμμές).

=== Μορφή ολοκληρώματος ===
Πριν από την πλήρη επίσημη ανάπτυξη του λογισμού, η βάση για τη σύγχρονη ολοκληρωτική μορφή για τον υπολογισμό του μήκους του τόξου ανακαλύφθηκε από τον [[Hendrik van Heuraet]] και [[Πιερ ντε Φερμά|Pierre de Fermat]].

Το 1659 o [[Hendrik van Heuraet]] δημοσίευσε μια κατασκευή που δείχνει ότι το πρόβλημα του προσδιορισμού του μήκους του τόξου μπορεί να μετατραπεί στο πρόβλημα του προσδιορισμού μιας περιοχής κάτω από μια καμπύλη (δηλαδή, αποτελεί ολοκλήρωμα). Ως παράδειγμα της μεθόδου του, καθορίζεται το μήκος του τόξου μιας ημικυβικής παραβολής, το οποίο απαιτείται να βρεθεί η περιοχή κάτω από μια παραβολή. Το 1660, ο [[Πιερ ντε Φερμά|Fermat]] δημοσίευσε μια πιο γενική θεωρία που περιείχε το ίδιο αποτέλεσμα στο έργο του De linearum curvarum cum lineis rectis comparatione dissertatio geometrica (Γεωμετρική διατριβή για καμπύλες γραμμές σε σύγκριση με ευθείες γραμμές).

Βασιζόμενος στο προηγούμενο εργο του για τις εφαπτόμενες,ο Fermat χρησιμοποίησε την καμπύλη:

: <math> y = x^{3/2} \,</math>[[Αρχείο:Arc_length,_Fermat.svg|μικρογραφία|301x301εσ|Του φερμά μέθοδος προσδιορισμού μήκος τόξων]]
της οποίας η [[εφαπτόμενη]] στο x = a είχε μια [[Κλίση συνάρτησης|κλίση]]

: <math> \textstyle {3 \over 2} a^{1/2} </math>
έτσι ώστε η εφαπτόμενη γραμμή να έχει την εξίσωση

: <math> y = \textstyle {3 \over 2} {a^{1/2}}(x - a) + f(a). </math>
Στη συνέχεια, αύξησε το a κατά ένα μικρό ποσό σε a + ε, καθιστώντας το τμήμα AC μια σχετικά καλή προσέγγιση για το μήκος της καμπύλης από το Α έως D. Για να βρεί το μήκος του τμήματος AC, χρησιμοποίησε [[το Πυθαγόρειο θεώρημα]]:

: <math>\begin{align}
AC^2 &{}= AB^2 + BC^2 \\
&{} = \textstyle \varepsilon^2 + {9 \over 4} a \varepsilon^2 \\
&{}= \textstyle \varepsilon^2 \left (1 + {9 \over 4} a \right )
\end{align}</math>
:
το οποίο, όταν λυθεί,αποδίδει

: <math>AC = \textstyle \varepsilon \sqrt { 1 + {9 \over 4} a\ }.</math>
:
: Για την προσέγγιση του μήκους,ο Fermat θα συνοψίσει μια ακολουθία μικρών τμημάτων.

== Καμπύλες με το άπειρο μήκος{{Anchor|Infinite}} ==
[[Αρχείο:Koch_curve.svg|μικρογραφία|Η καμπύλη Koch.]]Δείτε επίσης: [[Ακτογραμμή παράδοξο]]

Όπως αναφέρθηκε παραπάνω, μερικές καμπύλες είναι μη-ευθυγραμμίσιμες. Δηλαδή, δεν υπάρχει ανώτατο όριο για τα μήκη των πολυγωνικών προσεγγίσεων; το μήκος μπορεί να γίνει [[αυθαίρετα μεγάλο]]. Ανεπίσημα, οι εν λόγω καμπύλες λέγεται ότι έχουν άπειρο μήκος. Υπάρχουν συνεχείς καμπύλες επί των οποίων κάθε τόξο (εκτός από ένα μόνο σημείο τόξου) έχει άπειρο μήκος. Ένα παράδειγμα μιας τέτοιας καμπύλης είναι [[η καμπύλη Koch]]. Ένα άλλο παράδειγμα μίας καμπύλης με άπειρο μήκος είναι η γραφική παράσταση της συνάρτησης που ορίζεται από την <math>f(x)=x \sin(1/x)</math> για κάθε ανοικτό σύνολο με μηδέν ως έναν από τους οριοθέτες της και <math>f(0)=0</math>. Μερικές φορές [[η Hausdorff διάσταση]] και [[το μέτρο Hausdorff]] χρησιμοποιούνται για την ποσοτικοποίηση του μεγέθους αυτών των καμπυλών.

== Γενίκευση σε (ψευδο-) Riemannian Πολλαπλότητες ==
Έστω M είναι μια (ψευδο) Riemannian πολλαπλότητα, γ: [0, 1] → Μ μια καμπύλη στην Μ και g ένας (ψευδο-) μετρικός

Το μήκος του γ ορίζεται να είναι

<math>\ell(\gamma)=\int_{0}^{1} \sqrt{ \pm g(\gamma'(t),\gamma '(t)) } \, dt,</math>

όπου γ '(t) ∈ Tγ (t) M είναι το διάνυσμα εφαπτομένη της γ σε t. Το πρόσημο της τετραγωνικής ρίζας επιλέγεται μια φορά για μια δεδομένη καμπύλη, για να εξασφαλιστεί ότι η τετραγωνική ρίζα είναι ένας [[πραγματικός αριθμός]]. Το θετικό πρόσημο επιλέγεται για καμπύλες χώρου? σε έναν ψευδο-Riemannian συλλέκτη, το αρνητικό πρόσημο μπορεί να επιλεχθεί για καμπύλες χρόνου. Έτσι το μήκος μιας καμπύλης είναι ένα μη αρνητικός πραγματικός αριθμός. Συνήθως δεν υπάρχουν καμπύλες που θεωρούνται  εν μέρει χώρου και εν μέρει χρόνου.

Στη θεωρία της σχετικότητας, μήκος τόξου καμπυλών χρόνου (παγκόσμιες γραμμές) είναι ο ιδανικός χρόνος να παρέλθει κατά μήκος της παγκόσμιας γραμμής, και μήκος τόξου μιας καμπύλης χώρου η ιδανική απόσταση κατά μήκος της καμπύλης.

== Παραπομπές ==
<references />

== Αναφορές και σημειώσεις ==
# σελ.51 σε Ahlberg & Nilson (1967) Η θεωρία των splines και οι εφαρμογές τους, Academic Press, 1967 [1]
# Rudin, Walter (1976). Αρχές της Μαθηματικής Ανάλυσης. McGraw-Hill, Inc. σελ. 137. ISBN 0-07-054235-X.
# physics.nist.gov/Pubs/SP811/appenB8.html
# CRC Handbook of Chemistry and Physics, σελίδα F-254
# John Wallis, Tractatus Duo. Prior, De Cycloide et de Corporibus ανε Genitis. ... (Οξφόρδη, Αγγλία: University Press, 1659), σελίδες 91-96? τα συνοδευτικά στοιχεία εμφανίζονται στη σελίδα 145. Στη σελίδα 91, William Neile αναφέρεται ως "Gulielmus Nelius".
# Henricus van Heuraet, "Epistola de transmutatione curvarum linearum σε rectas" (Επιστολή σχετικά με τη μετατροπή των καμπύλων γραμμών σε σωστές [δηλαδή, Επιστολή για τη διόρθωση των καμπυλών]), Renati Des-Cartes Geometria, 2nd ed. (Άμστερνταμ [ "Amstelædami"], (Κάτω Χώρες): Louis & Daniel Elzevir, 1659), σελίδες 517-520.
# "M.P.E.A.S." (Ψευδώνυμο του Fermat) De Linearum Curvarum cum Lineis Rectis Comparatione Dissertatio γεωμετρικό (Τουλούζη [Tolosæ], Γαλλία: Arnaud Colomer, 1660).
# Farouki, Rida T. (1999). Καμπύλες από κίνηση, κίνηση από καμπύλες. Σto P-J. Laurent, Π Sablonniere και Λ Λ Schumaker (επιμ.),Σχεδιασμός Καμπύλης και Επιφάνειας: Saint-Malo 1999, σελ 63-90, Vanderbilt Παν.. Τύπος. ISBN 0-8265-1356-5.
# εξωτερικοί σύνδεσμοι
# Hazewinkel, Michiel, ed. (2001), "Ευθυγραμμίσιμη καμπύλη», Εγκυκλοπαίδεια των Μαθηματικών, Springer, ISBN 978-1-55608-010-4
# Μαθηματικά Πριν τον Λογισμό
# Η Ιστορία της καμπυλότητας
# Weisstein, Eric W., "Μήκος τόξου», MathWorld.
# Το μήκος του τόξου του Ed Pegg, Jr., The Wolfram Δημοσιεύσεις Έργου, 2007.
# Οδηγός Σπουδών Λογισμού - Μήκος τόξου (Διόρθωση)
# Δείκτης Διάσημων Καμπυλών - αρχειο Η MacTutor Ιστορία των Μαθηματικών
# Προσέγγιση μήκους τόξου από το Τσαντ Pierson, Josh Fritz, και η Angela Sharp,Δημοσιεύσεις έργου το Wolfram.
# Μήκος μιας Καμπύλης-Πειραμα Απεικονίζει αριθμητική λύση εξεύρεσης μήκους μιας καμπύλης.

== Εξωτερικοί σύνδεσμοι ==
{{commonscat}}
* {{SpringerEOM|title=Rectifiable curve|id=p/r080130}}
* [https://web.archive.org/web/20051219223123/http://math.kennesaw.edu/~jdoto/13.pdf Τα Μαθηματικά Πριν Από Το Λογισμό]
* [https://web.archive.org/web/20071106083431/http://www3.villanova.edu/maple/misc/history_of_curvature/k.htm Η Ιστορία της Καμπυλότητας]
* {{Mathworld|title=Arc Length|urlname=ArcLength}}
* [https://web.archive.org/web/20160526173435/http://demonstrations.wolfram.com/ArcLength/ Μήκος τόξου] από Ed Pegg, Jr., Η Wolfram Διαδηλώσεις Έργου, 2007.
* [http://www.pinkmonkey.com/studyguides/subjects/calc/chap8/c0808501.asp Λογισμός Οδηγός Σπουδών – Μήκος Τόξων (Διόρθωση)]
* [http://www-groups.dcs.st-and.ac.uk/~history/Curves/Curves.html Διάσημες Καμπύλες Δείκτη] {{Webarchive|url=https://web.archive.org/web/20060413093644/http://www-groups.dcs.st-and.ac.uk/~history/Curves/Curves.html |date=2006-04-13 }} ''Στο MacTutor History of Mathematics archive''
* [https://web.archive.org/web/20160526173415/http://demonstrations.wolfram.com/ArcLengthApproximation/ Μήκος τόξου Προσέγγιση] από το Τσαντ Πίρσον, ο Τζος Fritz, και η Sharp, Η Wolfram Διαδηλώσεις του Έργου.
* [http://numericalmethods.eng.usf.edu/experiments/Length_of_curve_experiment.pdf Μήκος της Καμπύλης Πείραμα] Δείχνει αριθμητική λύση να βρούμε το μήκος της καμπύλης.

[[Κατηγορία:Καμπύλες]]
[[Κατηγορία:Ολοκληρωτικός λογισμός]]
[[Κατηγορία:Μήκος]]