x 2 + y 2 = z 2 x = 3, y = 4, z = 5 x 2 + y 2 = z 2 (2.1)

Transcript

1 Πυθαγόρειες Τριάδες Χριστίνα Ιατράκη Ημερομηνία παράδοσης Εισαγωγικά Ορισμός 1.1 Πυθαγόρεια τριάδα καλείται κάθε τριάδα ακέραιων (x, y, z) που είναι μη τετριμμένη λύση της εξίσωσης Μια τέτοια Πυθαγόρεια τριάδα είναι η x + y = z x = 3, y = 4, z = 5 Σε αυτήν την εργασία αρχικά θα προσδιορίσουμε όλες τις Πυθαγόρειες Τριάδες. Επειτα με την βοήθειά τους θα αποδείξουμε ότι η εξίσωση x 4 + y 4 = z είναι αδύνατη σε ακεραίους xyz 0. Η Διοφαντική εξίσωση x + y = z Η Διοφαντική εξίσωση έχει τις προφανείς λύσεις x + y = z (.1) και τις ανάλογες x = 0, y = η, z = ±η (η Z) x = ξ, y = 0, z = ±ξ (ξ Z) Αυτές οι λύσεις ονομάζονται τετριμμένες λύσεις της (.1). Οι μη τετριμμένες λύσεις της (.1), δηλαδή όλες οι Πυθαγόρειες τριάδες, περιγράφονται από το Θεώρημα.1. Για την απόδειξή του θα χρειαστούμε τις δύο παρακάτω προτάσεις. 1

2 Πρόταση.1 Αν a n b n, τότε a b. Απόδειξη Θέτουμε d = (a, b). Τότε d 1 και d a και d b. Ορίζουμε a 1 = a d, b 1 = b d Γνωρίζουμε ότι (a 1, b 1 ) = 1. Η σχέση a n b n συνεπάγεται για κάποιον k Z. Οπότε, και άρα b n = ka n d n b n 1 = kd n a n 1 b n 1 = ka n 1. Επεται ότι a 1 b n 1 και επειδή (a 1, b 1 ) = 1 έχουμε διαδοχικά: a 1 b n 1 1, a 1 b n 1,, a 1 b 1 άρα a 1 = ±1, οπότε a = ±d και επομένως a b. Πρόταση. Αν a, b, c είναι θετικοί ακέραιοι, τέτοιοι ώστε (a, b) = 1 και ab = c n, όπου n, τότε υπάρχουν ακέραιοι c 1, c τέτοιοι ώστε a = c n 1, b = c n και c 1 c = c. Απόδειξη Αν a = 1 ή b = 1, τότε το συμπέρασμα είναι προφανές. Οπότε υποθέτουμε ότι a, b, c > 1 και θεωρούμε τις κανονικές αναλύσεις των a, b. Εστω p 1, p k όλοι οι (θετικοί) πρώτοι στην κανονική ανάλυση του a και q 1, q l όλοι οι (θετικοί) πρώτοι στην κανονική ανάλυση του b. Επειδή (a, b) = 1, οι a, b δεν έχουν κοινούς πρώτους παράγοντες, οπότε οι πρώτοι που οι δυνάμεις τους περιέχονται στην κανονική ανάλυση του a είναι διαφορετικοί από τους πρώτους που οι δυνάμεις τους περιέχονται στην κανονική ανάλυση του b.λόγω της ab = c n και της μοναδικότητας της ανάλυσης σε πρώτους παράγοντες,κάθε πρώτος παράγων των a, b είναι και πρώτος παράγων του c n, δηλαδή η κανονική ανάλυση του c είναι: c = p r 1 1 p r k k q s 1 1 q s l l. Οπότε ab = c n = p nr 1 1 p nr k k q ns 1 1 q ns l l (.) Ομως στην κανονική ανάλυση του a εμφανίζονται μόνο οι πρώτοι p i, ενώ στην κανονική ανάλυση του b εμφανίζονται μόνο οι πρώτοι q j. Αυτό αναγκαστικά συνεπάγεται ότι: a = p nr 1 1 p nr k k = c n 1 και b = q ns 1 1 q ns l l = c n και λόγω της (.), c 1 c = c.

3 Θεώρημα.1 Οι μη τετριμμένες λύσεις της x + y = z δίνονται από τους τύπους ή x = ±d(u v ), y = ±duv, z = ±d(u + v ) (.3) x = ±duv, y = ±d(u v ), z = ±d(u + v ) (.4) όπου (i) τα πρόσημα είναι αυθαίρετα, (ii) d 1, (iii) u > v 1, (u, v) = 1 και (iv) ο ένας από τους u, v είναι άρτιος και ο άλλος περιττός. Απόδειξη Είναι πολύ εύκολο να διαπιστώσουμε ότι οι αριθμοί που δίνονται από τους τύπους (.3) αποτελούν λύσεις της x + y = z. Πράγματι, (±d(u v )) +(±duv) = d (u 4 +v 4 u v +4u v ) = d (u +v ) = (±d(u +v )). Το ίδιο ισχύει και με τους τύπους (.4). Τώρα, αντιστρόφως, έστω x = ξ, y = η, z = ζ μία τυχούσα μη τετριμμένη λύση της x + y = z. Δηλαδή, ξ + η = ζ, ξ 0, η 0, ζ 0. Λόγω των τετραγώνων της εξίσωσης, τα πρόσημα των ξ, η, ζ δεν παίζουν κανένα ρόλο, οπότε μπορούμε να υποθέσουμε ότι ξ, η, ζ > 0 Αν ο d είναι κοινός διαιρέτης των ξ, η τότε θα έχουμε Οπότε Επομένως Τώρα η Πρόταση.1 συνεπάγεται ότι d ξ και d η d ξ και d η d ξ + η = ζ d ζ 3

