Ο αριθμός Dottie

Ο αριθμός Dottie, που ονομάζεται επίσης σταθερά συνημιτόνου, είναι η μοναδική ρίζα της εξίσωσης cosx=x.

Η τιμή του είναι, στα πρώτα του δεκαδικά, 

d = 0,739085133215160641655312087673... 

και είναι ένας υπερβατικός πραγματικός αριθμός.