DF

La distance yz ou yi^ est donc la même que celle définie en Géométrie binaire pour l'espace {yz) ou {'r\C^), à condition de prendre pour éléments absolus de ces espaces {t) et (/'), on bien (t) et (t^). Il j a exception si {t) et (^^), ou bien (t) et (t') sont confondus.

Dans le cas général, par suite, les remarques faites en Géométrie binaire subsistent entièrement : si(jK)et [z) coïncident, on détermine j>/^ en prenant {yz) quelconque contenant {y).

Si {t) et (^'), ou bien (t) et (t') sont confondus, la distance yz

ou TjÇ devient nulle, à un multiple près de limiz ou 2/jj.7t; si, de plus, {y) ou (t))^ par exemple, appartient à F ou$, cette distance est indéterminée.