Longueur d'un arc
1404013
30613539
2008-06-13T17:14:11Z
VolkovBot
198153
robot Ajoute: [[be-x-old:Даўжыня крывой]]
Intuitivement, la '''longueur''' d’une [[courbe]] ou d'un arc (portion) de courbe est la longueur de ficelle qu'il faudrait dérouler pour la parcourir complètement. Cette longueur peut être obtenue si on connaît le temps de parcours et la vitesse.
Pour donner une définition générale de la longueur d'un arc, il faut commencer par formaliser la notion de [[Distance (mathématiques)|distance]], en général dans le cadre d'un [[espace euclidien]]. On sait alors mesurer la longueur de courbes simples : les [[ligne polygonale|lignes polygonales]].
Les Anciens sans disposer d'un procédé de calcul explicite, se contentaient d'approcher les longueurs de courbe, en considérant des lignes polygonales joignant des points de la courbe. C'est la méthode d'exhaustion, qui avait été initiée par [[Eudoxe de Cnide]] et [[Archimède]] pour les calculs d'aires.
Ces calculs approchés de longueur peuvent servir de fondement à une définition générale permettant de dépasser la vision intuitive de la longueur. La longueur de l'arc sera la borne supérieure, si elle existe, des longueurs de telles lignes polygonales.
Lorsque la courbe est [[paramétrage|paramétrée]] de façon suffisamment régulière, on obtient une formule explicite pour la longueur, issue du [[calcul différentiel]]. On peut alors utiliser la notion d'[[abscisse curviligne]] qui est une sorte de longueur algébrique, tenant compte de l'orientation, et qui permet de [[paramétrage|reparamétrer]] la courbe de façon à s'affranchir des considérations sur la vitesse de parcours.
== Présentation moderne : courbe rectifiable et longueur ==
=== Approche par la notion de vitesse ===
Voici une première façon d'introduire la longueur, à partir de la notion un peu floue de «longueur d'un vecteur déplacement infinitésimal». Comme historiquement le [[calcul infinitésimal]] a précédé la définition précise des notions de [[limite]] et de borne supérieure, cette première définition de la longueur relève d'une tradition différente de la suivante et peut sembler plus parlante.
On se place pour ce calcul dans le plan [[espace euclidien|euclidien]], rapporté à un repère orthonormal.
On envisage un arc paramétré de classe <math>\mathcal C^1</math> donné par une fonction <math>\overrightarrow{f}(t)=(x(t),y(t))</math> pour ''t'' variant dans un segment
''[a,b]''. On va obtenir une formule pour la longueur en manipulant librement les notations [[différentielle]]s, ce qui pourrait être rendu parfaitement rigoureux.
On peut parler du vecteur déplacement infinitésimal
:<math>\overrightarrow{df}
= \overrightarrow{f}(t+dt)-\overrightarrow{f}(t)=\overrightarrow{\frac{df}{dt}}dt~</math>
Notons sa norme ''ds'' : c'est la longueur infinitésimale parcourue pendant l'intervalle de temps ''dt''. Alors la longueur de l'arc est obtenue en sommant ces longueurs élémentaires
:<math>L=\int ds = \int_a^b \frac{ds}{dt} dt = \int_a^b \left\|\frac{d\overrightarrow{f}}{dt}\right\| dt
= \int_a^b \sqrt{x'(t)^2+y'(t)^2} dt~</math>
On pourra résumer cette formule en exprimant la valeur de la longueur infinitésimale sous la forme
:<math>ds^2=dx^2+dy^2</math>
D'autres formules peuvent s'établir de la même façon (pour des courbes de l'espace euclidien à 2, 3 [[dimension]]s), avec, suivant le [[système de coordonnées]] choisi
* <math>ds^2=dx^2+dy^2+dz^2</math> coordonnées cartésiennes dans l'espace
* <math>ds^2=dr^2+r^2d\theta^2</math> coordonnées polaires dans le plan
* <math>ds^2=dr^2+r^2d\theta^2+dz^2</math> coordonnées cylindriques dans l'espace
* <math>ds^2=dr^2+r^2d\theta^2+r^2\sin^2\theta d\phi^2</math> coordonnées sphériques dans l'espace
* <math>ds^2=dx_1^2+...+dx_n^2</math> coordonnées cartésiennes dans l'espace euclidien à ''n'' dimensions
Pour donner à ces formules un sens rigoureux, il faudrait introduire les notions générales de [[forme quadratique]] et de [[tenseur métrique]]. Pour obtenir les formules usuelles, il suffit cependant de manipuler l'interprétation en termes d'éléments de longueur infinitésimaux.
Le ''s'' qui pointe son nez dans ces formules est cependant une quantité intéressante pour elle-même : l'[[abscisse curviligne]], version algébrisée de la longueur.
=== Notions générales de courbe rectifiable et de longueur d'arc ===
Le paragraphe précédent masquant un certain nombre de difficultés et n'étant valable que pour des arcs dérivables (pour lesquels on peut parler de vecteur vitesse), on procède à une définition plus générale et plus géométrique.
'''Définitions'''
Une [[courbe]] est '''rectifiable''' si les [[ligne polygonale|lignes polygonales]] inscrites sur celle-ci sont de longueur uniformément bornée.
Si <math>t \mapsto f(t)</math> décrit la courbe (''t'' dans ''[a,b]''), alors une [[ligne polygonale]] <math>P</math> inscrite est donnée par ses sommets <math>M_i=f(t_i)</math>, pour n'importe quel choix <math>t_0=a<t_1<t_2<...<t_n=b</math> (la courbe peut-être fermée ou non). La longueur de cette ligne est <math>L(P)=\sum_i M_i M_{i+1}</math>
La courbe est dite '''rectifiable''' si la longueur <math>L(P)</math> est majorée par une constante <math>C</math> indépendante du choix des <math>t_i</math>.
La '''longueur de la courbe''' est alors par définition le <math>sup L(P)</math> pris sur toutes les lignes polygonales possibles.
Remarques :
* cette définition a un sens dès lors que l'espace est muni d'une [[norme]]
* la notion de courbe rectifiable, de longueur sont indépendantes du choix de [[paramétrage|paramètre]] ;
* la courbe donnée par la graphe de <math>x \mapsto x cos (1/x^2) </math> n'est pas rectifiable.
* le graphe d'une fonction numérique (''y=f(x)'') continûment dérivable définie sur un segment ''[a,b]'' est rectifiable avec la formule
:<math>L(f)=\int_a^b \sqrt{1+(f'(t))^2} dt </math>
{{boîte déroulante|align=left|titre=Longueur d'une portion de graphe - démonstration|contenu=
Considérons une [[courbe]] du [[plan]] ℝ<sup>2</sup>, et supposons que la courbe soit le [[graphe d'une fonction]] continûment [[dérivée|dérivable]] du segment [a, b] dans ℝ.
Soit σ=(a<sub>0</sub>, …, a<sub>n</sub>) une subdivision de [a, b]. Nous pouvons lui associer la ligne polygonale de sommets : (a<sub>k</sub>, f(a<sub>k</sub>)) (k = 0,…,n). Sa longueur est la somme :
:<math>\sum_{i=1}^n\sqrt{(a_i-a_{i-1})^2+(f(a_i)-f(a_{i-1}))^2}</math>
D’après le [[théorème des accroissements finis]], pour tout i de {1, 2, ..., n}, il existe ξ<sub>i</sub> dans l’[[intervalle (mathématiques)|intervalle]] a<sub>i-1</sub>, a<sub>i</sub>[ tel que
:f(a<sub>i</sub>)-f(a<sub>i-1</sub>)=f'(ξ<sub>i</sub> )(a<sub>i</sub>-a<sub>i-1</sub>)
La longueur de la ligne [[polygone|polygonale]] s’écrit :
:<math>\sum_{i=1}^{n}(a_i-a_{i-1})\sqrt{1+f^{\prime}(\xi_i)^2}</math>
Nous reconnaissons une [[somme de Riemann]] de la fonction <math>x\mapsto \sqrt{1+f^{\prime}(x)^2}</math>.
L’intégrale <math>\int_a^b \sqrt{1+f^{\prime}(x)^2}dx</math> représente la longueur de la courbe.
}}
* un arc paramétré par ''t'' dans ''[a,b]'' et continûment dérivable est rectifiable avec la formule
:<math>L(f)=\int_a^b \left\|\frac{d\overrightarrow{f}}{dt}\right\| dt </math>
{{boîte déroulante|align=left|titre=Longueur d'un arc paramétré - démonstration|contenu=
Considérons une courbe paramétrée de ℝ<sup>3</sup> définie par :
:<math>t\mapsto M(t)=\begin{pmatrix}x(t)\\y(t)\\z(t)\\\end{pmatrix}</math>
où x, y, z sont des fonctions continûment différentiables sur un segment [a, b].
Notons <math>||.||</math> la norme euclidienne de ℝ<sup>3</sup>. Considérons σ=(t<sub>0</sub>, …, t<sub>n</sub>) une subdivision de [a, b].
La somme
:<math>\sum_{i=1}^n ||M(t_i)-M(t_{i-1})||=\sum_{i=1}^n \sqrt{(x(t_i)-x(t_{i-1}))^2+(y(t_i)-y(t_{i-1}))^2+(z(t_i)-z(t_{i-1}))^2}</math>
représente la longueur de la ligne polygonale dont les sommets sont les points M(t<sub>i</sub>).
D’après le théorème des accroissements finis, pour tout i dans {1, …, n}, il existe α<sub>i</sub>, β<sub>i</sub> et γ<sub>i</sub> dans ]t<sub>i-1</sub>, t<sub>i</sub>[ tels que :
:x(t<sub>i</sub>)- x(t<sub>i-1</sub>)= (t<sub>i</sub>-t<sub>i-1</sub>) x’(α<sub>i</sub>)
:y(t<sub>i</sub>)- y(t<sub>i-1</sub>)= (t<sub>i</sub>-t<sub>i-1</sub>) y’(β <sub>i</sub>)
:z(t<sub>i</sub>)- z(t<sub>i-1</sub>)= (t<sub>i</sub>-t<sub>i-1</sub>) z’(γ <sub>i</sub>)
La somme est égale à :
:<math>\sum_{i=1}^n (t_i-t_{i-1})\sqrt{(x^{\prime}(\alpha_i))^2+(y^{\prime}(\beta_i))^2+(z^{\prime}(\gamma_i))^2}</math>
En utilisant l’uniforme continuité sur [a, b]<sup>3</sup>, de l’application <math>(r, s, t)\mapsto \sqrt{x^{\prime}(r)+ y^{\prime}(s)+ z^{\prime}(t)}</math>, nous démontrons que la différence entre la somme précédente et la somme suivante :
:<math>\sum_{i=1}^n (t_i-t_{i-1})\sqrt{(x^{\prime}(t_i))^2+(y^{\prime}(t_i))^2+(z^{\prime}(t_i))^2}</math>
tend vers 0 lorsque le pas des subdivisions tend vers 0.
Cette dernière somme est une somme de Riemann de la fonction:
:<math>t\mapsto \sqrt{(x^{\prime}(t))^2+(y^{\prime}(t))^2+(z^{\prime}(t))^2}</math>.
L’intégrale <math>\int_a^b \sqrt{(x^{\prime}(t))^2+(y^{\prime}(t))^2+(z^{\prime}(t))^2}\,dt</math> représente la longueur de la courbe.
}}
Si l'arc était [[application lipschitzienne|lipschitzien]], il serait encore rectifiable.
=== Calculs de longueurs classiques ===
La formule de calcul de la longueur faisant intervenir une intégrale de racine carrée, il est fréquent que la longueur ne puisse se calculer à l'aide de fonctions usuelles.
Ainsi un problème en apparence aussi simple que de calculer la circonférence de l'[[Ellipse (mathématiques)|ellipse]] en fonction des demi-axes conduit à des intégrales qu'on ne peut pas expliciter plus avant : on parle d'ailleurs d'[[intégrale elliptique|intégrales elliptiques]] (de seconde espèce en l'occurrence).
'''Courbes pour lesquelles le calcul est possible à l'aide des fonctions usuelles'''
* le segment de [[Droite (mathématiques)|droite]]
* l'arc de [[cercle]]
* l'arc de [[parabole]]
* l'arc de [[chaînette]]
* l'arc de [[cycloïde]], d'[[hypocycloïde]], d'[[épicycloïde]]
* l'arc de [[spirale logarithmique]]
* ...
=== Continuité de la fonction longueur ===
Posons la question en termes flous : deux courbes « proches » ont-elles des longueurs voisines ?
Voici un exemple négatif. On prend le graphe de la fonction constante égale à 0 sur [0,1]. Celui-ci est de longueur 1. On fabrique facilement une suite de fonctions continues sur [0,1], rectifiables, qui [[convergence uniforme|converge uniformément]] vers ''f'' et dont la longueur ne converge pas vers 1.
Par exemple : ''f<sub>1</sub>'' est une fonction [[triangle]] avec des pentes 1 sur [0,1/2] et -1 sur [1/2,1]. Puis ''f<sub>2</sub>'' est une fonction formée de deux triangles, avec des pentes 1 sur [0,1/4], -1 sur [1/4,1/2], 1 sur [1/2,3/4], -1 sur [3/4,1], et ainsi de suite (4,8,16 triangles, ...). Chacune des fonctions ''f<sub>n</sub>'' a un graphe de longueur <math>\sqrt{2}</math>, et par ailleurs il y a bien convergence uniforme vers ''f''.
Pour obtenir des résultats de continuité pour l'application « longueur », il ne faut donc pas travailler avec la norme de la convergence uniforme. Il faudrait plutôt une norme du type de celles des [[espace de Sobolev|espaces de Sobolev]].
== L'histoire du calcul des longueurs d'arc ==
Pendant une très longue période de l'[[histoire des mathématiques]], la notion de '''longueur d'arc''' a paru parfaitement inaccessible au calcul. La possibilité de définir une telle longueur a même souvent été mise en doute, comme ce fut le cas pour les [[limite]]s.
=== Méthode d'exhaustion ===
Les premiers calculs concernant les longueurs d'arc furent donc des calculs approchés, suivant la [[méthode d'exhaustion]].
Divers géomètres, avec une virtuosité de plus en plus grande, s'ingénièrent à inscrire sur les courbes remarquables des lignes polygonales, avec un découpage de plus en plus fin. Ils obtenaient ainsi une valeur approchée de plus en plus précise pour la longueur. La même méthode servait à effectuer des calculs approchés pour les [[Aire (géométrie)|aire]]s.
Au XVIIe siècle, la méthode d'exhaustion permit la rectification, par des procédés géométriques, de plusieurs [[courbe transcendante|courbes transcendantes]] : la [[spirale logarithmique]] par [[Torricelli]] en [[1645]] (attribué par certains à [[John Wallis]] dans les années 1650), la [[cycloïde]] par [[Christopher Wren]] en [[1658]], et la [[caténoïde]] par [[Gottfried Leibniz]] en [[1691]].
En [[1659]] eut lieu la rectification de la première [[courbe algébrique]] non triviale, la [[parabole semi-cubique]] (ou parabole de [[Neile]], du nom de son découvreur).
=== Premiers pas en calcul infinitésimal ===
Avant même le plein avènement du calcul infinitésimal, les premières fondations pour obtenir la formule intégrale donnant la longueur d'arc furent jetées indépendamment par [[Hendrik van Heuraet]] et [[Pierre de Fermat]].
En [[1659]] van Heuraet publia une construction par laquelle la longueur d'arc pouvait s'interpréter comme l'aire sous une courbe - donc effectivement une intégrale - et appliqua cela au cas de la [[parabole]]. En [[1660]], Fermat publia une théorie plus générale, englobant ce résultat, dans ''De linearum curvarum cum lineis rectis comparatione dissertatio geometrica''.
== Problèmes de minimum ==
=== Plus court chemin entre deux points ===
Il est bien connu qu'en [[géométrie euclidienne]], la ligne droite est le plus court chemin entre deux points.
* si on prend la définition générale d'arc rectifiable, la propriété est immédiate
En effet la longueur de l'arc est supérieure à celle de la ligne droite joignant origine et extrémité de l'arc (qui est une ligne polygonale particulière). Toutes les autres lignes polygonales sont d'ailleurs de plus grande longueur par l'inégalité triangulaire.
* si on utilise comme expression de la longueur l'intégrale de la norme du vecteur dérivé :
On appelle ''A'' et ''B'' les extrémités de l'arc et on compare la longueur de l'arc avec celle de l'arc obtenu par [[projection orthogonale]] sur ''(A,B)''. Comme la projection orthogonale diminue les normes, notre arc est plus long qu'un arc tracé sur une droite et reliant ''A'' à ''B'', lui même plus long que l'arc ''[A,B]''.
=== Longueur et énergie ===
Dans de nombreux problèmes de minimisation, on peut essayer d'utiliser l'énergie de l'arc
:<math>E= \int_a^b \left\|\frac{d\overrightarrow{f}}{dt}\right\|^2 dt~</math>
qui a l'avantage de ne pas faire intervenir de racine carrée.
En outre énergie et longueur ne sont pas sans lien : lorsque l'arc admet une [[abscisse curviligne|paramétrage normal]] (à vitesse uniforme 1), longueur et énergie sont égales.
La courbe d'énergie minimale entre deux points est encore la droite, parcourue à vitesse uniforme.
Cette énergie représente une «énergie élastique de déformation». On la fait intervenir par exemple dans l'[[théorème isopérimétrique|inégalité isopérimétrique]] ou la recherche de [[géodésique]]s.
=== Autres problèmes de minimisation ===
* [[théorème isopérimétrique|Inégalité isopérimétrique]] : le cercle est la [[courbe fermée]] de plus petite longueur enserrant un domaine d'aire donnée.
* les [[spline]]s minimisent l'énergie entre deux points avec vecteurs vitesses initiales donnés.
* la recherche de plus courts chemins dans un espace courbe, ou [[géodésique]]s, fait intervenir un cadre beaucoup plus général : la [[géométrie riemannienne]]. On donne ci-dessous l'expression de la longueur dans ce cadre.
* la [[brachistochrone]] minimise le temps de parcours entre deux points, pour des particules soumises à une accélération constante (pesanteur). Ceci permet de faire un parallèle entre présence de ce champ d'accélération et recherche de plus court chemin dans un espace courbe (cf [[relativité générale]]).
Les deux derniers problèmes demandent de faire appel aux techniques du [[calcul des variations]].
== Généralisation : longueur d'un arc dans une variété riemannienne ==
Supposons que ''M'' est une [[variété riemannienne]] et que γ: [''a'', ''b''] → ''M'' est une [[courbe]] continuement dérivable sur ''M'', alors on peut définir la longueur et l'énergie de cette courbe par :
<center><math>L(\gamma) = \int_a^b \|\gamma'(t)\|\;dt\qquad
E(\gamma) = \int_a^b \|\gamma'(t)\|^2\;dt</math></center>
où <math>\|\gamma'(t)\|</math> est la [[norme (mathématiques)|norme]] de γ'(t) induite par le produit scalaire pris sur l'espace tangent en γ(t).
La recherche de plus courts chemins, qu'il faut envisager sous deux aspects : local et global, relève alors du calcul de [[géodésique]]s.
== Définition ==
La longueur de la représentation graphique d'une [[fonction_(mathématiques)|fonction]] pourrait s'apparenter au [[périmètre]] d'un objet géometrique tel qu'un [[cercle]], un [[triangle]]. Ici on pousse le concept plus loin en généralisant à toutes les fonctions.
La longueur de la représentation graphique de <math>\displaystyle f(x)</math> sur <math>\displaystyle [ a ; b ]</math> ( <math>\displaystyle a<b </math> et <math>
a,b \in \R</math> ) est :
<math>\int_{a}^{b}\sqrt{1+f'(x)^{2}}\,dx</math>
== Liens externes ==
* [http://www.lacosmo.com/ortho/ortho.html Distance à vol d'oiseau entre deux points de la surface terrestre]
* [http://the-blade-of-parliament.chez-alice.fr//Perimetre.pdf Longueur de la courbe d'une fonction f(x)]
== Voir aussi ==
* [[Orthodromie]]
* [[Théorème isopérimétrique]]
* [[paramétrage]]
* [[géodésique]]
{{Portail mathématiques}}
[[Catégorie:Courbe]]
[[Catégorie:Distance et longueur]]
[[Catégorie:Géométrie riemannienne]]
[[az:Uzunluq (Riyaziyyat)]]
[[be-x-old:Даўжыня крывой]]
[[de:Länge (Mathematik)]]
[[en:Arc length]]
[[es:Longitud de arco]]
[[it:Lunghezza di un arco]]
[[nl:Booglengte]]
[[pl:Długość łuku]]
[[pt:Comprimento do arco]]
[[ru:Длина кривой]]