IMO 2013-Πρόβλημα 3

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

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

IMO 2013-Πρόβλημα 3

#1

Μη αναγνωσμένη δημοσίευση από achilleas » Τρί Ιούλ 23, 2013 11:16 pm

Έστω τρίγωνο \triangle ABC κι έστωσαν A_1,B_1,C_1 τα σημεία επαφής των παραγεγραμμένων κύκλων του με τις πλευρές BC,AC, και AB, αντίστοιχα. Να δειχθεί ότι αν το περίκεντρο του \triangle A_1B_1C_1 βρίσκεται στον περιγεγραμμένο κύκλο του \triangle ABC, τότε το τρίγωνο \triangle ABC είναι ορθογώνιο.

(Ρωσία)
τελευταία επεξεργασία από achilleas σε Πέμ Ιούλ 25, 2013 8:25 pm, έχει επεξεργασθεί 1 φορά συνολικά.


Tolis97
Δημοσιεύσεις: 69
Εγγραφή: Παρ Ιουν 29, 2012 10:03 pm

Re: IMO 2013-Πρόβλημα 3

#2

Μη αναγνωσμένη δημοσίευση από Tolis97 » Τετ Ιούλ 24, 2013 6:21 pm

Πρώτα θα αποδείξουμε ένα λήμμα και μετά θα παρουσιάσουμε την απόδειξη της άσκησης.

Λήμμα: Έστω ABC και A'B'C' 2 τρίγωνα με BC = B'C', AB = A'B' και \angle BCA = \angle B'C'A'. Άμα BAC, B'A'C' < 90 θα είναι \triangle ABC = \triangle A'B'C'.

Αφού BC = B'C' τοποθετούμε τα B', C' έτσι ώστε να συμπίπτουν με τα B, C αντίστοιχα! Αρκεί να δείξουμε πως A \equiv A'. Τώρα θεωρούμε την ημιευθεία Cx τέτοια ώστε \angle BCx = \angle BCA = \angle B'C'A' και τον κύκλο K(B,BA). Τα A, A' θα είναι τα σημεία τομής του K με την Cx. Άμα είναι AB \geq BC υπάρχει μόνο ένα σημείο τομής άρα αυτό θα συμπίπτει με τα A, A' και συνεπώς A \equiv A'. Άμα AB < BC τότε τα σημεία τομής είναι 2, έστω A_1, A_2 και \angle BA_1C = \dfrac{180-\angle A_1BA_2}{2} < 90, \angle BA_2C = \dfrac{180+\angle A_1BA_2}{2} > 90, άρα θα είναι A \equiv A' \equiv A_2. Συνεπώς σε κάθε περίπτωση \triangle ABC = \triangle A'B'C'.

Πίσω στο πρόβλημα μας τώρα. Είναι BC_1 = B_1C = \tau - \alpha, \angle BC_1O = \angle ABO = \angle ACO = \angle B_1CO < 90, OC_1 = OB_1 και τέλος \angle BOC_1 < \angle BOA < 90, \angle COB_1 < \angle COA < 90, άρα σύμφωνα με το Λήμμα θα είναι \triangle OC_1B = \triangle OB_1C. Άρα \angle BC_1O = \angle CB_1O \Rightarrow \angle AC_1O = \angle AB_1O \Rightarrow AC_1B_1O εγγράψιμο, συνεπώς \angle C_1AB_1 = \angle C_1OB + \angle BOB_1 = \angle BOB_1 = \angle BOC = 90 \Rightarrow \angle BAC = 90. Άρα το \triangle ABC είναι ορθογώνιο!


Παρατήρηση: Το O είναι το μέσο του τόξου BAC.

Edit: Τελικά στο τέλος της απόδειξης υπάρχει λάθος σύμφωνα με την υπόδειξη του Αργύρη πιο κάτω...
τελευταία επεξεργασία από Tolis97 σε Τετ Ιούλ 24, 2013 6:47 pm, έχει επεξεργασθεί 1 φορά συνολικά.


ArgirisM
Δημοσιεύσεις: 224
Εγγραφή: Δευ Απρ 16, 2012 10:38 pm

Re: IMO 2013-Πρόβλημα 3

#3

Μη αναγνωσμένη δημοσίευση από ArgirisM » Τετ Ιούλ 24, 2013 6:37 pm

Μία απορία, από που προκύπτει ότι \hat{BOC} = 90^0;
Θα προσθέσω και τη δική μου (ημιτελή) λύση. Αφαίρεσα κάτι που είχα αναρτήσει το πρωί καθώς ήταν σε τελείως λάθος κατεύθυνση. Πάμε τώρα στη λύση, η οποία στηρίζεται στην παρατήρηση για το μέσον.
Έστω ότι το τρίγωνο A_1B_1C_1 είναι οξυγώνιο ή ορθογώνιο. Τότε το περίκεντρό του O θα βρίσκεται είτε στο εσωτερικό του, είτε στις πλευρές του, οπότε αποκλείεται να είναι στον περιγεγραμμένο κύκλο του ABC, αφού θα είναι στο εσωτερικό του. Άρα το A_1B_1C_1 είναι αμβλυγώνιο. Έστω λοιπόν \hat{A_1} η αμβλεία γωνία. Τότε το O θα είναι στο ίδιο ημιεπίπεδο ως προς τη B_1C_1 με την A.
Έστω M το μέσον της I_BI_C. Αυτό θα βρίσκεται επίσης στον περιγεγραμμένο κύκλο του ABC, αφού αυτός αποτελεί τον κύκλο του Euler του I_AI_BI_C. Θα είναι δε \hat{A} = \hat{BOC} = \hat{BMC} (1), ως εγγεγραμμένες γωνίες του κύκλου, βαίνουσες στο ίδιο τόξο. Ακόμη είναι \hat{I_BBI_C} = \hat{I_CCI_B} = 90^0, καθώς το ABC είναι το ορθικό τρίγωνο του I_AI_BI_C. Επομένως θα έχουμε MB = MC = \frac{I_BI_C}{2} αφού το M αποτελεί το μέσον της (κοινής) υποτείνουσας των ορθογωνίων τριγώνων I_BBI_C, I_CCI_B. Επίσης ισχύει BI_C = CI_B = \tau - \alpha (3) (κατά τα γνωστά) και \hat{ABM} = \hat{ACM}(4), από το εγγεγραμμένο τετράπλευρο AMCB. Από τις τρεις προηγούμενες σχέσεις προκύπτει ότι ABM = ACM (Π - Γ - Π), οπότε MB_1 = MC_1 (5) και \hat{BMC_1} = \hat{CMB_1} (6). Άρα το M, όπως και το O, ανήκει στη μεσοκάθετο του B_1C_1, και αφού η B_1C_1 φαίνεται υπό την ίδια γωνία από αυτά τα δύο σημεία, τα οποία βρίσκονται στο ίδιο ημιεπίπεδο ως προς τη B_1C_1, θα πρέπει τα O και M να ταυτίζονται.
Τώρα, έχουμε \hat{BOC_1} = \hat{B_1MC} = \hat{BOC_1} = \hat{BMC_1} (από την (6) και δεδομένου ότι τελικά τα δύο σημεία ταυτίζονται). Έτσι προκύπτει ότι \hat{A} = \hat{BOC} = \hat{BOB_1} + \hat{B_1OC} = \hat{BOB_1} + \hat{BOC_1} = \hat{B_1OC_1} (7). Άρα το τετράπλευρο AOB_1C_1 είναι εγγράψιμο.
Το δεδομένο με την ορθή γωνία είναι το μόνο που μου λείπει για να ολοκληρώσω τη λύση. Πώς προκύπτει λοιπόν :? ;
Συνημμένα
IMO γεωμετρία 2.ggb
(5.19 KiB) Μεταφορτώθηκε 69 φορές


Αν κάτι μπορεί να πάει στραβά, θα πάει!
Νόμος του Μέρφυ
Grigoris K.
Δημοσιεύσεις: 926
Εγγραφή: Κυρ Μαρ 27, 2011 8:12 pm

Re: IMO 2013-Πρόβλημα 3

#4

Μη αναγνωσμένη δημοσίευση από Grigoris K. » Τετ Ιούλ 24, 2013 11:52 pm

Ωραίο πρόβλημα. Το πρώτο κύριο βήμα είναι να αποδειχθεί ότι το τετράπλευρο \displaystyle{ AOB_1C_1 } είναι εγγράψιμο.
Έπειτα η απόδειξη ολοκληρώνεται με ποικίλους τρόπους. Δείτε εδώ.


Antonis_Z
Δημοσιεύσεις: 522
Εγγραφή: Δευ Σεπ 05, 2011 12:07 am

Re: IMO 2013-Πρόβλημα 3

#5

Μη αναγνωσμένη δημοσίευση από Antonis_Z » Πέμ Ιούλ 25, 2013 2:01 am

Καλησπέρα.Δεν ξέρω αν είναι όντως δύσκολο το πρόβλημα,αλλά εμένα με παίδεψε αρκετά.
Γράφω μερικές σκέψεις(τη λύση μου δηλαδή)και βλέπουμε...

Θα χρησιμοποιήσω το παρακάτω λήμμα.
Λήμμα:Έστωσαν τρίγωνο \vartriangle ABC και AD,BE,CZ τα ύψη του.Αν A',B' οι προβολές των A,B στις ZE,DZ αντίστοιχα και M το μέσο της AB,τότε ισχύει ότι MB'=MA'

Απόδειξη:Δείχνω ότι ισχύει MB^2+BB'^2-2MB\cdot BB'sinC=MB^2+AA'^2-2AA'\cdot MAsinC και έτσι από το ν.συνημιτόνων στα τρίγωνα BMB',MA'A θα έχουμε το ζητούμενο.
Πράγματι,αφού AA'=ZAsinC,BB'=ZBsinC,MA=MB η αποδεικτέα είναι ισοδύναμη με ZB^2-2MB\cdot ZB=ZA^2-2ZA\cdot MA,η οποία είναι-σχεδόν-προφανής...

Γυρνάμε στο πρόβλημα.Έστω ότι η μεγαλύτερη γωνία είναι η \widehat A>\widehat B>\widehat C.
Θεωρώ D το μέσο του τμήματος I_CI_B το οποίο συμπίπτει με το μέσο του τόξου BC(που περιέχει το Α).Από το λήμμα-για το τρίγωνο I_AI_BI_C-η μεσοκάθετος του τμήματος B_1C_1 κόβει τον κύκλο στο D και σ'ένα άλλο σημείο K.Εφόσον το περίκεντρο του A_1B_1C_1\in στον κύκλο,θα ταυτίζεται ή με το D ή με το K.Ομοίως,η μεσοκάθετος του A_1C_1 θα κόβει τον κύκλο στο αντίστοιχο μέσο του I_CI_A και σ'ένα άλλο σημείο,το οποίο θα είναι \neq K,γιατί το K βρίσκεται στο ίδιο ημιεπίπεδο με το μέσο του I_AI_C ως προς την A_1C_1.Το άλλο αυτό σημείο οφείλει να είναι το D,αφού τα μέσα των I_BI_C,I_AI_C δεν ταυτίζονται!
Άρα το περίκεντρο του A_1B_1C_1 είναι το D.
Κάνουμε ένα μικρό angle-chasing και ύστερα εφαρμόζουμε το ν.συνημιτόνων στα τρίγωνα ADB_1,CDA_1.
DA_1=DB_1.
DA_1^2=DC^2+CA_1^2-2DC\cdot DAcos(90-\frac{A}{2})=DB_1^2=DA^2+AB_1^2-2DA\cdot AB_1cos(90-\frac{A}{2}) ή DA_1^2=DC^2+CA_1^2-2DC\cdot CA_1sin(\frac{A}{2})=DB_1^2=DA^2+AB_1^2-2DA\cdot AB_1sin(\frac{A}{2}).
Όμως CA_1=t-b,AB_1=t-c(t η ημιπερίμετρος),άρα η σχέση αυτή γράφεται a(b-c)+DC^2-2DC\cdot (t-b)sin(\frac{A}{2})=DA^2-2DA\cdot (t-c)sin(\frac{A}{2}).
Ισχύει επίσης DA=2Rsin\frac{B-C}{2},DC=2Rcos\frac{A}{2},t-b=R(sinA+sinC-sinB),t-c=R(sinA+sinB-sinC),a(c-b)=4R^2sinA(sinC-sinB),άρα η τελευταία γίνεται:
sinA(sinC-sinB)+cos^2\frac{A}{2}-cos\frac{A}{2}(sinA+sinC-sinB)sin\frac{A}{2}=sin^2\frac{B-C}{2}-sin\frac{B-C}{2}(sinA+sinB-sinC)sin\frac{A}{2}.

Τώρα,παρατηρώ ότι cos^2\frac{A}{2}-sin^2\frac{B-C}{2}=sinC\cdot sinB και ότι 2sin\frac{B-C}{2}\cdot sin\frac{A}{2}=sinB-sinC.Απ'αυτά,η σχέση μας-μετά από πολ/μο-με το 2-γράφεται

2sinA(sinC-sinB)+2sinB\cdot sinC-sinA(sinA+sinC-sinB)=(sinC-sinB)(sinA+sinB-sinC) ,η οποία με πράξεις καταλήγει στην
sin^2A=sin^2B+sin^2C,δηλαδή το τρίγωνο είναι ορθογώνιο.

(πιο πολύ ώρα μου πήρε να τη γράψω παρά να τη σκεφτώ :P )


Αντώνης Ζητρίδης
nickthegreek
Δημοσιεύσεις: 413
Εγγραφή: Δευ Μαρ 01, 2010 2:07 pm

Re: IMO 2013-Πρόβλημα 3

#6

Μη αναγνωσμένη δημοσίευση από nickthegreek » Παρ Ιούλ 26, 2013 12:39 am

Εναλλακτικά (και ελπίζοντας να μην λέω ασυναρτησίες γιατί έχω πολύ καιρό να ασχοληθώ με γεωμετρία :oops: ) :

Βρίσκουμε ότι το O είναι το μέσο του τόξου BC και επίσης ότι είναι το κέντρο του κύκλου που περνάει από τα σημεία B,C,I_b,I_c
Στο τρίγωνο A C_1 O και στο τρίγωνο A_1 OC εφαρμόζουμε θεώρημα ημιτόνων και επειδή AC_1=CA_1 προκύπτει ότι τα τρίγωνα I_c C_1 O, C O A_1 είναι ίσα. Από εδώ προκύπτει ότι I_c C_1=C_1 A οπότε και η γωνία A είναι ορθή.


Φιλικά,
Νίκος


Νίκος Αθανασίου
Μεταδιδακτορικός ερευνητής, τμήμα μαθηματικών- Πανεπιστήμιο Κρήτης
Απάντηση

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

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

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