Πρώτος γύρος Ελβετίας, 2009

Συντονιστές: cretanman, ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ, socrates

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

Πρώτος γύρος Ελβετίας, 2009

#1

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

Πρώτος γύρος Ελβετίας, 2009


1. Βρείτε όλους τους φυσικούς αριθμούς n > 1, τέτοιους ώστε ο αριθμός (n- 1)! να διαιρείται με τον n.

2. Θεωρούμε n παιδιά από τα οποία δεν υπάρχουν δύο με το ίδιο ύψος. Με πόσους τρόπους μπορούμε να τα παρατάξουμε σε μια γραμμή ούτως ώστε κάθε παιδί, εκτός από το ψηλότερο, να έχει δίπλα του ένα ψηλότερο;

3. Έστω τρίγωνο ABC με \angle BAC = 60^{\circ}. Τα σημεία D και E βρίσκονται στις πλευρές AC και AB, αντίστοιχα. Οι ευθείες BD και CE τέμνουν τον περιγεγραμμένο κύκλο του τριγώνου ABC στα σημεία X και Y, αντίστοιχα. Έστω S το σημείο τομής των ευθειών BD και CE. Δείξτε ότι οι ευθείες BY και CX είναι παράλληλες αν και μόνο αν το τετράπλευρο AESD είναι εγγράψιμο.

4. Βρείτε όλα τα ζεύγη (a, b) φυσικών αριθμών τέτοια ώστε a^{6a} = b^b.

5. Για ποιους φυσικούς αριθμούς m, n μπορούμε να καλύψουμε πλήρως και χωρίς επικαλύψεις ένα ορθογώνιο m\times n με τετράγωνα πλευράς 2 ή 3;
Θανάσης Κοντογεώργης
socrates
Επιμελητής
Δημοσιεύσεις: 6595
Εγγραφή: Δευ Μαρ 09, 2009 1:47 pm
Τοποθεσία: Θεσσαλονίκη
Επικοινωνία:

Re: Πρώτος γύρος Ελβετίας, 2009

#2

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

Επαναφορά! :)
Θανάσης Κοντογεώργης
nikkru
Δημοσιεύσεις: 348
Εγγραφή: Σάβ Δεκ 26, 2009 6:42 pm

Re: Πρώτος γύρος Ελβετίας, 2009

#3

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

socrates έγραψε:Πρώτος γύρος Ελβετίας, 2009


1. Βρείτε όλους τους φυσικούς αριθμούς n > 1, τέτοιους ώστε ο αριθμός (n- 1)! να διαιρείται με τον n.
Οι φυσικοί που έχουν την παραπάνω ιδιότητα είναι όλοι οι σύνθετοι που είναι μεγαλύτεροι από το 4 και μόνο αυτοί. Αυτό ισχύει γιατί:

Οι αριθμοί n=2,3,4 δεν ικανοποιούν το ζητούμενο.
Α) Αν ο n είναι σύνθετος μεγαλύτερος του 4 και ο m είναι διαιρέτης του n με 1<m<n τότε και ο k=n/m είναι διαιρέτης του n.
(ι) Αν m \neq k, οι m,k είναι παράγοντες του (n- 1)! άρα ο αριθμός (n- 1)! διαιρείται με τον n=m \cdot k.
(ιι) Αν m=k τότε και 2m<n οπότε ο αριθμός (n- 1)! έχει παράγοντες τους m,2m άρα διαιρείται με τον n=m^2.

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

Re: Πρώτος γύρος Ελβετίας, 2009

#4

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

socrates έγραψε:Πρώτος γύρος Ελβετίας, 2009
2. Θεωρούμε n παιδιά από τα οποία δεν υπάρχουν δύο με το ίδιο ύψος. Με πόσους τρόπους μπορούμε να τα παρατάξουμε σε μια γραμμή ούτως ώστε κάθε παιδί, εκτός από το ψηλότερο, να έχει δίπλα του ένα ψηλότερο;
Για λόγους απλότητας τοποθετούμε στην παράταξη σε οποιοδήποτε επιτρεπτό σημείο ένα ένα τα παιδιά ξεκινώντας από το χαμηλότερο προς το ψηλότερο.

