Απλή!

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

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

Απλή!

#1

Μη αναγνωσμένη δημοσίευση από JimNt. » Πέμ Μαρ 16, 2017 1:58 pm

1. Να βρείτε όλους τους θετικούς ακεραίους a για τους οποίους 5^a|7^a+1
2. Να βρείτε όλoυς τoυς πρώτους p που ικανοποιούν την a^{(p-1)^a}+11=p^{a+1}, όπου a o προαναφερθείς θετικός ακέραιος. Για μαθητές


Bye :')

Λέξεις Κλειδιά:
Άβαταρ μέλους
Διονύσιος Αδαμόπουλος
Δημοσιεύσεις: 807
Εγγραφή: Σάβ Μαρ 19, 2016 5:11 pm
Τοποθεσία: Πύργος Ηλείας

Re: Απλή!

#2

Μη αναγνωσμένη δημοσίευση από Διονύσιος Αδαμόπουλος » Πέμ Μαρ 16, 2017 2:22 pm

Δεν την λες και πολύ απλή...

1. Πρέπει να ισχύει ότι 7^a \equiv 4 \pmod{5}

Παρατηρούμε πως τα υπόλοιπα που αφήνει μια δύναμη του 7 με το 5 είναι τα (2, 4, 3, 1, 2, 4, 3, 1,...) τα οποία επαναλαμβάνονται. Άρα για να ισχύει ότι 7^a \equiv 4 \pmod{5}, πρέπει a=4n+2, δηλαδή a άρτιος, έστω a=2m, με m\geq 1.

Άρα η εξίσωση γίνεται:

5^{2m}|7^{2m}+1\Leftrightarrow 5^{2m}|49^m+1. Έστω 5^k||m. Επειδή 5^2|| 49+1, από το θεώρημα LTE παίρνουμε ότι:

5^{k+2}||7^{2m}+1. Πρέπει να ισχύει ότι 5^{2m}\leq 5^{k+2}\Leftrightarrow 5^{2m-2}\leq 5^k\leq m, άρα αναγκαστικά m=1, δηλαδή a=2, όπου εγκρίνεται.

2. Η εξίσωση γίνεται:

2^{(p-1)^2}+11=p^3

Για p=2 δεν έχουμε λύσεις.

Άρα p περιττός, δηλαδή (p-1)^2 άρτιος.

Επομένως η εξίσωση γίνεται:

4^n+11=p^3

Όμως 4^n \equiv 1 \mod 3\Leftrightarrow 3|4^n+11, άρα 3|p^3, που σημαίνει ότι p=3, που εγκρίνεται.

Edit: Προστέθηκε και το 2 ερώτημα.
τελευταία επεξεργασία από Διονύσιος Αδαμόπουλος σε Πέμ Μαρ 16, 2017 3:02 pm, έχει επεξεργασθεί 4 φορές συνολικά.


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

Re: Απλή!

#3

Μη αναγνωσμένη δημοσίευση από JimNt. » Πέμ Μαρ 16, 2017 2:29 pm

:coolspeak: Σε ποιο σημείο αναφέρεσαι;


Bye :')
Άβαταρ μέλους
Διονύσιος Αδαμόπουλος
Δημοσιεύσεις: 807
Εγγραφή: Σάβ Μαρ 19, 2016 5:11 pm
Τοποθεσία: Πύργος Ηλείας

Re: Απλή!

#4

Μη αναγνωσμένη δημοσίευση από Διονύσιος Αδαμόπουλος » Πέμ Μαρ 16, 2017 2:38 pm

JimNt. έγραψε:Σε ποιο σημείο αναφέρεσαι;
Εννοώ ότι δεν είναι πάρα πολύ απλή για Juniors...


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

Re: Απλή!

#5

Μη αναγνωσμένη δημοσίευση από Demetres » Πέμ Μαρ 16, 2017 2:48 pm

Θα την μεταφέρω στους Seniors.

Αν χρειαζόμαστε lifting the exponent για την επίλυση τότε δεν είναι τόσο κατάλληλη για Juniors. Σκεφτείτε πόσα πρέπει να μάθει ένας Junior προτού να είναι έτοιμος να την αντιμετωπίσει. Πιθανώς τέτοια άσκηση να μην έμπαινε ούτε στον Αρχιμήδη των Seniors!

