Dottiho číslo je konstanta definovaná jako skutečné řešení rovnice
kde se argument měří v radiánech . V desítkovém zápisu je Dottieovo číslo přibližně rovno . [jeden]
Z věty o střední hodnotě vyplývá, že naznačená rovnice musí mít alespoň jedno řešení. Derivace funkce je stejná a téměř všude kladná, což znamená, že samotná funkce je monotónně rostoucí a nemůže mít několik nul. Rovnice tedy jednoznačně určuje uvažovanou konstantu.
Nechť je číslo Dottie. Pak:
Dottiho číslo je netriviální přitahující pevný bod funkce kosinus na libovolně velkém reálném (ale ne komplexním ) okolí sebe sama . Jinými slovy, pro jakékoli reálné číslo se rovná Dottiho konstantě. Rovnice pro komplexní má kromě toho nekonečný počet řešení, ale žádné z nich není přitahujícím se pevným bodem .
Dottiho číslo je navíc transcendentální , což lze dokázat pomocí Lindemann-Weierstrassovy věty . [2]
Pomocí Lagrangeovy věty o inverzi řady bylo prokázáno, že Dottiho číslo lze reprezentovat jako řadu , kde pro každou lichou je racionální číslo definované takto:
Prvních několik členů sekvence je [3] [4] [5] [nb 1]
Vzorec pro Dottiho číslo v Excelu nebo LibreOffice Calc: SQRT(1-(2*BETA.INV(1/2;1/2;3/2)-1)^2).
Jméno této konstantě dal Samuel Kaplan na počest francouzské učitelky jménem Dottie, která ji objevila opakovaným mačkáním kosinusového tlačítka na kalkulačce a vyprávěla o ní svému manželovi, učiteli matematiky. [3]