Bonjour à tous,
ce message pour vous demander si vous connaissez des renseignements de nature arithmétique sur la solution de cos(x)=x
(0.739...). Maple n'a pas de fonction spéciale associée, je n'ai jamais entendu ce nombre affublé d'un nom quelconque.

Savez-vous si cette constante intervient autrement que dans un exercice bêbête de continuité ? Et savez-vous si cette solution est irrationnelle, transcendante, etc etc ?

Merci de vos réponses !