Απλή!

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

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

Απλή!

#1

Μη αναγνωσμένη δημοσίευση από JimNt. »

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

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

Re: Απλή!

#2

Μη αναγνωσμένη δημοσίευση από Διονύσιος Αδαμόπουλος »

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

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.
Δημοσιεύσεις: 582
Εγγραφή: Παρ Μάιος 20, 2016 3:00 pm

Re: Απλή!

#3

Μη αναγνωσμένη δημοσίευση από JimNt. »

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

Re: Απλή!

#4

Μη αναγνωσμένη δημοσίευση από Διονύσιος Αδαμόπουλος »

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

Re: Απλή!

#5

Μη αναγνωσμένη δημοσίευση από Demetres »

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

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

Έχουν βέβαια εμφανιστεί ασκήσεις στην JBMO που ήθελαν lifitng the exponent. Καλύτερα όμως οι Junior μας που έχουν την δυνατότητα να λύνουν τέτοιες ασκήσεις να ρίχνουν ματιές και στους φακέλους των Seniors παρά να δυσκολεύουμε τόσο το επίπεδο των φακέλων των Juniors.
Άβαταρ μέλους
JimNt.
Δημοσιεύσεις: 582
Εγγραφή: Παρ Μάιος 20, 2016 3:00 pm

Re: Απλή!

#6

Μη αναγνωσμένη δημοσίευση από 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).....
Bye :')
harrisp
Δημοσιεύσεις: 541
Εγγραφή: Σάβ Μαρ 28, 2015 8:49 pm

Re: Απλή!

#7

Μη αναγνωσμένη δημοσίευση από harrisp »

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.
Δημοσιεύσεις: 582
Εγγραφή: Παρ Μάιος 20, 2016 3:00 pm

Re: Απλή!

#8

Μη αναγνωσμένη δημοσίευση από JimNt. »

ΧΑΡΗΣ ΤΙΟΥΡΙΝΓΚ έγραψε:
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
Δημοσιεύσεις: 218
Εγγραφή: Παρ Δεκ 04, 2020 12:06 pm

Re: Απλή!

#9

Μη αναγνωσμένη δημοσίευση από 2nisic »

Μπορούμε να δώσουμε λύση στην 2 χωρίς το 1.Διακρηνοντας της περίπτωσης a\geq p ,
a< p
2nisic
Δημοσιεύσεις: 218
Εγγραφή: Παρ Δεκ 04, 2020 12:06 pm

Re: Απλή!

#10

Μη αναγνωσμένη δημοσίευση από 2nisic »

: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)”

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

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