Nombre de Dottie

Construction permettant d'obtenir graphiquement le nombre de Dottie.

Le nombre de Dottie; noté Modèle:Mvar, 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$.

Une valeur approchée en est 0,739 085 133 215, voir la Modèle: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 à $ℝ$ 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-{[2I_{1/2}^{-1}(\frac{1}{2},\frac{3}{2})-1]}^2}$

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

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

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 }^{\prime }D|<1$ prouve l’attractivité de Modèle:Mvar 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-LindemannModèle:,Modèle:,.

• 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-dessusModèle:,.

On trouvera des développements autour de ce nombre dansModèle:,.

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 Modèle: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 Modèle:OEIS, et $b$ est l'unique solution de $\cos (\sin x)=x$, voir la Modèle:OEIS.
• L'unique solution entre 0 et $\pi /2$ de $\cot x=x$ a pour valeur approchée 0,86033359, voir la Modèle:OEIS, mais ce point fixe n'est pas attractif. Il l'est par contre pour la fonction $\mathrm{arccot}$.
• L'unique solution entre $\pi$ et $3\pi /2$ de $\tan x=x$ a pour valeur approchée 4,493409, voir la Modèle: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 Modèle: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{array}{c}\cos x\cosh y=x\\ \sin x\sinh y=-y\end{array}$ , voir la Modèle:OEIS et la Modèle:OEIS.

Bibliographie

• James Stewart Single Variable Calculus : Concepts and Contexts Brook/Cole 2010, Modèle:ISBN, 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

Voir aussi

• Modèle:Lien web
• Modèle:YouTube

Modèle:Portail