Συμμετροδιάμεσος και εφαπτόμενοι κύκλοι!

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

Dimessi
Δημοσιεύσεις: 82
Εγγραφή: Κυρ Δεκ 10, 2023 3:48 pm

Συμμετροδιάμεσος και εφαπτόμενοι κύκλοι!

#1

Μη αναγνωσμένη δημοσίευση από Dimessi » Τετ Δεκ 20, 2023 7:19 pm

Δίνεται τρίγωνο ABC με εσωτερική διχοτόμο AD\left ( D\in BC \right ). Η κάθετη από το D στην BC τέμνει την εξωτερική διχοτόμο της γωνίας \angle BAC στο σημείο I και ο κύκλος κέντρου I και ακτίνας ID τέμνει τις πλευρές AB,AC στα σημεία E,F αντίστοιχα. Αν η ευθεία της A- συμμετροδιαμέσου του τριγώνου AEF επανατέμνει τον περιγεγραμμένο κύκλο του στο σημείο X, να αποδείξετε ότι οι περιγεγραμμένοι κύκλοι των τριγώνων AEF και BXC εφάπτονται.



Λέξεις Κλειδιά:
Άβαταρ μέλους
Doloros
Επιμελητής
Δημοσιεύσεις: 9873
Εγγραφή: Τρί Αύγ 07, 2012 4:09 am
Τοποθεσία: Ιεράπετρα Κρήτης

Re: Συμμετροδιάμεσος και εφαπτόμενοι κύκλοι!

#2

Μη αναγνωσμένη δημοσίευση από Doloros » Πέμ Δεκ 21, 2023 2:23 am

Dimessi έγραψε:
Τετ Δεκ 20, 2023 7:19 pm
Δίνεται τρίγωνο ABC με εσωτερική διχοτόμο AD\left ( D\in BC \right ). Η κάθετη από το D στην BC τέμνει την εξωτερική διχοτόμο της γωνίας \angle BAC στο σημείο I και ο κύκλος κέντρου I και ακτίνας ID τέμνει τις πλευρές AB,AC στα σημεία E,F αντίστοιχα. Αν η ευθεία της A- συμμετροδιαμέσου του τριγώνου AEF επανατέμνει τον περιγεγραμμένο κύκλο του στο σημείο X, να αποδείξετε ότι οι περιγεγραμμένοι κύκλοι των τριγώνων AEF και BXC εφάπτονται.
Μια άποψη)( όχι λύση )

Αντιστρέφω τον κύκλο \left( {A,E,F} \right) ( μπλε) με πόλο το A και δύναμη αντιστροφής \lambda  = DI και προκύπτει η ευθεία g.

Αντιστρέφω τον κύκλο \left( {B,X,C} \right) με ίδιο πόλο και ίδια δύναμη και προκύπτει ο κύκλος K ( λαχανί επιφάνεια) .
Συμμετροδιάμεσος και εφαπτόμενοι κύκλοι.png
Συμμετροδιάμεσος και εφαπτόμενοι κύκλοι.png (64.49 KiB) Προβλήθηκε 769 φορές
Το αντίστροφο του X είναι το Y , σημείο επαφής της g με τον \left( K \right) , οπότε οι κύκλοι : \left( {A,E,F} \right)\,\,\kappa \alpha \iota \,\,\left( {B,X,C} \right) εφάπτονται στο σημείο X.
Συνημμένα
Συμμετροδιάμεσος και εφαπτόμενοι κύκλοι.ggb
(39.71 KiB) Μεταφορτώθηκε 15 φορές


Dimessi
Δημοσιεύσεις: 82
Εγγραφή: Κυρ Δεκ 10, 2023 3:48 pm

Re: Συμμετροδιάμεσος και εφαπτόμενοι κύκλοι!

#3

Μη αναγνωσμένη δημοσίευση από Dimessi » Πέμ Δεκ 21, 2023 4:08 pm

