Είκοσι δύο αιώνες αργότερα, οι μαθηματικοί απέδειξαν ότι ο Ευκλείδης είχε ανέκαθεν δίκιο | Μέρος Β’

Ο νεαρός Γιάνος αγνόησε τη συμβουλή του. Σχεδόν όπως ο Γκάους κατέληξε να αναγνωρίσει την κρίσιμη κατάταξη που αφορούσε το άθροισμα των γωνιών ενός τριγώνου και προσπάθησε να εξαλείψει τα πάντα εκτός από την περίπτωση που ήταν ισοδύναμη με το αίτημα των παραλλήλων· τελικά, όπως ο Γκάους, απέτυχε.

Καθώς ο Μπόλιαϊ ενέσκηπτε ολοένα και βαθύτερα στο πρόβλημα, κατέληξε και αυτός στο συμπέρασμα ότι η γεωμετρία του Ευκλείδη είχε έναν λογικά έγκυρο ανταγωνιστή, και έγραψε με έκπληξη δίπλα από τις ιδιόμορφες αλλά φαινομενικά συνεπείς προτάσεις του: “Από το τίποτα δημιούργησα ένα παράξενα σύμπαν”.

Αντίθετα με τον Γκάους, ο Γιάνος Μπόλιαϊ δεν ήταν απρόθυμος να δημοσιεύσει τα ευρήματά του, τα οποία παρουσιάστηκαν ως παράρτημα σε μια εργασία του πατέρα του το 1832. Ο Μπόλιαϊ ο πρεσβύτερος έστειλε γεμάτος ενθουσιασμό ένα αντίγραφο του βιβλίου του στον φίλο του Γκάους· πατέρας και γιος δεν μπορούσαν παρά να εκπλαγούν από την απάντηση του τελευταίου:

Αν αρχίσω με τη δήλωση ότι δεν τολμώ να εκθειάσω το έργο [του γιου σου], ασφαλώς προς στιγμήν θα ξαφνιαστείς: όμως δεν μπορώ να κάνω διαφορετικά· αν το επαινούσα, θα ισοδυναμούσε με έπαινο προς τον εαυτό μου, διότι ολόκληρο το περιεχόμενο του έργου, η διαδρομή που πήρε ο γιος σου, τα αποτελέσματα στα οποία οδηγήθηκε συμπίπτουν σχεδόν επακριβώς με τους δικούς μου στοχασμούς, που έχουν απασχολήσει τον νου μου για τριάντα με τριάντα πέντε χρόνια.

Εύκολα μπορούμε να καταλάβουμε ότι ο Γκάους υπέβαλε τον ενθουσιώδη, νεαρό θαυμαστή του σε μια ψυχρολουσία. Προς τιμήν του, ο Γκάους περιέγραψε ευγενικά τον εαυτό του ως “… πολύ χαρούμενο που τυγχάνει να είναι γιος του παλαιού μου φίλου εκείνος που με ξεπερνά με έναν τόσο αξιοσημείωτο τρόπο”.Ωστόσο, για τον ίδιο τον Γιάνος, το να μάθει ότι η μεγαλύτερη ανακάλυψή του βρισκόταν επί δεκαετίες στο συρτάρι του Γκάους ήταν ένα σκληρό πλήγμα στον εγωισμό του.

Όμως ο εγωισμός του Γιάνος έμελλε να υποστεί ακόμη μια δοκιμασία, καθώς σύντομα έγινε γνωστό ότι ο Ρώσος μαθηματικός Νικολάι Λομπατσέφσκυ (1793 – 1856) όχι μόνο είχε διατρέξει την ίδια διαδρομή με τους Γκάους και Μπόλιαϊ, αλλά είχε δημοσιεύσει τη δική του θεώρηση της μη ευκλείδειας γεωμετρίας το 1829 – τρία ολόκληρα χρόνια νωρίτερα. Ωστόσο, ο Λομπατσέφσκυ είχε γράψει την πραγματεία του στα ρωσικά, με αποτέλεσμα αυτή να περάσει απαρατήρητη στη δυτική Ευρώπη.

