|
|
| Line 1: |
Line 1: |
| [[File:Arc_length.gif|right|frame|When rectified, the curve gives a straight line segment with the same length as the curve's arc length.]]
| | <br><br>Bryan is actually a celebrity [http://www.hotelsedinburgh.org tickets for less] within the building along with the vocation advancement initially second to his third theatre album, And , is definitely the evidence. He broken on the scene in 2005 along with his best mix of lower-house convenience, movie celebrity fantastic seems and lines, is set t within a key way. The brand new recor around the land graph and #2 on the pop charts, earning it the next greatest debut during those times of 2008 for a region artist. <br><br>The son of any , knows perseverance and willpower are key elements in terms of a successful profession- . His 1st album, Stay Me, generated the very best hits “All My Pals Say” and “Country Gentleman,” although his energy, Doin’ Issue, located the vocalist-a few straight No. 7 men and women: More Calling Is often a Fantastic Factor.”<br><br>In the slip of 1999, Concert tour: Luke & that have an impressive set of , such as Urban. “It’s much like you are obtaining a approval [http://minioasis.com luke bryan concert dates 2014] to go to the next level, affirms individuals designers that have been an element of the Touraround right into a larger measure of artists.” It twisted among the most successful organized tours in their twenty-12 months background.<br><br>My website: [http://lukebryantickets.lazintechnologies.com pink concert tickets] |
| | |
| Determining the '''length of an irregular arc segment''' is also called rectification of a [[curve]]. Historically, many methods were used for specific curves. The advent of [[infinitesimal calculus]] led to a general formula that provides [[closed-form expression|closed-form solutions]] in some cases.
| |
| | |
| == General approach ==
| |
| [[File:Arclength.svg|400px|right|thumb|Approximation by multiple linear segments]]
| |
| | |
| A [[curve]] in the [[Euclidean space|plane]] can be approximated by connecting a [[wiktionary:Finite|finite]] number of [[point (geometry)|points]] on the curve using [[line segment]]s to create a [[polygonal chain|polygonal path]]. Since it is straightforward to calculate the [[length]] of each linear segment (using the [[Pythagorean theorem]] in Euclidean space, for example), the total length of the approximation can be found by [[summation|summing]] the lengths of each linear segment.
| |
| | |
| 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.
| |
| | |
| If the curve is not already a polygonal path, better approximations to the curve can be obtained by following the shape of the curve increasingly more closely. The approach is to use an increasingly larger number of segments of smaller lengths. The lengths of the successive approximations do not decrease and will eventually keep increasing—possibly indefinitely, but for smooth curves this will tend to a limit as the lengths of the segments get [[arbitrarily large|arbitrarily small]].
| |
| | |
| For some curves there is a smallest number ''L'' that is an upper bound on the length of any polygonal approximation. If such a number exists, then the curve is said to be '''rectifiable''' and the curve is defined to have '''arc length''' ''L''.
| |
| | |
| ==Definition==
| |
| {{See also|Curve#Lengths of curves|l1=Lengths of curves}}
| |
| | |
| Let ''C'' be a [[curve]] in [[Euclidean space|Euclidean]] (or, more generally, a [[metric space|metric]]) space ''X'' = '''R'''<sup>''n''</sup>, so ''C'' is the [[image (mathematics)|image]] of a [[continuous function]] ''f'' : [''a'', ''b''] → ''X'' of the [[interval (mathematics)|interval]] [''a'', ''b''] into ''X''.
| |
| | |
| From a [[partition of an interval|partition]] ''a'' = ''t''<sub>0</sub> < ''t''<sub>1</sub> < ... < ''t''<sub>''n''−1</sub> < ''t''<sub>''n''</sub> = ''b'' of the interval [''a'', ''b''] we obtain a finite collection of points ''f''(''t''<sub>0</sub>), ''f''(''t''<sub>1</sub>), ..., ''f''(''t''<sub>''n''−1</sub>), ''f''(''t''<sub>''n''</sub>) on the curve ''C''. Denote the [[distance]] from ''f''(''t''<sub>''i''</sub>) to ''f''(''t''<sub>''i''+1</sub>) by ''d''(''f''(''t''<sub>''i''</sub>), ''f''(''t''<sub>''i''+1</sub>)), which is the length of the [[line segment]] connecting the two points.
| |
| | |
| The '''arc length''' ''L'' of ''C'' is then defined to be
| |
| | |
| :<math>L(C) = \sup_{a=t_0 < t_1 < \cdots < t_n = b} \sum_{i = 0}^{n - 1} d(f(t_i), f(t_{i+1}))</math>
| |
| | |
| where the [[supremum]] is taken over all possible partitions of [''a'', ''b''] and ''n'' is unbounded.
| |
| | |
| The arc length ''L'' is either [[wiktionary:Finite|finite]] or [[Infinity|infinite]]. If ''L'' < ∞ then we say that ''C'' is '''rectifiable''', and is '''non-rectifiable''' otherwise. This definition of arc length does not require that ''C'' be defined by a [[derivative|differentiable]] function. In fact in general, the notion of differentiability is not defined on a metric space.
| |
| | |
| A curve may be parametrized in many ways. Suppose ''C'' also has the parametrization ''g'' : [''c'', ''d''] → ''X''. Provided that ''f'' and ''g'' are injective, there is a continuous monotone function ''S'' from [''a'', ''b''] to [''c'', ''d''] so that ''g''(''S''(''t'')) = ''f''(''t'') and an inverse function ''S''<sup>−1</sup> from [''c'', ''d''] to [''a'', ''b'']. It is clear that any sum of the form
| |
| <math>\sum_{i = 0}^{n - 1} d(f(t_i), f(t_{i+1}))</math> can be made equal to a sum of the form <math>\sum_{i = 0}^{n - 1} d(g(u_i), g(u_{i+1}))</math> by taking <math>u_i = S(t_i)</math>, and similarly a sum involving ''g'' can be made equal to a sum involving f. So the arc length is an intrinsic property of the curve, meaning that it does not depend on the choice of parametrization.
| |
| | |
| The definition of arc length for the curve is analogous to the definition of the [[total variation]] of a real-valued function. | |
| | |
| ==Finding arc lengths by integrating==
| |
| {{See also|Differential geometry of curves#Length and natural parametrization|l1=Differential geometry of curves}}
| |
| | |
| Consider a real [[function (mathematics)|function]] ''f''(''x'') such that ''f''(''x'') and <math>f'(x)=\frac{dy}{dx}</math> (its derivative with respect to ''x'') are [[continuous function|continuous]] on [''a'', ''b'']. The length ''s'' of the part of the graph of ''f'' between ''x'' = ''a'' and ''x'' = ''b'' can be found as follows:
| |
| | |
| Consider an infinitesimal part of the curve ''ds'' (or consider this as a limit in which the change in s approaches ''ds''). According to Pythagoras' theorem <math>ds^2=dx^2+dy^2</math>, from which:
| |
| :<math>ds^2=dx^2+dy^2</math>
| |
| :<math>\frac{ds^2}{dx^2}=1+\frac{dy^2}{dx^2}</math>
| |
| | |
| :<math>ds=\sqrt{1+\left(\frac{dy}{dx}\right)^2}dx</math>
| |
| | |
| :<math>s = \int_{a}^{b} \sqrt { 1 + [f'(x)]^2 }\, dx. </math>
| |
| | |
| If a curve is defined parametrically by ''x'' = ''X''(''t'') and ''y'' = ''Y''(''t''), then its arc length between ''t'' = ''a'' and ''t'' = ''b'' is
| |
| | |
| :<math>s = \int_{a}^{b} \sqrt { [X'(t)]^2 + [Y'(t)]^2 }\, dt. </math>
| |
| This is more clearly a consequence of the distance formula where instead of a <math>\Delta x</math> and <math>\Delta y</math>, we take the limit. A useful mnemonic is
| |
| :<math>s = \lim \sum_a^b \sqrt { \Delta x^2 + \Delta y^2 } = \int_{a}^{b} \sqrt { dx^2 + dy^2 } = \int_{a}^{b} \sqrt { \left(\frac{dx}{dt}\right)^2 + \left(\frac{dy}{dt}\right)^2 }\,dt. </math>
| |
| | |
| If a function is defined as a function of ''x'' by <math> y=f(x) </math> then it is simply a special case of a parametric equation where <math>x = t </math> and <math> y = f(t) </math>, and the arc length is given by:
| |
| | |
| :<math>s = \int_{a}^{b} \sqrt{ 1 + \left(\frac{dy}{dx}\right)^2 } \, dx.</math>
| |
| | |
| If a function is defined in [[polar coordinate system|polar coordinates]] by <math> r=f(\theta) </math> then the arc length is given by
| |
| | |
| :<math>s = \int_a^b \sqrt{r^2+\left(\frac{dr}{d\theta}\right)^2} \, d\theta.</math>
| |
| | |
| In most cases, including even simple curves, there are no [[Solution in closed form|closed-form solutions]] of arc length and [[numerical integration]] is necessary.
| |
| | |
| Curves with closed-form solution for arc length include the [[catenary]], [[circle]], [[cycloid]], [[logarithmic spiral]], [[parabola]], [[semicubical parabola]] and (mathematically, a curve) [[line (mathematics)|straight line]]. The lack of closed form solution for the arc length of an [[Ellipse#Circumference|elliptic]] arc led to the development of the [[elliptic integral]]s.
| |
| | |
| ===Derivation===
| |
| [[File:Arc length approximation.svg|thumb|For a small piece of curve, ∆s can be approximated with the [[Pythagorean theorem]]]]
| |
| [[File:ArclengthSegment.png|frame|right|A representative linear element of the function {{Nowrap|1= ''y''=''t''<sup> 5</sup>, ''x'' = ''t''<sup> 3</sup>}}]]
| |
| 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]], [[infinitely]] many linear elements are needed. This means that each element is infinitely small. This fact manifests itself later on when an [[integral]] is used.
| |
| | |
| Begin by looking at a representative linear segment (see image) and observe that its length (element of the arc length) will be the [[differential (infinitesimal)|differential]] ''ds''. We will call the horizontal element of this distance ''dx'', and the vertical element ''dy''.
| |
| | |
| The [[Pythagorean theorem]] tells us that
| |
| | |
| :<math>ds = \sqrt{dx^2 + dy^2}.\, </math>
| |
| | |
| Since the function is defined in time, segments (''ds'') are added up across infinitesimally small intervals of time (''dt'') yielding the integral
| |
| | |
| :<math>\int_a^b \sqrt{\bigg(\frac{dx}{dt}\bigg)^2+\bigg(\frac{dy}{dt}\bigg)^2}\,dt,</math>
| |
| | |
| If ''y'' is a function of ''x'', so that we could take ''t'' = ''x'', then we have:
| |
| | |
| :<math>\int_a^b \sqrt{1+\bigg(\frac{dy}{dx}\bigg)^2}\,dx,</math>
| |
| | |
| which is the arc length from ''x'' = ''a'' to ''x'' = ''b'' of the graph of the function ƒ.
| |
| | |
| For example, the curve in this figure is defined by
| |
| | |
| :<math>\begin{cases} y = t^5, \\ x = t^3. \end{cases}</math>
| |
| | |
| Subsequently, the arc length integral for values of ''t'' from -1 to 1 is
| |
| | |
| :<math>\int_{-1}^1 \sqrt{(3t^2)^2 + (5t^4)^2}\,dt = \int_{-1}^1 \sqrt{9t^4 + 25t^8}\,dt.</math>
| |
| | |
| Using computational approximations, we can obtain a very accurate (but still approximate) arc length of 2.905.
| |
| | |
| ===Another way to obtain the integral formula===
| |
| [[File:Arclength-2.png|right|thumb|400px|Approximation by multiple hypotenuses]]
| |
| | |
| Suppose that there exists a rectifiable curve given by a function ''f''(''x''). To approximate the arc length ''S'' along ''f'' between two points ''a'' and ''b'' in that curve, construct a series of right triangles whose concatenated hypotenuses "cover" the arc of curve chosen as shown in the figure. For convenience, the bases of all those triangles can be set equal to <math> \Delta x </math>, so that for each one an associated <math> \Delta y </math> exists. The length of any given hypotenuse is given by the [[Pythagorean Theorem]]:
| |
| | |
| : <math>\sqrt {\Delta x^2 + \Delta y^2} </math>
| |
| | |
| The summation of the lengths of the ''n'' hypotenuses approximates ''S'':
| |
| | |
| : <math>S \sim \sum_{i=1}^n \sqrt { \Delta x_i^2 + \Delta y_i^2 } </math>
| |
| | |
| Multiplying the radicand by <math>\frac{\Delta x^2}{\Delta x^2}</math> produces:
| |
| | |
| : <math>\sqrt { \Delta x^2 + \Delta y^2 }=\sqrt{ ({\Delta x^2 + \Delta y^2})\,\frac{\Delta x^2}{\Delta x^2}}=\sqrt { 1 + \frac{\Delta y^2}{\Delta x^2}}\,\Delta x=\sqrt { 1 + \left(\frac{\Delta y} {\Delta x} \right)^2 }\,\Delta x</math>
| |
| | |
| Then, our previous result becomes:
| |
| | |
| : <math>S \sim \sum_{i=1}^n \sqrt { 1 + \left(\frac{\Delta y_i} {\Delta x_i} \right)^2 }\,\Delta x_i </math>
| |
| | |
| As the length <math> \Delta x </math> of these segments decreases, the approximation improves. The limit of the approximation, as <math> \Delta x </math> goes to zero, is equal to <math>S</math>:
| |
| | |
| : <math>S = \lim_{\Delta x_i \to 0} \sum_{i=1}^\infty \sqrt { 1 + \left(\frac{\Delta y_i}{\Delta x_i} \right)^2 }\,\Delta x_i = \int_{a}^{b} \sqrt { 1 + \left(\frac{dy}{dx}\right)^2 } \,dx = \int_{a}^{b} \sqrt{1 + \left [ f' \left ( x \right ) \right ] ^2} \, dx. </math>
| |
| | |
| ===Another proof===
| |
| We know that the formula for a line integral is <math> \int_a^b f(x,y) \sqrt{x'[t]^2+y'[t]^2} \, dt</math>. If we set the surface f(x,y) to 1, we will get arc length multiplied by 1, or <math> \int_a^b \sqrt{x'[t]^2+y'[t]^2} dt</math>. If ''x'' = ''t'', and ''y'' = ''f''(''t''), then ''y'' = ''f''(''x''), from when x is a to when ''x'' is ''b''. If we set these equations into our formula we get: <math> \int_a^b \sqrt{1+f'(x)^2} \, dx</math> (Note: If ''x'' = ''t'' then ''dt'' = ''dx''). This is the arc length formula.
| |
| | |
| ===Other coordinate systems===
| |
| | |
| In polar coordinates, the arc length is given by
| |
| <math>\int_{t_1}^{t_2} \sqrt{r^2 + \left(\frac{dr}{d\theta}\right)^2}</math>
| |
| | |
| In cylindrical coordinates, the arc length is given by
| |
| <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}</math>
| |
| | |
| In spherical coordinates, the arc length is given by
| |
| <math>\int_{t_1}^{t_2} \sqrt{\left(\frac{d\rho}{dt}\right)^2 + \rho^2 \sin^2 \varphi \left(\frac{d\theta}{dt}\right)^2 + \rho^2 \left(\frac{d\varphi}{dt}\right)^2} </math>
| |
| | |
| == Simple cases ==
| |
| === Arcs of circles ===
| |
| <!--
| |
| Arc length is not the same as [[arc measure]]. [What is that?] -->
| |
| | |
| Arc lengths are denoted by ''s'', since arcs "[[Subtended angle|subtend]]" an angle.
| |
| | |
| In the following lines, <math>r</math> represents the [[radius]] of a [[circle]], <math>d</math> is its [[diameter]], <math>C</math> is its [[circumference]], <math>s</math> is the length of an arc of the circle, and <math>\theta</math> is the angle which the arc subtends at the [[Centre (geometry)|centre]] of the circle. The distances <math>r, d, C,</math> and <math>s</math> are expressed in the same units.
| |
| | |
| * <math>C=2\pi r,</math> which is the same as <math>C=\pi d.</math> (This equation is a definition of <math>\pi</math> ([[pi]]).)
| |
| * If the arc is a [[semicircle]], then <math>s=\pi r.</math>
| |
| * If <math>\theta</math> is in [[radian]]s then <math>s =r\theta.</math> (This is a definition of the radian.)
| |
| * If <math>\theta</math> is in [[Degree (angle)|degrees]], then <math>s=\frac{\pi r \theta}{180},</math> which is the same as <math>s=\frac{C \theta}{360}.</math>
| |
| * If <math>\theta</math> is in [[Grad (angle)|grads]] (100 grads, or grades, or gradians are one [[right-angle]]), then <math>s=\frac{\pi r \theta}{200},</math> which is the same as <math>s=\frac{C \theta}{400}.</math>
| |
| * If <math>\theta</math> is in [[Turn (geometry)|turns]] (one turn is a complete rotation, or 360°, or 400 grads, or <math>2\pi</math> radians), then <math>s=C \theta.</math>
| |
| | |
| ====Arcs of great circles on the Earth====
| |
| Two units of length, the [[nautical mile]] and the [[metre]] (or kilometre), were originally defined so the lengths of arcs of [[great circle]]s on the Earth's surface would be simply numerically related to the angles they subtend at its centre. The simple equation <math>s=\theta</math> applies in the following circumstances:
| |
| | |
| :* if <math>s</math> is in nautical miles, and <math>\theta</math> is in [[arcminute]]s ({{frac|60}} degree), or
| |
| :* if <math>s</math> is in kilometres, and <math>\theta</math> is in centigrades ({{frac|100}} grad).
| |
| | |
| The lengths of the distance units were chosen to make the circumference of the Earth equal 40,000 kilometres, or 21,600 nautical miles. These are the numbers of the corresponding angle units in one complete turn.
| |
| | |
| These definitions of the metre and nautical mile have been superseded by more precise ones, but the original definitions are still accurate enough for conceptual purposes, and for some calculations. For example, they imply that one kilometre is exactly 0.54 nautical miles. Using modern definitions, the ratio is 0.53995680.<ref>[[CRC Handbook of Chemistry and Physics]], page F-254</ref>
| |
| | |
| === Length of an arc of a parabola ===
| |
| If a point '''X''' is located on a [[parabola]] which has focal length <math>f,</math> and if <math>p</math> is the [[perpendicular distance]] from '''X''' to the axis of symmetry of the parabola, then the lengths of arcs of the parabola which terminate at '''X''' can be calculated from <math>f</math> and <math>p</math> as follows, assuming they are all expressed in the same units.
| |
| | |
| :<math>h=\frac{p}{2}</math>
| |
| | |
| :<math>q=\sqrt{f^2+h^2}</math>
| |
| | |
| :<math>s=\frac{hq}{f}+f\ln\left(\frac{h+q}{f}\right)</math>
| |
| | |
| This quantity, <math>s</math>, is the length of the arc between '''X''' and the vertex of the parabola.<ref>In this calculation, the [[square-root]], '''''q''''', must be positive. The quantity '''ln(''a'')''' is the [[natural logarithm]] of ''a'', i.e. its logarithm to base "e".</ref>
| |
| | |
| The length of the arc between '''X''' and the symmetrically opposite point on the other side of the parabola is <math>2s.</math>
| |
| | |
| The perpendicular distance, <math>p</math>, can be given a positive or negative sign to indicate on which side of the axis of symmetry '''X''' is situated. Reversing the sign of <math>p</math> reverses the signs of <math>h</math> and <math>s</math> without changing their absolute values. If these quantities are signed, '''the length of the arc between ''any'' two points on the parabola is always shown by the difference between their values of <math>s.</math>''' The calculation can be simplified by using the properties of logarithms:
| |
| | |
| :<math>s_1 - s_2 = \frac{h_1 q_1 - h_2 q_2}{f} +f \ln \left(\frac{h_1 + q_1}{h_2 + q_2}\right)</math>
| |
| | |
| This can be useful, for example, in calculating the size of the material needed to make a [[parabolic reflector]] or [[parabolic trough]].
| |
| | |
| This calculation can be used for a parabola in any orientation. It is not restricted to the situation where the axis of symmetry is parallel to the y-axis.
| |
| | |
| ==Historical methods==
| |
| ===Antiquity===
| |
| For much of the [[history of mathematics]], even the greatest thinkers considered it impossible to compute the '''length of an irregular arc'''. Although [[Archimedes]] had pioneered a way of finding the area beneath a curve with his ''[[method of exhaustion]]'', few believed it was even possible for curves to have definite lengths, as do straight lines. The first ground was broken in this field, as it often has been in [[calculus]], by [[approximation]]. People began to inscribe [[polygon]]s within the curves and compute the length of the sides for a somewhat accurate measurement of the length. By using more segments, and by decreasing the length of each segment, they were able to obtain a more and more accurate approximation. In particular, by inscribing a polygon of many sides in a circle, they were able to find approximate values of [[pi (mathematical constant)|π]].
| |
| | |
| ===1600s===
| |
| In the 17th century, the method of exhaustion led to the rectification by geometrical methods of several [[transcendental curve]]s: the [[logarithmic spiral]] by [[Evangelista Torricelli]] in 1645 (some sources say [[John Wallis]] in the 1650s), the [[cycloid]] by [[Christopher Wren]] in 1658, and the [[catenary]] by [[Gottfried Leibniz]] in 1691.
| |
| | |
| In 1659, Wallis credited [[William Neile]]'s discovery of the first rectification of a nontrivial [[algebraic curve]], the [[semicubical parabola]].<ref>John Wallis, ''Tractatus Duo. Prior, De Cycloide et de Corporibus inde Genitis''. … (Oxford, England: University Press, 1659), [http://gallica.bnf.fr/ark:/12148/bpt6k5759200j/f110.image pages 91-96]; the accompanying figures appear on page 145. On page 91, William Neile is mentioned as "Gulielmus Nelius".</ref>
| |
| | |
| ===Integral form===
| |
| Before the full formal development of the calculus, the basis for the modern integral form for arc length was independently discovered by [[Hendrik van Heuraet]] and [[Pierre de Fermat]].
| |
| | |
| In 1659 van Heuraet published a construction showing that the problem of determining arc length could be transformed into the problem of determining the area under a curve (i.e., an integral). As an example of his method, he determined the arc length of a semicubical parabola, which required finding the area under a [[parabola]].<ref>Henricus van Heuraet, [http://books.google.com/books/ucm?id=lGFxGEEK52oC&pg=PA517#v=onepage&q&f=false "Epistola de transmutatione curvarum linearum in rectas"] (Letter on the transformation of curved lines into right ones [i.e., Letter on the rectification of curves]), ''Renati Des-Cartes Geometria'', 2nd ed. (Amsterdam ["Amstelædami"], (Netherlands): Louis & Daniel Elzevir, 1659), pages 517-520. </ref> In 1660, Fermat published a more general theory containing the same result in his ''De linearum curvarum cum lineis rectis comparatione dissertatio geometrica'' (Geometric dissertation on curved lines in comparison with straight lines).<ref>"M.P.E.A.S." (pseudonym of Fermat) [http://books.google.com/books?id=BBqoHZej2ZsC&pg=PA1#v=onepage&q&f=false ''De Linearum Curvarum cum Lineis Rectis Comparatione Dissertatio Geometrica''] (Toulouse [Tolosæ], France: Arnaud Colomer, 1660).</ref> | |
| | |
| [[File:Arc length, Fermat.png|thumb|300px|Fermat's method of determining arc length]]
| |
| | |
| Building on his previous work with tangents, Fermat used the curve
| |
| | |
| :<math> y = x^{3/2} \,</math>
| |
| | |
| whose [[tangent]] at ''x'' = ''a'' had a [[slope]] of
| |
| | |
| :<math> \textstyle {3 \over 2} a^{1/2} </math>
| |
| | |
| so the tangent line would have the equation
| |
| | |
| :<math> y = \textstyle {3 \over 2} {a^{1/2}}(x - a) + f(a). </math>
| |
| | |
| Next, he increased ''a'' by a small amount to ''a'' + ''ε'', making segment ''AC'' a relatively good approximation for the length of the curve from ''A'' to ''D''. To find the length of the segment ''AC'', he used the [[Pythagorean theorem]]:
| |
| | |
| : <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>
| |
| | |
| which, when solved, yields
| |
| | |
| :<math>AC = \textstyle \varepsilon \sqrt { 1 + {9 \over 4} a\ }.</math>
| |
| | |
| In order to approximate the length, Fermat would sum up a sequence of short segments.
| |
| | |
| ==Curves with infinite length==
| |
| [[File:Koch curve.svg|thumb|The Koch curve.]] [[File:xsinoneoverx.svg|thumb|The graph of ''x''sin(1/''x'').]]
| |
| As mentioned above, some curves are non-rectifiable, that is, there is no upper bound on the lengths of polygonal approximations; the length can be made [[Mathematical jargon#arbitrarily large|arbitrarily large]]. Informally, such curves are said to have infinite length. There are continuous curves on which every arc (other than a single-point arc) has infinite length. An example of such a curve is the [[Koch snowflake|Koch curve]]. Another example of a curve with infinite length is the graph of the function defined by ''f''(''x'') = ''x'' sin(1/''x'') for any open set with 0 as one of its delimiters and ''f''(0) = 0. Sometimes the [[Hausdorff dimension]] and [[Hausdorff measure]] are used to "measure" the size of such curves.
| |
| | |
| ==Generalization to (pseudo-)Riemannian manifolds==
| |
| Let ''M'' be a [[pseudo-Riemannian manifold|(pseudo-)Riemannian manifold]], ''γ'' : [0, 1] → ''M'' a curve in ''M'' and ''g'' the (pseudo-) metric tensor.
| |
| | |
| The length of ''γ'' is defined to be
| |
| | |
| :<math>\ell(\gamma)=\int_{0}^{1} \sqrt{ \pm g(\gamma'(t),\gamma '(t)) } \, dt, </math>
| |
| | |
| where ''γ'(t)'' ∈ ''T''<sub>''γ''(''t'')</sub>''M'' is the tangent vector of ''γ'' at ''t''. The sign in the square root is chosen once for a given curve, to ensure that the square root is a real number. The positive sign is chosen for spacelike curves; in a pseudo-Riemannian manifold, the negative sign may be chosen for timelike curves.What is g?
| |
| | |
| In [[theory of relativity]], arc-length of timelike curves ([[world line]]s) is the [[proper time]] elapsed along the world line.
| |
| | |
| ==See also==
| |
| * [[Arc (geometry)]]
| |
| * [[Circumference]]
| |
| * [[Elliptic integral]]
| |
| * [[Geodesic]]s
| |
| * [[Numerical integration|Integral approximations]]
| |
| * [[Meridian arc]]
| |
| | |
| ==References and notes==
| |
| {{reflist}}
| |
| | |
| * Farouki, Rida T. (1999). Curves from motion, motion from curves. In P-J. Laurent, P. Sablonniere, and L. L. Schumaker (Eds.), ''Curve and Surface Design: Saint-Malo 1999'', pp. 63–90, Vanderbilt Univ. Press. ISBN 0-8265-1356-5.
| |
| | |
| ==External links==
| |
| * {{springer|title=Rectifiable curve|id=p/r080130}}
| |
| * [http://math.kennesaw.edu/~jdoto/13.pdf Math Before Calculus]
| |
| * [http://www3.villanova.edu/maple/misc/history_of_curvature/k.htm The History of Curvature]
| |
| * {{MathWorld|title=Arc Length|urlname=ArcLength}}
| |
| * [http://demonstrations.wolfram.com/ArcLength/ Arc Length] by [[Ed Pegg, Jr.]], [[The Wolfram Demonstrations Project]], 2007.
| |
| * [http://www.pinkmonkey.com/studyguides/subjects/calc/chap8/c0808501.asp Calculus Study Guide – Arc Length (Rectification)]
| |
| * [http://www-groups.dcs.st-and.ac.uk/~history/Curves/Curves.html Famous Curves Index] ''The MacTutor History of Mathematics archive''
| |
| * [http://demonstrations.wolfram.com/ArcLengthApproximation/ Arc Length Approximation] by Chad Pierson, Josh Fritz, and Angela Sharp, [[The Wolfram Demonstrations Project]].
| |
| * [http://numericalmethods.eng.usf.edu/experiments/Length_of_curve_experiment.pdf Length of a Curve Experiment] Illustrates numerical solution of finding length of a curve.
| |
| | |
| {{DEFAULTSORT:Arc Length}}
| |
| [[Category:Integral calculus]]
| |
| [[Category:Curves]]
| |
| [[Category:Length]]
| |