Μαθηματικοί διαγωνισμοί - Γυμνάσιο

Συντονιστές: cretanman, Demetres, polysot, socrates, silouan

Άβαταρ μέλους
cretanman
Διαχειριστής
Δημοσιεύσεις: 4117
Εγγραφή: Πέμ Δεκ 18, 2008 12:35 pm
Τοποθεσία: Ηράκλειο Κρήτης
Επικοινωνία:

Re: Μαθηματικοί διαγωνισμοί

#701

Μη αναγνωσμένη δημοσίευση από cretanman » Πέμ Νοέμ 17, 2011 6:37 pm

socrates έγραψε: ΑΣΚΗΣΗ 333:
Βρείτε όλους τους πρώτους p,q για τους οποίους ο αριθμός p^2q^2 + 5 είναι επίσης πρώτος.
Καταρχήν δε γίνεται οι p,q να είναι και οι δύο περιττοί διότι τότε ο p^2q^2+5 είναι άρτιος μεγαλύτερος του 2, άτοπο. Άρα κάποιος είναι άρτιος και πρώτος άρα είναι ο 2. Έστω λοιπόν p=2. Τότε θέλουμε ο 4q^2+5 να είναι πρώτος.

Αν ήταν q\equiv\pm 1 \pmod{3} τότε 4q^2+5\equiv 0\pmod{3}, άτοπο.

Άρα q\equiv 0\pmod{3} οπότε q=3. Τότε πράγματι p^2q^2+5=41, πρώτος

Συνεπώς οι λύσεις είναι τα ζεύγη (p,q)=(2,3), (3,2)

Αλέξανδρος

Υ.Γ. Με πρόλαβε ο Σπύρος αλλά αφήνω τη λύση μου που είναι ίδια με τη δική του.


Αλέξανδρος Συγκελάκης
Antonis_Z
Δημοσιεύσεις: 522
Εγγραφή: Δευ Σεπ 05, 2011 12:07 am

Re: Μαθηματικοί διαγωνισμοί

#702

Μη αναγνωσμένη δημοσίευση από Antonis_Z » Πέμ Νοέμ 17, 2011 6:51 pm

Λίγο διαφορετικά για την 333.
socrates έγραψε: ΑΣΚΗΣΗ 333:
Βρείτε όλους τους πρώτους p,q για τους οποίους ο αριθμός p^2q^2 + 5 είναι επίσης πρώτος.
Υποθέτουμε ότι οι 2 πρώτοι είναι μεγαλύτεροι του 3.Άρα αν πάρουμε modulo 3 την παράσταση διαρείται ακριβώς,γιατί p^2q^2\equiv 1(mod 3).Αυτό σημαίνει ότι ένας από αυτούς θα είναι ίσος με το 3.Έστω ο q.Η παράσταση γίνεται 9p^2+5.
Παίρνοντας τώρα modulo 6 ->9p^2 + 5\equiv 2 (mod 6) που είναι άρτιος μεγαλύτερος του 2,άρα όχι πρώτος.Έτσι p=2 ή p=3.Η δεύτερη απορρίπτεται και τελικά έχουμε τις λύσεις (p,q)=(3,2),(2,3).
τελευταία επεξεργασία από Φωτεινή σε Κυρ Νοέμ 20, 2011 7:39 am, έχει επεξεργασθεί 1 φορά συνολικά.
Λόγος: προσθήκη εκφώνησης


Αντώνης Ζητρίδης
Άβαταρ μέλους
cretanman
Διαχειριστής
Δημοσιεύσεις: 4117
Εγγραφή: Πέμ Δεκ 18, 2008 12:35 pm
Τοποθεσία: Ηράκλειο Κρήτης
Επικοινωνία:

Re: Μαθηματικοί διαγωνισμοί

#703

Μη αναγνωσμένη δημοσίευση από cretanman » Πέμ Νοέμ 17, 2011 7:51 pm

socrates έγραψε: ΑΣΚΗΣΗ 332:
Βρείτε όλους τους θετικούς ακέραιους a,b για τους οποίους a^b + b^a = 2ab.
Αν ήταν και οι δύο μεγαλύτεροι του 2 τότε θα είχαμε a^b+b^a > a^2+b^2\geq 2ab, άτοπο. Άρα ένας τουλάχιστον είναι μικρότερος ή ίσος του 2.

