Pagina:Beltrami - Teoria fondamentale degli spazii di curvatura costante - 1868.pdf/8

Da Wikisource.
4

e quindi, eliminando ,

,

equazione cui si può dare la forma

. (7)

D’altra parte, avendosi dalle equazioni precedenti

,

le (4) danno

, , ecc.,

ovvero, sostituendo alle costanti , , le , , ,

, , ecc.,

donde, quadrando e sommando,

.


Quest’equazione, in virtù delle (6) (7), dà finalmente


(8)

e questa è la formola generale che porge la lunghezza di un arco geodetico in funzione delle coordinate dei suoi termini.

Supposte reali le variabili , , , e le costanti , , il limite dello spazio di dimensioni qui considerato è lo spazio di dimensioni dato dall’equazione

. (9)