Εδώ έχουμε ένα φαινόμενο αρκετά συνηθισμένο στην επιστήμη, δηλαδή μια ανακάλυψη που γίνεται ταυτόχρονα και ανεξάρτητα από περισσότερα άτομα. Όπως παρατήρησε χαριτωμένα ο Φάρκας Μπόλιαϊ:

… μοιάζει να αληθεύει ότι πολλά πράγματα έχουν, ούτως ειπείν, μια εποχή κατά την οποία ανακαλύπτονται ταυτόχρονα σε διαφορετικά μέρη, ακριβώς όπως οι βιολέτες εμφανίζονται παντού την άνοιξη.

Ο αντίκτυπος αυτών των ανακαλύψεων είχε μόλις βρει τον στόχο του όταν ακόμη ένας νεωτεριστής, ο Μπέρνχαρτ Ρήμαν (1826 – 1866), υιοθέτησε μια διαφορετική θεώρηση σχετικά με το άπειρο μήκος γεωμετρικών γραμμών. Αυτή η απειρία είχε επιτρέψει στους Γκάους, Μπόλιαϊ και Λομπατσέφσκυ να εξαλείψουν την περίπτωση το άθροισμα των γωνιών ενός τριγώνου να υπερβαίνει τις 180°. Όμως, υπήρχε κάποια αναγκαιότητα να υποθέτει κάποιος εν γένει αυτή την απειρία; Σύμφωνα με το δεύτερο αίτημα του Ευκλείδη, ένα ευθύγραμμο τμήμα μπορούσε να επεκταθεί ευθύγραμμα και με συνεχή τρόπο, όμως μήπως αυτό δεν σήμαινε ότι δεν μπορούμε ποτέ να φθάσουμε στο πέρας μιας ευθείας;

Ο Ρήμαν μπορούσε εύκολα να φανταστεί την περίπτωση όπου γραμμές – κάπως σαν κύκλοι – έχουν πεπερασμένο μήκος και ωστόσο δεν διαθέτουν “πέρας”, και το έθεσε ως εξής:

… πρέπει να διακρίνουμε μεταξύ μη φραγμένης και άπειρης έκτασης… Η ιδιότητα του μη φραγμένου χώρου διαθέτει… μια μεγαλύτερη εμπειρική βεβαιότητα από οποιαδήποτε εξωτερική εμπειρία.

Όμως η άπειρη έκτασή του επουδενί δεν έπεται αυτού.

Όταν ο Ρήμαν επανεξέταζε τη γεωμετρία υποθέτοντας μη φραγμένες αλλά πεπερασμένες γραμμές, η αντίφαση που προέκυπτε από το γεγονός ότι το άθροισμα των γωνιών ενός τριγώνου ξεπερνούσε τις 180° εξαφανίστηκε. Συνακόλουθα, ο Ρήμαν ανέπτυξε ένα άλλο είδος μη ευκλείδειας γεωμετρία, στο πλαίσιο της οποίας το άθροισμα των γωνιών υπερβαίνει τις δύο ορθές. Μολονότι είναι διαφορετική τόσο από τη γεωμετρία του Ευκλείδη όσο και από τη γεωμετρία του Μπόλιαϊ, η γεωμετρία του Ρήμαν ήταν κατά τα φαινόμενα εξίσου συνεπής.

Σήμερα, αναγνωρίζουμε και τους τέσσερις μαθηματικούς ως δημιουργούς της μη ευκλείδειας γεωμετρίας. Μοιάζει δίκαιο ότι και οι τέσσερις, ως πρωτοπόροι, πρέπει να μοιραστούν τη δόξα. Όμως ακόμη και οι ανακαλύψεις τους δεν έλυσαν πλήρως το θεμελιώδες πρόβλημα του αιτήματος των παραλλήλων. Διότι, αν και είχαν αναπτύξει τις γεωμετρίες τους σε μεγάλο βαθμό επιτήδευσης, αυτό που στήριζε την πεποίθησή τους πως οι νέες γεωμετρίες αποτελούσαν έγκυρες εναλλακτικές λύσεις στην ευκλείδεια γεωμετρία δεν ήταν παρά μόνο μια βαθιά αίσθηση και όχι ένα λογικό επιχείρημα γραμμένο στο χαρτί. Παρά τις έντονες πεποιθήσεις των Γκάους, Μπόλιαϊ, Λομπατσέφσκυ και Ρήμαν, παρέμενε η δυνατότητα σε κάποια μελλοντική στιγμή ένας λαμπρός μαθηματικός να αποδείκνυε την ύπαρξη μιας αντίφασης προερχόμενης από την υπόθεση ότι το άθροισμα των γωνιών ενός τριγώνου μπορούσε να είναι μικρότερο ή μεγαλύτερο των 180°.

