mathematica.gr • Διοφαντική

Σελίδα 1 από 1

Διοφαντική

Δημοσιεύτηκε: Κυρ Οκτ 16, 2016 3:33 pm

από Demetres

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

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

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

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

Δημοσιεύτηκε: Κυρ Οκτ 16, 2016 4:35 pm

από matha

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

$\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

2017

είναι πρώτος προκύπτει $\displaystyle{a=b=2017}$ (η περίπτωση ο ένας να ισούται με

προφανώς αποκλείεται).

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

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

Δημοσιεύτηκε: Κυρ Οκτ 16, 2016 11:18 pm

από Demetres

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

Ισοδύναμα είναι 4xy = 2017x + 2017y

4xy = 2017x + 2017y

. Μπορούμε τώρα να παραγοντοποιήσουμε:

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

Επειδή το 2017

2017

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

x,y > 0

πρέπει

2017-4x=-2017

και

2017-4y = -2017

ή

2017-4x=-1

και

2017-4y = -2017^2

ή

2017-4x=-2017^2

και

2017-4y = -1

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

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

Δημοσιεύτηκε: Δευ Οκτ 17, 2016 12:21 am

από cretanman

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

Η εξίσωση γράφεται 4xy=2017(x+y)

4xy=2017(x+y)

. Επειδή ο 2017

2017

είναι πρώτος άρα 2017|xy

2017|xy

απ' όπου

2017|x

ή

2017|y

.

Αν

2017|x

τότε

x=2017x_1

και η παραπάνω γίνεται τελικά 4x_1y=2017x_1+y

4x_1y=2017x_1+y

απ' όπου

x_1|y

άρα

y=x_1y_1

οπότε η τελευταία εξίσωση γίνεται

4x_1y_1=2017+y_1

4x_1y_1=2017+y_1

απ' όπου

y_1|2017

κι έτσι

y_1=1

(που δεν δίνει λύσεις) ή y_1=2017

y_1=2017

(που επίσης δεν δίνει λύσεις).

Η περίπτωση 2017|y

2017|y

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

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

Αλέξανδρος

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

Δημοσιεύτηκε: Δευ Οκτ 17, 2016 7:27 pm

από rek2

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

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

4y-2017>0

Πολλαπλασιάζουμε επί

και επειδή $\dfrac{4y}{4y-2017}=1+\dfrac{2017}{4y-2017}$ παίρνουμε

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

Επομένως 4y -2017=1

4y -2017=1

ή

4y-2017=2017

ή

4y-2017=2017^2

, που είναι αδύνατες στο σύνολο των θετικών ακεραίων.