Théorème de la corde universelle

Sur cet exemple une corde $[CD]$ parallèle à la corde $[AB]$ existe si et seulement si $CD\leqslant AB/2$ .

En mathématiques, et plus précisément en analyse, le théorème de la corde universelle, ou théorème des cordes universelles, dû à Paul Lévy^[1], décrit dans sa version générale une propriété des courbes planes continues joignant un point $A$ à un point $B$ ; il répond à la question de savoir si on peut trouver sur cet arc des points $C$ et $D$ tels que la corde $[CD]$ ait une longueur donnée et soit parallèle à la corde $[AB]$ . Le théorème affirme que cette corde $[CD]$ existe pour tout arc joignant $A$ à $B$ si et seulement si la longueur $CD$ est un diviseur entier de la longueur $AB$ (pour un arc particulier, il existe en général d'autres cas d'existence de la corde $[CD]$ , comme dans l'exemple ci-contre. L'expression « corde universelle » signifie que le résultat s'applique à un arc quelconque).

Historique[modifier | modifier le code]

Une forme équivalente de la partie directe du théorème a été obtenue par André-Marie Ampère dans le cadre de travaux sur le théorème de Taylor en 1806^[2]. Les versions actuelles du théorème et de sa réciproque, présentées comme une généralisation du théorème de Rolle, ont été publiées par Paul Lévy en 1934^[1].

Version fonctionnelle horizontale[modifier | modifier le code]

Énoncé[modifier | modifier le code]

Considérons une fonction $f$ réelle continue sur $[a,b]$ , $a<b$ , telle que $f(a)=f(b)$ : le théorème direct affirme que pour tout entier $n>0$ , il existe un $c\in \left[a,b-{\frac {b-a}{n}}\right]$ tel que $f(c)=f\left(c+{\frac {b-a}{n}}\right)$ ; le théorème réciproque stipule que les nombres ${\frac {b-a}{n}}$ sont les seuls réels $u$ assurant l'existence d'un réel $c$ vérifiant $f(c)=f\left(c+u\right)$ pour toute fonction $f$ .

Notons que dans ce cas le rôle des points $A,B,C,D$ du cas général est joué par les points $(a,f(a)),(b,f(b)),(c,f(c)),(c+u,f(c+u))$ et que les cordes $[AB]$ et $[CD]$ sont horizontales.

Démonstration du théorème direct[modifier | modifier le code]

On introduit la fonction $g(x)=f\left(x+{\frac {b-a}{n}}\right)-f(x)$ qui est continue sur $\left[a,b-{\frac {b-a}{n}}\right]$ ; la somme télescopique $\sum _{k=0}^{n-1}g\left(a+k{\frac {b-a}{n}}\right)$ vaut $f(b)-f(a)=0$ , ce qui montre que les $g\left(a+k{\frac {b-a}{n}}\right)$ ne sont pas tous de même signe, et donc (d’après le théorème des valeurs intermédiaires) que $g$ s’annule sur $\left[a,b-{\frac {b-a}{n}}\right]$ , ce qui assure l'existence d'un $c\in \left[a,b-{\frac {b-a}{n}}\right]$ tel que $f(c)=f\left(c+{\frac {b-a}{n}}\right)$ .

Réciproque : contre-exemple de Paul Lévy[modifier | modifier le code]

En prenant, sans perte de généralité^[a], $a=0$ , $b=1$ ; Lévy propose de considérer la fonction $f:x\mapsto \varphi (x)-x\varphi (1)$ où $\varphi$ est une fonction continue sur $\mathbb {R}$ périodique de plus petite période strictement positive $T>0$ et vérifiant $\varphi (0)=0$ , $\varphi (x)>0$ sur $]0,T[$ ; par exemple $\varphi (x)=\sin ^{2}(\pi x/T)$ . $f$ est bien continue sur $[0,1]$ et vérifie $f(0)=f(1)(=0)$ et un calcul direct montre que $f(x)-f(x+T)=T\varphi (1)$ , qui ne s'annule que si $1=nT$ avec $n$ entier. Si donc on choisit $T$ différent de l'inverse d'un entier, on construit bien un exemple où il n'existe pas de $x$ vérifiant $f(x)=f(x+T)$ .

Version fonctionnelle oblique[modifier | modifier le code]

Énoncé[modifier | modifier le code]

On considère toujours une fonction $f$ réelle continue sur $[a,b]$ , $a<b$ : le théorème direct affirme que pour tout entier $n>0$ , il existe un $c\in \left[a,b-{\frac {b-a}{n}}\right]$ tel que le taux d'accroissement de $f$ entre $c$ et $c+{\frac {b-a}{n}}$ est égal à celui entre $a$ et $b$ : ${\dfrac {f\left(c+{\dfrac {b-a}{n}}\right)-f(c)}{\dfrac {b-a}{n}}}={\dfrac {f(b)-f(a)}{b-a}}$ ; le théorème réciproque stipule que les nombres ${\frac {b-a}{n}}$ sont les seuls réels $u$ assurant l'existence d'un réel $c$ vérifiant ${\dfrac {f\left(c+u\right)-f(c)}{u}}={\dfrac {f(b)-f(a)}{b-a}}$ , pour toute fonction $f$ .

Ici aussi les rôles des points $A,B,C,D$ sont joués par les points $(a,f(a)),(b,f(b)),(c,f(c)),(c+u,f(c+u))$ .

Démonstration[modifier | modifier le code]

Il suffit d'appliquer le théorème précédent à la fonction $g$ définie par $g\left(x\right)=f\left(x\right)-{\dfrac {f(b)-f(a)}{b-a}}x$ , qui vérifie $g(a)=g(b)$ .

Lien avec le théorème des accroissements finis[modifier | modifier le code]

Dans le cas dérivable, le taux d’accroissement ${\dfrac {f\left(c+{\dfrac {b-a}{n}}\right)-f(c)}{\dfrac {b-a}{n}}}$ est, pour $n$ grand, une approximation de la dérivée $f'(c)$ , si bien que la formule ${\dfrac {f\left(c+{\dfrac {b-a}{n}}\right)-f(c)}{\dfrac {b-a}{n}}}={\dfrac {f(b)-f(a)}{b-a}}$ "tend" vers la formule des accroissements finis $f'(c)={\dfrac {f(b)-f(a)}{b-a}}$ (mais on ne peut déduire l'un de l'autre car le réel $c$ dépend de $n$ ).

Interprétation cinématique[modifier | modifier le code]

Considérons un mobile animé d'un mouvement continu parcourant une distance $L$ en un temps $T$ et dénommons $x(t)$ la distance parcourue en fonction du temps (avec $t\in [t_{0},t_{0}+T]$ ). Les taux d'accroissements s'interprètent alors comme des vitesses moyennes, et le théorème précédent s'énonce comme suit : on est assuré de l'existence d'un intervalle de temps $[t_{1},t_{2}]$ durant lequel la vitesse moyenne du mobile ${\frac {x(t_{2})-x(t_{1})}{t_{2}-t_{1}}}$ est égale à la vitesse moyenne globale $L/T$ si et seulement si ${\frac {T}{t_{2}-t_{1}}}$ est entier. Ce résultat a été popularisé par les exemples suivants.

Le paradoxe du coureur[modifier | modifier le code]

Si un coureur parcourt 10 kilomètres en 30 minutes^[b], il paraît vraisemblable qu’il y ait au moins un kilomètre de son trajet qu’il a couru en 3 minutes exactement. Le résultat de Lévy montre que cela n’est garanti que si la course complète est un nombre entier de kilomètres^[3].

Le paradoxe du train[modifier | modifier le code]

Un train parcourt un certain trajet à une vitesse moyenne de 100 km/h. La durée du trajet, en heures, est égale à $T$ (nombre réel positif). Pour quelles valeurs de $T$ peut-on être certain qu’il existe durant le trajet deux points distants de 100 km que le train a parcouru en un laps de temps de une heure ?

Réponse : uniquement pour $T$ entier.

Version concernant les courbes paramétrées planes[modifier | modifier le code]

Théorème des cordes pour une courbe plane.

Énoncé[modifier | modifier le code]

On considère deux fonctions fonction $f$ et $g$ réelles continues sur $[a,b]$ ; alors, les seuls réels $u$ pour lesquels on est assuré de l'existence de $c\in \left[a,b-u\right]$ tel que le déterminant $\left\vert {\begin{array}{cc}f\left(c+u\right)-f\left(c\right)&f\left(b\right)-f\left(a\right)\\g\left(c+u\right)-g\left(c\right)&g\left(b\right)-g\left(a\right)\end{array}}\right\vert$ soit nul sont les $(b-a)/n$ avec $n$ entier.

Si l'on pose $M(t)=(f(t),g(t)),A=M(a),B=M(b),C=M(c),D=M(c+u)$ , le théorème énonce bien les conditions d'existence pour les courbes paramétrées joignant $A$ à $B$ d'une corde $[CD]$ parallèle à $[AB]$ , le déterminant nul indiquant la colinéarité des vecteurs ${\overrightarrow {AB}}$ et ${\overrightarrow {CD}}$ .

Notons que ce théorème contient les deux précédents.

Démonstration[modifier | modifier le code]

Appliquer le théorème de base à la fonction $\varphi$ définie par $\varphi \left(x\right)=\left\vert {\begin{array}{cc}f\left(x\right)-f\left(a\right)&f\left(b\right)-f\left(a\right)\\g\left(x\right)-g\left(a\right)&g\left(b\right)-g\left(a\right)\end{array}}\right\vert$ qui vérifie $\varphi (a)=\varphi (b)(=0)$ . L'égalité $\varphi (c+u)=\varphi (c)$ équivaut bien la nullité de $\left\vert {\begin{array}{cc}f\left(c+u\right)-f\left(c\right)&f\left(b\right)-f\left(a\right)\\g\left(c+u\right)-g\left(c\right)&g\left(b\right)-g\left(a\right)\end{array}}\right\vert$ par linéarité du déterminant par rapport à sa première colonne.

Version concernant les courbes paramétrées dans l'espace[modifier | modifier le code]

Exemple de corde [CD] parallèle à un plan passant par A et B. Par contre aucune corde n'est ici parallèle à [AB].

Énoncé[modifier | modifier le code]

On considère trois fonctions fonction $f,g,h$ réelles continues sur $[a,b]$ ; alors, les seuls réels $u$ pour lesquels on est assuré de l'existence de $c\in \left[a,b-u\right]$ tel que le déterminant $\left\vert {\begin{array}{ccc}f(c+u)-f(c)&f(a)&f(b)\\g(c+u)-g(c)&g(a)&g(b)\\h(c+u)-h(c)&h(a)&h(b)\end{array}}\right\vert$ soit nul sont les $(b-a)/n$ avec $n$ entier.

Si l'on pose $M(t)=(f(t),g(t),h(t)),A=M(a),B=M(b),C=M(c),D=M(c+u)$ , le théorème énonce les conditions d'existence pour les courbes paramétrées joignant $A$ à $B$ d'une corde $[CD]$ parallèle au plan $(OAB)$ , le déterminant nul indiquant la colinéarité des vecteurs ${\overrightarrow {OA}}$ , ${\overrightarrow {OB}}$ et ${\overrightarrow {CD}}$ .

Le point $O$ pouvant être choisi arbitrairement, il énonce en fait les conditions d'existence d'une corde $[CD]$ parallèle à un plan donné passant par $A$ et $B$ . Par contre, comme on le voit ci-contre, la généralisation qui consisterait à dire qu'il existe une corde parallèle à $[AB]$ est fausse.

Notons que ce théorème contient les trois précédents.

Démonstration[modifier | modifier le code]

Appliquer le théorème de base à la fonction $\varphi$ définie par $\varphi \left(x\right)=\left\vert {\begin{array}{ccc}f(x)&f(a)&f(b)\\g(x)&g(a)&g(b)\\h(x)&h(a)&h(b)\end{array}}\right\vert$ qui vérifie $\varphi (a)=\varphi (b)(=0)$ . L'égalité $\varphi (c+u)=\varphi (c)$ équivaut bien à la nullité de $\left\vert {\begin{array}{ccc}f(c+u)-f(c)&f(a)&f(b)\\g(c+u)-g(c)&g(a)&g(b)\\h(c+u)-h(c)&h(a)&h(b)\end{array}}\right\vert$ par linéarité du déterminant par rapport à sa première colonne.

Cas d'une fonction continue sur ℝ[modifier | modifier le code]

Illustration théorème des cordes horizontales. L'animation qui semble se bloquer montre que le théorème n'est pas évident !

Énoncé[modifier | modifier le code]

Soit $f$ une fonction réelle continue sur $\mathbb {R}$ ; il suffit que $f$ atteigne sa borne inférieure ou supérieure pour être assuré, cette fois pour tout réel $u\geqslant 0$ , de l'existence d'un réel $c$ vérifiant $f(c+u)=f(c)$ (appelé parfois théorème des cordes horizontales).

Démonstration[modifier | modifier le code]

Supposons que $f(a)=\sup f$ et posons $\varphi (x)=f(x+u)-f(x)$ ; alors $\varphi (a)\leqslant 0$ et $\varphi (a-u)\geqslant 0$ , d'où l'existence d'un $c$ tel que $\varphi (c)=0$ .

D'après le théorème des bornes atteintes, la condition sur la fonction $f$ est réalisée pour une fonction continue périodique sur $\mathbb {R}$ , ou une fonction ayant des limites égales aux deux infinis.

Voir ici ^[4] une généralisation au cas de fonctions non continues.

Une application physique[modifier | modifier le code]

A tout point $M$ d'un cercle de diamètre de longueur $D$ , on fait correspondre une grandeur physique (disons par exemple la température) qui varie continûment sur le cercle ; alors pour tout $L\leqslant D$ le cercle possède forcément une corde de longueur $L$ dont les extrémités sont à même température (paramétrer le cercle par un angle $\theta$ et considérer la fonction qui à $\theta$ fait correspondre la température en $M(\theta )$ ).

Variante pour une fonction continue sur un segment[modifier | modifier le code]

Énoncé[modifier | modifier le code]

Soit $f$ une fonction réelle continue sur $[a,b]$ , $a<b$ , telle que $f(a)=f(b)$ , et soient $u,v>0$ tels que $u+v=b-a$ . Alors, sans autre condition sur $u$ , il existe toujours $c\in \left[a,b-u\right]$ tel que $f(c+u)=f(c)$ ou $c\in \left[a,b-v\right]$ tel que $f(c+v)=f(c)$ .

Démonstration[modifier | modifier le code]

Considérons la fonction $g$ continue périodique de période $T=b-a$ sur $\mathbb {R}$ prolongeant $f$ ; d'après le théorème précédent, il existe un réel $c$ tel que $g(c+u)=g(c)$ et d'après la périodicité, on peut supposer que $c\in \left[a,b\right]$ ; si $c+u\in \left[a,b\right]$ , c'est gagné. Sinon, $c+u>b$ donc $c-v=c-b+a+u>a$ . Donc si on pose $c'=c-v$ , $f(c')=f(c-T+u)=g(c-T+u)=g(c+u)=g(c)=f(c)=f(c'+v)$ .

Illustration cinématique[modifier | modifier le code]

Un train parcourt 500 km en 5 h.

1) Existe-t-il forcément deux points distants de 100 km, joints en un laps de temps de 1 h ?

