Ωραία Διοφαντική

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

Άβαταρ μέλους
JimNt.
Δημοσιεύσεις: 590
Εγγραφή: Παρ Μάιος 20, 2016 3:00 pm

Ωραία Διοφαντική

#1

Μη αναγνωσμένη δημοσίευση από JimNt. » Σάβ Μάιος 27, 2017 7:08 pm

Να προσδιορίσετε όλες τις τριάδες φυσικών (x,y,z) που ικανοποιούν την 5^x+y^2=3^z. Ας αφεθεί για τους μικρότερους (σε εμπειρία) μαθητές.


Bye :')

Λέξεις Κλειδιά:
min##
Δημοσιεύσεις: 342
Εγγραφή: Τρί Απρ 18, 2017 3:40 pm

Re: Ωραία Διοφαντική

#2

Μη αναγνωσμένη δημοσίευση από min## » Σάβ Μάιος 27, 2017 8:29 pm

Με mod5 βρίσκουμε ότι το z πρέπει να είναι περιττό.(για x\geq 1.Η δοθείσα γίνεται 5^{x}=(3^{k}-y)(3^{k}+y),2k=z.Άρα 3^{k}-y=5^{a},3^{k}+y=5^{b}.Από αυτό έπεται ότι y=3^{k}-1 οπότε παίρνουμε 2*3^{k}-1=5^{a} ή 5^{a}+1=2*3^{k}.Για x\geq 2 από Zsigmondy είναι άτοπο (το 5^{a}+1 θα έχει διαφορετικούς πρώτους διαιρέτες των 2,3.Άρα παίρνουμε τις λύσεις (x,y,z)=(1,2,2).Άν x=0(δεν είναι βέβαια φυσικός) παίρνουμε y^{2}=3^{z}-1 όπου με mod 3 η μόνη λύση είναι η (x,y,z)=(0,0,0)...


thrassos
Δημοσιεύσεις: 32
Εγγραφή: Παρ Νοέμ 11, 2016 8:06 pm
Τοποθεσία: Θεσσαλονικη

Re: Ωραία Διοφαντική

#3

Μη αναγνωσμένη δημοσίευση από thrassos » Σάβ Μάιος 27, 2017 11:20 pm

Καλησπέρα,
Θεωρώ λιγάκι υπερβολή την χρήση του Zsigmondy όταν μπορείς απλά να παρατηρήσεις ότι (3^k+y,3^k-y)=1 και άρα
3^k+y=5^x και 3^k-y=1.


Θρασύβουλος Οικονόμου
Φοιτητής ΗΜΜΥ ΑΠΘ
Άβαταρ μέλους
JimNt.
Δημοσιεύσεις: 590
Εγγραφή: Παρ Μάιος 20, 2016 3:00 pm

Re: Ωραία Διοφαντική

#4

Μη αναγνωσμένη δημοσίευση από JimNt. » Σάβ Μάιος 27, 2017 11:28 pm

thrassos έγραψε:Καλησπέρα,
Θεωρώ λιγάκι υπερβολή την χρήση του Zsigmondy όταν μπορείς απλά να παρατηρήσεις ότι (3^k+y,3^k-y)=1 και άρα
3^k+y=5^x και 3^k-y=1.
Αν παρατηρήσεις ο min## χρησιμοποίησε το Zsigmondy's στο επόμενο μέρος της λύσης του.


Bye :')
Άβαταρ μέλους
Ορέστης Λιγνός
Δημοσιεύσεις: 1835
Εγγραφή: Κυρ Μάιος 08, 2016 7:19 pm
Τοποθεσία: Χαλάνδρι Αττικής
Επικοινωνία:

Re: Ωραία Διοφαντική

#5

Μη αναγνωσμένη δημοσίευση από Ορέστης Λιγνός » Σάβ Μάιος 27, 2017 11:52 pm

min## έγραψε:Με mod5 βρίσκουμε ότι το z πρέπει να είναι περιττό.(για x\geq 1.Η δοθείσα γίνεται 5^{x}=(3^{k}-y)(3^{k}+y),2k=z.Άρα 3^{k}-y=5^{a},3^{k}+y=5^{b}.Από αυτό έπεται ότι y=3^{k}-1 οπότε παίρνουμε 2*3^{k}-1=5^{a} ή 5^{a}+1=2*3^{k}.Για x\geq 2 από Zsigmondy είναι άτοπο (το 5^{a}+1 θα έχει διαφορετικούς πρώτους διαιρέτες των 2,3.Άρα παίρνουμε τις λύσεις (x,y,z)=(1,2,2).Άν x=0(δεν είναι βέβαια φυσικός) παίρνουμε y^{2}=3^{z}-1 όπου με mod 3 η μόνη λύση είναι η (x,y,z)=(0,0,0)...
Η άσκηση είναι από την BMO 2009.

Συνεχίζω την λύση του min## (όνομα ; ) από το 5^a+1=2 \cdot 3^k.

Για k=0, k=1 είναι τετριμμένες περιπτώσεις.

Αν k \geqslant 2, με (\bmod9), a \equiv 3 (\bmod6), έστω a=6t+3.

Τότε, 2 \cdot 3^k=5^{6t+3}+1=5^3 \cdot (5^6)^k+1 \equiv (-1) \cdot 1^k+1 \equiv 0(\bmod7) \Rightarrow 7 \mid 2 \cdot 3^k, προφανώς άτοπο.


Κερδίζουμε ό,τι τολμούμε!
Απάντηση

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

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

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