This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
In the second section the mean value theorem is used on a vector-valued function, but the theorem only holds for real-valued functions. For example the proof doesn't hold for the curve for , since .
An alternative proof of the arc length formula could rely on Fatou's lemma. If is at first defined using the integral formula one can show that by (i) showing by direct inequality that a straight line is the shortest path between two points (giving ) (ii) is lower semi-continuous according to pointwise convergence of the derivatives of curves (using Fatou's lemma) (iii) every smooth path () has a succession of piecewise linear curves with vertices on the curve whose derivatives converge pointwise to the derivative of the path (giving ).
I completely disagree with you, Tosha. I think this deserves a page on its own.
This means that in discussion of the geometry of the curves, any links to arc length now jump directly to the curves article. This is a disservice to readers navigating these articles who expect to go directly to a discussion of the concept of arc length, rather than to to the article on curves. -- Decumanus 19:39, 15 Mar 2004 (UTC)
I agree; this page can stand on its own. Michael Hardy 21:34, 15 Mar 2004 (UTC)
Ok, I think this way it is harder to keep it uptodate, but do as you wish.Tosha 23:56, 15 Mar 2004 (UTC)
This article is incomplete. It needs cleanup. I wikified the maths, but some of the formulas didn't seem to make sense the way they were written, so they should be checked.
I've been fixated on the text bit - now that I look closely, that explanation of the Fermat math doesn't look right. It keeps sprouting unexplained new variables. Tearlach19:37, 16 July 2005 (UTC)[reply]
I only fixed the LaTex formating of the math -not the content- now that I look criticaly, I see what you mean. It looks like the original author of the page just rewrote it from the pdf he cites. Reading the file explains what he was getting at. We I get some more time, I'll make a plot so one can follow along. We should add the final part too (from the pdf) where the formula shows that Fermat really did find the integral and his formula, he just didn't understand the implications. I'd like another source for verification that this is how it historicaly happened.
As far as I understand it, both van Heuraet and Fermat derived that if you have a function f(x), then the arc length is given by the area under a new function g(x) = sqrt(1 + f'(x)^2). So they had the function to be integrated, but not the integral calculus to apply to it. Tearlach11:49, 17 July 2005 (UTC)[reply]
A bit added about the problems. As it stood, it was overoptimistic about the benefits of applying calculus. PS Semicubical parabola is y^3 = a*x^2. Tearlach23:24, 15 July 2005 (UTC)[reply]
I added a graph for Fermat's method. I had different colors for the line originaly, but somehow, gnuplot stoped changing them as the code evolved. See Image:Arc length, Fermat.png for the code and please help me fix it. --Jacob18:09, 22 July 2005 (UTC)[reply]
The location "Arc length" is arrived at from "Curve length". No idea how history brought us to this situation. Clearly, this article should be "Curve length", and "Arc length" should redirect to "Arc_(geometry)". 68.84.233.37 (talk) 10:50, 30 June 2013 (UTC)[reply]
According to the article Arc, an arc is a continuous portion of a circle; part of a circle's circumference (also called a circle segment). The present article is about curves. It uses the undefined term "irregular arc", but in fact even in the present text the use of the term "curve" dominates the use of the term "arc". My conclusion is that the title ought to be: Length of a curve. LambiamTalk03:09, 9 April 2006 (UTC)[reply]
Actually, I prefer arc length, as that is what the concept is usually called in calculus books and more advanced books on differential geometry. The other names should just redirect to arc length. I also suspect that when writing an article, most mathematicians would use arc length, so this avoids unnecessary redirects.
There are terminology issues, as you've noticed. "Arc" actually is used to refer to more than what is currently in arc. In geometry/topology areas, it actually means a continuous map of the unit interval, and often in differential geometry, "arc" refers to "rectifiable arc". This usage of "arc" is actually fairly old, and that is the "arc" that is referred to by "arc length"; it may be tied to the historical "irregular arc" mentioned in the article. I think, though, that more people prefer "path" or "curve" over "arc" nowadays in topology.
In answer to your objection, while it may be strange that "curve" dominates "arc" in the article, it's just an artifact of history and usage that "arc length" has become the standard term rather than "curve length", although of course, people would probably understand what you mean by the latter in the appropriate context. --C S (Talk)03:58, 9 April 2006 (UTC)[reply]
I did a bit of research on other treatments. Mathworld, under "arc length", defines "Arc length is defined as the length along a curve"[1] and proceeds to give a treatment that will blow away all non-mathematicians; it appears to presuppose differentiability. PlanetMath, under "arc length", defines: "Arclength is the length of a section of a differentiable curve"[2] (italics added, L.), and the treatment given corresponds more or less to that of our Length of an arc. We also have Curve#Lengths_of_curves, which is somewhat unreadable and probably quite incomprehensible to the mathematically untrained, but in essence what I believe the Length article should cover: length as a kind of limit, with differentiable curves in Euclidean 2-space as a special case. Alternatively, we should make clear that this article covers only an important but nevertheless special case and insert a link to the more general, unfortunately unreadable, treatment. LambiamTalk06:19, 9 April 2006 (UTC)[reply]
I have moved the article. This required deleting and merging old history, since there was once an article arc length, which has a history, and was improperly made into a redirect by Tosha in 2004, in violation of the GFDL. -lethetalk+19:42, 11 April 2006 (UTC)[reply]
As this article is named Arc Length, I believe it should at its outset completely and clearly address the generally understood notion of Arc pertaining to a segment of a circle before it addresses the arc lengths of curves. The current definition of a circular arc, while technically correct is woefully inadequate to general users and difficult to find on the page. In order to make Wikipedia useful to the general populace, think like and write to non-mathematicians first, then delve into the higher notions of the concept.
I completely agree with this. This is an endemic issue in most of the math sections on Wikipedia. Usually little to no regard is given to those who are seeking to understand the basics of the concepts and the articles dive headlong into the higher math without giving adequate explanations of what the formulas mean. Most people who are looking for information on Wikipedia don't "speak math" like we do and often skip right over the formulas. I know that the formulas are the most concise definition, but only for those that already understand the concepts or know how to speak mathematics. In the effort to be concise and complete the usefulness of the encyclopedic information often becomes nullified. It is easy to forget who our customers are, who uses the information and what is its purpose? Start with the most basic commonly held definitions give them a solid foundation and build on them. Dissymmetry (talk) 14:46, 7 June 2012 (UTC)[reply]
The standard definition of arc length---the sup of polygonal path lengths---is not even mentioned here. I'll be back..... Michael Hardy22:51, 7 May 2006 (UTC)[reply]
That definition applies to all curves in a metric space, not just rectifiable arc segments (differentiable curves?) in Euclidean space, in which case one might wonder why the article is not called "Curve length" or something like that. See also the above discussion on the article title. If someone feels like improving the present article, then note that it never defines what an "irregular arc segment" is, does not give any definition of arc length but only ways to determine it, and further confuses functions with their graphs plotted as curves in space. I also find the account under "Ancient" rather dubious and doubt that it is true as stated.
"Rectifiable" does not imply "differentiable". I thought "rectifiable" meant the total length is finite, regardless of differentiability, or at least the length between any two points on the curve is finite (as with a line). Michael Hardy03:13, 9 May 2006 (UTC)[reply]
The parenthetical question was a guess at a possibly intended meaning of "arc segment", given PlanetMath's definition of "arc length" as "the length of a section of a differentiable curve". --LambiamTalk08:44, 9 May 2006 (UTC)[reply]
Both Hausdorff dimension and Minkowski-Bouligand dimension say something like: I am what you get as a limit of a cover of balls. Both are written in a way that makes it hard to see how this relates to the more formal definitions given. How they can be "informally" the same but actually different is not immediately clear to me. --LambiamTalk13:12, 16 May 2006 (UTC)[reply]
They talk about computing the dimension of a structure. I recall there being a way to define arc length itself as a covering. --njh02:19, 17 May 2006 (UTC)[reply]
I would like to show the derivation of at least the fundamental parametric arc length formula, however since I'm new to this math format and it is a moderately long explination, I'm going to be working on it here and moving it into the article once it is complete and has been peer reviewed. Please let me know of any errors that you may see, I will move it into the main page in the near future. If anyone might be able to explain the conversion of this integral into the one used for ordinary functions (f(x)) it would be very useful.
In order to approximate the arc length of the curve, it is split into many linear segments. To make the value exact, and not an approximation, we will need infinitely many linear elements. This means that each element is infinately small. This fact manifests itself later on when we use an integral.
We start by looking at a representative linear segment (see image) and observe that its length (element of the arc length) will be the differential ds. We will call the horizontal element of this distance dx, and the vertical element dy.
A revision of the first image, swapping labels dx and dy is at http://en.wikipedia.org/wiki/File:Arc_length_approximation.svg. It also has the ds label moved. This article's preceding section says, "Consider an infinitesimal part of the curve ds (or consider this as a limit in which the change in s approaches ds)." which seems to allow either the portion of curve within the triangle or the straight line which approximates it to be labeled ds. I'm not sure which is more proper. Should the revised images have the ds label at the original location?
Whbny (talk) 21:06, 4 February 2018 (UTC)whbny
%%% The last derivation regarding arc length being independent of parametrization has a few serious problems. First, a continuously differentiable bijection does not need to be non-decreasing: for example, \phi(x)=-x. Second, the inverse of a continuously differentiable bijection need not be differentiable: consider the bijection \phi(x)=x^3, whose inverse bijection fails to be differentiable at x=0. In fact, the derivative of \phi^{-1}(x) becomes unbounded around x=0. These matters can be fixed (I can fix them but I need to get more accustomed to using this Talk page and format).[reply]
I think the article is missing a good demonstration not involving the parametric form. This is my work on it, and I think it could be included in the article, though a more rigorous treatment is welcome.
We have a function f(x). It is continuous in the interval [a,b]. Now, let us divide this interval in equal parts, Δx.
Starting from a, each successive increment in x, will also increment the f(x), and the arc lenght of that part will be given as:
Foe example, the first increment will result in an arc length of approximately:
The total arc length will be:
Now, taking the limit as Δx becomes infinitesimal, and summing up all the parts, we get the expression:
First section, "General approach", needs work[edit]
This section reads as follows:
"A curve in, say, the plane can be approximated by connecting a finite number of points on the curve using line segments to create a polygonal path. Since it is straightforward to calculate the length of each linear segment using the theorem of Pythagoras, the total length of the approximation can be found by summing the lengths of each linear segment.
Using a larger number of segments (with each segment often of a smaller length) usually provides a better approximation to the curve, and the length of such an approximation will be greater than one using fewer segments.
For some curves it is the case that none of the lengths of the approximations exceeds a certain smallest number L. If such a number exists, then the curve is said to be rectifiable and the curve is defined to have arc length L."
The first paragraph should be removed entirely, since above all, how to calculate arclength for practical purposes is a separate issue from how arclength is defined -- the definition is more basic and should come first and be clearly labeled as such. (Even if it were appropriate to begin with a discussion of how to *calculate* arclength, this paragraph makes no statement that the cartesian coordinates of the segments' endpoints are known -- which makes the mention of "using the theorem of Pythagoras" irrelevant.)
The word "usually" in the second paragraph seems strange. To make sense, it needs to be stated what a "better approximation to the curve" means, if this phrase is to be used.
The third paragraph is false as stated. (E.g., the length of each polygonal approximation to a unit circle does not exceed 99, but 99 exceeds 2π, the arclength of this circle.)Daqu (talk) 09:08, 17 August 2008 (UTC)[reply]
In order to create this new section I separated out statements about the intuition behind calculating arc length, and provided a better definition (see the history for more details), so some of it is a re-write of stuff previously included. The previous version had intuitive statements about arc length being defined for R2, and I thought that keeping these ideas in the context of the plane was a good way of introducing the idea, since, perhaps, most people might find the idea of a curve in n-dimensional space a little intimidating.
I disagree that the definition is more basic than the intuitive version, for two reasons: (1) It's not more basic for non-mathematicians; (2) The definition is precisely that intuitive concept given symbolic form.
The language for this section is written informally: if you think it needs work, go ahead and make the changes. And if it's imprecise, go ahead and make those changes too. It's anybody's article.
Finally, the cartesian coordiates of the segments' endpoints is relevant only if one is working in Euclidean space; if X were a general metric space, I don't know what "cartesian coordinates" would mean. Xantharius (talk) 21:37, 17 August 2008 (UTC)[reply]
This section is flagged with a cleanup, but it's not worth cleaning up. It's not substantially different from the main derivation, and full of grammatical and notational errors. I suggest it be removed.
Bryanclair (talk) 20:29, 31 March 2009 (UTC)[reply]
Within section "Historical methods", subsection "Ancient", a 'straight line' is said to have a definite length. According to MathWorld a line (sometimes called a 'straight line') is "a straight one-dimensional figure having no thickness and extending infinitely in both directions".
I removed the following paragraph from this section:
Polygonal approximations are linearly dependent on the curve in a few select cases. One of these cases is when the curve is simply a point function as is its polygonal approximation. Another case where the polygonal approximation is linearly dependent on the curve is when the curve is linear. This would mean the approximation is also linear and the curve and its approximation overlap. Both of these two circumstances result in an eigenvalue equal to one. There are also a set of circumstances where the polygonal approximation is still linearly dependent but the eigenvalue is equal to zero. This case is a function with petals where all points for the polygonal approximation are at the origin.
"eigenvalue" and "linearly dependent" make no sense here. The entire paragraph is confusing, and the point it seems to be trying to make is inappropriate in a section that's trying to give a gentle introduction by explaining the basic idea. — Preceding unsigned comment added by 24.56.116.202 (talk) 17:00, 10 August 2015 (UTC)[reply]
Tosha, do you mean the curve should be defined as a piecewise differentiable mapping from an interval to This would certainly be a more useful definition for the vast majority of applications. Jrheller1 (talk) 23:38, 15 February 2016 (UTC)[reply]
This information would be useful to anybody who writes a program that needs to calculate the arc length of a curve. It shows that the fact that there is usually no closed form solution for the arc length integral doesn't really matter because numerical integration (even very accurate numerical integration) is usually very efficient. Gauss-Kronrod rules and Gaussian quadrature rules are just the standard ways of doing numerical integration of a non-singular integrand. Jrheller1 (talk) 05:13, 5 March 2016 (UTC)[reply]
@Jrheller1: For theoretical purposes, especially on a general curve of a particular family (such as an arbitrary parabola for which you don't know its parameters), a closed-form solution is much preferable, even if given in terms of special functions like elliptic integrals. Anyone writing a program to compute arc length would probably use numerical integration even if the curve possessed a closed-form arc length formula, since even if it exists, it may be unsuitable for numerical purposes. More generally, the efficiency of numerical integration does no good for theoretical purposes for any definite integral in general. As someone focusing on pure math (at least for now), it only distracts me when I see a remark on numerical integration.--Jasper Deng(talk)07:59, 5 March 2016 (UTC)[reply]
If someone wants to do numerical integration they can head over to the article on that. Why is adding numerical integration here any more useful than other situations not determinable in closed form, such as elliptic integrals and the error function?--Jasper Deng(talk)21:19, 15 March 2016 (UTC)[reply]
Numerical integration is applied to many many different mathematical problems; it is impractical for all of them to be covered in a single article. As the OP explained, there are some nuances to this application, that are not obvious to the average reader. The error function can be consider a closed-form_expression#Alternative definitions. fgnievinski (talk) 00:59, 16 March 2016 (UTC)[reply]
But how are any of these nuances specific to the problem of arc length? The OP only mentions that these are generally applicable numerical integration methods, without discussion of how arc length integrands are any more suited to those methods than general integrands.--Jasper Deng(talk)08:25, 16 March 2016 (UTC)[reply]
I'd support summarizing that sub-section as a single sentence, just mentioning that quadrature can be readily applied after finding a suitable parameterization; you're right in that currently not much is said about its details (which can be quite complicated); the lengthy numerical example is not particularly illuminating. fgnievinski (talk) 09:42, 16 March 2016 (UTC)[reply]
The history of the page shows that there was an example of numerical integration for more than 9 years and nobody had a problem with it all that time. While removing several redundant and not very good derivations of the arc length integral, I removed this example temporarily back in February 2016. Then I replaced the previous example with a better example. In this new example, the integral has an easily computed transcendental value, so it is easier to analyze the error of Gauss or Gauss-Kronrod quadrature (or any other numerical integration method). How could anybody possibly have a problem with this improved example? Jrheller1 (talk) 04:16, 28 April 2016 (UTC)[reply]
which means that the function is , the remainder of the section seems to work for curves. The definition of a "smooth" function is that it is . Should the section be renamed "Definition for a differentiable curve", or am I missing something?--Salix alba (talk): 05:10, 10 May 2016 (UTC)[reply]
"Once continuously differentiable" or is more precise than "smooth". Sometimes or curves or surfaces are referred to as "smooth", though. A or curve appears to be "smooth" (using the word smooth in a physical sense rather than strict mathematical sense). Jrheller1 (talk) 02:00, 13 May 2016 (UTC)[reply]
I'm agnostic whether narrowing the discussion to is important (Wikipedia generally eschews highly technical arguments, and "smooth" is often understood by context), but I object to the use of rather than . The function and its derivative are vector valued, so the (Euclidean) norm rather than absolute value is needed in the arc length formula.Hardmath (talk) 06:12, 27 December 2017 (UTC)[reply]
The words "where the supremum is taken over all possible partitions of" are perfectly clear. But someone keeps inserting the unnecessary and distracting verbiage "please note is not a fixed number, i.e., the supemum is taken over all possible finite partitions of the interval , where the curve is defined." Jrheller1 (talk) 04:52, 27 September 2016 (UTC)[reply]
I have just modified one external link on Arc length. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
When you have finished reviewing my changes, please set the checked parameter below to trueorfailed to let others know (documentation at {{Sourcecheck}}).
YAn editor has reviewed this edit and fixed any errors that were found.
If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
If you found an error with any archives or the URLs themselves, you can fix them with this tool.
The section Formula for a smooth curve begins as follows:
"Let be an injective and continuously differentiable (i.e., the derivative is a continuous function) function. The length of the curve defined by can be defined as the limit of the sum of linear segment lengths for a regular partition of as the number of segments approaches infinity. This meanswhere with for This definition is equivalent to the standard definition of arc length as an integral:"
The section Formula for a smooth curve contains this statement:
"Let be an injective and continuously differentiable (i.e., the derivative is a continuous function) function. The length of the curve defined by can be defined as the limit of the sum of linear segment lengths for a regular partition of as the number of segments approaches infinity."
But "as the number of segments approaches infinity" is the wrong condition for the sum of the lengths of the approximating segments to approach the length of the curve.
(It is easy to come up with counterexamples where the number of segments approaches infinity, yet the sum of their lengths does not approach the length of the curve: Just keep the length of one segment of length > 0 fixed, while the others become more numerous and approach infinitely many.)
Instead, the correct condition is that the lengths of all the approximating segments of the inscribed polygon must approach zero.
"Arc length is the distance between two points along a section of a curve."
Isn't the distance between two points the length of the shortest segment that has those two points as endpoints? This is also what the Wikipedia page on distance says (if I interpreted it correctly). Wouldn't it be more appropriate to define arc length as the length of an arbitrary curve with two endpoints? Or if one doesn't wish to reuse the word length, the distance traveled along a curved path from a point to another point? I don't like this last definition because it kind of implies that something has traveled along the arc but anyways I don't mean to come up with a definition yet, I would just like to know if the definition on the Wikipedia page for arc length is correct. 131.114.35.40 (talk) 14:06, 26 October 2022 (UTC)[reply]
In my opinion, the introduction of this article on the definition of a rectifiable curve is very unclear and it repeats itself, making it confusing.
Therefore, I would propose adding a section entitled "Formal definitions." In this section, I would present the following definitions, and show that they are, indeed, equivalent:
1. For any sequence of partitions of [a,b] such that the lengths of the corresponding line segments of the curve converge to 0, the sequence of the sums of these lengths converges to the value L, the arc length.
2. The supremum of the set of all sums of lengths corresponding to a partition on [a,b] exists.
The first statement is the intuitive and mathematically rigorous definition of arc length.
These definitions could be worded better and made more understandable with mathematical notation. I believe this would clear up confusion and make the whole article more accurate.