Έξυπνες σκέψεις! Μέχρι να δοθεί η λύση (αλλιώς θα βάλω τη δική μου αν μείνει αναπάντητη για πολύ καιρό), προσθέτω ένα επιπλέον ερώτημα:
Αν L το μέσο του μεγάλου τόξου \overset\frown {BC} του περιγεγραμμένου κύκλου του τριγώνου ABC, να αποδείξετε ότι η ευθεία LX περνάει από το περίκεντρο του τριγώνου AEF.


Άβαταρ μέλους
Doloros
Επιμελητής
Δημοσιεύσεις: 9873
Εγγραφή: Τρί Αύγ 07, 2012 4:09 am
Τοποθεσία: Ιεράπετρα Κρήτης

Re: Συμμετροδιάμεσος και εφαπτόμενοι κύκλοι!

#4

Μη αναγνωσμένη δημοσίευση από Doloros » Πέμ Δεκ 21, 2023 7:39 pm

Dimessi έγραψε:
Πέμ Δεκ 21, 2023 4:08 pm
Έξυπνες σκέψεις! Μέχρι να δοθεί η λύση (αλλιώς θα βάλω τη δική μου αν μείνει αναπάντητη για πολύ καιρό), προσθέτω ένα επιπλέον ερώτημα:
Αν L το μέσο του μεγάλου τόξου \overset\frown {BC} του περιγεγραμμένου κύκλου του τριγώνου ABC, να αποδείξετε ότι η ευθεία LX περνάει από το περίκεντρο του τριγώνου AEF.
Από τον «αυτόματο πιλότο»
Συμμετροδιάμεσος και εφαπτόμενοι κύκλοι_extra.png
Συμμετροδιάμεσος και εφαπτόμενοι κύκλοι_extra.png (89.68 KiB) Προβλήθηκε 640 φορές
Το τρίγωνο ABC που επέλεξα, έχει αμβλεία την γωνία του στο A. Το L είναι μέσο του «βορείου» μεν αλλά μικρού , τόξου BC.

Επί πλέον: τα τέσσερα σημεία : L,\,\,I,\,\,A\,\,\kappa \alpha \iota \,\,K ανήκουν στην ίδια ευθεία .


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

Re: Συμμετροδιάμεσος και εφαπτόμενοι κύκλοι!

#5

Μη αναγνωσμένη δημοσίευση από thepigod762 » Δευ Δεκ 25, 2023 9:57 am

Πρώτο σκέλος: το X, το κέντρο L του κύκλου (AEF) και το μέσο M του τόξου BAC είναι συνευθειακά.

Αν Q η τομή των κάθετων στις IE, IF ευθειών που άγονται από τα E, F αντίστοιχα τότε \angle IEQ = \angle QAI = \angle IFQ = 90^{o}, απ' όπου τα τετράπλευρα IAEQ, IFQA είναι εγγράψιμα, και τα I, A, E, F, Q είναι ομοκυκλικά στον κύκλο διαμέτρου IQ.

BC \perp ID και κύκλος (ADI) έχει κέντρο το μέσο της DI (αφού \angle DAI = 90^{o}), άρα εφάπτεται της BC στο D, όπως και ο (FDE), οπότε ο ριζικός τους άξονας είναι η BC. Για την τριάδα (ADI), (AEF), (FDE), έχουμε ότι οι ανά δύο ριζικοί τους άξονες συντρέχουν, άρα οι AI, EF, BC συντρέχουν, έστω στο P.

Θα αποδείξουμε ότι και οι ευθείες AI, EF, XQ συντρέχουν (στο P).

