Σελίδα 1 από 1

Εύκολη Διοφαντική

Δημοσιεύτηκε: Κυρ Ιουν 05, 2016 6:28 pm
από JimNt.
Να βρείτε τις ακεραιες λύσεις της εξίσωσης 54x^{3}-1=y^{3}

Re: Εύκολη Διοφαντική

Δημοσιεύτηκε: Κυρ Ιουν 19, 2016 3:47 pm
από Ορέστης Λιγνός
JimNt. έγραψε:Να βρείτε τις ακεραιες λύσεις της εξίσωσης 54x^{3}-1=y^{3}

Επαναφορά, αν και δεν μου φαίνεται τόσο για junior...

Re: Εύκολη Διοφαντική

Δημοσιεύτηκε: Κυρ Ιουν 19, 2016 3:52 pm
από JimNt.
Να δώσω λύση;

Re: Εύκολη Διοφαντική

Δημοσιεύτηκε: Κυρ Ιουν 19, 2016 3:58 pm
από Ορέστης Λιγνός
Όχι, άφησε την μία δύο μέρες ακόμη.

Re: Εύκολη Διοφαντική

Δημοσιεύτηκε: Δευ Ιουν 20, 2016 8:39 am
από Αρχιμήδης 6
Εξαρτάται το πόσο εύκολη βλέπεις την εξίσωση Fermat βαθμού 3...

Re: Εύκολη Διοφαντική

Δημοσιεύτηκε: Δευ Ιουν 20, 2016 10:08 am
από JimNt.
Αρχιμήδης 6 έγραψε:Εξαρτάται το πόσο εύκολη βλέπεις την εξίσωση Fermat βαθμού 3...
Εγω την έλυσα με modulo στο δεύτερο μέλος.

Re: Εύκολη Διοφαντική

Δημοσιεύτηκε: Δευ Ιουν 20, 2016 10:54 am
από Αρχιμήδης 6
Βάλε την λύση σου αν θες.Θα δώσω και την δική μου.

Re: Εύκολη Διοφαντική

Δημοσιεύτηκε: Δευ Ιουν 20, 2016 11:21 am
από JimNt.
Διακρίνουμε τρεις περιπτώσεις για το αριστερό μέλος.
a. y^{3} \equiv 0 (mod3) \Leftrightarrow 54x^{3}-1\equiv 0 (mod3) άτοπο (αφού 54x^{3} \equiv 0 (mod3).
b. y^{3} \equiv 1 (mod3) \Leftrightarrow 54x^{3}-1\equiv 1 (mod3) , άτοπο (αφού 54x^{3}-1 \equiv -1 (mod3)
c. y^{3} \equiv 2/-1(mod3) \Leftrightarrow 54x^{3}-1\equiv 2/-1(mod3) , που ισχύει. Συνεπώς, η αρχική μπορεί να γραφτεί:
54x^{3}-1=(3k-1)^{3} , όπου k\in\mathbb {Z}. Για x=k, παίρνουμε x=k=0, που δίνει το ζεύγος (x,y)=(0,-1)
Θα αποδείξω ότι είναι η μοναδική λύση:
Από FLT (3k-1)^{3} \equiv 3k-1 (mod3) \Leftrightarrow 54x^{3} -1 \equiv 3k-1 (mod3) . Αφού όμως είναι54x^{3} -1 \equiv -1 (mod3)έπεται ότι3k-1 = -1ήk=0. (Και έτσι προκύπτει το ζεύγος που ήδη βρήκαμε). (Βασικά το τελευταίο είναι λάθος :oops: .Δεν μπορώ να αποδείξω πως είναι η μοναδική.)

Re: Εύκολη Διοφαντική

Δημοσιεύτηκε: Δευ Ιουν 20, 2016 11:44 am
από Αρχιμήδης 6
Καλή προσπάθεια Δημήτρη αλλά δεν θα μας ξεφύγει η εξίσωση...

Θα δώσω την λύση μου με διοφαντική ανάλυση.Στο τελευταίο βήμα μου θα θεωρήσω γνωστώ τις λύσεις της κυβικής εξίσωσης του Fermat.(από κινητό).

54x^3=y^3+1

Ουσιαστικά είναι η μια περίπτωση της 2a^3=b^3+1 δηλαδή για b=2mod3

Θα υπάρχουν k,l ώστε

y+1=18k^3
y^2-y+1=3l^3 , (k,l)=1

(Αυτό γιατί η μέγιστη δύναμη του 3 πού διαιρεί την x^2-x+1 είναι 3 και είναι περιττός αριθμός.)

Μετά από αντικατάσταση του y τελικά θα έχω

3(6k^3)^2-3(6k^3)+1=l^3 οπότε ας θέσω

6k^3=m άρα η τελευταία θα γίνει

3m^2-3m+1=l^3

l^3+(m-1)^3=m^3 οπότε εύκολα βλέπω ότι η αρχική εξίσωση έχει μόνο τετριμμένες λύσεις...

Re: Εύκολη Διοφαντική

Δημοσιεύτηκε: Δευ Ιουν 20, 2016 1:57 pm
από Demetres
JimNt. έγραψε:
Αρχιμήδης 6 έγραψε:Εξαρτάται το πόσο εύκολη βλέπεις την εξίσωση Fermat βαθμού 3...
Εγω την έλυσα με modulo στο δεύτερο μέλος.
Όταν υπάρχει τουλάχιστον μία αλλά πεπερασμένος αριθμός λύσεων τότε συνήθως δεν μπορούμε να λύσουμε την διοφαντική χρησιμοποιώντας μόνο (πεπερασμένο πλήθος από) modulo.

Αν π.χ. στο συγκεκριμένο πρόβλημα δουλέψουμε modulo 3 και modulo 4 τότε σίγουρα δεν μπορούμε να απορρίψουμε την περίπτωση x \equiv 0 \bmod 12 (αφού η (0,1) είναι λύση) και άρα τα x = \pm 12, \pm 24,\ldots πρέπει να τα απορρίψουμε με άλλο τρόπο.

Re: Εύκολη Διοφαντική

Δημοσιεύτηκε: Δευ Ιουν 20, 2016 3:41 pm
από Αρχιμήδης 6
Πολύ ωραία.

Να πάμε λίγο πίσω στην εξίσωση.

Όπως είπα η εξίσωση 54x^3=y^3+1 (1) είναι ισοδύναμα η 2(3x)^3=y^3+1 άρα είναι ειδική περίπτωση της 2a^3=b^3+1 (2) για a=3x

Η εξίσωση 2a^3=b^3+1 με λίγο παραπάνω προσοχή είναι ειδική περίπτωση της k^3+1=l^2 (3)

Πράγματι από την (2) θα υπάρχει z ώστε

z-1=2b^3 (4)
z+1=4a^3 (5)

Πράγματι αν αφαιρέσω θα έχω τις (4),(5) θα έχω την (2) . H (2) είναι ισοδύναμη με το σύστημα (4),(5)

Από (4),(5) θα ισχύει

z^2-1=(2ab)^3

Άρα έχω μια γενικότερη εξίσωση την p^2=q^3+1

Συμπέρασμα:

Το σύνολο των λύσεων της 54x^3=y^3+1 είναι υποσύνολο του συνόλου των λύσεων της p^2=q^3+1


Έσβησα το υπόλοιπο γιατί είχε ένα σφάλμα που μου ξέφυγε ...

Ήθελα να τονίσω την συγγένεια των εξισώσεων .