# Principii di geometria/Appendice

../Note IncludiIntestazione 17 febbraio 2025 100% Da definire
Principii di geometria Giuseppe Peano 1889 CC BY-SA 3.0 GFDL Indice:Peano - Principii di geometria, 1889.djvu //it.wikisource.org/w/index.php?title=Principii_di_geometria/Appendice&oldid=- 20250217160216 //it.wikisource.org/w/index.php?title=Principii_di_geometria/Appendice&oldid=- 20250217160216
[p. 38
APPENDICE
Delle parallele.
Le parallele si possono definire, coi concetti finora introdotti, o secondo Euclide, o secondo la Pangeometria; quindi si può svilupparne la teoria.
Che il postulato di Euclide sulle parallele non sia contenuto negli Assiomi qui enunciati, risulta da ciò, che, se col segno 1 si intendono i punti interni ad una data sfera, o ad un dato solido convesso, e ad ab si attribuisce il comune significato, allora sussistono tutti gli assiomi finora enunciati; ma non è verificato il postulato di Euclide.
Attenendoci quindi ai metodi della Pangeometria, daremo della relazione «il raggio a’b è parallelo al raggio c’d», e che indicheremo con a’b||c’d, la seguente
Definizione.
È quindi interessante di vedere quali proprietà si possano dedurre dai soli Assiomi qui enunciati.
L’esistenza di un raggio passante per un dato punto e parallelo ad un dato raggio si può dimostrare, ove si ammetta il seguente
Assioma XVII.
h ∈ Cnv . a, b ∈ 1 . a ∈ h . - ∈ h : ⊃ ∴ x ∈ a ∪ ab ∪ b. ax ⊃ h. bx ⊃— h: ⊃— =$_x$∧.
«Se h è una figura convessa, e se a e b sono punti, il primo appartenente a h, il secondo non, allora si può determinare un punto x, appartenente al segmento ab o ai suoi estremi, in guisa che il segmento ax sia contenuto in h, e il segmento bx sia tutto fuori di h.
Questo Assioma, che esprime in parte la proprietà che suolsi chiamare la continuità della retta, è necessario in molte altre questioni.
Si possono allora dimostrare le proposizioni
a, b, c, d ∈ 1. a’b || c’d : ⊃. c’d || a’b.
» ».e ∈ a'b: ⊃. a'e || c'd.
a, b, c, d, e, f ∈1. a'b || e'f. c'd || e'f: ⊃ . a'b||e f.
Del moto.
Il trasporto d’una figura rigida da una posizione ad un’altra dello spazio, è un ente che occorre assumere senza definizione, ovvero si può definire mediante gli enti finora introdotti?
Possiamo assumere come noto il concetto di corrispondenza o di funzione, per cui ad ogni ente d’un dato sistema si fa corrispondere un nuovo ente dello stesso o d’un altro sistema, e ritenerlo appartenente alla Logica; nel mio opuscolo «Arithmetices principia» ne sono esposte alcune proprietà.
Allora si può definire l’omografia, come una corrispondenza dei punti dello spazio, ed il trasporto d’una figura da una posizione ad [p. 40 un’altra, ossia l’eguaglianza di due figure come una particolare omografia.
Delle figure convesse.
Nelle pagine precedenti furono sviluppate parecchie proprietà delle figure convesse. Meritano ancora interesse le seguenti proprietà metriche.
«Se h è una figura piana, convessa, finita, il limite superiore delle aree poligonali interne ad h è eguale al limite inferiore delle aree poligonali contenenti nel loro interno h; e il limite superiore dei perimetri dei primi poligoni (supposti convessi) è eguale al limite inferiore dei perimetri dei secondi poligoni».
Sussiste una proprietà analoga per le figure solide.