Οι μεθοδοι επίλυσης Εξισώσεων στην Ιστορία των Μαθηματικών

Μία μικρὴ ἱστορία γιὰ τὶς Εξισώσεις μὲ ἀφορμὴ τὴ μελέτη τοῦ ἔργου - πηγή ποὺ εἶναι ὁ κώδικας 65, ἕνα ἑλληνικὸ μαθηματικὸ χειρόγραφο τοῦ 15ου αἰώνα




Ἡ μεθοδολογία τῆς λύσεως τῶν ἐξισώσεων πρώτου καὶ δευτέρου βαθμοῦ ἦταν γνωστὴ ἀπὸ τὴν ἀρχαιότητα[1]. Ὁ Διόφαντος μάλιστα τὶς ἐχώριζε σὲ κατηγορίες, καὶ χρησιμοποιοῦσε μόνο τὴ θετικὴ ρίζα[2] χωρὶς ὅμως αὐτὸ νὰ σημαίνει ὅτι ἀγνοοῦσε τὴν ὕπαρξη τῆς ἀρνητικῆς. Βέβαια καὶ σὲ πολὺ μεταγενέστερα χειρόγραφα δὲν γινόταν λόγος γιὰ ἀρνητικὲς ρίζες.
Κατὰ τὸν 15ον αἰ. δέ, χρησιμοποιοῦσαν τὴν ἑξῆς ὁρολογία:
"Ἀριθμὸς", γιὰ κάθε πραγματικὸ ἀριθμό.
"Πρᾶγμα", γιὰ τὸν ἄγνωστο χ.
"Τζένσο"[3], γιὰ τὸ χ².
"Κοῦβο", γιὰ τὸ χ³.
"Κάδρο", γιὰ τὸ χ⁴.
Ὁ Φιμπονάτσι (1225 μ.Χ.) χρησιμοποιοῦσε τοὺς ἴδιους ὅρους γιὰ νὰ ὀνομάσει τὶς ἀνωτέρω παραστάσεις, ἐκτὸς ἀπὸ τὶς παραστάσεις χ² καὶ χ⁴ τὶς ὁποῖες ὀνόμαζε, τὴ μὲν πρώτη "quadratus" ἢ "census" ἢ "avere", καὶ τὴ δεύτερη "census"[4]. Ὁ Φιμπονάτσι εἶχε ἐπιρρεασθεῖ ἀπὸ τοὺς Ἀλ Χουαρίζμι καὶ Ἀλ Κάρα. Ὁ Ἀλ Χουαρίζμι ὅμως, ἐνῶ ὀνομάζει τὸν ἄγνωστο χ "πρᾶγμα", τὸ χ² τὸ καλεῖ "τετράγωνο" καὶ ὄχι τζένσο[5].
Στὴ Δύση ὁ Jordanus Nemorarius χρησιμοποιοῦσε τὴν ἴδια ὁρολογία[6] μὲ τὸν Φιμπονάτσι, καὶ ὁ Luca Pacioli τὸ 1494 χρησιμοποιεῖ τὴν ἴδια μεθοδολογία ἐπίλυσης[7] πρωτοβάθμιων καὶ δευτεροβάθμιων ἐξισώσεων μὲ αὐτὴν τοῦ συγγραφέα τοῦ χειρογράφου μας. Τὴν ἴδια μεθοδολογία ἐπίλυσης χρησιμοποιοῦσε ἀπὸ παλαιότερα καὶ ὁ Omar Khayyam.
Διαπιστώνουμε λοιπόν, ὅτι μπορεῖ μὲν νὰ ὑπάρχουν ἄμεσες ἐπιρροὲς ἀπὸ τὴ Δύση, ὅμως τὸν κυριότερο ρόλο διαδραματίζουν οἱ ἀλληλεπιδράσεις τῶν ἐπιστημονικῶν ἰδεῶν Ἀνατολῆς καὶ Δύσης.
Ὅσον ἀφορᾶ στὶς τριτοβάθμιες καὶ τεταρτοβάθμιες ἐξισώσεις, ὁ συγγραφέας τοῦ κώδικα 65 δίνει μεθοδολογίες λύσης οἱ ὁποῖες εἶναι λανθασμένες. Τὸ γεγονὸς αὐτὸ δὲν πρέπει νὰ μᾶς ἐκπλήσσει, διότι τὴν ἐποχὴ ἐκείνη γίνονταν ἀποτυχημένες ἀπόπειρες ἐξεύρεσης μεθοδολογίας γενικῆς λύσης γιὰ τὶς ἐξισώσεις βαθμοῦ ἀνωτέρου τοῦ δευτέρου. Στὸ ἔργο τοῦ Διόφαντου ὑπάρχει μόνο μία ἐξίσωση 3ου βαθμοῦ. Πρόκειται γιὰ τὴν ἐξίσωση χ²+2χ+3=χ³+3χ-3χ²-1, ἡ ὁποία λύνεται μὲ παραγοντοποίηση, ὁπότε ἔχουμε:
(χ-4)(χ²+1)=0, καὶ τελικὰ χ=4[8]. Τὸν 6ο αἰ. ὁ Al-Karagī περιέλαβε σὲ ἔργο του ἐξισώσεις ἀνωτέρου βαθμοῦ[9], ἐνῶ πολὺ ἀργότερα ὁ Omar Khayyam εἶχε ἀσχοληθεῖ μὲ τὶς ἐξισώσεις 3ου καὶ 4ου βαθμοῦ, χωρίς ἀποτέλεσμα[10]. Δείγματα ἐσφαλμένων λύσεων[11] τῆς τριτοβάθμιας ἐξίσωσης ἔχουμε
α) ἀπὸ τὸν Rudolff τὸ 1525 μ.Χ. γιὰ τὴν ἐξίσωση χ³=10χ²+20χ+48, τὴν ὁποία ἔλυνε ὡς ἑξῆς:
χ³+8=10χ²+20χ+56, ὁπότε
χ²-2χ+4=10χ+56/(χ+2), συνεπῶς
χ²-2χ=10χ, καὶ 4=56/(χ+2), δηλαδὴ
χ=12, καὶ
β) ἀπὸ κάποιον ἀνώνυμο συγγραφέα τοῦ 13ου αἰ. μ.Χ. γιὰ τὴν ἐξίσωση αχ³=cχ+κ, τὴν ὁποία ἔλυνε ὡς ἐξῆς:
χ³=cχ/α+κ/α, συνεπῶς
χ=c/(2α)+√[{(c/(2α)}²+κ/α].
Ὁ Pacioli τὸ 1494 μ.Χ. ἰσχυριζόταν ὅτι γιὰ τὶς τριτοβάθμιες ἐξισώσεις δὲν εἶναι δυνατὸν νὰ δοθεῖ γενικὴ λύση, καὶ ὁ Φιμπονάτσι ἔλυνε τριτοβάθμιες χρησιμοποιώντας μία μέθοδο, ἡ ὁποία εἶχε πολλὲς ὁμοιότητες μὲ τὸ σχῆμα τοῦ Horner[12]. Τελικὰ πρῶτος ὁ Cardano τὸ 1545, στὸ ἔργο του Artis magnae sive de reguli Algebraicis liber unus δημοσίευσε τὴ λύση τριτοβάθμιας ἐξίσωσης. Ἡ Ἄλγεβρα ἦταν ἀκόμα ρητορική καὶ χωρὶς σύμβολα. Ὁ Cardano στὸ ἔργο του περιέγραφε τὴν ἐξίσωση 6χ³-4χ²=34χ+24. Κατόπιν πρόσθετε καὶ στὰ δύο μέλη τὴν παράσταση 6χ³+20χ², ὁπότε ἡ ἐξίσωση διαμορφωνόταν ὡς ἑξῆς:
4χ²(3χ+4)=(2χ²+4χ+6)(3χ+4), καὶ μετὰ ἀπὸ πράξεις προέκυπτε ἡ λύση χ=3.
Ὁ Cardano ὅμως φαίνεται ὅτι γνώριζε ὅτι ὑπῆρχαν καὶ ἄλλες λύσεις[13]. Πρέπει νὰ ποῦμε ὅμως ὅτι τὴν ἀνωτέρω λύση εἶχε βρεῖ ὁ Tartaglia, ὁ ὁποῖος τὴν εἶχε ἐμπιστευθεῖ στὸν Cardano, καὶ αὐτὸς μὲ τὴ σειρά του πρόλαβε καὶ τὴ δημοσίευσε[14].
Στὴ γενικὴ λύση ὅμως τῆς τριτοβάθμιας καὶ τῆς τεταρτοβάθμιας ἐξίσωσης ἔφθασε τὸ 1615 ὁ Vietà[15], δίνοντας μία μεθοδολογία, ἡ ὁποία ἐφαρμόζεται μέχρι σήμερα.
Φαίνεται, ὅτι ὁ συγγραφέας τοῦ χειρογράφου μας, ἔχοντας ἐπίγνωση τῆς ἀδυναμίας του νὰ λύσει ἐξισώσεις ἀνωτέρου βαθμοῦ, δὲν τὶς χρησιμοποιεῖ σὲ κανένα ἀπὸ τὰ ἑπόμενα προβλήματα. Ἀντιθέτως, ἐπιδεικνύει ἐξαιρετικὴν ἄνεση στὴν ἐφαρμογὴ τῶν τύπων τῆς πρωτοβάθμιας καὶ τῆς δευτεροβάθμιας ἐξίσωσης.

[1] Smith, Hist. Math., τόμ. II, σελ. 382.
[2] Διοφ. Ἀριθμ., π.χ. πρόβλ. 6, σελ. 59. Ὁ Διόφαντος ἀπαιτοῦσε οἱ ρίζες νὰ εἶναι ὄχι μόνο θετικὲς ἀλλὰ καὶ ρητές. Βλ. Διοφ. Ἀριθμ., σελ. 172. Κ. Vogel, "Diophantus", σελ. 114. Heath, Hist. Gr. Math., τόμ. ΙΙ, σελ. 463-4.
[3] Ὁ ὅρος "census" ἢ "zensus" σημαίνει "διατίμηση φόρου ἢ πλούτου". Βλ. Smith, Hist. Math., τόμ. II, σελ. 427.
[4] Vogel, Fibonacci, σελ. 609. Ηøyrup, Sub-Sc. Math, σελ. 25.
[5] Σχετικὰ μὲ τὴ λύση ἐξισώσεων Α καὶ Β βαθμοῦ βλ. Adel Anbouba, Notes sur l’ Algèbre d’ Al-Hwarizmī, Pub. de l’ Univ. Libanaise, Beyroyth, 1968, σελ. 5-17.
[6] Smith, Hist. Math., τόμ. II, σελ. 427.
[7] ὅ. π., σελ. 442.
[8] Βλ. Διοφ. Ἀριθμ., προβλ. 17, σελ. 326. Βλ. ἐπίσης Heath, Hist. Gr. Math., τόμ. II, σελ. 465.
[9] Anbouba Adel, L’ Algèbre Al-Badī d’Al-Karagī, Publ. de l’ Univ. Libanaise, Beyrouth, 1964, σελ. 40.
[10] Ὁ Khayyam ἰσχυριζόταν, ὅτι ἡ ἐξίσωση χ³+qχ=pχ²+r μπορεῖ νὰ ἔχει τὸ πολὺ 2 ρίζες. Βλ. Youschkevitch, Κhayyam, σελ. 329.
Ὁ ἴδιος λύνει τὴν ἐξίσωση χ³+bχ²=b²c χρησιμοποιώντας κωνικὲς τομές. Δηλαδὴ θέτει χ²=by, y²=χ(c-χ) καὶ λύνει τὸ σύστημα. Βλ. Smith, Hist. Math., τόμ. II, σελ. 456.
[11] Smith, Hist. Math., τόμ. II, σελ. 457, 458.
[12] Τὸ σχῆμα τοῦ Horner ἦταν ἤδη γνωστὸ στοὺς Κινέζους καὶ στοὺς Ἄραβες. Βλ. Vogel, Fibonacci, σελ. 610.
[13] Βλ. M. Gliozzi, "Cardano Girolamo", DSB, τόμ. III, σελ. 64-67.
[14]A. Masotti, "Tartaglia Nicolo", DSB, τόμ.XIII, σελ. 258-262. Loria, Ἱστ. Μαθ., σελ. 12-27.

Λέγεται, ὅτι τὴν ἐξίσωση χ³+αχ+β=0, α>0, β<0>ἔλυσε (μὲ γενικὴ λύση) πρῶτος ὁ Scipione del Ferro (1465;-1526), χωρὶς ὅμως νὰ τὴ δημοσιεύσει. Ἡ λύση, στὴν ὁποία κατέληξε καὶ ὁ Tartaglia ἦταν:

χ=∛₍₋β/2+√(β²/4+α³/27)₎+∛₍₋β/2-√(β²/4+α³/27)₎. Βλ. V. M. Tikhomirov, Ἱστορίες γιὰ μέγιστα καὶ ἐλάχιστα, ἐκδ. Κάτοπτρο, μετάφρ. Κ. Γαβρὰς-Γ. Κατσιλιέρης, Ἀθήνα 1999, σελ. 51.

[15] Smith, Hist. Math., τόμ. II, σελ. 465. Loria, Ἱστ. Μαθ., σελ. 82-93.