Θα αποδείξουμε με επαγωγή ότι υπάρχουν \boxed{2^{n-1}} τρόποι.

Για n=1 παιδί είναι προφανές, υπάρχει 2^0=1 τρόπος. Για n=2 παιδιά είναι πάλι προφανές, υπάρχουν 2^1=2 τρόποι.

Έστω ότι ισχύει για n παιδιά ότι υπάρχουν 2^{n-1} τρόποι.

Έρχεται ένα ακόμα παιδί που είναι πιο ψηλό από όλα τα άλλα. Αυτό θα πρέπει να μπει αναγκαστικά πριν ή μετά από το προηγούμενο ψηλότερο παιδί. Αν μπει σε οποιαδήποτε άλλη θέση τότε το προηγούμενο ψηλότερο παιδί δεν θα έχει δίπλα του κάποιον άλλο ψηλότερο. Άρα έχουμε 2 τρόπους για το νέο παιδί και συνολικά 2 \cdot 2^{n-1} = 2^{n} τρόπους.
Houston, we have a problem!
Άβαταρ μέλους
JimNt.
Δημοσιεύσεις: 582
Εγγραφή: Παρ Μάιος 20, 2016 3:00 pm

Re: Πρώτος γύρος Ελβετίας, 2009

#5

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

socrates έγραψε:Πρώτος γύρος Ελβετίας, 2009


4. Βρείτε όλα τα ζεύγη (a, b) φυσικών αριθμών τέτοια ώστε a^{6a} = b^b.
Αρχικά υποθέτουμε ότι a > b. Τότε είναι a^{6a}>b^{6b}>b^b, άτοπο. Επομένως, b \ge a .Eπειδή ο b είναι δύναμη του a , θέτουμε b=a^{n}, n ∈ \mathbff{N}. Αντικαθιστούμε και παίρνουμε:
a^{6a} = a^{na^{n}} \Leftrightarrow6a=na^{n} (προφανώς για a=b=0 προκύπτει 0^0=0^0, που δεν ορίζεται ως δύναμη) \Leftrightarrow 6=na^{n-1} (1) Για n > 6, είναι na^{n-1} > 6, άτοπο. Συνεπώς, πρέπει n \le 6. Διακρίνουμε τις περιπτώσεις:
n=6. H (1) γίνεται a^{5}=1 \Leftrightarrow a=1 \Leftrightarrow (a,b)=(1,1)
n=5. Προκύπτει 5|6, άτοπο.
n=4. Προκύπτει 4|6, άτοπο.
n=3. Προκύπτει 2=a^{2} \Leftirhgtarrow a=-\sqrt{2} ή \sqrt{2}, που δεν είναι φυσικοί.
n=2. H (1) γίνεται a^{1}=3 \Leftrightarrow a=3 \Leftrightarrow (a,b)=(3,9)
n=1. Η (1) γίνεται 6=1 , άτοπο.
n=0. Η (1) γίνεται 6=0 , άτοπο.
Επομένως, τα μοναδικά ζεύγη φυσικών που ικανοποιούν την εξίσωση είναι τα \boxed{(a,b)=(1,1), (3,9)}
Bye :')
opener
Δημοσιεύσεις: 15
Εγγραφή: Κυρ Ιούλ 06, 2014 3:30 pm

Re: Πρώτος γύρος Ελβετίας, 2009

#6

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

JimNt. έγραψε:Επομένως, τα μοναδικά ζεύγη φυσικών που ικανοποιούν την εξίσωση είναι τα \boxed{(a,b)=(1,1), (3,9)}
Είναι και άλλα. Πχ (a,b)=(16,64). Συγκεκριμένα όλα τα ζεύγη είναι (a,b)=(1,1),(3,9),(16,64),(5^5,5^6). Αν δεν υπάρξει απόδειξη θα επανέλθω.
JimNt. έγραψε:Eπειδή ο b είναι δύναμη του a , θέτουμε b=a^{n}, n ∈ \mathbff{N}.
Εδώ είναι το λάθος.
Άβαταρ μέλους
JimNt.
Δημοσιεύσεις: 582
Εγγραφή: Παρ Μάιος 20, 2016 3:00 pm

