Pagina:Le opere di Galileo Galilei VII.djvu/239


giornata seconda 231


Salv. Ma voi intendete pure che questa sola retta sarà poi per necessità la brevissima di tutte l’altre.

Simp. L’intendo, e ne ho anche la dimostrazion chiara, arrecata da un gran filosofo peripatetico; e parmi, se ben mi ricorda, ch’ei la porti riprendendo Archimede, che la suppone come nota, potendola dimostrare.

Salv. Questo sarà stato un gran matematico, avendo potuto dimostrar quel che nè seppe nè potette dimostrare Archimede; e se ve ne sovvenisse la dimostrazione, la sentirei volentieri, perchè mi ricordo benissimo che Archimede ne i libri della sfera e del cilindro mette cotesta proposizione tra i postulati, e tengo per fermo che l’avesse per indimostrabile.

Simp. Credo che mi sovverrà, perch’ella è assai facile e breve.

Salv. Tanto sarà maggior la vergogna d’Archimede, e la gloria di cotesto filosofo.

Simp. Io farò la sua figura. [Dimostrazione d'un Peripatetico per provar che la linea retta è la brevissima di tutte.]Tra i punti A, B tira la linea retta AB e la curva ACB, delle quali ei vuol provare la retta esser più breve; e la prova è tale. Nella curva piglia un punto, che sarebbe C, e tira due altre rette AC, CB, le quali due sono più lunghe della sola AB, che così dimostra Euclide; ma la curva ACB è maggiore delle due rette AC, CB; adunque a fortiori la curva ACB sarà molto maggiore della retta AB, che è quello che si doveva dimostrare.

Salv. Io non credo [Paralogismo dei medesimo Peripatetico, che prova ignotum per ignotius.]che a cercar tutti i paralogismi del mondo si potesse trovare il più accomodato di questo per dare un esempio della più solenne fallacia che sia tra tutte le fallacie, cioè di quella che prova ignotum per ignotius.

Simp. In che modo?

Salv. Come in che modo? la conclusione ignota, che voi volete provare, non è che la curva A C B sia più lunga della retta A B? il mezo termine, che si piglia per noto, non è che la curva A C B sia maggior delle due A C, C B, le quali è noto esser maggior della A B? e se vi è ignoto che la curva sia maggiore della sola retta A B, come non sarà egli assai più ignoto che ella sia maggiore delle due rette A C, C B, che si sa esser maggiori della sola A B? e voi lo prendete per noto?

Simp. Io non intendo ancor bene dove consista la fallacia.