Μετάβαση στο κύριο περιεχόμενο

ΔΙΟΦΑΝΤΟΣ ΚΑΙ ΔΙΟΦΑΝΤΙΚΕς ΕΞΙΣΏΣΕΙς



Ο Διόφαντος ο Αλεξανδρεύς ήταν Έλληνας μαθηματικός του τρίτου αιώνα (περίπου 210290), ο οποίος έζησε στην Αλεξάνδρεια της ρωμαϊκής Αιγύπτου. Έχει αποκληθεί «πατέρας της άλγεβρας» εξαιτίας του εμβληματικού έργου του «Αριθμητικά», όπου περιέχονται αλγεβρικά προβλήματα τα οποία λύνονται με εξισώσεις και συστήματα πρώτου και δευτέρου βαθμού. Ο Διόφαντος συνεισέφερε πολύ στην ανάπτυξη της αριθμητικής, καθιέρωσε και τυποποίησε έναν τύπο σύντομου μαθηματικού συμβολισμού για τη γραφή προβλημάτων, για πρώτη φορά σε ευρεία κλίμακα άρχισε να χρησιμοποιεί τα κλάσματα ως πραγματικούς αριθμούς και ασχολήθηκε με την επίλυση εξισώσεων με πολλαπλούς αγνώστους όρους. Ωστόσο ακόμα και με τον Διόφαντο ο ελληνικός μαθηματικός συμβολισμός παρέμεινε βασισμένος στον καθημερινό λόγο και δύσχρηστος με τα σημερινά δεδομένα.
Όταν λέμε Διοφαντική εξίσωση εννοούμε μία συνηθισμένη γραμμική εξίσωση, για παράδειγμα η "ax+by=c", στην οποία οι άγνωστοι (x, y) μπορούν να έχουν µόνο ακέραιες λύσεις.  Σε αυτές τις περιπτώσεις, για να υπάρχει λύση, αναγκαία και ικανή συνθήκη είναι ο Μέγιστος Κοινός Διαιρέτης (Μ.Κ.Δ) των συντελεστών (a,b) των αγνώστων να διαιρεί το c.  Επιπλέον αν (x',y') είναι μία λύση της διοφαντικής εξίσωσης τότε το σύνολο των λύσεων της εξίσωσης δίνεται από τα ακέραια ζεύγη (x,y) όπου x=x'+tb/d και y=y'-ta/d όπου t ακέραιος αριθμός.
Εξισώσεις που απαιτούν ως λύσεις μόνο ακέραιους αριθμούς. Φέρουν το όνομα του πατέρα της άλγεβρας, Διόφαντου (3ος αι. π.Χ.)
Τις αντιμετωπίζουμε συχνά στην καθημερινή μας ζωή:
θέλω την υπέροχη συνταγή της γιαγιάς για κέικ σε τριπλή δόση. Πόσα αυγά, πόσα πορτοκάλια, πόσες συσκευασίες ζάχαρης, γάλατος, βανίλιας και βιτάμ να αγοράσω; Η σχετική εξίσωση μπορεί να δίνει ως λύσεις (εκφρασμένες σε γραμμάρια ή μιλιλίτρα) δεκαδικούς αριθμούς αλλά δεν μπορώ να αγοράσω 1+3/4 λίτρα γάλατος, ούτε επτάμισι αυγά, ούτε δυόμισι συσκευασίες βανίλιας. Το ίδιο αντιμετωπίζει μια ναυτιλιακή εταιρία αν θέλει να εξυπηρετήσει σε ένα καλοκαιρινό δρομολόγιο περισσότερους ταξιδιώτες: πρέπει να επανδρώσει ένα ακέραιο αριθμό περισσότερων πλοίων.
Ο Χίλμπερτ το 1900 παρέθεσε στους μαθηματικούς τον επόμενων γενεών 23 δύσκολα προβλήματα. Το δέκατο πρόβλημα ζητούσε ένα αλγόριθμο (μια τυπική διαδικασία) για να βρίσκουμε αν μια διοφαντική εξίσωση με οσουσδήποτε ακέραιους συντελεστές έχει ή δεν έχει ακέραιες λύσεις.
Το 1970 ο Ματιάσεβιτς απέδειξε ότι δεν υπάρχει τέτοια διαδικασία.  Τέτοια διαδικασία ωστόσο υπάρχει για τις δευτεροβάθμιες εξισώσεις τριών συντελεστών (αχ2+βχ+γ=0) που διδαχθήκαμε στο Λύκειο: από τη διακρίνουσα Δ=β2-4αγ, ανακαλύπτουμε αν η εξίσωση έχει πραγματικές λύσεις ή όχι χωρίς καν να λύσουμε την εξίσωση!
Εκ των προβλημάτων, τα όποια πραγματεύεται ο αριθμητικός της Αλεξανδρείας μερικά είναι πρώτου βαθμού, αλλά δευτέρου βαθμού και ένα μόνον του τρίτου.
Μερικά είναι ωρισμένα, αλλά απροσδιόριστα. Των τελευταίων τούτων ο Διόφαντος δεν έρευνα τας ακεραίας και θετικάς λύσεις, όπως συνηθίζομεν σήμερον, αλλά μόνον τας θετικάς ρητάς λύσεις. Τούτο προφανώς καθίστα την έρευναν πολύ ευκολωτέραν και αποδεικνύει ότι είναι πράγματι αδικαιολόγητος η ονομασία Διοφαντική ανάλυσις, η οποία εδόθη εις την απροσδιόριστον ανάλυσιν, ακόμη και εκ μέρους εκείνων (και αρκεί ν' αναφέρομεν το ένδοξον άνομα του Jacobi) οι όποιοι εγνώριζον κατά βάθος το έργον του Διόφαντου.
Μία γενική επισκόπησις των προβλημάτων πού πραγματεύεται o Διόφαντος, φέρει εις φως, ότι δύνανται να κατανεμηθούν εις ομάδας και ότι τα στοιχεία εκάστου συνδέονται μεταξύ των με προφανείς αναλογικάς σχέσεις. Επί πλέον ότι ο Διόφαντος δεν εξήτασε πάντοτε όλα τα προβλήματα, τα όποια θα είχον δικαίωμα να περιληφθούν εις την ιδίαν ομάδα. Κατά πόσον τα προκύπτοντα κενά είναι αποτέλεσμα εσκεμμένης ενεργείας του συγγραφέως η επεβλήθησαν εις το κείμενον από αντιγραφείς μικράς αξιοπιστίας, είναι σήμερον αδύνατον να   εξακριβώσωμεν.
Αι μέθοδοι, τας οποίας ακολουθεί ο μέγας Έλλην αριθμητικός δια την λύσιν των εξεταζομένων προβλημάτων,
δεν εκτίθενται υπό τούτου με όρους γενικούς, άλλ' εφαρμόζονται απλώς από περιπτώσεως εις περίπτωσιν. Επαφίεται λοιπόν εις τον αναγνώστην να εξαγάγη εκ των εφαρμογών γενικά συμπεράσματα. Ούτω βλέπομεν, ότι δια να λύση ένα πρόβλημα πρώτου βαθμού με ένα άγνωστον, προβαίνει περίπου κατά την σύγχρονον μέθοδον της συγκεντρώσεως - εις το ένα μέλος της εξισώσεως των όρων πού έχουν τον άγνωστον, εις δε το άλλο μέλος τους γνωστούς όρους. Τοιουτοτρό­πως το πρόβλημα ανάγεται εις την εκτέλεσιν μιας διαιρέσεως η εις την αναζήτησιν μιάς τετάρτης αναλόγου. Όταν κατόπιν ο Διόφαντος επιλαμβά­νεται προβλήματος αναγομένου εις ωρισμένον σύστημα γραμμικών εξι­σώσεων, συναντά μίαν δυσκολίαν άγνωστον εις ημάς, η οποία προήρχετο εκ του γεγονότος ότι όντος διέθετε, ένα μόνον σύμβολον προς παράστασιν των αγνώστων. Δια την υπερνίκησιν της δυσκολίας αυτής εξέ­φραζε τους λοιπούς αγνώστους συναρτήσει ενός προνομιούχου, ο όποιος δεν ήτο πάντοτε ένας εξ εκείνων, πού εισήρχοντο εις την εκφώνησιν του προβλήματος, αλλά συχνά ήτο ένας βοηθητικός άγνωστος, εκλεγόμενος εις εκάστην ιδιαίτερον περίπτωσιν. Ακριβώς δε εις την εκλογήν τοιούτου βοηθητικού άγνωστου ο Διόφαντος έδωσεν εξαιρετικά δείγματα ευφυΐας και γονιμότητος, τα όποια ίσος να έφθασαν, αλλά δεν υπερέ­βησαν οι μεταγενέστεροι   μαθηματικοί.
Είναι δυσκολώτερον να εξαγάγωμεν κάποιον συμπερασμόν γενικού χαρακτήρος, όσον αφορά τας λύσεις των διοφαντικών προβλημάτων, αι οποίαι ισοδυναμούν προς λύσεις δευτεροβαθμίων εξισώσεων, αφού π.χ. δεν κατέστη ακόμη δυνατόν να μάθωμεν μετά βεβαιότητος, εάν ούτος εγνώριζε τας δύο ρίζας της δευτεροβαθμίου εξισώσεως εις την περίπτωσιν πού είναι αμφοτέραι θετικαί. Και το σκότος γίνεται μεγαλύτερον όσον άφορα τον τρόπον, τον οποίον ακολουθεί δια ν' αναγνώριση ότι η κυ­βική εξίσωσις :
χ3-3χ2+3χ-1=χ2+2χ+3
έχει ρίζαν χ = 4, μολονότι φαίνεται πιθανή η υπόθεσις, ότι έφθασεν εις το συμπέρασμα τούτο αφού προηγουμένως έδωσεν εις αυτήν την ακόλουθον μορφήν:
χ(χ2+1) = 4(χ2+1).
Η ίδία ποικιλία ευφυέστατων τεχνασμάτων, πού απαντάται εις την λύσιν συστημάτων πρώτου βαθμού, εφαρμόζεται και προκειμένου περί συστημάτων εξισώσεων, των οποίων μία τουλάχιστον είναι δευτεροβάθμιος, εις τρόπον ώστε η μελέτη του Διόφαντου να είναι ακόμη και σήμερον πολύ διδακτική δι εκείνον πού επιθυμεί να εξοικειωθή με την λύσιν τοιούτων συστημάτων.
Από όλα αυτά δυνάμεθα να συμπεράνωμεν, ότι κατά τον χειρισμόν ωρισμένων προβλημάτων, ο Διόφαντος ενεργεί κατά τρόπον μη διαφέροντα εκείνου, τον οποίον θα ηκολούθει ένας σύγχρονος αλγεβριστής. Αλλά τούτο δεν δύναται να επαναληφθή προκειμένου περί των αορί­στων προβλημάτων. Εν πρώτοις, ενώ ημείς σήμερον εις τα προβλήματα του είδους τούτου απαιτούμεν την γενικήν λύσιν εις ακεραίους και θετικούς αριθμούς, ο Έλλην μαθηματικός περιορίζεται εν γένει εις την εύρεσιν μιας ειδικής λύσεως εις αριθμούς ρητούς θετικούς. Ούτως εχόντων των πραγμάτων, είναι φανερόν ότι δια τον Διόφαντον δεν υφίσταται πρόβλημα απροσδιο­ρίστου αναλύσεως πρώτου βαθμού, αφ' ης στιγμής δοθείσης μιας αυθαι­ρέτου τιμής χ0 του αγνώστου   χ, μικροτέρας  του λόγου γ/α, η εξίσωσις
αχ + βy = γ
επαληθεύεται από τον ρητόν θετικόν αριθμόν:
Όταν όμως μεταξύ των εξισώσεων του προβλήματος ευρίσκονται και δευτεροβάθμιοι, ο Διόφαντος δέχεται δια μερικούς αγνώστους εκφρά­σεις περιέχουσας ένα αόριστον, και εκλέγει  τούτους  κατά τρόπον ώστε το όλον να είναι ρητόν. Π.χ. εις την εξίσωσιν
Χ2 + y2 = α2 + β2
θέτει
χ = λξ
y = μξ
όπου λ, μ αυθαίρετοι σταθεραί και ξ μία προσδιοριστέα ποσότης. Ευρίσκει ούτω:
και τότε οι άγνωστοι χ, y προκύπτουν ρητοί. Μας είναι αδύνατον να μνημονεύσωμεν τας ποικίλας μορφάς, υπό τας οποίας ο Διόφαστος εφαρμόζει την ιδέαν αυτήν, αν και παρέχουν ισάριθμα δείγματα απαραμίλλου δεξιοτεχνίας εις τους υπολογισμούς. Θ' αρκεσθώμεν μάλλον εις το να παρατηρήσωμεν ότι πλείστα των διοφαντικών προβλημάτων οδηγούν εις το ακόλουθον γενικόν πρόβλημα: Δοθεισών δύο αλγεβρικών ρητών ακε­ραίων συναρτήσεων πρώτου η δευτέρου βαθμού με ένα άγνωστον, να προσδιορισθώ μία τιμή τούτου, δια την οποίαν αι δύο συναρτήσεις ν' αποκτούν τετραγωνικάς τιμάς. Η λύσις μιας τοιαύτης «διπλοϊσότητος» εις το πεδίον των ακεραίων αριθμών είναι επιχείρησις αρκετά δυσχερής, αλλά και εις το πεδίον των ρητών αριθμών παρουσιάζει τεραστίας δυσκο­λίας, τας οποίας ο ίδιος ο Διόφαντος δεν ηδυνήθη να υπερνίκηση παρά μόνον εις ειδικάς περιπτώσεις, καταφεύγων μάλιστα ενίοτε εις την, υπ' αυτού ονομασθείσαν «προσεγγιστικήν μέθοδον», η οποία αποτελεί μίαν μορφήν του κανόνος της «αυθαιρέτου αφετηρίας» (Regula falsi).
Παραδείγματα διπλών ισοτήτων απαντώνται εις το VI βιβλίον του υπό εξέτασιν έργου, το βιβλίον δε τούτο κατ' αντίθεσιν προς τα προη­γούμενα παρουσιάζει απόλυτον ενότητα και αποσκοπεί εις την κατα­σκευήν τριγώνων ορθογωνίων με πλευράς μετρούμενος υπό ρητών αρι­θμών πληρούντων ωρισμένας συνθήκας. π.χ. την συνθήκην, όπως η διχο­τόμος της ορθής γωνίας εκφράζηται επίσης δια ρητού αριθμού η όπως το εμβαδόν του τριγώνου προσλαβόν «τὸν ἐν ἑκατέρᾳ τῶν ὀρθῶν, ποιῇ τετράγωνον» - «τον εν εκατέρα των ορθών, ποιή τετράγωνον» 1.
Ας σημειωθή τέλος, ότι μεταξύ των προβλημάτων τα όποια πραγματεύεται ο Διόφαντος, ένα μόνον έχει συνάφειαν με τον πρακτικόν βίον, το ακόλουθον: «γόρασε τς δύο εδη ονου, κ μν το νς τν χοέα πρς 8 δραχμς, κ δ το λλου τν χοέα πρς 5 δραχμς κα επεν τι τιμ το λου ν εναι τετράγωνος ριθμός, ποιος, προστιθέμενος ες τ 60 σχημάτιζε τετράγωνον ριθμόν, το ποίου τετραγωνικ ρίζα σοται πρς τ θροισμα τν χοέων. Ν ερεθον ο κτάδραχμοι χοες»2.

Σχόλια

Δημοφιλείς αναρτήσεις από αυτό το ιστολόγιο

Αναξίμανδρος (610-540 π.X.)

Γέννηση, θάνατος, άπειρο », 23 Μαΐου 2011 Επιστήμες / Μορφές της Επιστήμης & της Τεχνολογίας   Αναπληρωτής καθηγητής Ιστορίας και Φιλοσοφίας της Αστρονομίας και των Φυσικών Επιστημών - Πανεπιστήμιο Αθηνών Στράτος Θεοδοσίου Στην φιλοσοφία του Αναξίμανδρου, το άπειρο, που ήταν αθάνατον και ανώλεθρον, ήταν η πρωταρχική κοσμική ουσία από την οποία απορρέουν τα πάντα και στην οποία τελικά επιστρέφουν τα πάντα. Από αυτό γεννιούνταν και σε αυτό επέστρεφαν αλληλοδιαδόχως άπειροι κόσμοι. των Στράτου Θεοδοσίου, επίκουρου καθηγητή, και Μάνου Δανέζη , αναπληρωτή καθηγητή, Τμήμα Φυσικής – Πανεπιστήμιο Αθηνών και Milan Dimitrijevic , Astronomical Observatory of Belgrade, Serbia Την ίδια εποχή με τον Θαλή έδρασε, επίσης στην Μίλητο, ο μαθητής και διάδοχος στην Σχολή του, ο Αναξίμανδρος (610-540 π.X.), ο οποίος, όπως παραδέχονται όλοι οι μελετητές εκείνης της περιόδου, ήταν ισάξιος του διδασκάλου του και ο πρώτος που μαζί

Είχε Δίκιο η Αντιγόνη ή ο Κρέων;

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

O ΠΑΡΜΕΝΙΔΗΣ: Ο άνθρωπος μετά το θάνατό του δεν περνά στην ανυπαρξία, ο νεκρός δεν είναι «μηδέν», αλλά μετέχει στο «είναι» έχει την ικανότητα να αισθάνεται και αναμένει (μέσω της μετεμψύχωσης) την επιστροφή του στον ορατό κόσμο.

O ΠΑΡΜΕΝΙΔΗΣ Ο Παρμενίδης ήταν αρχαίος Έλληνας φιλόσοφος. Γεννήθηκε στην Ελέα της Μεγάλης Ελλάδας στα τέλη του 6ου αι. π.Χ., σε ένα περιβάλλον επηρεασμένο από τις απόψεις του Πυθαγόρα και του Ξενοφάνη. Θεωρείται η πλέον πρωτότυπη μορφή της προσωκρατικής σκέψης. Σε αντίθεση με τους Ίωνες φυσιολόγους δεν αναζητά την ενότητα του κόσμου σε μια φυσική ουσία, αλλά στην ίδια την «οντότητα» των πραγμάτων που μας περιβάλλουν, στο είναι όλων των όντων και όλων των πραγμάτων. Ο Παρμενίδης εκθέτει τη φιλοσοφία του σε έμμετρο λόγο (δακτυλικό εξάμετρο), επιθυμώντας πιθανώς να την παρουσιάσει ως αποτέλεσμα θείας αποκάλυψης. Στο προίμιο του ποιήματoς περιγράφεται το ταξίδι του ποιητή πάνω σε άρμα, καθοδηγούμενο από κόρες του ΄Ηλιου σε μια ανώνυμη θεά. Ακολουθεί η Αλήθεια, στην οποία μιλά η θεά επιχειρώντας μια προσέγγιση της καρδιάς της αλήθειας.     «αλλά ωστόσο θα μάθεις και τούτο, πως τα δοκούντα θα έπρεπε να είναι απολύτως δεκτά, όλα δεκτά στο σύνολό τους ως όντα». Παρουσιάζοντας τα φα