Constante de Mascheroni

[Levachon]

Salut
Quelqu'un a-t-il déjà montré que la constante de mascheroni est irrationnelle (celle qui vaut environ 0.577) ?
Merci
-----

[Médiat]

Bonsoir,

Non on ne sait pas, mais :

si elle est rationnelle, le dénominateur de sa fraction irréductible possède plus de 242 080 chiffres

[Levachon]

ahok oui j'avais lu ça aussi mais merci quand même !
je me demandais si depuis le temps ils avaient validé ou trouvé une démonstration

[stefjm]

C'est chaud quand même!

[A voir en vidéo sur Futura]

[ansset]

si elle est rationnelle, le dénominateur de sa fraction irréductible possède plus de 242 080 chiffres

je me demande bien quel "algorithme" on a pu pondre pour arriver à cette conclusion.
cela titille ma curiosité.

[minushabens]

ce genre de résultat s'obtient en écrivant des inégalités pour la partie fractionnaire de nx où n est un entier et x la constante en question.

[ansset]

OK, merci pour l'info..