EGMO 2023

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

achilleas
Γενικός Συντονιστής
Δημοσιεύσεις: 3064
Εγγραφή: Τρί Σεπ 15, 2009 3:32 pm

EGMO 2023

#1

Μη αναγνωσμένη δημοσίευση από achilleas » Δευ Απρ 17, 2023 9:33 am

Χρόνια Πολλά! Χριστός Ανέστη!

EGMO 2023 - Portoroz, Slovenia

1η μέρα - 15 Απριλίου 2023 (Μ. Σάββατο)

Πρόβλημα 1.

Έστω n\geqslant 3 θετικοί πραγματικοί αριθμοί a_1,a_2,\ldots 
  ,a_n. Για κάθε 1\leqslant i\leqslant n θέτουμε \displaystyle{b_i =\frac{a_{i-1} 
    + a_{i+1}}{a_i} }(εδώ ορίζουμε το a_0 να είναι το a_n και το a_{n+1} να είναι το a_1). Υποθέτουμε ότι για όλα τα i και j με 1\leqslant  i, j\leqslant n, έχουμε a_i \leqslant a_j αν και μόνο αν b_i \leqslant b_j.

Να αποδείξετε ότι a_1 = a_2 = \cdots = a_n.

Πρόβλημα 2.

Δίνεται ένα οξυγώνιο τρίγωνο ABC. Έστω D το σημείο στον περιγεγραμμένο κύκλο του, τέτοιο ώστε η AD να είναι διάμετρος. Έστω τα σημεία K και L στα τμήματα ΑB και AC, αντίστοιχα, τέτοια ώστε οι DK και DL να είναι εφαπτόμενες στον περιγεγραμμένο κύκλο του τριγώνου AKL.

Να αποδείξετε ότι η ευθεία KL διέρχεται από το ορθόκεντρο του τριγώνου ABC.

Tο ορθόκεντρο ενός τριγώνου είναι το σημείο τομής των υψών του.

Πρόβλημα 3.

Έστω k ένας θετικός ακέραιος. Η Αλεξία έχει ένα λεξικό \mathcal D που αποτελείται από κάποιες σειρές k γραμμάτων που περιέχουν μόνο τα γράμματα Α και B. Η Αλεξία θα επιθυμούσε να γράψει είτε το γράμμα A είτε το γράμμα Β σε κάθε κελί ενός k \times k πλέγματος έτσι ώστε κάθε στήλη να περιέχει μια σειρά του \mathcal D, όταν διαβαστεί από πάνω προς τα κάτω και κάθε γραμμή να περιέχει μια σειρά του \mathcal D, όταν διαβαστεί από τα αριστερά προς τα δεξιά.

Ποιος είναι ο ελάχιστος ακέραιος m τέτοιος ώστε αν το \mathcal D περιέχει τουλάχιστον m διαφορετικές σειρές, τότε η Αλεξία να μπορεί να συμπληρώσει το πλέγμα της με αυτό τον τρόπο, ανεξάρτητα από τις σειρές που υπάρχουν στο \mathcal D?


2η μέρα - 16 Απριλίου 2023 (Κυριακή του Πάσχα)

Πρόβλημα 4.

O Turbo το σαλιγκάρι βρίσκεται σε ένα σημείο ενός κύκλου με μήκος περιφέρειας 1. Δοθείσας μιας άπειρης ακολουθίας θετικών πραγματικών αριθμών c_1, c_2,c_3, \ldots, ο Turbo σέρνεται διαδοχικά αποστάσεις c_1, c_2, c_3, \ldots γύρω από τον κύκλο, κάθε φορά επιλέγοντας να σέρνεται είτε δεξιόστροφα είτε αριστερόστροφα.

Για παράδειγμα, αν η ακολουθία c_1, 
  c_2, c_3, \ldots είναι η 0.4, 0.6, 0.3, \ldots, τότε ο Turbo μπορεί να ξεκινήσει να σέρνεται ως ακολούθως:
p4figcomma-figure0.png
p4figcomma-figure0.png (10.44 KiB) Προβλήθηκε 2584 φορές
Να προσδιορίσετε τη μέγιστη σταθερά C > 0 με την παρακάτω ιδιότητα: για κάθε ακολουθία θετικών πραγματικών αριθμών c_1, c_2, c_3, \ldots με c_i < C για όλα τα i, o Turbo (αφού μελετήσει την ακολουθία) μπορεί να εξασφαλίσει ότι υπάρχει κάποιο σημείο στον κύκλο το οποίο δε θα επισκεφτεί ποτέ ή δε θα συρθεί πάνω από αυτό.

Πρόβλημα 5.

Δίνεται ένας θετικός ακέραιος s \geqslant 2. Για κάθε θετικό ακέραιο k, ορίζουμε τον αντεστραμμένο του k' ως ακολούθως: γράφουμε τον k ως as+b, όπου a, b είναι μη αρνητικοί ακέραιοι και b<s, οπότε k'=bs+a. Για το θετικό ακέραιο n, θεωρούμε την άπειρη ακολουθία d_1, d_2, \ldots όπου d_1 = n και d_{i+1} είναι ο αντεστραμμένος του d_i για κάθε θετικό ακέραιο i.

Να αποδείξετε ότι αυτή η ακολουθία περιέχει το 1 αν και μόνο αν ο n όταν διαιρεθεί με τον s^2-1 αφήνει υπόλοιπο 1 ή s.

Πρόβλημα 6.

Έστω τρίγωνο ABC με περιγεγραμμένο κύκλο \Omega. Έστω S_b και S_c, αντίστοιχα, τα μέσα των τόξων ΑC και AB τα οποία δεν περιέχουν την τρίτη κορυφή του τριγώνου. Έστω N_a το μέσο του τόξου ΒAC (το τόξο BC που περιέχει το A). Έστω I το έγκεντρο του τριγώνου ABC. Έστω \omega_b ο κύκλος που εφάπτεται στο AB και εφάπτεται εσωτερικά στον \Omega στο S_b, και έστω \omega_c ο κύκλος που εφάπτεται στο AC και εφάπτεται εσωτερικά στον \Omega στο S_c. Να αποδείξετε ότι η ευθεία ΙN_a, και η ευθεία που διέρχεται από τα σημεία τομής των \omega_b και \omega_c, τέμνονται πάνω στον \Omega.

Το έγκεντρο ενός τριγώνου είναι το κέντρο του εγγεγραμμένου κύκλου του, δηλαδή του κύκλου στο εσωτερικό του τριγώνου που εφάπτεται και στις τρεις πλευρές του.



Λέξεις Κλειδιά:
Άβαταρ μέλους
ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ
Δημοσιεύσεις: 922
Εγγραφή: Πέμ Νοέμ 22, 2018 9:43 pm

Re: EGMO 2023

#2

Μη αναγνωσμένη δημοσίευση από ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ » Δευ Απρ 17, 2023 10:51 am

achilleas έγραψε:
Δευ Απρ 17, 2023 9:33 am
Χρόνια Πολλά! Χριστός Ανέστη!

EGMO 2023 - Portoroz, Slovenia

1η μέρα - 15 Απριλίου 2023 (Μ. Σάββατο)

Πρόβλημα 1.

Έστω n\geqslant 3 θετικοί πραγματικοί αριθμοί a_1,a_2,\ldots 
  ,a_n. Για κάθε 1\leqslant i\leqslant n θέτουμε \displaystyle{b_i =\frac{a_{i-1} 
    + a_{i+1}}{a_i} }(εδώ ορίζουμε το a_0 να είναι το a_n και το a_{n+1} να είναι το a_1). Υποθέτουμε ότι για όλα τα i και j με 1\leqslant  i, j\leqslant n, έχουμε a_i \leqslant a_j αν και μόνο αν b_i \leqslant b_j.

Να αποδείξετε ότι a_1 = a_2 = \cdots = a_n.

Καλά αποτελέσματα στην ομάδα!
Από την συνθήκη έχουμε (b_{i+1}-b_i)(a_{i+1}-a_{i})\geq 0 για i=1,..,n.
Επομένως, \displaystyle \sum_{i=1}^n(b_{i+1}-b_i)(a_{i+1}-a_{i})\geq 0\Leftrightarrow
\displaystyle \Leftrightarrow\sum_{i=1}^nb_{i+1}a_{i+1}-\sum_{i=1}^nb_{i+1}a_i-\sum_{i=1}^nb_ia_{i+1}+\sum_{i=1}^na_ib_i\geq 0
\displaystyle \Leftrightarrow 2\sum_{i=1}^na_i\dfrac{a_{i-1}+a_{i+1}}{a_i}\geq \sum_{i=1}^na_i\dfrac{a_i+a_{i+2}}{a_{i+1}}+\sum_{i=1}^na_{i+1}\dfrac{a_{i-1}+a_{i+1}}{a_i}\Leftrightarrow
\displaystyle \Leftrightarrow 4\sum_{i=1}^n a_i\geq \sum_{i=1}^n \dfrac{a_i^2+a_ia_{i+2}}{a_{i+1}}+\sum_{i=1}^n\dfrac{a_{i+2}^2+a_ia_{i+2}}{a_{i+1}}\Leftrightarrow
\displaystyle \Leftrightarrow 4\sum_{i=1}^n a_i\geq \sum_{i=1}^n \dfrac{(a_i+a_{i+2})^2}{a_{i+1}}\overset{C-S}{\geq 
}\dfrac{4\left (\displaystyle \sum_{i=1}^n a_i \right )^2}{\displaystyle \sum_{i=1}^n a_i}=4\sum_{i=1}^n a_i
άρα το \dfrac{a_i+a_{i+2}}{a_{i+1}} πρέπει να είναι σταθερό (για να έχουμε ισότητα στην C-S), δηλαδή b_1=b_2=..=b_n.
Τώρα αφού b_i\geq b_j και b_j\geq b_i για όλα τα i,j παίρνουμε a_i\geq a_j και a_j\geq a_i για όλα τα i,j και το ζητούμενο έπεται.
τελευταία επεξεργασία από ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ σε Δευ Απρ 17, 2023 11:01 am, έχει επεξεργασθεί 1 φορά συνολικά.


Άβαταρ μέλους
ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ
Δημοσιεύσεις: 922
Εγγραφή: Πέμ Νοέμ 22, 2018 9:43 pm

Re: EGMO 2023

#3

Μη αναγνωσμένη δημοσίευση από ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ » Δευ Απρ 17, 2023 11:01 am

achilleas έγραψε:
Δευ Απρ 17, 2023 9:33 am
Χρόνια Πολλά! Χριστός Ανέστη!

EGMO 2023 - Portoroz, Slovenia

1η μέρα - 15 Απριλίου 2023 (Μ. Σάββατο)


Πρόβλημα 3.

Έστω k ένας θετικός ακέραιος. Η Αλεξία έχει ένα λεξικό \mathcal D που αποτελείται από κάποιες σειρές k γραμμάτων που περιέχουν μόνο τα γράμματα Α και B. Η Αλεξία θα επιθυμούσε να γράψει είτε το γράμμα A είτε το γράμμα Β σε κάθε κελί ενός k \times k πλέγματος έτσι ώστε κάθε στήλη να περιέχει μια σειρά του \mathcal D, όταν διαβαστεί από πάνω προς τα κάτω και κάθε γραμμή να περιέχει μια σειρά του \mathcal D, όταν διαβαστεί από τα αριστερά προς τα δεξιά.

Ποιος είναι ο ελάχιστος ακέραιος m τέτοιος ώστε αν το \mathcal D περιέχει τουλάχιστον m διαφορετικές σειρές, τότε η Αλεξία να μπορεί να συμπληρώσει το πλέγμα της με αυτό τον τρόπο, ανεξάρτητα από τις σειρές που υπάρχουν στο \mathcal D?
Απάντηση : m=2^{k-1}.
Αν m<2^{k-1} παίρνουμε την D να αποτελείται από ακριβώς τις λέξεις που ξεκινούν με A πλην της AA..A
(υπάρχουν 2^{k-1}-1 τέτοιες λέξεις). Τότε όμως η λέξη στην πάνω σειρά του πίνακα περιέχει τουλάχιστον ένα B αλλά δεν υπάρχει λέξη (στο D) που ξενικά με B. Έτσι m\geq 2^{k-1}. Παρατηρούμε ότι αν κάποια εκ των AAA..A και BB..B εμφανίζεται στο D τότε απλά γεμίζουμε τα πλέγμα με A's ή B's. Υποθέτουμε ότι καμία εκ των δύο δεν υπάρχει στο D.
Μπορούμε τώρα κάθε πιθανή λέξη να την ζευγαρώσουμε με την "συζυγή" της που προκύπτει από αυτήν εναλλάσοντας κάθε A σε B και αντίστροφα.
Υπάρχουν 2^{k-1}-1 τέτοια ζεύγη (αγνοούμε το (A..A,B..B) ) και έτσι τουλάχιστον ένα τέτοιο ζεύγος (C,C') θα υπάρχει ολόκληρο στο D.
Τώρα αν για παράδειγμα ήταν C=ABBAA γεμίζουμε τον πίνακα κάπως έτσι,
A,B,B,A,B
B,A,A,B,A
B,A,A,B,A
A,B,B,A,B
B,A,A,B,A
Γενικότερα βάζουμε την λέξη C στην πάνω σειρά και στην πιο αριστερή στήλη και μετά για κάθε επόμενη σειρά βάζουμε την C αν το γράμμα στην πρώτη στήλη είναι το ίδιο με αυτό στην C αλλιώς την C' , είναι απλό να δούμε ότι αυτό αρκεί.


Άβαταρ μέλους
ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ
Δημοσιεύσεις: 922
Εγγραφή: Πέμ Νοέμ 22, 2018 9:43 pm

Re: EGMO 2023

#4

Μη αναγνωσμένη δημοσίευση από ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ » Δευ Απρ 17, 2023 11:10 am

achilleas έγραψε:
Δευ Απρ 17, 2023 9:33 am
Χρόνια Πολλά! Χριστός Ανέστη!


Πρόβλημα 6.

Έστω τρίγωνο ABC με περιγεγραμμένο κύκλο \Omega. Έστω S_b και S_c, αντίστοιχα, τα μέσα των τόξων ΑC και AB τα οποία δεν περιέχουν την τρίτη κορυφή του τριγώνου. Έστω N_a το μέσο του τόξου ΒAC (το τόξο BC που περιέχει το A). Έστω I το έγκεντρο του τριγώνου ABC. Έστω \omega_b ο κύκλος που εφάπτεται στο AB και εφάπτεται εσωτερικά στον \Omega στο S_b, και έστω \omega_c ο κύκλος που εφάπτεται στο AC και εφάπτεται εσωτερικά στον \Omega στο S_c. Να αποδείξετε ότι η ευθεία ΙN_a, και η ευθεία που διέρχεται από τα σημεία τομής των \omega_b και \omega_c, τέμνονται πάνω στον \Omega.

Το έγκεντρο ενός τριγώνου είναι το κέντρο του εγγεγραμμένου κύκλου του, δηλαδή του κύκλου στο εσωτερικό του τριγώνου που εφάπτεται και στις τρεις πλευρές του.
Έστω A' η τομή IN_a με \Omega.
Κατά τα γνωστά A' είναι το σημείο επαφής του \Omega με τον A-μικτεγεγραμμένο (κύκλος \omega στο εξής )
Ορίζουμε B',C' ως σημεία επαφής του \omega με AC,AB.
Τότε S_c,C',A' συνευθειακά και S_b,B',A' το ίδιο, αφού τώρα A'A είναι η A'-συμμετροδιάμεσος στο \Delta A'B'C' παίρνουμε ότι A'S_bAS_c είναι αρμονικό.
Έστω T το σημείο τομής των εφαπτομένων στον \Omega στα S_B,S_C. Αφού A'S_bAS_c αρμονικό θα είναι T\in AC.
Έστω τώρα C_1,B_1 τα σημεία επαφής του \omega_b,\omega_c με τις AB,AC αντίστοιχα.
τότε S_bC' πρέπει να περνά από το μέσο του τόξου AB δηλαδή το S_c και έτσι S_ c,C_1,B_1,S B συνευθειακά.
Τώρα παρατηρούμε ότι αν K,L=(\omega_b)\cap (\omega_c) από ριζικούς άξονες έχουμε T\in KL αλλά επίσης pow(A,\omega_b)=AC_1^2=AB_1^2=pow(A,\omega_c) και έτσι A\in KL
Έχουμε δηλαδή KL\equiv AT και αφού A'\in AT η απόδειξη ολοκληρώνεται.
53.PNG
53.PNG (59.7 KiB) Προβλήθηκε 2543 φορές


Batapan
Δημοσιεύσεις: 26
Εγγραφή: Δευ Νοέμ 07, 2022 3:51 pm
Τοποθεσία: Βελεστίνο

Re: EGMO 2023

#5

Μη αναγνωσμένη δημοσίευση από Batapan » Δευ Απρ 17, 2023 11:25 am

achilleas έγραψε:
Δευ Απρ 17, 2023 9:33 am
Πρόβλημα 2.

Δίνεται ένα οξυγώνιο τρίγωνο ABC. Έστω D το σημείο στον περιγεγραμμένο κύκλο του, τέτοιο ώστε η AD να είναι διάμετρος. Έστω τα σημεία K και L στα τμήματα ΑB και AC, αντίστοιχα, τέτοια ώστε οι DK και DL να είναι εφαπτόμενες στον περιγεγραμμένο κύκλο του τριγώνου AKL.

Να αποδείξετε ότι η ευθεία KL διέρχεται από το ορθόκεντρο του τριγώνου ABC.

Tο ορθόκεντρο ενός τριγώνου είναι το σημείο τομής των υψών του.
έστω M το μέσο του KL. Θα δειξουμε ότι αυτό ταυτίζεται με το ορθόκεντρο του ABC.
Είναι \displaystyle{\displaystyle \angle DBK=\angle DMK=\angle DCL=\angle DML=90^\circ,}
συνεπώς τα BDMK,CDML είναι εγγράψιμα.

Επίσης, \displaystyle{\displaystyle \angle ABM=\angle KDM=90^\circ-\angle DKM=90^\circ-\angle BAC=\angle ABH,} και με όμοιο τρόπο παίρνουμε \displaystyle{\angle ACM=\angle ACH}
Άρα H \equiv M
egmo 2023.png
egmo 2023.png (71.11 KiB) Προβλήθηκε 2535 φορές


Μπατακόγιας Παναγιώτης
Άβαταρ μέλους
george visvikis
Επιμελητής
Δημοσιεύσεις: 14782
Εγγραφή: Παρ Νοέμ 01, 2013 9:35 am

Re: EGMO 2023

#6

Μη αναγνωσμένη δημοσίευση από george visvikis » Δευ Απρ 17, 2023 12:04 pm

achilleas έγραψε:
Δευ Απρ 17, 2023 9:33 am
Χρόνια Πολλά! Χριστός Ανέστη!

EGMO 2023 - Portoroz, Slovenia

1η μέρα - 15 Απριλίου 2023 (Μ. Σάββατο)

Πρόβλημα 2.

Δίνεται ένα οξυγώνιο τρίγωνο ABC. Έστω D το σημείο στον περιγεγραμμένο κύκλο του, τέτοιο ώστε η AD να είναι διάμετρος. Έστω τα σημεία K και L στα τμήματα ΑB και AC, αντίστοιχα, τέτοια ώστε οι DK και DL να είναι εφαπτόμενες στον περιγεγραμμένο κύκλο του τριγώνου AKL.

Να αποδείξετε ότι η ευθεία KL διέρχεται από το ορθόκεντρο του τριγώνου ABC.

Tο ορθόκεντρο ενός τριγώνου είναι το σημείο τομής των υψών του.
Έστω H το σημείο τομής του ύψους AE με την KL.
EGMO 2023.png
EGMO 2023.png (22.57 KiB) Προβλήθηκε 2503 φορές
\displaystyle B\widehat AE = D\widehat AC. Αλλά, η AD η ευθεία της A-συμμετροδιαμέσου του AKL, οπότε H είναι το μέσο του KL,

δηλαδή DH\bot KL. Άρα το HLCD είναι εγγράψιμο, οπότε \displaystyle L\widehat CH = L\widehat DH = 90^\circ  - K\widehat LD = 90^\circ  - \widehat A.

Επομένως, CH\bot AB και το H είναι ορθόκεντρο του ABC.


Τσιαλας Νικολαος
Δημοσιεύσεις: 838
Εγγραφή: Σάβ Ιαν 17, 2015 1:04 pm

Re: EGMO 2023

#7

Μη αναγνωσμένη δημοσίευση από Τσιαλας Νικολαος » Δευ Απρ 17, 2023 1:09 pm

Καλημέρα και κάλη επιτυχία στα κορίτσια μας! Θέλω να ρωτήσω... Αλλαγή ώστε να μπει και τέταρτο κορίτσι στην εθνική μας δεν μπορούσε να γίνει;


thepigod762
Δημοσιεύσεις: 94
Εγγραφή: Σάβ Οκτ 23, 2021 1:02 am
Τοποθεσία: Λάρισα

Re: EGMO 2023

#8

Μη αναγνωσμένη δημοσίευση από thepigod762 » Δευ Απρ 17, 2023 6:27 pm

achilleas έγραψε:
Δευ Απρ 17, 2023 9:33 am
Πρόβλημα 5.

Δίνεται ένας θετικός ακέραιος s \geqslant 2. Για κάθε θετικό ακέραιο k, ορίζουμε τον αντεστραμμένο του k' ως ακολούθως: γράφουμε τον k ως as+b, όπου a, b είναι μη αρνητικοί ακέραιοι και b<s, οπότε k'=bs+a. Για το θετικό ακέραιο n, θεωρούμε την άπειρη ακολουθία d_1, d_2, \ldots όπου d_1 = n και d_{i+1} είναι ο αντεστραμμένος του d_i για κάθε θετικό ακέραιο i.

Να αποδείξετε ότι αυτή η ακολουθία περιέχει το 1 αν και μόνο αν ο n όταν διαιρεθεί με τον s^2-1 αφήνει υπόλοιπο 1 ή s.
Έστω d_1=n=ps+q, q<s, και n \equiv A \pmod{s^2-1}. Τότε
\displaystyle  s^2p+sq=s(ps+q)\equiv As \pmod{s^2-1}, άρα \displaystyle sq+p \equiv As-p(1-s^2)\equiv As \pmod{s^2-1}
είναι το υπόλοιπο του d_2.

Οπότε το υπόλοιπο του d_3 θα είναι το As^2 \equiv A \pmod{s^2-1}.

Δηλαδή θα έχουμε εναλλάξ τα υπόλοιπα A, As.

Επομένως, για το ευθύ, αν η ακολουθία περιέχει το 1, θα είναι A\equiv 1 \pmod{s^2-1} ή As \equiv 1 \equiv s^2 \pmod{s^2-1} \Rightarrow A \equiv s \pmod{s^2-1} (s \geq 2 \Leftrightarrow (s, s^2-1)=1).

Για το αντίστροφο, αρκεί να αποδείξουμε ότι η ακολουθία περιέχει όρους μικρότερους (ή ίσους) του s^2-1. Πράγματι, για d_n=as+b\geq s^2, b<s είναι as\geq s^2-b>s^2-s \Leftrightarrow a>s-1\geq b, οπότε d_n=as+b > bs+a=d_{n-1}, δηλαδή οι όροι μεγαλύτεροι του s^2-1 μειώνονται σταθερά, οπότε από άπειρη κάθοδο έχουμε το αποδεικτέο.


Γιώργος Κοτσάλης
Άβαταρ μέλους
Ορέστης Λιγνός
Δημοσιεύσεις: 1861
Εγγραφή: Κυρ Μάιος 08, 2016 7:19 pm
Τοποθεσία: Χαλάνδρι Αττικής
Επικοινωνία:

Re: EGMO 2023

#9

Μη αναγνωσμένη δημοσίευση από Ορέστης Λιγνός » Τρί Απρ 18, 2023 2:18 pm

achilleas έγραψε:
Δευ Απρ 17, 2023 9:33 am
Πρόβλημα 1.

Έστω n\geqslant 3 θετικοί πραγματικοί αριθμοί a_1,a_2,\ldots 
  ,a_n. Για κάθε 1\leqslant i\leqslant n θέτουμε \displaystyle{b_i =\frac{a_{i-1} 
    + a_{i+1}}{a_i} }(εδώ ορίζουμε το a_0 να είναι το a_n και το a_{n+1} να είναι το a_1). Υποθέτουμε ότι για όλα τα i και j με 1\leqslant  i, j\leqslant n, έχουμε a_i \leqslant a_j αν και μόνο αν b_i \leqslant b_j.

Να αποδείξετε ότι a_1 = a_2 = \cdots = a_n.
Έστω c_i=\dfrac{a_{i+1}}{a_i} για κάθε i, οπότε c_1c_2 \ldots c_n=1. Τότε, b_i=\dfrac{1}{c_{i-1}}+c_i για κάθε i, οπότε από την συνθήκη προκύπτει ότι

(a_{i+1}-a_i)(b_{i+1}-b_i) \geq 0,

δηλαδή ότι

(c_i-1)((\dfrac{1}{c_i}-\dfrac{1}{c_{i-1}})+(c_{i+1}-c_i)) \geq 0, \,\,\, (1).

Ας υποθέσουμε ότι δεν ισχύει το ζητούμενο, οπότε υπάρχει c_i που δεν είναι ίσο με 1. Έστω χωρίς βλάβη της γενικότητας ότι c_2=\min c_i. Τότε, αφού c_1c_2 \ldots c_n=1, πρέπει c_2<1. Με i=2 στην (1) έχουμε ότι η πρώτη παρένθεση είναι αρνητική, και η δεύτερη είναι μη αρνητική, καθώς c_1 \geq c_2 και c_3 \geq c_2.

Συνεπώς, για να ισχύει η συνθήκη πρέπει η δεύτερη παρένθεση να είναι ίση με το μηδέν, και άρα c_1=c_2=c_3. Τώρα, με i=3 στην (1) έχουμε με όμοιο τρόπο ότι c_4=c_3, και συνεχίζοντας προκύπτει ότι όλα τα c_i είναι ίσα μεταξύ τους, και αφού έχουν γινόμενο 1 αυτό σημαίνει ότι c_i=1 για κάθε i, που είναι άτοπο.

Συνεπώς, το ζητούμενο πράγματι ισχύει.


Κερδίζουμε ό,τι τολμούμε!
Άβαταρ μέλους
Ορέστης Λιγνός
Δημοσιεύσεις: 1861
Εγγραφή: Κυρ Μάιος 08, 2016 7:19 pm
Τοποθεσία: Χαλάνδρι Αττικής
Επικοινωνία:

Re: EGMO 2023

#10

Μη αναγνωσμένη δημοσίευση από Ορέστης Λιγνός » Τρί Απρ 18, 2023 2:41 pm

achilleas έγραψε:
Δευ Απρ 17, 2023 9:33 am
Πρόβλημα 4.

O Turbo το σαλιγκάρι βρίσκεται σε ένα σημείο ενός κύκλου με μήκος περιφέρειας 1. Δοθείσας μιας άπειρης ακολουθίας θετικών πραγματικών αριθμών c_1, c_2,c_3, \ldots, ο Turbo σέρνεται διαδοχικά αποστάσεις c_1, c_2, c_3, \ldots γύρω από τον κύκλο, κάθε φορά επιλέγοντας να σέρνεται είτε δεξιόστροφα είτε αριστερόστροφα.

Για παράδειγμα, αν η ακολουθία c_1, 
  c_2, c_3, \ldots είναι η 0.4, 0.6, 0.3, \ldots, τότε ο Turbo μπορεί να ξεκινήσει να σέρνεται ως ακολούθως:
p4figcomma-figure0.png
Να προσδιορίσετε τη μέγιστη σταθερά C > 0 με την παρακάτω ιδιότητα: για κάθε ακολουθία θετικών πραγματικών αριθμών c_1, c_2, c_3, \ldots με c_i < C για όλα τα i, o Turbo (αφού μελετήσει την ακολουθία) μπορεί να εξασφαλίσει ότι υπάρχει κάποιο σημείο στον κύκλο το οποίο δε θα επισκεφτεί ποτέ ή δε θα συρθεί πάνω από αυτό.
Αντικαθιστούμε το όνομα Turbo με το όνομα Γκάρι το Σαλιγκάρι. Θα αποδείξουμε ότι η απάντηση είναι C_{\rm max}=\dfrac{1}{2}.

Μέρος 1: Η σταθερά C=\dfrac{1}{2} ικανοποιεί τη συνθήκη. Πράγματι, ξεκινώντας από ένα σημείο Α, o Γκάρι το Σαλιγκάρι μπορεί να εξασφαλίσει ότι δεν θα επισκεφτεί ποτέ το αντιδιαμετρικό σημείο του A, έστω A'. Για να το πετύχει αυτό, αρκεί σε κάθε κίνηση να επιλέγει την φορά κίνησης προς την οποία είναι πιο μακριά από το σημείο A'. Αφού c_i<\dfrac{1}{2} για κάθε i και η απόσταση που πρέπει να διανύει σε μία κίνηση για να φτάσει στο σημείο A' είναι \geq \dfrac{1}{2}, δεν θα το επισκεφτεί ποτέ.

Μέρος 2: Αν C>\dfrac{1}{2}, τότε ο Γκάρι το Σαλιγκάρι δεν μπορεί να πετύχει τον στόχο του. Πράγματι, έστω η ακολουθία (c_n) με c_{2n+1}=\dfrac{C}{2}+\dfrac{1}{4} και c_{2n+2}=\dfrac{1}{2}.

Για αυτήν την ακολουθία είναι προφανές ότι \dfrac{1}{2} \leq c_n<C για κάθε θετικό ακέραιο n.

Αν υποθέσουμε ότι ο Γκάρι το Σαλιγκάρι μπορεί να πετύχει τον στόχο του. Τότε, πρέπει να κινείται εναλλάξ αριστερόστροφα-δεξιόστροφα, γιατί σε αντίθετη περίπτωση η μετατόπισή της θέσης του από ένα σημείο P θα είναι \geq \dfrac{1}{2}+(\dfrac{C}{2}+\dfrac{1}{4})>1, πράγμα άτοπο.

Ας υποθέσουμε χωρίς βλάβη της γενικότητας ότι στην πρώτη του κίνηση κινείται δεξιόστροφα. Τότε, μετά από 2n κινήσεις, θα βρίσκεται σε απόσταση n((\dfrac{C}{2}+\dfrac{1}{4})-\dfrac{1}{2})=\dfrac{n(2C-1)}{4}, επομένως αν πάρουμε έναν θετικό ακέραιο n αρκετά μεγάλο ώστε n>\dfrac{4}{2C-1}, τότε η συνολική απόσταση είναι >1, δηλαδή ο Γκάρι το Σαλιγκάρι έχει καλύψει ολόκληρο τον κύκλο, άτοπο.


Κερδίζουμε ό,τι τολμούμε!
miltosk
Δημοσιεύσεις: 113
Εγγραφή: Τετ Μάιος 29, 2019 7:28 pm

Re: EGMO 2023

#11

Μη αναγνωσμένη δημοσίευση από miltosk » Τετ Απρ 19, 2023 8:27 pm

achilleas έγραψε:
Δευ Απρ 17, 2023 9:33 am
Χρόνια Πολλά! Χριστός Ανέστη!


Πρόβλημα 1.

Έστω n\geqslant 3 θετικοί πραγματικοί αριθμοί a_1,a_2,\ldots 
  ,a_n. Για κάθε 1\leqslant i\leqslant n θέτουμε \displaystyle{b_i =\frac{a_{i-1} 
    + a_{i+1}}{a_i} }(εδώ ορίζουμε το a_0 να είναι το a_n και το a_{n+1} να είναι το a_1). Υποθέτουμε ότι για όλα τα i και j με 1\leqslant  i, j\leqslant n, έχουμε a_i \leqslant a_j αν και μόνο αν b_i \leqslant b_j.

Να αποδείξετε ότι a_1 = a_2 = \cdots = a_n.
Έστω a_{k_1} \leq a_{k_2} \leq a_{k_3} \leq ...\leq a_{k_n}. Η συνθήκη δίνει:
b_{k_1} \leq b_{k_2} \leq b_{k_3} \leq ...\leq b_{k_n}.
Από ανισότητα Chebyshev:
 n\sum_{n}^{i=1}a_{k_i}b_{k_i} \geq (\sum_{n}^{i=1}a_{k_i})(\sum_{n}^{i=1}b_{k_i})
Αλλά: \sum_{n}^{i=1}a_{k_i}b_{k_i}=\sum_{n}^{i=1}(a_{k_i-1}+a_{k_i-1})=2\cdot \sum_{n}^{i=1}a_{k_i}=2\cdot \sum_{n}^{i=1}a_i
Άρα: \sum_{n}^{i=1}b_{k_i} \leq 2n, (2)
Από Cauchy: b_i \geq 2\sqrt{\frac{a_{i+1}a_{i-1}}{a_i^2}} \Rightarrow \sum_{n}^{i=1}b_{k_i} \geq (\prod_{i=1}^{n}b_i)^{\frac{1}{n}} \geq 2n, (3).
Από (2), (3) \Rightarrow b_i ίσα. Αλλά για να ισχύει η ισότητα στη (2) και αφού τα b_i ίσα θα έχουμε a_i ίσα.


Απάντηση

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

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

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