Re: Πρώτος γύρος Ελβετίας, 2009

#7

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

opener έγραψε:
JimNt. έγραψε:Επομένως, τα μοναδικά ζεύγη φυσικών που ικανοποιούν την εξίσωση είναι τα \boxed{(a,b)=(1,1), (3,9)}
Είναι και άλλα. Πχ (a,b)=(16,64). Συγκεκριμένα όλα τα ζεύγη είναι (a,b)=(1,1),(3,9),(16,64),(5^5,5^6). Αν δεν υπάρξει απόδειξη θα επανέλθω.
JimNt. έγραψε:Eπειδή ο b είναι δύναμη του a , θέτουμε b=a^{n}, n ∈ \mathbff{N}.
Εδώ είναι το λάθος.
Ευχαριστώ για τν διόρθωση. Ελπίζω τώρα να είμαι σωστός. Αρχικά υποθέτουμε ότι a > b. Τότε είναι a^{6a}>b^{6b}>b^b, άτοπο. Επομένως, b \ge a. Προφανώς, a  |  b \Leftrightarrow b=an, όπου n θετικός ακέραιος > 1. Αντικαθιστούμε και παίρνουμε:
a^{6a}=(an)^{an} \Leftrightarrow a^{a(6-n)} = n^{an}. Για n>6 το δεξί μέλος είναι μικρότερο του 1. Επομένως, πρέπει n \le 6. Διακρίνουμε περιπτώσεις απορρίπτουμε την n=6, γιατί το αριστερό μέλος θα είναι διαφόρο του αριστερού και στην συνέχεια παίρνουμε τις λύσεις που παραθέσατε.
Bye :')
opener
Δημοσιεύσεις: 15
Εγγραφή: Κυρ Ιούλ 06, 2014 3:30 pm

Re: Πρώτος γύρος Ελβετίας, 2009

#8

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

Προσθέτω και τη δικιά μου προσπάθεια μιας και νομίζω ότι η πιο πάνω αντιμετώπιση ίσως έχει κάποιο κενό. Συγκεκριμένα το σημείο
JimNt. έγραψε: Προφανώς, a  |  b \Leftrightarrow b=an, όπου n θετικός ακέραιος > 1.
δεν μου είναι προφανές. Ίσως χάνω κάτι πολύ απλό.


Αρχικά υποθέτουμε a,b>1 και παρατηρούμε ότι οι a,b έχουν τους ίδιους πρώτους διαιρέτες (προφανές από λήμμα του Ευκλείδη). Επίσης (εύκολα) a<b.

Ισχυρισμός: Οι a,b είναι δυνάμεις (του ίδιου) πρώτου.
Απόδειξη: Έστω a=p_1^{a_1}\cdot...\cdot p_n^{a_n} και b=p_1^{b_1}\cdot...\cdot p_n^{b_n},\quad n\geq 2 με p_1<\dots<p_n. Αφού a^{6a}=b^b προκύπτει το σύστημα:
\begin{Bmatrix} 
6a_1\prod_{i=1}^{n}p_i^{a_i}=b_1\prod_{i=1}^{n}p_i^{b_i}\\ 
\vdots \\ 
6a_n\prod_{i=1}^{n}p_i^{a_i}=b_n\prod_{i=1}^{n}p_i^{b_i} 
\end{Bmatrix}

