A Dotti-szám az egyenlet valós megoldásaként definiált állandó
ahol az argumentumot radiánban mérjük . Tizedes jelölésben Dottie száma megközelítőleg egyenlő a -val . [egy]
A köztes érték tételből az következik, hogy a jelzett egyenletnek legalább egy megoldással kell rendelkeznie. A függvény deriváltja egyenlő és szinte mindenhol pozitív, ami azt jelenti, hogy maga a függvény monoton növekvő , és nem lehet több nullája. Így az egyenlet egyértelműen meghatározza a vizsgált állandót.
Legyen a Dottie-szám. Akkor:
A Dotti-szám a koszinuszfüggvény nem triviális vonzási fix pontja önmaga egy tetszőlegesen nagy valós (de nem komplex ) környezetében . Más szóval, bármely valós szám esetén egyenlő a Dotti-állandóval. A komplex egyenletnek ezen kívül végtelen számú megoldása van, de egyik sem vonzó fixpont .
Ezenkívül a Dotti-szám transzcendentális , ami a Lindemann-Weierstrass tétellel igazolható . [2]
A Lagrange-sorinverziós tétel segítségével igazoltuk, hogy a Dotti-szám egy sorozatként ábrázolható , ahol minden páratlanra a következőképpen definiált racionális szám:
A sorozat első néhány tagja : [3] [4] [5] [nb 1]
A Dotti-szám képlete Excelben vagy LibreOffice Calc-ban: SQRT(1-(2*BETA.INV(1/2;1/2;3/2)-1)^2).
Ennek az állandónak a nevét Samuel Kaplan adta egy Dottie nevű francia tanár tiszteletére, aki egy számológép koszinusz gombjának újra és újra megnyomásával fedezte fel, és mesélt róla férjének, matematikatanárnak. [3]