Έχουν βέβαια εμφανιστεί ασκήσεις στην JBMO που ήθελαν lifitng the exponent. Καλύτερα όμως οι Junior μας που έχουν την δυνατότητα να λύνουν τέτοιες ασκήσεις να ρίχνουν ματιές και στους φακέλους των Seniors παρά να δυσκολεύουμε τόσο το επίπεδο των φακέλων των Juniors.


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

Re: Απλή!

#6

Μη αναγνωσμένη δημοσίευση από JimNt. » Πέμ Μαρ 16, 2017 3:10 pm

Διονύσιος Αδαμόπουλος έγραψε:Δεν την λες και πολύ απλή...

1. Πρέπει να ισχύει ότι 7^a \equiv 4 \pmod{5}

Παρατηρούμε πως τα υπόλοιπα που αφήνει μια δύναμη του 7 με το 5 είναι τα (2, 4, 3, 1, 2, 4, 3, 1,...) τα οποία επαναλαμβάνονται. Άρα για να ισχύει ότι 7^a \equiv 4 \pmod{5}, πρέπει a=4n+2, δηλαδή a άρτιος, έστω a=2m, με m\geq 1.

Άρα η εξίσωση γίνεται:

5^{2m}|7^{2m}+1\Leftrightarrow 5^{2m}|49^m+1. Έστω 5^k||m. Επειδή 5^2|| 49+1, από το θεώρημα LTE παίρνουμε ότι:

5^{k+2}||7^{2m}+1. Πρέπει να ισχύει ότι 5^{2m}\leq 5^{k+2}\Leftrightarrow 5^{2m-2}\leq 5^k\leq m, άρα αναγκαστικά m=1, δηλαδή a=2, όπου εγκρίνεται.

2. Η εξίσωση γίνεται:

2^{(p-1)^2}+11=p^3

Για p=2 δεν έχουμε λύσεις.

Άρα p περιττός, δηλαδή (p-1)^2 άρτιος.

Επομένως η εξίσωση γίνεται:

4^n+11=p^3

Όμως 4^n \equiv 1 \mod 3\Leftrightarrow 3|4^n+11, άρα 3|p^3, που σημαίνει ότι p=3, που εγκρίνεται.

Edit: Προστέθηκε και το 2 ερώτημα.
Βασικά 2^{(p-1)^2}=(2^{p-1})^{p-1} \equiv 1 (\mod p) \Rightarrow 12 \equiv 0 (\mod p).....


Bye :')
harrisp
Δημοσιεύσεις: 546
Εγγραφή: Σάβ Μαρ 28, 2015 8:49 pm

Re: Απλή!

#7

Μη αναγνωσμένη δημοσίευση από harrisp » Πέμ Μαρ 16, 2017 3:13 pm

JimNt. έγραψε:
Διονύσιος Αδαμόπουλος έγραψε:Δεν την λες και πολύ απλή...

1. Πρέπει να ισχύει ότι 7^a \equiv 4 \pmod{5}

Παρατηρούμε πως τα υπόλοιπα που αφήνει μια δύναμη του 7 με το 5 είναι τα (2, 4, 3, 1, 2, 4, 3, 1,...) τα οποία επαναλαμβάνονται. Άρα για να ισχύει ότι 7^a \equiv 4 \pmod{5}, πρέπει a=4n+2, δηλαδή a άρτιος, έστω a=2m, με m\geq 1.

Άρα η εξίσωση γίνεται:

5^{2m}|7^{2m}+1\Leftrightarrow 5^{2m}|49^m+1. Έστω 5^k||m. Επειδή 5^2|| 49+1, από το θεώρημα LTE παίρνουμε ότι:

5^{k+2}||7^{2m}+1. Πρέπει να ισχύει ότι 5^{2m}\leq 5^{k+2}\Leftrightarrow 5^{2m-2}\leq 5^k\leq m, άρα αναγκαστικά m=1, δηλαδή a=2, όπου εγκρίνεται.

2. Η εξίσωση γίνεται:

2^{(p-1)^2}+11=p^3

Για p=2 δεν έχουμε λύσεις.

Άρα p περιττός, δηλαδή (p-1)^2 άρτιος.

Επομένως η εξίσωση γίνεται:

4^n+11=p^3