Ας είναι G η τομή των εφαπτομένων του (AEF) στα E, F. Προφανώς οι AX, IQ διέρχονται από το G.
Έστω επίσης R=AE\cap IF, S=EX \cap FQ, K=EQ \cap XF.
Από θεώρημα Pascal για το XAEQIF τα G, R, K είναι συνευθειακά. Από Pascal για το EEXFFQ τα G, S, K είναι συνευθειακά.
Επομένως τα G, S, R είναι συνευθειακά, άρα τα τρίγωνα XEA, FQI είναι προοπτικά (ως προς άξονα).
Άρα οι AI, EF, XQ συντρέχουν, όπως θέλαμε.
geogebra-export (4).png
Πρώτο_σκέλος
geogebra-export (4).png (799.11 KiB) Προβλήθηκε 538 φορές
Έστω τώρα N=QI \cap EF.
Επειδή PN \equiv EF \perp GQI στο τρίγωνο PIQ τα ύψη PN, IX, QA συντρέχουν. Από θεώρημα Ceva: \dfrac{PX}{XQ}\dfrac{NQ}{NI}\dfrac{IA}{AP}=1: (1)

Έστω T το μέσο της BC, U=MT \cap (ABC) και V η προβολή του A πάνω στην BC. Προφανώς MT \perp BC και το U βρίσκεται πάνω στην AQ. Επίσης η AI διέρχεται από το M.

Από την ομοιότητα των AVD, DUT και θεώρημα θαλή με παράλληλες τις AV, ID, MT και τέμνουσες τις VDT, AIM λαμβάνουμε: \dfrac{AV}{TU}=\dfrac{VD}{DT} = \dfrac{AI}{IM} \Rightarrow AV = \dfrac{AI\cdot TU}{IM}: (2)

Από την ομοιότητα των PAV, PMT λαμβάνουμε: \dfrac{AV}{TM} =\dfrac{AP}{PM} \overset{(2)}{\Rightarrow} \dfrac{\frac{AI\cdot TU}{IM}}{TM} =\dfrac{AP}{PM}, ή \dfrac{TU}{TM}\dfrac{IA}{AP}=\dfrac{MI}{PM}: (3)

Επειδή \angle QIF = \angle QAF = \angle UAC = \angle UMC, τα ορθογώνια τρίγωνα IQF, MUC είναι όμοια (με FN, CT ομόλογα ύψη) και συνεπώς: \dfrac{NQ}{NI} = \dfrac{TU}{TM} \overset{(3)}{\Rightarrow} \dfrac{NQ}{NI}\dfrac{IA}{AP}=\dfrac{MI}{PM}.

Η τελευταία λόγω της (1) δίνει: \dfrac{PX}{XQ}\dfrac{MI}{PM}=1 \overset{IL=LQ}{\Rightarrow} \dfrac{PX}{XQ} \dfrac{LQ}{LI}\dfrac{MI}{PM}=1.

Επομένως, από αντίστρορφο του θεωρήματος Μενελάου στο τρίγωνο IQP, παίρνουμε X, L, M συνευθειακά.

Δεύτερο σκέλος: το M είναι το κέντρο του κύκλου (BXC).

Έστω H=AN \cap XQ και W = XL\cap (FED).

Παρατηρούμε ότι \angle IAW = \dfrac{\angle ILW}{2} = \dfrac{\angle XLQ}{2} = \angle XAQ = \angle QAH , άρα:

\angle QXM = \angle QXW = \angle QAW= \angle QAH + \angle HAW = \angle IAW + \angle HAW = \angle IAH = \angle MAH, οπότε το MAXH είναι εγγράψιμο.

Έχουμε τώρα
\angle MAX = \angle MAF + \angle FAX = \angle BAP + \angle HAE = \angle HAP = 180^{o} - \angle MAH = 180^{o} - \angle MXH , άρα:

\angle MHX = 180^{o}-\angle MAX = \angle MXH, οπότε MX = MH.

Επίσης από δύναμη σημείου: PX \cdot PH = PA \cdot PM = PB \cdot PC, άρα τα B, C, X, H είναι ομοκυκλικά.

