Nombre de Dottie

Carte Commune · n° 346285

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 {\displaystyle \cos x=x} où x {\displaystyle 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 {\displaystyle y=x} et de la courbe d'équation y = cos ⁡ x {\displaystyle y=\cos x} . 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 à R {\displaystyle \mathbb {R} } tout entier . C'est la raison pour laquelle...

Lire sur Wikipédia · Image Kmhkmh, CC BY 4.0