Όμως 4^n \equiv 1 \mod 3\Leftrightarrow 3|4^n+11, άρα 3|p^3, που σημαίνει ότι p=3, που εγκρίνεται.

Edit: Προστέθηκε και το 2 ερώτημα.
Βασικά 2^{(p-1)^2}=(2^{p-1})^{p-1} \equiv 1 (\mod p) \Rightarrow 12 \equiv 0 (\mod p).....
Συνεπώς αν δεν κανω κάποιο λαθος εκ παραδρομής ισχύει για καθε a :?:


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

Re: Απλή!

#8

Μη αναγνωσμένη δημοσίευση από JimNt. » Πέμ Μαρ 16, 2017 3:14 pm

ΧΑΡΗΣ ΤΙΟΥΡΙΝΓΚ έγραψε:
JimNt. έγραψε:
Διονύσιος Αδαμόπουλος έγραψε:Δεν την λες και πολύ απλή...

1. Πρέπει να ισχύει ότι 7^a \equiv 4 \pmod{5}

Παρατηρούμε πως τα υπόλοιπα που αφήνει μια δύναμη του 7 με το 5 είναι τα (2, 4, 3, 1, 2, 4, 3, 1,...) τα οποία επαναλαμβάνονται. Άρα για να ισχύει ότι 7^a \equiv 4 \pmod{5}, πρέπει a=4n+2, δηλαδή a άρτιος, έστω a=2m, με m\geq 1.

Άρα η εξίσωση γίνεται:

5^{2m}|7^{2m}+1\Leftrightarrow 5^{2m}|49^m+1. Έστω 5^k||m. Επειδή 5^2|| 49+1, από το θεώρημα LTE παίρνουμε ότι:

5^{k+2}||7^{2m}+1. Πρέπει να ισχύει ότι 5^{2m}\leq 5^{k+2}\Leftrightarrow 5^{2m-2}\leq 5^k\leq m, άρα αναγκαστικά m=1, δηλαδή a=2, όπου εγκρίνεται.

2. Η εξίσωση γίνεται:

2^{(p-1)^2}+11=p^3

Για p=2 δεν έχουμε λύσεις.

Άρα p περιττός, δηλαδή (p-1)^2 άρτιος.

Επομένως η εξίσωση γίνεται:

4^n+11=p^3

Όμως 4^n \equiv 1 \mod 3\Leftrightarrow 3|4^n+11, άρα 3|p^3, που σημαίνει ότι p=3, που εγκρίνεται.

Edit: Προστέθηκε και το 2 ερώτημα.
Βασικά 2^{(p-1)^2}=(2^{p-1})^{p-1} \equiv 1 (\mod p) \Rightarrow 12 \equiv 0 (\mod p).....
Συνεπώς αν δεν κανω κάποιο λαθος εκ παραδρομής ισχύει για καθε a :?:
Σωστά.


Bye :')
2nisic
Δημοσιεύσεις: 220
Εγγραφή: Παρ Δεκ 04, 2020 12:06 pm

Re: Απλή!

#9

Μη αναγνωσμένη δημοσίευση από 2nisic » Παρ Ιαν 22, 2021 6:32 pm

Μπορούμε να δώσουμε λύση στην 2 χωρίς το 1.Διακρηνοντας της περίπτωσης a\geq p ,
a< p


2nisic
Δημοσιεύσεις: 220
Εγγραφή: Παρ Δεκ 04, 2020 12:06 pm

Re: Απλή!

#10

Μη αναγνωσμένη δημοσίευση από 2nisic » Σάβ Φεβ 06, 2021 11:45 am

:santalogo: Αν a\geq p\geq 3 τότε:

(p-1)^{a}\geq 2^{a}\geq a+1,a\geq p

Και έτσι έχουμε a^{(p-1)^{a}}>p^{a+1} δηλαδή LHS>RHS


:santalogo: Αν p> a>e και p>3 έχω:

a^{(p-1)^{a}}\geq a^{(p-1)^{3}}>  a^{p^{2}}>  p^{a^{2}}>p^{a+1} δηλαδή LHS>RHS


:santalogo: Μένουν οι περιπτώσεις a=1or2 και p=2or 3 που δεν είναι δύσκολες




Έχουμε κάνει χρήση τής ανησοτητας:
Αν a\geq b>e με a,b πραγματικούς τότε :b^{a}\geq a^{b}


Απάντηση

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

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

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