Nombre de Dottie

Le nombre de Dottie; noté D, est une constante mathématique définie comme étant l'unique solution réelle de l'équation $\cos x=x$ où $x$ est exprimé en radians. On l'obtient donc géométriquement comme abscisse et ordonnée du point d'intersection de la droite d'équation $y=x$ et de la courbe d'équation $y=\cos x$.

Construction permettant d'obtenir graphiquement le nombre de Dottie.

Une valeur approchée en est 0,739 085 133 215, voir la suite A003957 de l'OEIS.

C'est l'unique point fixe de la fonction cosinus, point fixe qui est de plus attractif, et possède un bassin d'attraction égal à $\mathbb {R}$ tout entier . C'est la raison pour laquelle, lorsqu'on appuie plusieurs fois sur la touche "cos" d'une calculatrice (réglée en mode "radian"), et quel que soit le nombre de départ, on obtient rapidement ce nombre.

Historique

Ce nombre apparait en 1878 dans deux problèmes de quadrisection du disque posés par Joseph Bertrand (voir ci-dessous).

Le nom "Dottie" est le surnom donné par Samuel Kaplan à une amie, professeur de français, qui avait remarqué la propriété étonnante sur sa calculatrice et en avait demandé la raison.

Corde $[AM]$ partageant le demi-disque en deux parties de même aire, conduisant avec son symétrique à une quadrisection du disque.

Segment $[PM]$ partageant le quart de disque en deux parties de même aire, conduisant à une autre quadrisection du disque par des cordes parallèles.

Définitions géométriques

• Bertrand demande de partager un demi-disque en deux parties de même aire par une corde menée à une extrémité du diamètre. Avec les notations de la figure de gauche, l'aire du triangle curviligne $(BAM)$ vaut $x+\sin x\cos x=x+{\frac {1}{2}}\sin 2x$. L'équation s'écrit donc $x+{\frac {1}{2}}\sin 2x={\frac {\pi }{4}}$, Posant $y={\widehat {MOC}}={\frac {\pi }{2}}-2x$, elle devient $\cos y=y$, ce qui donne $y=D\approx 42,3^{\circ }$,

L'angle ${\widehat {BAM}}=x={\frac {\pi }{4}}-{\frac {D}{2}}\approx 23,8^{\circ }$.

• Dans un autre exercice, il demande de partager un quart de disque en deux parties de même aire par un segment perpendiculaire à un côté. Avec les notations de la figure de droite, l'équation s'écrit $x-{\frac {1}{2}}\sin 2x={\frac {\pi }{4}}$. Posant $y=2x-{\frac {\pi }{2}}$, elle devient $\cos y=y$, ce qui donne ${\widehat {BOM}}=x={\frac {\pi }{4}}+{\frac {D}{2}}\approx 66,2^{\circ }$.

Formules exactes

Le nombre de Dottie peut s'exprimer avec l'inverse de la fonction bêta incomplète régularisée :

$D={\sqrt {1-\left[2I_{1/2}^{-1}\left({\frac {1}{2}},{\frac {3}{2}}\right)-1\right]^{2}}}$

Le nombre de Dottie peut s'exprimer en termes de série de Fourier-Bessel :

$D=2\sum _{n=0}^{+\infty }\left({\frac {J_{4n+1}(4n+1)}{4n+1}}-{\frac {J_{4n+1}(4n+3)}{4n+3}}\right)$

Valeurs trigonométriques liées à ce nombre

On a :

$\sin D={\sqrt {1-D^{2}}}\approx 0,673612029183$

$\tan D={\frac {\sin D}{D}}=\approx 0,911413312094$

Le fait que $\sin D=|\cos 'D|<1$ prouve l’attractivité de D comme point fixe de la fonction $\cos$.

Propriétés

Construction de la suite $(u_{n})$ vérifiant $u_{n+1}=\cos u_{n}$ et de premier terme $u_{0}=-1$.

• Toutes les suites récurrentes $(u_{n})$ de premier terme réel et vérifiant $u_{n+1}=\cos u_{n}$ convergent vers le nombre de Dottie.

• Le nombre de Dottie est transcendant d'après le théorème d'Hermite-Lindemann.

• Un développement en série exact du nombre de Dottie peut être obtenu en utilisant la formule de Faà di Bruno.

La solution de la quadrisection d'un cercle en quatre parties de même aire par des cordes issues du même point peut être exprimée à l'aide du nombre Dottie.

Applications

Le nombre de Dottie est principalement utilisé comme exemple de point fixe attractif par les professeurs de mathématiques.

Il intervient tout de même dans un problème associé à l'équation de Kepler et ceux de la quadrisection du disque de Bertrand vus ci-desus.

On trouvera des développements autour de ce nombre dans.

Autres nombres similaires

• Si la calculatrice est réglée en mode "degré", le fait d'appuyer sur la touche "cos" conduit à l'unique solution de $\cos \left({\frac {\pi }{180}}x\right)=x$, de valeur approchée 0,99984774, voir la suite A330119 de l'OEIS.
• Des appuis successifs sur les touches "racine carrée" ou "sin" conduisent respectivement vers 1 ou 0.
• Des appuis alternés sur les touches "sin" et "cos" conduisent au cycle attractif $(a,b)$ où $a$ est l'unique solution de $\sin(\cos x)=x$ , voir la suite A131691 de l'OEIS, et $b$ est l'unique solution de $\cos(\sin x)=x$, voir la suite A277077 de l'OEIS.
• L'unique solution entre 0 et $\pi /2$ de $\cot x=x$ a pour valeur approchée 0,86033359, voir la suite A069855 de l'OEIS, mais ce point fixe n'est pas attractif. Il l'est par contre pour la fonction $\operatorname {arccot}$.
• L'unique solution entre $\pi$ et $3\pi /2$ de $\tan x=x$ a pour valeur approchée 4,493409, voir la suite A115365 de l'OEIS ; c'est aussi l'unique point fixe de $x\mapsto \arctan x+\pi$, point fixe qui est attractif. C'est également l'abscisse du premier minimum pour $x>0$ de la fonction sinus cardinal : ${\text{sinc }}x={\frac {\sin x}{x}}$.
• L'unique solution positive de $\coth x=x$, a pour valeur approchée 1,19967864, voir la suite A085984 de l'OEIS, et ce point fixe est attractif. Notant $C$ cette constante, le nombre $1/\sinh C$ est la constante de Laplace.
• L'équation complexe $\cos z=z$ possède des solutions complexes non réelles, de la forme $x+iy$ où $(x,y)$ est solution de ${\begin{cases}\cos x\cosh x=x\\\sin x\sinh y=-y\end{cases}}$ , voir la suite A335565 de l'OEIS et la suite A335566 de l'OEIS.

Bibliographie

• James Stewart Single Variable Calculus : Concepts and Contexts Brook/Cole 2010, (ISBN 978-0-495-55972-6), page 314
• Miller T.H. On the Numerical Values of the Roots of the Equation cos x = x Proc. Edimburg Math. Soc. 9, 1890, pages 80 à 83

Notes et références

Voir aussi

• Jérôme Cottanceau, « Les nombres magiques », sur Chou romanesco, vache qui rit et intégrales curvilignes, 27 septembre 2008
• (en) [vidéo] What is cos( cos( cos( cos( cos( cos( cos( cos( cos( cos( cos( cos(…?? // Banach Fixed Point Theorem sur YouTube (consulté le 27 avril 2023)