Σελίδα 1 από 1

Απλή!

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

Re: Απλή!

Δημοσιεύτηκε: Πέμ Μαρ 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 ερώτημα.

Re: Απλή!

Δημοσιεύτηκε: Πέμ Μαρ 16, 2017 2:29 pm
από JimNt.
:coolspeak: Σε ποιο σημείο αναφέρεσαι;

Re: Απλή!

Δημοσιεύτηκε: Πέμ Μαρ 16, 2017 2:38 pm
από Διονύσιος Αδαμόπουλος
JimNt. έγραψε:Σε ποιο σημείο αναφέρεσαι;
Εννοώ ότι δεν είναι πάρα πολύ απλή για Juniors...

Re: Απλή!

Δημοσιεύτηκε: Πέμ Μαρ 16, 2017 2:48 pm
από Demetres
Θα την μεταφέρω στους Seniors.

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

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

Re: Απλή!

Δημοσιεύτηκε: Πέμ Μαρ 16, 2017 3:10 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).....

Re: Απλή!

Δημοσιεύτηκε: Πέμ Μαρ 16, 2017 3:13 pm
από 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 :?:

Re: Απλή!

Δημοσιεύτηκε: Πέμ Μαρ 16, 2017 3:14 pm
από 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 :?:
Σωστά.

Re: Απλή!

Δημοσιεύτηκε: Παρ Ιαν 22, 2021 6:32 pm
από 2nisic
Μπορούμε να δώσουμε λύση στην 2 χωρίς το 1.Διακρηνοντας της περίπτωσης a\geq p ,
a< p

Re: Απλή!

Δημοσιεύτηκε: Σάβ Φεβ 06, 2021 11:45 am
από 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}