Δύναμη πρώτου

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

socrates
Επιμελητής
Δημοσιεύσεις: 6461
Εγγραφή: Δευ Μαρ 09, 2009 1:47 pm
Τοποθεσία: Θεσσαλονίκη
Επικοινωνία:

Δύναμη πρώτου

#1

Μη αναγνωσμένη δημοσίευση από socrates » Τετ Αύγ 31, 2022 4:39 pm

Βρείτε όλες τις τριάδες (a, b, c) θετικών ακεραίων έτσι ώστε το γινόμενο
(a + 2b)(b + 2c)(c + 2a)
να ισούται με τη δύναμη κάποιου πρώτου αριθμού.


Θανάσης Κοντογεώργης

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

Re: Δύναμη πρώτου

#2

Μη αναγνωσμένη δημοσίευση από Demetres » Πέμ Σεπ 01, 2022 11:26 am

Έστω ότι είναι δύναμη του πρώτου p. Τότε κάθε ένα εκ των a+2b,b+2c,c+2a είναι δύναμη του p. Έστω k = \min(v_p(a),v_p(b),v_p(c)). Δηλαδή ισχύει ότι a = p^ka', b = p^kb', c= p^kc' με a',b',c' θετικούς ακεραίους με τουλάχιστον ένα να μην είναι πολλαπλάσιος του p.

Τα a' + 2b', b'+2c', c'+2a' είναι επίσης δυνάμεις του p, και άρα και πολλαπλάσια του p αφού δεν μπορούν να ισούνται με 1. Τότε έχω a' \equiv -2c' \equiv 4b \equiv -8a' \bmod p από το οποίο παίρνω p|9a'. Ομοίως παίρνω p|9b' και p|9c'. Αφού όμως τα a',b',c' δεν είναι όλα πολλαπλάσια του p τότε πρέπει p=3.


Με το ίδιο σκεπτικό, αν τα a'+2b',b'+2c',c'+2a' είναι όλα μεγαλύτερα ή ίσα του 27 (και άρα πολλαπλάσια του 27) θα έχω a' \equiv -8a' \bmod 27. Δηλαδή 3|a'. Ομοίως παίρνω 3|b' και 3|c' που είναι άτοπο.

Άρα τουλάχιστον ένα εκ των a'+2b',b'+2c',c'+2a' είναι ίσο με 3 ή 9.

Αν a'+2b'=3 τότε a'=b'=1 και έχω 1+2c' = 3^r και c'+2 = 3^s. Τότε 3 = 2 \cdot 3^s - 3^r. Εύκολα καταλήγουμε σε r=s=1 και c'=1. Έχουμε λοιπόν την τριάδα (a',b',c') = (1,1,1) που δίνει ως λύσεις τις τριάδες (a,b,c) = (3^k,3^k,3^k) με k μη αρνητικό ακέραιο.

Αν a'+2b'=9 τότε έχουμε να εξετάσουμε τις περιπτώσεις (a',b') \in \{(7,1),(5,2),(3,3),(1,4)\}. Οι (5,2) και (1,4) απορρίπτονται αφού τότε το b'+2c' θα ήταν πολλαπλάσιο του 2, άτοπο.

Αν a'=b' = 3 τότε 3+2c' = 3^r και c'+6 = 3^s που δίνει 9 = 2 \cdot 3^s - 3^r. Καταλήγουμε σε r=s=2 και c' = 3 που είναι άτοπο. (Αφού ένα εκ των a',b',c' δεν είναι πολλαπλάσιο του 3.)

Αν a'=7,b'=1 τότε 1+2c'=3^r και c'+14 = 3^s που δίνει 27 = 2 \cdot 3^s - 3^r. Καταλήγουμε σε r=s=3 και c' = 13. Έχουμε λοιπόν την τριάδα (a',b',c') = (7,13,1) που δίνει ως λύσεις τις τριάδες (a,b,c) = (7\cdot 3^k,13 \cdot 3^k,3^k) με k μη αρνητικό ακέραιο. Μαζί με αυτές έχουμε ασφαλώς και όλες τις κυκλικές μεταθέσεις τους.


Απάντηση

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

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

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