CHAPITRE X. — L4 GÉOMÉTRIE MÉTRIQUE BINAIRE. l

définie seulement à un multiple de lim-n près (^désignant y/ — i), et au signe près.

Si (^) est quelconque, on a toujours

■±Lyz-±i zx-±Lxy ^^Q (mod 2Z^V?i'n;),

d'après la définition du rapport anharmonique et les propriétés des logarithmes. C^est cette égalité qui justifie le nom de distance. Si (j") et (2j) coïncident, et seulement alors, on a

Si (jk) et (^) coïncident avec (a^^^) ou (a^^)^^^^ ^st indéterminée. La distance de (jk) à l'un des éléments (a^^^) ou (a^^^) est infinie logarithmiquement.