Αν ήταν b=2 τότε έχουμε την εξίσωση a^2+2^a=4a που έχει μοναδική λύση a=2 (αν ήταν a>2, καταλήγουμε εύκολα σε άτοπο όπως προηγουμένως).
Αν ήταν b=1 τότε έχουμε την εξίσωση a+1=2a που δίνει τη λύση a=1.

Συνεπώς λύσεις είναι τα ζεύγη (a,b)=(1,1),(2,2).

Αλέξανδρος


Αλέξανδρος Συγκελάκης
Άβαταρ μέλους
cretanman
Διαχειριστής
Δημοσιεύσεις: 4117
Εγγραφή: Πέμ Δεκ 18, 2008 12:35 pm
Τοποθεσία: Ηράκλειο Κρήτης
Επικοινωνία:

Re: Μαθηματικοί διαγωνισμοί

#704

Μη αναγνωσμένη δημοσίευση από cretanman » Πέμ Νοέμ 17, 2011 8:44 pm

socrates έγραψε:ΑΣΚΗΣΗ 329:
Βρείτε όλους τους ακέραιους m,n για τους οποίους ο αριθμός 18^m + 9^n + 1 είναι τέλειο τετράγωνο ακεραίου.
Έστω 18^m+9^n+1=t^2

Για n=0 παίρνουμε την εξίσωση t^2=18^m+2. Αν m=0 δε δίνει λύση ενώ αν m\geq 1 τότε επειδή το 2 δεν είναι τετραγωνικό υπόλοιπο \pmod{9} άρα δεν έχουμε και πάλι λύσεις.

Άρα n\geq 1 και όμοια m\geq 1 οπότε ο t είναι άρτιος.


\blacksquare Αν m=n τότε η εξίσωση γίνεται t^2=18^n+9^n+1. Όμως παίρνοντας \pmod{10} βλέπουμε ότι για οποιοδήποτε n\geq 1 ισχύει 18^n+9^n+1\equiv 2,6,8 \pmod{10} και κανένα τέλειο τετράγωνο δεν τελειώνει σε 2,6,8 (κανείς από τους 2,6,8 δεν είναι τετραγωνικό υπόλοιπο \pmod{10})

Η λύση μου παρακάτω έχει λάθος! Κοιτάξτε τη σημείωση του Δημήτρη παρακάτω και τη σωστή λύση αμέσως μετά!

\blacksquare Αν m<n τότε η εξίσωση γράφεται: (t-1)(t+1)=9^m(2^m+9^{n-m}) και επειδή (t-1,t+1)=1 και (9^m,2^m+9^{m-n})=1 άρα παίρνουμε τα συστήματα

\begin{cases} 
t-1=1   \\  
t+1= 9^m(2^m+9^{n-m})    
\end{cases} \ \ (1) ή \begin{cases} 
t-1=9^m &  \\  
t+1= 2^m+9^{n-m}    
\end{cases} \ \ (2) ή \begin{cases} 
t-1=2^m+9^{n-m}   \\  
t+1= 9^m    
\end{cases} \ \ (3)

Το (1) είναι εύκολο να δούμε ότι δε δίνει λύσεις.
Από το (2) παίρνουμε 9^m-9^{n-m}=2^m-2

Αν m=1 τότε παίρνουμε n=2 και το (m,n)=(1,2) είναι δεκτή λύση.
Αν m\geq 2 τότε η εξίσωση γίνεται 9^{n-m}(9^{2m-n}-1)=2(2^{m-1}-1). Ομως (9^{n-m},9^{2m-n}-1)=1 και (2,2^{m-1}-1)=1 άρα τελικά παίρνουμε το σύστημα

\begin{cases} 
9^{n-m}=2^{m-1}-1  \\  
9^{2m-n}-1=2    
\end{cases} και η δεύτερη απο αυτές δίνει 9|3, άτοπο.

\blacksquare Αν m>n τότε η εξίσωση γίνεται (t-1)(t+1)=9^n(2^m\cdot 9^{m-n}+1) και επειδή (t-1,t+1)=1 και (9^n,2^m\cdot 9^{m-n}+1)=1 άρα παίρνουμε τα συστήματα

\begin{cases} 
t-1=1   \\  
t+1= 9^n(2^m\cdot 9^{m-n}+1)    
\end{cases} \ \ (1) ή \begin{cases} 
t-1=9^n   \\  
t+1= 2^m\cdot 9^{m-n}+1     
\end{cases} \ \ (2) ή \begin{cases} 
t-1=2^m\cdot 9^{m-n}+1  \\  
t+1= 9^n    
\end{cases} \ \ (3)