Διαιρώντας διαδοχικά ανά δύο τις εξισώσεις έχουμε \frac{a_i}{a_{i+1}}=\frac{b_i}{b_{i+1}}\Leftrightarrow a_i=\frac{a_{i+1}b_i}{b_{i+1}}\quad\forall i=1,\dots,n\quad(\star) όπου a_{n+1}=a_1,b_{n+1}=b_1.
Διακρίνουμε περιπτώσεις:
1η)Αν a_1=b_1 τότε 6\prod_{i=2}^{n}p_i^{a_i}=\prod_{i=2}^{n}p_i^{a_i}.
Υποθέτουμε τώρα n\geq 3, τότε p_i\geq p_3>p_2>p_1\geq 2\Rightarrow p_i>3\quad\forall i\geq 3 και άρα (p_i,6)=1\Rightarrow a_i=b_i\quad\forall i=3,\dots,n δηλαδή 6p_2^{a_2}=p_2^{b_2} άτοπο.
Αν n=2 πάλι καταλήγουμε στην 6p_2^{a_2}=p_2^{b_2} και άρα φτάνουμε σε άτοπο.
2η)Αν a_1>b_1 τότε επαγωγικά από την (\star) προκύπτει ότι a_i>b_i\quad\forall i=1,\dots,n και άρα a>b, άτοπο.
3η)Αν a_1<b_1 τότε πάλι από την (\star) επαγωγικά έχουμε a_i<b_i\Leftrightarrow b_i-a_i\geq 1\quad\forall i=1,\dots,n και άρα η πρώτη σχέση του συντήματος γίνεται 6=\frac{b_1}{a_1}\prod_{i=1}^{n}p_i^{b_i-a_i}>\prod_{i=1}^{n}p_i, άτοπο γιατί τότε 6>p_2p_1 με p_2>p_1.
Έτσι ο ισχυρισμός αποδείχθηκε.

Επομένως a=p^x,b=p^y με x<y αφού a<b, δηλαδή p^{6xp^x}=p^{yp^y}\Rightarrow 6xp^x=yp_y\Rightarrow \boxed{6=\frac{y}{x}p^{y-x}>p^{y-x}}\quad(\star\star).
Αν y-x\geq 3 τότε η (\star\star) είναι αδύνατη.
Αν y-x=2 τότε από την (\star\star) έπεται ότι p=2 και άρα 6x2^x=(x+2)2^{x+2}\Rightarrow x=4. Άρα (a,b)=(2^4,2^6).
Αν y-x=1 τότε p=2,3,5. Ελέγχοντας καθεμιά ξεχωριστά προκύπτουν τα ζεύγη (a,b)=(3,3^2),(5^5,5^6).
Τέλος υποθέσαμε ότι a,b>1 και άρα πρέπει να προσθέσουμε και την λύση (a,b)=(1,1). Εύκολα επαληθεύουμε ότι όλες οι λύσεις ικανοποιούν την αρχική εξίσωση.
nikkru
Δημοσιεύσεις: 348
Εγγραφή: Σάβ Δεκ 26, 2009 6:42 pm

Re: Πρώτος γύρος Ελβετίας, 2009

#9

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

socrates έγραψε:Πρώτος γύρος Ελβετίας, 2009

3. Έστω τρίγωνο ABC με \angle BAC = 60^{\circ}. Τα σημεία D και E βρίσκονται στις πλευρές AC και AB, αντίστοιχα. Οι ευθείες BD και CE τέμνουν τον περιγεγραμμένο κύκλο του τριγώνου ABC στα σημεία X και Y, αντίστοιχα. Έστω S το σημείο τομής των ευθειών BD και CE. Δείξτε ότι οι ευθείες BY και CX είναι παράλληλες αν και μόνο αν το τετράπλευρο AESD είναι εγγράψιμο.
Και αυτή η άσκηση όπως και η αντίστοιχη του 2008 είναι μια καλή άσκηση στις εγγεγραμμένες γωνίες και στα εγγράψιμα τετράπλευρα.
ProtosGyrosElvetia2009_3.png
ProtosGyrosElvetia2009_3.png (11.58 KiB) Προβλήθηκε 2398 φορές
Το τετράπλευρο AESD είναι εγγράψιμο αν και μόνο αν \widehat{A}+\widehat{XSY}=180^{\circ}\Leftrightarrow\widehat{XSY}=120^{\circ}.

Όμως η γωνία \widehat{XSY} είναι ίση με το ημιάθροισμα των τόξων XAY και CB .

Από τις ισοδυναμίες: XC//YB\Leftrightarrow τόξοXAY=τόξοCB=120^{\circ}\Leftrightarrow\widehat{XSY}=120^{\circ} προκύπτει το ζητούμενο.
Απάντηση

Επιστροφή στο “Θέματα διαγωνισμών (ΕΜΕ, ΚΥΜΕ, BMO, JBMO, IMO, Kangaroo κλπ)”

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

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