4 Άρα ο d είναι διαιρέτης και του ζ. Με τον ίδιο τρόπο βλέπουμε ότι, αν ο d είναι κοινός διαιρέτης των ξ, ζ τότε ο d είναι διαιρέτης και του η και ότι, αν ο d είναι κοινός διαιρέτης των η, ζ τότε ο d είναι διαιρέτης και του ξ. Άρα το ζευγάρι ξ, η το ζευγάρι ξ, ζ και το ζευγάρι η, ζ έχουν τους ίδιους κοινούς διαιρέτες και, επομένως, τα τρία ζευγάρια έχουν τον ίδιο μέγιστο κοινό διαιρέτη. Άρα μπορούμε να θέσουμε d = (ξ, η) = (ξ, ζ) = (η, ζ). Επίσης, θέτουμε ξ 1 = ξ d, η 1 = η d, ζ 1 = ζ d, οπότε ξ 1 + η 1 = ζ 1, ξ 1, η 1, ζ 1 > 0, (ξ 1, η 1 ) = (ξ 1, ζ 1 ) = (η 1, ζ 1 ) = 1. Επειδή οι ξ 1, η 1, ζ 1 είναι ανά δύο σχετικά πρώτοι, συνεπάγεται ότι το πολύ ένας από τους τρεις αριθμούς είναι άρτιος. Τώρα, αν οι ξ 1, η 1 είναι και οι δύο περιττοί, έχουμε ότι ζ 1 = ξ 1 + η 1 = (n + 1) + (m + 1) = 4(n + n + m + m + ) = 4k +. Αυτό, όμως, είναι αδύνατο, διότι, είτε ο ζ 1 είναι άρτιος είτε ο ζ 1 είναι περιττός, ο ζ 1 δεν είναι της μορφής 4k +. Άρα ο ένας από τους ξ 1, η 1 είναι άρτιος και ο άλλος είναι περιττός και, επομένως, ο ζ 1 είναι περιττός. Θα υποθέσουμε ότι ο η 1 είναι άρτιος και θα οδηγηθούμε στις τύπους (.3). Λόγω προφανούς συμμετρίας, αν υποθέσουμε ότι ο ξ 1 είναι άρτιος, θα οδηγηθούμε στους τύπους (.4). Τώρα, έχουμε οπότε η 1 = ζ 1 ξ 1, ( η1 ) ζ 1 + ξ 1 = ζ 1 ξ 1. (.5) Οι αριθμοί η 1, ζ 1 + ξ 1, ζ 1 ξ 1 είναι ακέραιοι. Σύμφωνα με την άσκηση 8, παράγραφος 1.6, που λύσαμε στο Φυλλάδιο Ασκήσεων 1, αφού ζ 1, ξ 1 περιττοί και πρώτοι μεταξύ τους έχουμε ( ζ1 + ξ 1, ζ 1 ξ ) 1 = 1. Άρα, από την (.5) και την Πρόταση. έπεται ότι υπάρχουν u, v > 0 ώστε Επομένως, ζ 1 + ξ 1 = u, ζ 1 ξ 1 = v και άρα η 1 = uv. ξ 1 = u v, η 1 = uv, ζ 1 = u + v. (.6) 4