Το (1) καταλήγει εύκολα σε άτοπο
Το (2) δίνει 9^n+1=2^m\cdot 9^{m-n} δηλαδή 9|1, άτοπο
Το (3) δίνει 2^m\cdot 9^{m-n}+3=9^n, δηλαδή 9|3, άτοπο.

Άρα τελικά η μοναδική λύση είναι η \boxed{(m,n)=(1,2)}

Αλέξανδρος
τελευταία επεξεργασία από cretanman σε Παρ Νοέμ 18, 2011 1:38 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Λόγος: Λάθος λύση


Αλέξανδρος Συγκελάκης
Άβαταρ μέλους
Αρχιμήδης 6
Δημοσιεύσεις: 1205
Εγγραφή: Παρ Αύγ 27, 2010 11:27 pm
Τοποθεσία: ΚΑΛΑΜΑΤΑ

Re: Μαθηματικοί διαγωνισμοί

#705

Μη αναγνωσμένη δημοσίευση από Αρχιμήδης 6 » Παρ Νοέμ 18, 2011 1:46 am

Αλέξανδρε νομίζω ότι υπάρχει λάθος στη λύση σου. Συγκεκριμένα, δεν ισχύει ότι αν xy=zw και (x,y)=(z,w)=1 τότε θα έχουμε x=z ή x=w ή x=1 .Κάτι τέτοιο θα ίσχυε αν (x,z)=(y,w)=1 . Φιλικά, Δημήτρης!


Λάθε βιώσας-Επίκουρος
Κανακάρης Δημήτριος.
Άβαταρ μέλους
Αρχιμήδης 6
Δημοσιεύσεις: 1205
Εγγραφή: Παρ Αύγ 27, 2010 11:27 pm
Τοποθεσία: ΚΑΛΑΜΑΤΑ

Re: Μαθηματικοί διαγωνισμοί

#706

Μη αναγνωσμένη δημοσίευση από Αρχιμήδης 6 » Παρ Νοέμ 18, 2011 12:57 pm

18^m+9^n+1=x^2
m>1 είναι φανερό ότι τότε θα πρέπει x^2=2mod4 που είναι αδύνατον. Μένει να κοιτάξουμε για m=0 , m=1 .
-Για m=0 έχουμε την εξίσωση 9^n+2=x^2n άρτιος τότε θα πρέπει η διαφορά 2 τετραγώνων να είναι ίση με 2 που δεν υπάρχουν λύσεις. Αν n περιττός τότε θα υπάρχει y ώστε 9y^2+2=x^2 όμως αρκεί το mod2 για να διαπυστώσουμε ότι λύσεις δεν υπάρχουν.
-Για m=1 η εξίσωση γίνετε 9^n+19=x^2 .Αν n άρτιος τότε τότε με διαφορά τετραγώνων βλέπουμε ότι μοναδική λύση είναι (m,n,x)=(1,2,10) . Για n=0 , n=1 η εξίσωση δεν έχει λύσεις. Μένει να ελεγχθεί η περίπτωση όπου n περιττός οπού αρκεί επιλογή mod5 για να δούμε ότι η εξίσωση δεν έχει λύσεις .
Μοναδική λύση η (m,n,x)=(1,2,10) .


Λάθε βιώσας-Επίκουρος
Κανακάρης Δημήτριος.
Άβαταρ μέλους
cretanman
Διαχειριστής
Δημοσιεύσεις: 4117
Εγγραφή: Πέμ Δεκ 18, 2008 12:35 pm
Τοποθεσία: Ηράκλειο Κρήτης
Επικοινωνία:

Re: Μαθηματικοί διαγωνισμοί

#707

Μη αναγνωσμένη δημοσίευση από cretanman » Παρ Νοέμ 18, 2011 1:37 pm

Δημήτρη έχεις απόλυτο δίκιο στη σημείωσή σου. Η βιασύνη για τη λύση αυτά κάνει! Σ' ευχαριστώ πολύ!

Αφήνω τη "λύση" μου για παράδειγμα... προς αποφυγή!

Κι ένα αντιπαράδειγμα για αυτό που λέει ο Δημήτρης παραπάνω

Ας πάρουμε x=2^\cdot 3, \ y=5\cdot 7, \ z=2\cdot 3\cdot 5 και w=7

Τότε ισχύει xy=zw, \ (x,y)=(z,w)=1 χωρίς όμως να ισχύει μία από τις (x=z, y=w) ή (x=w, y=z).

Αλέξανδρος


Αλέξανδρος Συγκελάκης
Άβαταρ μέλους
cretanman
Διαχειριστής
Δημοσιεύσεις: 4117
Εγγραφή: Πέμ Δεκ 18, 2008 12:35 pm
Τοποθεσία: Ηράκλειο Κρήτης
Επικοινωνία:

Re: Μαθηματικοί διαγωνισμοί

#708

Μη αναγνωσμένη δημοσίευση από cretanman » Παρ Νοέμ 18, 2011 2:04 pm

socrates έγραψε: ΑΣΚΗΣΗ 330:
Βρείτε όλους τους ακέραιους x,y για τους οποίους 2^x+ 3^x+ 4^x= y^2.
Διακρίνουμε τις εξής περιπτώσεις:

Αν ο x\geq 3, και περιττός τότε παίρνοντας \pmod{4} έχουμε y^2\equiv -1\pmod{4}. Όμως το -1 δεν είναι τετραγωνικό υπόλοιπο \pmod{4}

Αν x\geq 2 και άρτιος, τότε παίρνοντας \pmod{3} έχουμε y^2\equiv 2\pmod{3}. Όμως το 2 δεν είναι τετραγωνικό υπόλοιπο \pmod{3}.

Αν x=0 τότε y^2=3 που δεν έχει ακέραιες λύσεις ως προς y, ενω αν x=1 τότε y^2=9 δηλαδή y=\pm 3.

Άρα οι μόνες λύσεις είναι οι (x,y)=(1,3),(1,-3).

Αλέξανδρος


Αλέξανδρος Συγκελάκης
ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ
Επιμελητής
Δημοσιεύσεις: 4830
Εγγραφή: Τρί Αύγ 31, 2010 10:37 pm
Τοποθεσία: Ιστιαία Ευβοίας

Re: Μαθηματικοί διαγωνισμοί

#709

Μη αναγνωσμένη δημοσίευση από ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ » Σάβ Νοέμ 19, 2011 10:16 pm

ΑΣΚΗΣΗ 334: Να υπολογίσετε το πλήθος των φυσικών αριθμών που δεν ξεπερνούν τον 10000 και διαιρούνται με κάθε φυσικό αριθμό που δεν ξεπερνάει τον 10


ΑΣΚΗΣΗ 335: Έστω S_{n}=1-2+3-4+5-6+...+(-1)^{n-1}n, (n\epsilon N^{*}). Να βρείτε τον αριθμό S_{2011}+S_{2012}


Γιώτα
Δημοσιεύσεις: 72
Εγγραφή: Πέμ Απρ 07, 2011 3:52 pm

Re: Μαθηματικοί διαγωνισμοί

#710

Μη αναγνωσμένη δημοσίευση από Γιώτα » Κυρ Νοέμ 20, 2011 1:25 am

ΔΗΜΗΤΡΗΣ έγραψε:ΑΣΚΗΣΗ 335: Έστω S_{n}=1-2+3-4+5-6+...+(-1)^{n-1}n, (n\epsilon N^{*}). Να βρείτε τον αριθμό S_{2011}+S_{2012}
\displaystyle{S_{2011}=1-2+3-4+5-6+.....+(-1)^{2011-1} \cdot 2011=1-2+3-4+5-6+.....+2011=1+\frac{2010 \cdot 1}{2}=1006}

S_{2012}=1-2+3-4+5-6+.....+(-1)^{2012-1} \cdot 2012=1-2+3-4+5-6+.....-2012=\frac{2012 \cdot (-1)}{2}=-1006


Επομένως
S_{2011}+S_{2012}=0
τελευταία επεξεργασία από Φωτεινή σε Κυρ Νοέμ 20, 2011 7:32 am, έχει επεξεργασθεί 1 φορά συνολικά.


ΛΕΩΝΙΔΑΣ
Δημοσιεύσεις: 91
Εγγραφή: Σάβ Δεκ 04, 2010 12:21 am

Re: Μαθηματικοί διαγωνισμοί

#711

Μη αναγνωσμένη δημοσίευση από ΛΕΩΝΙΔΑΣ » Δευ Νοέμ 21, 2011 10:13 pm

ΔΗΜΗΤΡΗΣ έγραψε:ΑΣΚΗΣΗ 334: Να υπολογίσετε το πλήθος των φυσικών αριθμών που δεν ξεπερνούν τον 10000 και διαιρούνται με κάθε φυσικό αριθμό που δεν ξεπερνάει τον 10

Αρκεί να υπολογίσουμε το πλήθος των πολλαπλασίων του Ε.Κ.Π. των 1,2,\dots,10 που είναι μικρότερα του 10000. Είναι
lcm(1,2,\dots,10)=2^3\times 3^2\times 5\times 7=2520. Τα πολλαπλάσια του, που είναι μικρότερα του 10000 είναι τα 2520,5040,7560, στο πλήθος 3.


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

Re: Μαθηματικοί διαγωνισμοί

#712

Μη αναγνωσμένη δημοσίευση από socrates » Δευ Νοέμ 21, 2011 10:56 pm

ΑΣΚΗΣΗ 336
Αν a\geq b \geq c \geq d \geq 0 με a^2 + b^2 + c^2 + d^2 = 1, νδο a + b \geq  1\geq  c + d.


Θανάσης Κοντογεώργης
sokratis lyras
Δημοσιεύσεις: 710
Εγγραφή: Σάβ Μαρ 05, 2011 9:13 pm

Re: Μαθηματικοί διαγωνισμοί

#713

Μη αναγνωσμένη δημοσίευση από sokratis lyras » Δευ Νοέμ 21, 2011 11:01 pm

ΑΣΚΗΣΗ 337
Να βρεθούν οι n\in Z ώστε:
n=4 mod6 και n=13 mod21


spiros filippas
Δημοσιεύσεις: 252
Εγγραφή: Σάβ Οκτ 16, 2010 4:46 pm

Re: Μαθηματικοί διαγωνισμοί

#714

Μη αναγνωσμένη δημοσίευση από spiros filippas » Δευ Νοέμ 21, 2011 11:14 pm

socrates έγραψε:ΑΣΚΗΣΗ 336
Αν a\geq b \geq c \geq d \geq 0 με a^2 + b^2 + c^2 + d^2 = 1, νδο a + b \geq  1\geq  c + d.
Για την αριστερή.

Aρκεί ισοδύναμα να δείξουμε ότι (a+b)^2=a^2+2ab+b^2\geq1=a^2+b^2+c^2+d^2 το οποίο ανάγεται στην

2ab\geq c^2+d^2, από την πρώτη όμως υπόθεση του προβλήματος έχουμε 2ab\geq 2cc=c^2+c^2\geq c^2+d^2

Ομοίως και για την δεξια, αρκεί ισοδύναμα να είναι (c+d)^2=c^2+2dc+d^2\leq1=a^2+b^2+c^2+d^2, δηλαδή

2dc\leq a^2+b^2 που ισχύει αφού ειναι 2dc\leq 2bb=b^2+b^2\leq a^2+b^2


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

Re: Μαθηματικοί διαγωνισμοί

#715

Μη αναγνωσμένη δημοσίευση από socrates » Τρί Νοέμ 22, 2011 7:30 pm

sokratis lyras έγραψε:ΑΣΚΗΣΗ 337
Να βρεθούν οι n\in Z ώστε:
n=4 mod6 και n=13 mod21
337β
Λύστε και το: \displaystyle{\begin{cases}x\equiv 5 \mod 6 \\ x\equiv 4 \mod 11 \\ x\equiv 3 \mod 17 \end{cases}.}

Ψάξτε πρώτα για το κινεζικό θεώρημα υπολοίπων, πχ εδώ.


ΑΣΚΗΣΗ 338
Για ποια n\in \Bbb{N}_0 είναι ο αριθμός 2^{n+1}-n^2 δύναμη του 2;
Για ποια n\in \Bbb{N}_0 είναι πρώτος;

ΑΣΚΗΣΗ 339
Βρείτε το τελευταίο ψηφίο του abc, αν a, b, c πρώτοι αριθμοί, διαφορετικοί ανά δύο, και το τελευταίο ψηφίο του αριθμού a^4+ b^4+ c^4 είναι 7.


Θανάσης Κοντογεώργης
sokratis lyras
Δημοσιεύσεις: 710
Εγγραφή: Σάβ Μαρ 05, 2011 9:13 pm

Re: Μαθηματικοί διαγωνισμοί

#716

