«Όποιος μπορεί μέσα σε έναν χρόνο να λύσει την εξίσωση \(x^2-92y^2=1\), είναι μαθηματικός».— Brahmagupta (598–περ. 668)
Η φράση αποδίδεται στον Ινδό μαθηματικό και αστρονόμο Brahmagupta, ο οποίος συμπεριέλαβε το πρόβλημα στο έργο του Brāhmasphuṭasiddhānta, που ολοκληρώθηκε το 628 μ.Χ.
Η εκφώνηση μοιάζει λιτή: να βρεθούν θετικοί ακέραιοι (x) και (y) ώστε
Το πρόβλημα όμως δεν λύνεται εύκολα με δοκιμές. Οι τετραγωνικές δυνάμεις των δύο αριθμών πρέπει να απέχουν ακριβώς κατά μία μονάδα, παρότι ο ένας πολλαπλασιάζεται με το (92). Η πρώτη θετική λύση βρίσκεται πολύ μακρύτερα απ’ όσο θα περίμενε κανείς.
Δείτε την ελάχιστη λύση
Πράγματι:
Πώς έφτασε ο Brahmagupta στη λύση;
Το κλειδί ήταν μια ιδέα που σήμερα ονομάζουμε ταυτότητα ή λήμμα του Brahmagupta. Αν γνωρίζουμε δύο παραστάσεις της μορφής (x^2-Ny^2), μπορούμε να τις «συνθέσουμε» και να δημιουργήσουμε μία νέα. Στη συγκεκριμένη περίπτωση ξεκινάμε από την πολύ απλή σχέση
Συνθέτοντας αυτή τη σχέση με τον εαυτό της, προκύπτει
Διαιρώντας κατάλληλα, παίρνουμε την ενδιάμεση σχέση
Αν συνθέσουμε και αυτή τη λύση με τον εαυτό της, οι συντεταγμένες γίνονται ακέραιες:
Έτσι εμφανίζεται η ελάχιστη θετική λύση χωρίς να χρειαστεί να δοκιμάσουμε διαδοχικά εκατοντάδες ή χιλιάδες ζεύγη αριθμών.
Η «εξίσωση του Pell» πριν από τον Pell
Εξισώσεις της μορφής
είναι σήμερα γνωστές ως εξισώσεις του Pell. Η ονομασία είναι ιστορικά παραπλανητική. Ο Brahmagupta τις μελετούσε περίπου μία χιλιετία πριν από τον Άγγλο μαθηματικό John Pell. Αργότερα, ο Bhāskara II ανέπτυξε την κυκλική μέθοδο chakravāla, βασισμένος στις ιδέες του Brahmagupta, για τη συστηματική επίλυση τέτοιων εξισώσεων.
Πηγές: MacTutor – Quotations by Brahmagupta · MacTutor – Pell’s Equation · Wolfram MathWorld – Brahmagupta’s Problem

Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου