In mathematics, the Dottie number is a constant that is the unique real root of the equation
where the argument of is in radians.
The decimal expansion of the Dottie number is . [1]
Since is decreasing and its derivative is non-zero at , it only crosses zero at one point. This implies that the equation has only one real solution. It is the single real-valued fixed point of the cosine function and is a nontrivial example of a universal attracting fixed point. It is also a transcendental number because of the Lindemann-Weierstrass theorem. [2] The generalised case for a complex variable has infinitely many roots, but unlike the Dottie number, they are not attracting fixed points.
Using the Taylor series of the inverse of at (or equivalently, the Lagrange inversion theorem), the Dottie number can be expressed as the infinite series where each is a rational number defined for odd n as [3] [4] [5] [nb 1]
The name of the constant originates from a professor of French named Dottie who observed the number by repeatedly pressing the cosine button on her calculator. [3]
If a calculator is set to take angles in degrees, the sequence of numbers will instead converge to , [6] the root of .
The Dottie number, for which an exact series expansion can be obtained using the Faà di Bruno formula, has interesting connections with the Kepler and Bertrand's circle problems. [7]
The Dottie number can be expressed as
where is the inverse of the regularized beta function. This value can be obtained using Kepler's equation, along with other equivalent closed forms. [8] [7]
In
Microsoft Excel and LibreOffice Calc spreadsheets, the Dottie number can be expressed in closed form as SQRT(1-(2*BETA.INV(1/2,1/2,3/2)-1)^2)
. In the
Mathematica
computer algebra system, the Dottie number is Sqrt1 - (2 InverseBetaRegularized1/2, 1/2, 3/2 - 1)^2
.
Dottie number can be represented as
In mathematics, the Dottie number is a constant that is the unique real root of the equation
where the argument of is in radians.
The decimal expansion of the Dottie number is . [1]
Since is decreasing and its derivative is non-zero at , it only crosses zero at one point. This implies that the equation has only one real solution. It is the single real-valued fixed point of the cosine function and is a nontrivial example of a universal attracting fixed point. It is also a transcendental number because of the Lindemann-Weierstrass theorem. [2] The generalised case for a complex variable has infinitely many roots, but unlike the Dottie number, they are not attracting fixed points.
Using the Taylor series of the inverse of at (or equivalently, the Lagrange inversion theorem), the Dottie number can be expressed as the infinite series where each is a rational number defined for odd n as [3] [4] [5] [nb 1]
The name of the constant originates from a professor of French named Dottie who observed the number by repeatedly pressing the cosine button on her calculator. [3]
If a calculator is set to take angles in degrees, the sequence of numbers will instead converge to , [6] the root of .
The Dottie number, for which an exact series expansion can be obtained using the Faà di Bruno formula, has interesting connections with the Kepler and Bertrand's circle problems. [7]
The Dottie number can be expressed as
where is the inverse of the regularized beta function. This value can be obtained using Kepler's equation, along with other equivalent closed forms. [8] [7]
In
Microsoft Excel and LibreOffice Calc spreadsheets, the Dottie number can be expressed in closed form as SQRT(1-(2*BETA.INV(1/2,1/2,3/2)-1)^2)
. In the
Mathematica
computer algebra system, the Dottie number is Sqrt1 - (2 InverseBetaRegularized1/2, 1/2, 3/2 - 1)^2
.
Dottie number can be represented as