Έτσι, το τελικό κεφάλαιο αυτής της ιστορίας που διήρκεσε αιώνες γράφτηκε το 1868 από τον Ιταλό Εουτζένιο Μπελτράμι (1835 – 1900), ο οποίος απέδειξε μονοσήμαντα ότι η μη ευκλείδεια γεωμετρία ήταν εξίσου λογικά συνεπής με την ευκλείδεια γεωμετρία. Δηλαδή, θεωρώντας ότι κάπου στη γεωμετρία του Γκάους, του Μπόλιαϊ και του Λομπατσέφσκυ ή σε εκείνη του Ρήμαν μπορούσε να ελλοχεύει μια αντίφαση, ο Μπελτράμι έδειξε ότι τότε θα έπρεπε να υπάρχει μια αντίφαση και στη γεωμετρία του Ευκλείδη. Καθώς δυνητικά οι πάντες πίστευαν ότι η ευκλείδεια γεωμετρία ήταν όσο συνεπής μπορούσε, το συμπέρασμα ήταν πως οι μη ευκλείδειες γεωμετρίες ήταν ομοίως πολυτιμότατες.

Για να το θέσουμε διαφορετικά, η μη ευκλείδεια γεωμετρία δεν είναι από λογική άποψη κατώτερη από την παλαιότερη, ευκλείδεια ομόλογό της.

Και που βρίσκεται ο Ευκλείδης μετά από αυτές τις ανακαλύψεις του 19ου αιώνα; Από τη μία, η γεωμετρία του έπαψε πια να είναι η μόνη λογικά συνεπής περιγραφή του χώρου. Προς μεγάλη έκπληξη σχεδόν όλων, αποδείχτηκε ότι το αίτημα των παραλλήλων δεν προέκυπτε υποχρεωτικά από τη λογική. Ήταν μια υπόθεση του Ευκλείδη, αλλά δεν υπήρχε καμία μαθηματική αναγκαιότητα για αυτό. Υπήρχαν ανταγωνιστικές, εξίσου έγκυρες γεωμετρίες.

Ωστόσο, ίσως το αποτέλεσμα να είναι η ενίσχυση και όχι ο καταποντισμός της φήμης του Ευκλείδη. Διότι, αντίθετα με πολλούς που ακολούθησαν, ο Ευκλείδης δεν έπεσε στην παγίδα να προσπαθήσει να αποδείξει το αίτημα των παραλλήλων από τις υπόλοιπες αυταπόδεικτες αλήθειες, ένα εγχείρημα το οποίο, όπως γνωρίζουμε σήμερα, είναι εντελώς καταδικασμένο να αποτύχει. Αντίθετα, τοποθέτησε απλώς την υπόθεσή του εκεί όπου ανήκε, στα αιτήματα. Ασφαλώς δεν μπορούσε να γνωρίζει για τις εναλλακτικές γεωμετρίες που θα ανακαλύπτονταν δύο χιλιετίες αργότερα. Ωστόσο, κάτι στη διαίσθησή του ως μαθηματικού πρέπει να του είπε ότι η ιδιότητα αυτή ήταν μια ξεχωριστή, ανεξάρτητη ιδέα, που χρειαζόταν το δικό της αίτημα, όσο σχοινοτενές ή περίπλοκο κι αν ακουγόταν.

Είκοσι δύο αιώνες αργότερα, οι μαθηματικοί απέδειξαν ότι ο Ευκλείδης είχε ανέκαθεν δίκιο.

Πηγή: lecturesbureau