5 ( ζ1 + ξ 1 Τώρα αφού, ζ 1 ξ ) 1 = 1, έχουμε και (u, v ) = 1. Οπότε και (u, v) = 1. Τέλος, επειδή οι ξ 1, ζ 1 είναι περιττοί, από τις (.6) έπεται ότι ο ένας από τους u, v είναι άρτιος και ο άλλος περιττός. Ετσι καταλήγουμε στους τύπους (.3) με τους αναφερόμενους στην διατύπωση του θεωρήματος περιορισμούς (i)-(iv). Παραδείγματα:Επιλέγοντας d = 1 και u =, v = 1, προκύπτει x = 3, y = 4, z = 5. Επιλέγοντας d = 1 και u = 3, v =, προκύπτει x = 5, y = 1, z = Η Διοφαντική εξίσωση x 4 + y 4 = z Σε αυτήν την ενότητα θα ασχοληθούμε με την Διοφαντική εξίσωση x 4 + y 4 = z. Η εξίσωση αυτή έχει τετριμμένες λύσεις, δηλαδή λύσεις όπου ένα τουλάχιστον από τα x, y είναι ίσο με 0, τις x = ±ξ, y = 0, z = ±ξ και x = 0, y = ±η, z = ±η Πρόταση 3.1 Η Διοφαντική εξίσωση x 4 + y 4 = z δεν έχει μη τετριμμένη λύση. Απόδειξη Εστω ότι η Διοφαντική εξίσωση x 4 + y 4 = z έχει κάποια μη τετριμμένη λύση x = ξ, y = η, z = ζ, όπου ξ, η 0 και, επομένως, ζ 0. Δηλαδή, ξ 4 + η 4 = ζ. Μπορούμε να υποθέσουμε ότι ξ, η, ζ > 0. Εστω, τώρα, d = (ξ, η), τότε ξ = dξ 1 και η = dη 1, όπου (ξ 1, η 1 ) = 1. Εχουμε, λοιπόν, d 4 (ξ η 4 1) = ζ. Άρα, d 4 ζ. Από την Πρόταση.1 προκύπτει ότι d ζ. Αν θέσουμε, τώρα, ζ 1 = ζ, τότε έχουμε d ξ1 4 + η1 4 = ζ1. Επομένως, και η x = ξ 1, y = η 1, z = ζ 1 είναι μια μη τετριμμένη λύση της x 4 + y 4 = z με (ξ 1, η 1 ) = 1. Το Θεώρημα.1 λέει ότι υπάρχουν u, v ώστε ή όπου (iii) u > v 1, (u, v) = 1 και ξ 1 = u v, η 1 = uv, ζ 1 = u + v (3.1) ξ 1 = uv, η 1 = u + v, ζ 1 = u + v (3.) 5

6 (iv) ο ένας από τους u, v είναι άρτιος και ο άλλος περιττός. Οι περιπτώσεις (3.1) και (3.) είναι συμμετρικές,οπότε αρκεί να εξετάσουμε την (3.1). Η πρώτη από τις σχέσεις (3.1) γράφεται ξ 1 + v = u. Στην απόδειξη του Θεωρήματος.1 είχαμε δει ότι (ξ 1, v) = (ξ 1, u) = (v, u), οπότε επειδή (v, u) = 1, έπεται ότι (ξ 1, v) = (ξ 1, u) = (v, u) = 1. Επίσης, στην απόδειξη του Θεωρήματος.1 είχαμε δει ότι ένας από τους ξ 1, v είναι άρτιος και ο άλλος είναι περιττός, καθώς και ότι ο u είναι περιττός. Επειδή, όμως, ο ένας από τους u, v είναι άρτιος και ο άλλος περιττός, συμπεραίνουμε ότι ο v είναι άρτιος και οι ξ 1, u είναι περιττοί. Μετά από αυτά, το Θεώρημα.1 λέει ότι υπάρχουν k, l ώστε ξ 1 = k l, v = kl, u = k + l (3.3) όπου (iii) k > l 1, (k, l) = 1 και (iv) ο ένας από τους k, l είναι άρτιος και ο άλλος περιττός. Τώρα η δεύτερη από τις σχέσεις (3.1) γράφεται ( η1 ) v = u. Επειδή (u, v) = 1, έπεται ότι (u, v ) = 1, οπότε η Πρόταση. συνεπάγεται ότι υπάρχουν ζ, n > 0 ώστε u = ζ, v = n. Τώρα, η δεύτερη από τις σχέσεις (3.3) γράφεται n = kl και επειδή (k, l) = 1, πάλι η Πρόταση. συνεπάγεται ότι υπάρχουν ξ, η ώστε k = ξ, l = η. Τέλος, η τρίτη από τις σχέσεις (3.3) γράφεται ξ 4 + η 4 = ζ 6

7 και 0 < ζ ζ = u u < ζ 1 < ζ. Άρα η x = ξ, y = η, z = ζ είναι μια ακόμη μη τετριμμένη λύση της x 4 + y 4 = z με 0 < ζ < ζ 1. Εχουμε, λοιπόν, αποδείξει ότι, όταν έχουμε μια μη τετριμμένη λύση x = ξ 1, y = η 1, z = ζ 1 με ζ 1 > 0, τότε έχουμε και μια άλλη μη τετριμμένη λύση x = ξ, y = η, z = ζ με 0 < ζ < ζ 1 Άρα έχουμε και μια μη τετριμμένη λύση x = ξ 3, y = η 3, z = ζ 3 με 0 < ζ 3 < ζ. Άρα έχουμε και μια μη τετριμμένη λύση x = ξ 4, y = η 4, z = ζ 4 με 0 < ζ 4 < ζ 3. Αυτό συνεχίζεται επ άπειρον και βρίσκουμε μια απειρία μη τετριμμένων λύσεων x = ξ n, y = η n, z = ζ n με 0 < < ζ n < < ζ < ζ 1 < ζ. Αυτό είναι αδύνατον διότι ανάμεσα στους 0 και ζ υπάρχουν πεπερασμένου πλήθους (ακέραιοι) αριθμοί. Ετσι καταλήγουμε σε άτοπο, οπότε δεν υπάρχει μη τετριμμένη λύση x = ξ, y = η, z = ζ με ζ > 0 και, επομένως, δεν υπάρχει μη τετριμμένη λύση. 7