Επειδή προφανώς και MA = MB, το M (ως τομή των μεσοκαθέτων των τμημάτων XH, AB) είναι το κέντρο του παραπάνω κύκλου.
geogebra-export (6).png
Δεύτερο_σκέλος
geogebra-export (6).png (716.8 KiB) Προβλήθηκε 538 φορές
d_{(CBX)-(AEF)}=LM = MX-LX=R_{(CBX)}-R_{(AEF)} οπότε οι κύκλοι εφάπτονται (εσωτερικά) στο X.


Γιώργος Κοτσάλης
Dimessi
Δημοσιεύσεις: 82
Εγγραφή: Κυρ Δεκ 10, 2023 3:48 pm

Re: Συμμετροδιάμεσος και εφαπτόμενοι κύκλοι!

#6

Μη αναγνωσμένη δημοσίευση από Dimessi » Τρί Δεκ 26, 2023 1:24 pm

Βάζω και τη δική μου λύση. :) Γιώργο, σ ευχαριστώ! 1ο σκέλος-αρχικό πρόβλημα.
Έχουμε \displaystyle \frac{AI}{\sin \angle AEI}=\frac{EI}{\sin \angle EAI}=\frac{IF}{\sin (180^\circ-\angle EAI)}=\frac{IF}{\sin \angle IAF}=\frac{AI}{\sin \angle AFI} και αφού \angle AEI+\angle AFI< 180^\circ, έχουμε \angle AEI=\angle AFI, άρα το τετράπλευρο AEFI είναι εγγράψιμο. Έστω Q\equiv AD\cap EF. Το τετράπλευρο AEXF είναι αρμονικό, άρα \displaystyle \frac{\sin \angle EIX}{\sin \angle FIX}\overset{EIFX\epsilon \gamma \gamma \varrho \alpha \psi \iota \mu o}=\frac{\sin \angle EFX}{\sin \angle FEX}=\frac{XE}{FX}=\frac{AE}{AF}\overset{\theta .\delta \iota \chi o\tau o\mu o\upsilon AEF}=\frac{QE}{QF}\overset{IE=IF}=\frac{\sin \angle EIQ}{\sin \angle FIQ}, άρα τα σημεία I,Q,X είναι συνευθειακά. Θεωρούμε το μέσο N του EF και ως γνωστό, η ευθεία IN διέρχεται από το αντιδιαμετρικό Y του I ως προς τον περιγεγραμμένο κύκλο του εγγράψιμου τετραπλεύρου AEFI (αφού IE=IF).
Είναι \angle INQ\overset{IE=IF }=90^\circ=\angle IAD\equiv \angle IAQ, άρα το τετράπλευρο AINQ είναι εγγράψιμο. Επιπλέον \angle QXY\overset{Q\in IX}\equiv \angle IXY\overset{IY\delta \iota \alpha \mu \epsilon \tau \rho o\varsigma \left ( AEF \right )}=90^\circ=\angle QNY, άρα το τετράπλευρο QNYX είναι εγγράψιμο. Οι ευθείες NQ,AI,XY συντρέχουν στο ριζικό κέντρο των κύκλων \left ( AINQ \right ),\left ( QNYX \right ),\left ( AIYX \right ), έστω V. Η AQ είναι εσωτερική διχοτόμος στο τρίγωνο AEF και η AV εξωτερική, άρα η δέσμη A.FQEV είναι αρμονική, επομένως το V είναι το αρμονικό συζυγές του Q ως προς τα E,F και ταυτίζεται με το αρμονικό συζυγές του D ως προς τα B,C, άρα τα σημεία V,B,C είναι συνευθειακά. Αφού \angle IXV=180^\circ-\angle IXY=90^\circ=\angle INV=\angle IDV, τα σημεία I,N,D,X,V είναι ομοκυκλικά, άρα \displaystyle \angle BDX\overset{V\in BC}\equiv \angle VDX\overset{VIDX\epsilon \gamma \gamma \varrho \alpha \psi \iota \mu o}=\angle VIX\overset{V\in AI}\equiv \angle AIX\overset{AEXI\epsilon \gamma \gamma \varrho \alpha \psi \iota \mu o}=\angle BEX, άρα το τετράπλευρο BEDX είναι εγγράψιμο και συνεπώς το X είναι το σημείο Miquel του τριγώνου ABC ως προς τα σημεία E,D,F, άρα το τετράπλευρο FDXC είναι εγγράψιμο. Επομένως \boxed{\angle DFX=\angle DCX}\left ( 1 \right ) και \boxed{\angle EXB=\angle EDB}\left ( 2 \right ) και αφού το I είναι το κέντρο του κύκλου \left ( EDF \right ) και ID\perp BD, η BD εφάπτεται του περιγεγραμμένου κύκλου του τριγώνου EDF, άρα \angle EDB\overset{\chi o\varrho \delta \eta \varsigma -\epsilon \varphi \alpha \pi \tau o\mu \epsilon \nu \eta \varsigma }=\angle EFD\overset{\left ( 2 \right )}\Rightarrow \boxed{\angle EXB=\angle EFD}\left ( 3 \right ). Φέρνουμε την εφαπτομένη στο X του περιγεγραμμένου κύκλου του τριγώνου AEF και έστω ένα τυχαίο σημείο της P, άρα \displaystyle \angle PXB=\angle PXE-\angle EXB\overset{\left ( 3 \right )}=\angle PXE-\angle EDF\overset{\chi o\varrho \delta \eta \varsigma -\epsilon \varphi \alpha \pi \tau o\mu \epsilon \nu \eta \varsigma \left ( AEF \right )}=\angle EFX-\angle EFD \displaystyle =\angle DFX\overset{\left ( 1 \right )}=\angle DCX\equiv \angle XCB, άρα η ευθεία PX εφάπτεται του περιγεγραμμένου κύκλου του τριγώνου BXC, συνεπώς οι περιγεγραμμένοι κύκλοι των τριγώνων AEF και BXC δέχονται στο κοινό τους σημείο X κοινή εφαπτομένη, άρα εφάπτονται στο σημείο X.
2ο σκέλος- επιπρόσθετο ερώτημα.
Έχουμε \displaystyle \boxed{\angle BXC=\angle BXD+\angle DXC\overset{BEDX,FDXC\epsilon \gamma \gamma \varrho \alpha \psi \iota \mu \alpha }=\angle AED+\angle AFD}\left ( 4 \right ). Επιπλέον, το I είναι το περίκεντρο του τριγώνου EDF, άρα \displaystyle \angle EDF=180^\circ-\frac{\angle EIF}{2}\overset{AEFI\epsilon \gamma \gamma \varrho \alpha \psi \iota \mu o}=180^\circ-\frac{\angle EAF}{2}\overset{\left ( 4 \right )}\Rightarrow \boxed{\angle BXC=180^\circ-\frac{\angle EAF}{2}}\left ( 5 \right ). Θεωρούμε το μέσο L του μη κυρτού τόξου της χορδής BC του περιγεγραμμένου κύκλου του τριγώνου ABC, άρα \displaystyle \angle BLC\overset{ALCB\epsilon \gamma \gamma \varrho \alpha \psi \iota \mu o}=\angle BAC\equiv \angle EAF\overset{\left ( 5 \right )}\Rightarrow \angle BXC=180^\circ-\frac{\angle BLC}{2}\overset{LB=LC}\Rightarrow L είναι το περίκεντρο του τριγώνου BXC και αφού οι περιγεγραμμένοι κύκλοι των τριγώνων AEF και BXC εφάπτονται, έπεται ότι τα σημεία X,L και το περίκεντρο του τριγώνου AEF είναι συνευθειακά.

Υ.Γ Η λύση του Γιώργου (Κοτσάλη) είναι εξαιρετική. Το πρόβλημα μπορεί να λυθεί και με bashing, αλλά εμείς είμαστε fun της γεωμετρίας και σε όποιον αρέσει. :D


Απάντηση

Επιστροφή σε “Γεωμετρία - Επίπεδο Αρχιμήδη (Seniors)”

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

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