2) Existe-t-il forcément deux points distants de 200 km, joints en un laps de temps de 2 h ?

3) Existe-t-il forcément deux points distants de 300 km, joints en un laps de temps de 3 h ?

Réponses : oui pour 1) car 100 divise 500, non pour 2) et non pour 3) car ni 200 ni 300 ne divisent 500, mais oui pour 2) ou 3) d'après l'énoncé précédent.

Généralisation à des parties du plan[modifier | modifier le code]

En 1937, Hopf généralisa ces résultats aux sous-ensembles compacts et connexes du plan $\mathbb {R} ^{2}$ ^[5].

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Notes et références[modifier | modifier le code]

Notes[modifier | modifier le code]

↑ Il suffit d’utiliser le changement de variable $X={\frac {x-a}{b-a}}$ .
↑ Le record du monde du 10 000 mètres est en 2019 de 26 min 17 s 53 (depuis 2005).

Références[modifier | modifier le code]

↑ ^{a et b} Paul Lévy, Sur une généralisation du théorème de Rolle, C. R. Acad. Sci., Paris, 198 (1934) 424–425.
↑ André-Marie Ampère, Recherches sur quelques points de la théorie des fonctions dérivées qui conduisent à une nouvelle démonstration de la série de Taylor, et à l’expression finie des termes qu’on néglige lorsqu’on arrête cette série à un terme quelconque. J. Ecole Polytechnique 6 (1806), no. 13, pp. 148-181 (lire en ligne).
↑ (en) Le paradoxe du coureur, sur le site math.hawaii.edu.
↑ (en) J.C. Oxtoby, « Horizontal Chord Theorems », The American Mathematical Monthly, vol. 79,‎ mai 1978, p. 468–475
↑ (de) Heinz Hopf, « Über die Sehnen ebener Kontinuen und die Schleifen geschlossener Wege. », sur E-Periodica (consulté le 7 février 2023)

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Universal chord theorem » (voir la liste des auteurs).

Portail de l'analyse

[3] Il suffit d’utiliser le changement de variable $X={\frac {x-a}{b-a}}$ .

[4] Le record du monde du 10 000 mètres est en 2019 de 26 min 17 s 53 (depuis 2005).

[:0-1] {a et b} Paul Lévy, Sur une généralisation du théorème de Rolle, C. R. Acad. Sci., Paris, 198 (1934) 424–425.

[2] André-Marie Ampère, Recherches sur quelques points de la théorie des fonctions dérivées qui conduisent à une nouvelle démonstration de la série de Taylor, et à l’expression finie des termes qu’on néglige lorsqu’on arrête cette série à un terme quelconque. J. Ecole Polytechnique 6 (1806), no. 13, pp. 148-181 (lire en ligne).

[5] (en) Le paradoxe du coureur, sur le site math.hawaii.edu.

[6] (en) J.C. Oxtoby, « Horizontal Chord Theorems », The American Mathematical Monthly, vol. 79,‎ mai 1978, p. 468–475

[7] (de) Heinz Hopf, « Über die Sehnen ebener Kontinuen und die Schleifen geschlossener Wege. », sur E-Periodica (consulté le 7 février 2023)

[1]

[2]

[a]

[b]

[3]

[4]

[5]