SÉANCE DU -î^ AOUT it)o5. 4 19 



On peut définir des catégories ou des groupes de nombres de Liouvillo 

 tels que, si l'on soumet les nombres d'un groupe aux quatre opér;itioiis fon- 

 damenliles de l'Arithmétique, on n'obtient que des nombres du groupe 

 ou des nombres rationnels. 



I étant un nombre réel de Liouville, I„ est une réduite (') de I; 



-I„(/?, 9 entiers) est une réduite de —I; I,^ est une réduite de P. Les 



nombres de Liouville I sont les seuls à jouir de la propriété suivante pour 

 une double infinité de valeurs de n el p : si I„ est réduite de I, I^ est 

 réduite de P. Il y a des nombres de Liouville dont aucune réduite n'est 

 une puissance p"™' exacte, quel que soit p. La définition des nombres de 

 Liouville qui sont des carrés, des cubes, ... parfaits en résulte de suite. 

 On obtient une analogie complète des nombres de Liouville avec les 

 nombres rationnels ordinaires ou algébricpies. Je n'ai pu encore iléfinir 

 le nombre transcendant entier de Liouville. 



Le développement en fraction continue d'un nombre I de Liouville ren- 

 ferme une infinité de quotients incomplets a„^., ^ Q* (a' analogue à a, 

 1 = ^0-1- I : a, + I :... + I :a„-j-..., I„ = aj -1- i :a, +. . . -f i : a„, les a„ 

 étant réels). Cette condition est nécessaire et suffisante pour que I soit un 

 nombre de Liouville. 



c'(y entier > i) n'est pas un nombre de Liouville, pas plus que les frac- 

 tions continues, quasi-périodiques ou non, à quotients incomplets limités. 



2° Si une irrationnelle I donnée par son développement en fraction con- 

 tinue a une infinité de quotients incomplets >• a, quel que soit a, et si 



I„(n ^ I, 2, . . .)sont les réduites de L - I, où p,ç sont entiers quelconques, 

 a une infinité de réduites = -I„. Ceci a lieu, par exemple, quand I == e. 

 Si l'irrationnelle I a tous ses quotients incomplets limités efSa',-! a 



tous ses quotients incomplets limités en fonction de p, q, a'. 



Je suppose que, dans I = a„ -l- i : a, 4-...-I- i : a„ -I-..., a„ = e^(«P"^^") ( 



(') Clhaque fois que je fais intervenir le développement en fraction continue de I, 

 j^e suppose 1 réel. 

 (-) Je pose 



c?o(.r) = a-, d/, (a;) =cf, (^j(a-) = rf''''-'', ...; n?_i(3') = logx, f/_2(j;-) = log log\r, ..., 



les logarithmes étant pris dans le système de base tl. 



