Διοφαντική

Συντονιστές: cretanman, silouan, rek2

Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Διοφαντική

#1

Μη αναγνωσμένη δημοσίευση από Demetres » Κυρ Οκτ 16, 2016 3:33 pm

Να δειχθεί ότι η εξίσωση

\displaystyle{ \frac{4}{2017} = \frac{1}{x} + \frac{1}{y}}

δεν έχει λύση στους θετικούς ακεραίους.



Λέξεις Κλειδιά:
Άβαταρ μέλους
matha
Γενικός Συντονιστής
Δημοσιεύσεις: 6428
Εγγραφή: Παρ Μάιος 21, 2010 7:40 pm
Τοποθεσία: Θεσσαλονίκη

Re: Διοφαντική

#2

Μη αναγνωσμένη δημοσίευση από matha » Κυρ Οκτ 16, 2016 4:35 pm

Η εξίσωση γράφεται

\displaystyle{\frac{1}{4x}+\frac{1}{4y}=\frac{1}{2017}.}

Θέτουμε \displaystyle{4x=2017+a, 4y=2017+b,} οπότε

\displaystyle{\frac{1}{2017+a}+\frac{1}{2017+b}=\frac{1}{2017}.}

Αυτή γίνεται \displaystyle{ab=2017^2} και επειδή το 2017 είναι πρώτος προκύπτει \displaystyle{a=b=2017} (η περίπτωση ο ένας να ισούται με 1 προφανώς αποκλείεται).

Άρα \displaystyle{4x=2\cdot 2017,} άτοπο.


Μάγκος Θάνος
Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Διοφαντική

#3

Μη αναγνωσμένη δημοσίευση από Demetres » Κυρ Οκτ 16, 2016 11:18 pm

Λίγο διαφορετικά:

Ισοδύναμα είναι 4xy = 2017x + 2017y. Μπορούμε τώρα να παραγοντοποιήσουμε:

\displaystyle{ (2017-4x)(2017-4y) = 2017^2 + 4(4xy - 2017x - 2017y) = 2017^2. }

Επειδή το 2017 είναι πρώτος και επειδή x,y > 0 πρέπει

2017-4x=-2017 και 2017-4y = -2017

ή

2017-4x=-1 και 2017-4y = -2017^2

ή

2017-4x=-2017^2 και 2017-4y = -1

Είναι εύκολο να δούμε ότι απορρίπτονται και οι τρεις περιπτώσεις.


Άβαταρ μέλους
cretanman
Διαχειριστής
Δημοσιεύσεις: 4117
Εγγραφή: Πέμ Δεκ 18, 2008 12:35 pm
Τοποθεσία: Ηράκλειο Κρήτης
Επικοινωνία:

Re: Διοφαντική

#4

Μη αναγνωσμένη δημοσίευση από cretanman » Δευ Οκτ 17, 2016 12:21 am

Και για χάρη πολυφωνίας ακόμη μία λύση:

Η εξίσωση γράφεται 4xy=2017(x+y). Επειδή ο 2017 είναι πρώτος άρα 2017|xy απ' όπου 2017|x ή 2017|y.

Αν 2017|x τότε x=2017x_1 και η παραπάνω γίνεται τελικά 4x_1y=2017x_1+y απ' όπου x_1|y άρα y=x_1y_1 οπότε η τελευταία εξίσωση γίνεται

4x_1y_1=2017+y_1 απ' όπου y_1|2017 κι έτσι y_1=1 (που δεν δίνει λύσεις) ή y_1=2017 (που επίσης δεν δίνει λύσεις).

Η περίπτωση 2017|yαντιμετωπίζεται με ακριβώς ίδιο τρόπο όπως την παραπάνω.

Άρα η αρχική είναι αδύνατη.

Αλέξανδρος


Αλέξανδρος Συγκελάκης
Άβαταρ μέλους
rek2
Επιμελητής
Δημοσιεύσεις: 2282
Εγγραφή: Κυρ Δεκ 21, 2008 12:13 am

Re: Διοφαντική

#5

Μη αναγνωσμένη δημοσίευση από rek2 » Δευ Οκτ 17, 2016 7:27 pm

Ας πάμε με την πεπατημένη. Λύνουμε ως προς x

x=2017\dfrac{y}{4y-2017}. Πρέπει 4y-2017>0

Πολλαπλασιάζουμε επί 4, και επειδή \dfrac{4y}{4y-2017}=1+\dfrac{2017}{4y-2017} παίρνουμε

4x = 2017+\dfrac{2017^2}{4y-2017}

Επομένως 4y -2017=1 ή 4y-2017=2017 ή 4y-2017=2017^2, που είναι αδύνατες στο σύνολο των θετικών ακεραίων.


Απάντηση

Επιστροφή σε “Θεωρία Αριθμών - Προχωρημένο Επίπεδο (Juniors)”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης