Questa pagina è ancora da trascrivere o è incompleta. |
Ciò posto, il parallelismo di due rette si esprime graficamente con la proprietà che esse hanno di concorrere in un punto della retta all'infinito; l'ortogonalità di due rette si esprime graficamente con la proprietà dei loro punti all'infinito, di essere coniugati nella involuzione assoluta, cioè di separare armonicamente i punti ciclici [CHASLES, 18501].
Altre proprietà metriche, che possono esprimersi graficamente, sono quelle inerenti alle grandezze angolari, imperocchè ogni relazione:
F (,A,.B,.C...) = 0,
fra gli angoli A, B, C,...., può sostituirsi con l'altra:
[vedi formula 146.png] log a
in cui a, b, c,.... sono i birapporti formati dai lati degli angoli con le rette [immaginarie] che dal loro vertice proiettano i punti ciclici [LAGUERRE, 18532].
Più in generale si dimostra che la congruenza tra due figure piane qualunque può esprimersi con una relazione grafica di esse colla retta all'infinito e l'involuzione assoluta3 e poichè la congruenza è il fondamento di tutte le proprietà metriche, segue che la retta all'infinito e l'involuzione
- ↑ «Traité de Géométrie supérieure. », 2a ed., n° 660, p. 425 [Paris, G. Villars, 1880].
- ↑ «Sur la theorie des foyers.», Nouv. Ann., t. XII, p. 57 — Oeuvres de LAGUERRE, t. II, p. 12-3, [Paris, G. Villars, 1902].
- ↑ Vedi, ad es., le «Lezioni di Geometria proiettiva.» di F. ENRIQUES, p. 177-88. [Bologna, Zanichelli, 2a ed., 1904].