En mathématiques, la constante de Lévy (quelquefois connue sous le nom de constante de Khintchine-Lévy) apparaît dans une expression concernant le comportement asymptotique des dénominateurs des réduites des développements en fraction continue. En 1935, le mathématicien soviétique Alexandre Khintchine montra que les dénominateurs des réduites des développements en fraction continue de presque tous les nombres réels satisfont :
où est une constante. Peu après, le mathématicien français Paul Lévy a trouvé (reçu le 10 octobre 1935). une expression explicite de cette constante, à savoirSuite de l'OEIS. :
Ce nombre est désormais appelé « constante de Lévy ». Le terme est aussi quelquefois utilisé pour faire référence au logarithme de , qui est approximativement égal à 1,18657Suite de l'OEIS..
Liens internes Constante de Khintchine Constante de récurrence quadratique de Somos
Notes et références
Voir aussi
Catégorie:Fraction continue Lévy