Μη αναγνωσμένη δημοσίευση από sokratis lyras » Τετ Νοέμ 23, 2011 1:14 am

337 β
Όλα τα παρακάτω είναι σύμφωνα με τους συμβολισμούς στο κινέζικο θεώρημα στην παραπομπή του socrates.
M_1=m_2m_3=187
M_2=m_1m_3=102
M_3=m_1m_2=66
Άρα υπάρχει n_i\in Z όπου i\in (1,2,3) ώστε: M_in_i=1(modm_i)
Άρα απλοποιώντας τις 3 ισοτιμίες παίρνω:
n_1=1(mod6) \Rightarrow n_1=1
3n_2=1(mod11)\Rightarrow n_2=4
15n_3=1(mod17)\Rightarrow n_3=8
Άρα x=\left( \sum m_in_ia_i \right)( modm_1m_2m_3)
Κάνοντας τις πράξεις παίρνς ότι: x=1122y+785

Φιλικά και πολύ επιφυλακτικά,
Σωκράτης


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

Re: Μαθηματικοί διαγωνισμοί

#717

Μη αναγνωσμένη δημοσίευση από socrates » Τετ Νοέμ 23, 2011 1:49 am

sokratis lyras έγραψε:337 β
Όλα τα παρακάτω είναι σύμφωνα με τους συμβολισμούς στο κινέζικο θεώρημα στην παραπομπή του socrates.
M_1=m_2m_3=187
M_2=m_1m_3=102
M_3=m_1m_2=66
Άρα υπάρχει n_i\in Z όπου i\in (1,2,3) ώστε: M_in_i=1(modm_i)
Άρα απλοποιώντας τις 3 ισοτιμίες παίρνω:
n_1=1(mod6) \Rightarrow n_1=1
3n_2=1(mod11)\Rightarrow n_2=4
15n_3=1(mod17)\Rightarrow n_3=8
Άρα x=\left( \sum m_in_ia_i \right)( modm_1m_2m_3)
Κάνοντας τις πράξεις παίρνς ότι: x=1122y+785

Φιλικά και πολύ επιφυλακτικά,
Σωκράτης

Σωστά, "συνονόματε"! :)


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

Re: Μαθηματικοί διαγωνισμοί

#718

Μη αναγνωσμένη δημοσίευση από Demetres » Τετ Νοέμ 23, 2011 12:07 pm

sokratis lyras έγραψε:337 β
Όλα τα παρακάτω είναι σύμφωνα με τους συμβολισμούς στο κινέζικο θεώρημα στην παραπομπή του socrates.
M_1=m_2m_3=187
M_2=m_1m_3=102
M_3=m_1m_2=66
Άρα υπάρχει n_i\in Z όπου i\in (1,2,3) ώστε: M_in_i=1(modm_i)
Άρα απλοποιώντας τις 3 ισοτιμίες παίρνω:
n_1=1(mod6) \Rightarrow n_1=1
3n_2=1(mod11)\Rightarrow n_2=4
15n_3=1(mod17)\Rightarrow n_3=8
Άρα x=\left( \sum m_in_ia_i \right)( modm_1m_2m_3)
Κάνοντας τις πράξεις παίρνς ότι: x=1122y+785

Φιλικά και πολύ επιφυλακτικά,
Σωκράτης
Να δώσω την λύση διαφορετικά. Ας υπενθυμίσω πρώτα ότι ζητάμε την λύση του συστήματος x\equiv 5\bmod 6,x\equiv 4 \bmod 11,x\equiv 3\bmod 17.

Ας ξεκινήσουμε πρώτα από την λύση του συστήματος x \equiv 5\bmod 6,x\equiv 4\bmod11. Η ουσία του κινεζικού θεωρήματος είναι ότι επειδή τα 6,11 είναι πρώτοι μεταξύ τους, θα υπάρχει μοναδικό a \in \{0,1,2,\ldots,65\} με x \equiv a \bmod 66. Μπορούμε βέβαια να χρησιμοποιήσουμε τον τύπο που δίνει το a όπως έκανε ο Σωκράτης αλλά σε αυτές τις «μικρές» περιπτώσεις νομίζω είναι πιο εύκολο να το κάνουμε στο χέρι. Αφού x \equiv 4 \bmod 11, τότε απαραίτητα το a θα ισούται με ένα από τα 4,15,26,37,48,59. Κοιτάμε τώρα τους αριθμούς αυτούς και παρατηρούμε ότι ο αριθμός που ισούται με 5\bmod 6 είναι ο 59. Φυσικά αυτά τα κάνουμε στο πρόχειρο. Στην απάντηση αρκεί να γράψουμε:

Παρατηρούμε ότι x \equiv 59 \bmod 66 \Rightarrow x\equiv 5\bmod 6,x \equiv 4\bmod 11. Επειδή τα 6,11 είναι πρώτοι μεταξύ τους, από το κινέζικο θεώρημα έχουμε ισοδυναμία, δηλαδή x \equiv 59 \bmod 66 \Leftrightarrow x\equiv 5\bmod 6,x \equiv 4\bmod 11.

Μένει τώρα να λύσουμε το σύστημα x \equiv 59 \bmod 66,x\equiv 3 \bmod 17. Πάλι επειδή τα 66,17 είναι πρώτοι μεταξύ τους, ψάχνουμε απάντηση της μορφής x \equiv a \bmod 1122. Εδώ αρχίζουμε να έχουμε κάπως πιο πολλές πράξεις. Ένας τρόπος, όπως και προηγουμένως είναι να υπολογίσουμε τους 17 αριθμούς 59,59+66,\ldots,59+16\cdot 66 και να βρούμε τον μοναδικό που ισούται με 3 \bmod 17. Πώς μπορούμε να το κάνουμε αυτό στα γρήγορα; Το 59 ισούται με 8 \bmod 17. Κάθε φορά που προσθέτουμε το 66 ουσιαστικά προσθέτουμε 15 \bmod 17 ή ισοδύναμα προσθέτουμε -2 \bmod 17. Αν λοιπόν προσθέσουμε n φορές το 66 θα φτάσουμε σε ένα αριθμό ισότιμε με (8 - 2n) \bmod 17. Θέλουμε λοιπόν (8-2n) \equiv 3 \equiv -14 \bmod 17 και παρατηρούμε ότι το n=11 δουλεύει. Επομένως ο αριθμός που πρέπει να διαλέξουμε είναι ο 59 + 11 \cdot 66 = 785.

Πάλι το πιο πάνω είναι στο πρόχειρο. Στο χαρτί αρκεί να γράψουμε: Παρατηρούμε ότι 785 = 59 + 11\cdot 66 \equiv 59 \bmod 66 και 785 = 59 + 11\cdot 66 \equiv (8-22) \equiv -14 \equiv 3 \bmod 17. Επειδή οι 17,66 είναι πρώτοι μεταξύ τους από το κινέζικο θεώρημα έχουμε x \equiv 59 \bmod 66, x\equiv 3 \bmod 17 \Leftrightarrow x \equiv 785 \bmod 1122.


sokratis lyras
Δημοσιεύσεις: 710
Εγγραφή: Σάβ Μαρ 05, 2011 9:13 pm

Re: Μαθηματικοί διαγωνισμοί

#719

Μη αναγνωσμένη δημοσίευση από sokratis lyras » Τετ Νοέμ 23, 2011 3:51 pm

Μήπως υπάρχει κάποιο λάθος στην άσκηση 339?
Κάθε πρώτος αριθμός είναι 1 ή 3 ή 7 ή 9 mod 10.(Eκτος αν ο πρώτος είναι ο 2).
Άρα για κάθε p παίρνω ότι p^4=1 mod10.
Αλλά a^4+b^4+c^4=7 mod 10.Πράγμα το οποίο δεν γίνεται ακόμα και αν ένας εκ των πρώτων είναι ο 2.
Χάνω κάπου?


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

Re: Μαθηματικοί διαγωνισμοί

#720

Μη αναγνωσμένη δημοσίευση από socrates » Τετ Νοέμ 23, 2011 3:53 pm

sokratis lyras έγραψε:Μήπως υπάρχει κάποιο λάθος στην άσκηση 339?
Κάθε πρώτος αριθμός είναι 1 ή 3 ή 7 ή 9 mod 10.(Eκτος αν ο πρώτος είναι ο 2).
Άρα για κάθε p παίρνω ότι p^4=1 mod10.
Αλλά a^4+b^4+c^4=7 mod 10.Πράγμα το οποίο δεν γίνεται ακόμα και αν ένας εκ των πρώτων είναι ο 2.
Χάνω κάπου?
To 5; :)


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

Επιστροφή σε “Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Juniors) - Παλαιότερες Συζητήσεις”

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

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