Εφαπτόμενοι Κύκλοι

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

giannimani
Δημοσιεύσεις: 233
Εγγραφή: Δευ Μαρ 09, 2009 6:26 pm
Τοποθεσία: Αθήνα

Εφαπτόμενοι Κύκλοι

#1

Μη αναγνωσμένη δημοσίευση από giannimani » Δευ Απρ 09, 2018 11:41 am

probl4.png
probl4.png (53.59 KiB) Προβλήθηκε 1062 φορές
Στις ίσες πλευρές AB, AC και στη βάση BC ενός ισοσκελούς τριγώνου ABC,
θεωρούμε αντίστοιχα τα σημεία M, K και D έτσι ώστε το AMDK να είναι παραλληλόγραμμο.
Συμβολίζουμε με L το κοινό σημείο των ευθειών MK και BC, και έστω X, Y τα σημεία στα οποία
η κάθετος της BC στο D, τέμνει τις AB, AC αντίστοιχα. Να αποδείξετε ότι ο κύκλος (\gamma_{1}) κέντρου
L και ακτίνας LD, εφάπτεται του περιγεγραμμένου κύκλου (\gamma_{2}) του τριγώνου AXY.



Λέξεις Κλειδιά:
Άβαταρ μέλους
ΣΤΑΘΗΣ ΚΟΥΤΡΑΣ
Επιμελητής
Δημοσιεύσεις: 4658
Εγγραφή: Κυρ Μαρ 13, 2011 9:11 pm
Τοποθεσία: Βρυξέλλες

Re: Εφαπτόμενοι Κύκλοι

#2

Μη αναγνωσμένη δημοσίευση από ΣΤΑΘΗΣ ΚΟΥΤΡΑΣ » Δευ Απρ 09, 2018 10:45 pm

giannimani έγραψε:
Δευ Απρ 09, 2018 11:41 am
probl4.pngΣτις ίσες πλευρές AB, AC και στη βάση BC ενός ισοσκελούς τριγώνου ABC, θεωρούμε αντίστοιχα τα σημεία M, K και D έτσι ώστε το AMDK να είναι παραλληλόγραμμο. Συμβολίζουμε με L το κοινό σημείο των ευθειών MK και BC, και έστω X, Y τα σημεία στα οποία
η κάθετος της BC στο D, τέμνει τις AB, AC αντίστοιχα. Να αποδείξετε ότι ο κύκλος (\gamma_{1}) κέντρουL και ακτίνας LD, εφάπτεται του περιγεγραμμένου κύκλου (\gamma_{2}) του τριγώνου AXY.
Γιάννη καλησπέρα. Ας δούμε μια απόδειξη (μάλλον μπελαλίδικη , αλλά και μάλλον πρωτοεμφανιζόμενη :)

Έστω O το κέντρου του παραλληλογράμμου AMDK και ας είναι F,Q\,\,\And \,\,S,H οι ορθές προβολές των T,O στις ευθείες AB,AC αντίστοιχα και {Q}',{H}' οι ορθές προβολές του D στις ευθείες AB,AC αντίστοιχα και W το μέσο της διακέντρου TL των εν λόγω κύκλων.

Τότε από το ισοσκελές τρίγωνο \vartriangle ABC\left( AB=AC \right) και την κάθετη στην BC στο σημείο D προκύπτει ότι το τρίγωνο \vartriangle AXY είναι ισοσκελές και συνεπώς AT\parallel BC\equiv DL .

Με O το μέσο της AD\mathop  \Rightarrow \limits^{OQ\parallel DQ',OH\parallel DH'} Q,H τα μέσα των A{Q}',A{H}' αντίστοιχα. Και προφανώς (από τα αποστήματα) F,S τα μέσα των (χορδών του \left( T \right) ) AX,AY αντίστοιχα.

Είναι FQ = FA + AQ = \dfrac{{AX}}{2} + \dfrac{{AQ'}}{2} = \dfrac{{XQ'}}{2}:\left( 1 \right) και ομοίως SH = AH - AS = \dfrac{{AH'}}{2} - \dfrac{{AY}}{2} = \dfrac{{YH'}}{2}:\left( 2 \right).

Προφανώς (από τα μέσα των πλευρών των τριγώνων \vartriangle AD{Q}',\vartriangle AD{H}' προκύπτει ότι OQ=\dfrac{D{Q}'}{2},OH=\dfrac{D{H}'}{2}:\left( 3 \right) .
Εφαπτόμενοι κύκλοι..png
Εφαπτόμενοι κύκλοι..png (32.96 KiB) Προβλήθηκε 1000 φορές
Από την προφανή ομοιότητα των ορθογωνίων τριγώνων \vartriangle ADH',XDQ' \left( {\angle H' = \angle Q' = {{90}^0},\angle DYH' = \angle XYA = \angle DXQ'} \right)

θα ισχύει : \dfrac{{SH}}{{FQ}}\mathop  = \limits^{\left( 1 \right),\left( 2 \right)} \dfrac{{YH'}}{{XQ'}} = \dfrac{{DH'}}{{DQ'}}\mathop  = \limits^{\left( 3 \right)} \dfrac{{OH}}{{OQ}}:\left( 4 \right).

Με O το μέσο (λόγω του παραλληλογράμμου) και της MK \Rightarrow \left( {AOM} \right) = \left( {AOK} \right) \Rightarrow \dfrac{{OH}}{{OQ}} = \dfrac{{AM}}{{AK}}\mathop  \Rightarrow \limits^{\left( 4 \right)} \dfrac{{SH}}{{FQ}} = \dfrac{{AM}}{{AK}}:\left( 5 \right)

Από την σχέση \left( 5 \right) σύμφωνα με το https://www.cut-the-knot.org/m/Geometry ... tras.shtml προκύπτει ότι TO \bot MK \equiv OL\mathop  \Rightarrow \limits^{W\,\,\mu \varepsilon \sigma o\,\,\tau \eta \varsigma \,\,TL} OW = \dfrac{{TL}}{2}:\left( 6 \right).

Από τη διάμεσο OW του τραπεζίου ATLD προκύπτει ότι OW = \dfrac{{AT + DL}}{2} = \dfrac{{{R_T} + {R_L}}}{2}\mathop  \Rightarrow \limits^{\left( 6 \right)} {R_T} + {R_L} = TL

 \Rightarrow \left( T \right),\left( L \right) εφάπτονται εξωτερικά (η διάκεντρός τους ισούται με το άθροισμα των ακτινών τους) και το ζητούμενο έχει αποδειχθεί.


Στάθης
τελευταία επεξεργασία από ΣΤΑΘΗΣ ΚΟΥΤΡΑΣ σε Τρί Απρ 10, 2018 10:35 am, έχει επεξεργασθεί 1 φορά συνολικά.


Τι περιμένετε λοιπόν ναρθεί , ποιόν καρτεράτε να σας σώσει.
Εσείς οι ίδιοι με τα χέρια σας , με το μυαλό σας με την πράξη αν δεν αλλάξετε τη μοίρα σας ποτέ της δεν θα αλλάξει
Άβαταρ μέλους
S.E.Louridas
Δημοσιεύσεις: 5956
Εγγραφή: Σάβ Μαρ 21, 2009 10:53 am
Τοποθεσία: Aegaleo.
Επικοινωνία:

Re: Εφαπτόμενοι Κύκλοι

#3

Μη αναγνωσμένη δημοσίευση από S.E.Louridas » Δευ Απρ 09, 2018 11:17 pm

giannimani έγραψε:
Δευ Απρ 09, 2018 11:41 am
probl4.pngΣτις ίσες πλευρές AB, AC και στη βάση BC ενός ισοσκελούς τριγώνου ABC,
θεωρούμε αντίστοιχα τα σημεία M, K και D έτσι ώστε το AMDK να είναι παραλληλόγραμμο.
Συμβολίζουμε με L το κοινό σημείο των ευθειών MK και BC, και έστω X, Y τα σημεία στα οποία
η κάθετος της BC στο D, τέμνει τις AB, AC αντίστοιχα. Να αποδείξετε ότι ο κύκλος (\gamma_{1}) κέντρου
L και ακτίνας LD, εφάπτεται του περιγεγραμμένου κύκλου (\gamma_{2}) του τριγώνου AXY.
Θα εργαστούμε εκτός των δεδομένων του κύκλου \left( {{Y_1}} \right) και της ευθείας ML, δημιουργώντας αντίστοιχα μεγέθη που θα ταυτιστούν τελικά, λόγω του ότι ορίζεται μονοσήμαντα το σημείο M\;(AM=KD), με αυτά.
Είναι καθαρό, λόγω της ορθής γωνίας \angle CDY = {90^ \circ } και της ισότητας KD=KC, ότι το K είναι μέσο της YC. Με διάμετρο το YC γράφουμε κύκλο που τέμνει τον (Y_2) στο F. Έστω A’ το αντιδιαμετρικό του A στον κύκλο (Y_2) και το ύψος AE του ισοσκελούς τριγώνου ABC\;(AB=AC). Τότε, \angle AFD = \angle AFY + \angle YFD = \angle AXY + \angle ACE = \angle EAC + \angle ACE = {90^ \circ }. Αυτό σημαίνει ότι τα σημεία D,F,{A{'}} είναι συνευθειακά. Έστω V η τομή των ημιευθειών AF,BC και L_1 η τομή των ημιευθειών OF,BC, όπου O το κέντρο του κύκλου \ (Y_2). Ο κύκλος ({L_1}, DV/2) είναι εφαπτόμενος στον κύκλο (Y_2). Η {L_1}K είναι μεσοκάθετη του DF και τέμνει την AB στο M_1. Επομένως K{M_1}\parallel AF, ως κάθετες στην ευθεία DF και βέβαια KD=KF.
Παρατηρούμε ότι \angle KFA = \angle KFY + \angle YFA = \angle KYF + \angle YXA = \angle CEF +\angle AXD = \angle EAF + \angle {M_1}AE = \angle {M_1}AF.
Συνεπώς DK=KF={M_1}A. Τελικά {M_1} \equiv M και {L_1} \equiv L. Εδώ το πρόβλημα έχει λυθεί.

(*) Χρησιμοποιήθηκε και ότι το τετράπλευρο AEDF είναι εγγράψιμο.
aqwe.png
aqwe.png (18.77 KiB) Προβλήθηκε 982 φορές


S.E.Louridas

1.Μιλώ, μόνο όταν έχω να πώ κάτι καλύτερο από την σιωπή (Πυθαγόρας).
2.Οι αξίες αντανακλώνται, Δεν επιβάλλονται.
3.Είναι Κορυφαία η κάθε στιγμή επίλυσης ενός Μαθηματικού προβλήματος.
Άβαταρ μέλους
Διονύσιος Αδαμόπουλος
Δημοσιεύσεις: 807
Εγγραφή: Σάβ Μαρ 19, 2016 5:11 pm
Τοποθεσία: Πύργος Ηλείας

Re: Εφαπτόμενοι Κύκλοι

#4

Μη αναγνωσμένη δημοσίευση από Διονύσιος Αδαμόπουλος » Τρί Απρ 10, 2018 8:27 pm

giannimani έγραψε:
Δευ Απρ 09, 2018 11:41 am
probl4.pngΣτις ίσες πλευρές AB, AC και στη βάση BC ενός ισοσκελούς τριγώνου ABC,
θεωρούμε αντίστοιχα τα σημεία M, K και D έτσι ώστε το AMDK να είναι παραλληλόγραμμο.
Συμβολίζουμε με L το κοινό σημείο των ευθειών MK και BC, και έστω X, Y τα σημεία στα οποία
η κάθετος της BC στο D, τέμνει τις AB, AC αντίστοιχα. Να αποδείξετε ότι ο κύκλος (\gamma_{1}) κέντρου
L και ακτίνας LD, εφάπτεται του περιγεγραμμένου κύκλου (\gamma_{2}) του τριγώνου AXY.
Εναλλακτικά:

Αρχικά θα αποδείξουμε πως το μήκος της εφαπτομένης από το A στον κύκλο Y_1 είναι ίσο με AC.

Αν αυτό το μήκος είναι x, τότε από δύναμη σημείου ξέρουμε πως x^2=AL^2-LD^2. Άρα αρκεί AL^2-LD^2=AC^2.

Από θεώρημα Θαλή παρατηρούμε πως:

\dfrac{DC}{CL}=\dfrac{MK}{KL} και πως \dfrac{MK}{KL}=\dfrac{BD}{DL}.

Επομένως έχουμε πως:

\dfrac{DC}{CL}=\dfrac{BD}{DL}\Rightarrow \dfrac{DC}{CL}+1=\dfrac{BD}{DL}+1\Rightarrow \dfrac{DL}{CL}=\dfrac{BL}{DL}\Rightarrow DL^2=CL\cdot BL (1).

Εφαρμόζουμε νόμο συνημιτόνων στο τρίγωνο ACL.

Έχουμε πως:

AL^2=AC^2+CL^2-2AC\cdot CL \cdot \cos{\widehat{ACL}}=AC^2+CL^2+2AC\cdot CL\cdot \cos{\widehat{ACB}}\Rightarrow

\Rightarrow AL^2-AC^2=CL^2+2AC\cdot CL\cdot \cos{\widehat{ACB}}.

Αρκεί λοιπόν LD^2=CL^2+2AC\cdot CL\cdot \cos{\widehat{ACB}}, δηλαδή από την (1) αρκεί CL\cdot BL=CL^2+2AC\cdot CL\cdot \cos{\widehat{ACB}}\Leftrightarrow BL=CL+2AC\cdot \cos{\widehat{ACB}}\Leftrightarrow BC=2AC\cdot \cos{\widehat{ACB}}.

Αν θεωρήσουμε E το μέσο του BC τότε θα πρέπει \dfrac{BC}{2}=AC\cdot \cos{\widehat{ACB}}\Leftrightarrow BE=AC\cdot \cos{\widehat{ACB}} που ισχύει λόγω του ότι το τρίγωνο AEC είναι ορθογώνιο.

Πράγματι λοιπόν η εφαπτόμενη από το A στον κύκλο Y_1 έχει μήκος AC (2).

Θα εφαρμόσουμε το αντίστροφο του θεωρήματος Casey (νομίζω πως υπάρχει).

Θα αποδείξουμε ότι ο κύκλος Y_2 εφάπτεται στην τετράδα κύκλων A, X, Y_1, Y, όπου οι κύκλοι A, X, Y είναι μοναδιαία σημεία!

Ας ονομάσουμε αυτούς τους κύκλους για ευκολία a, b, c, d αντίστοιχα.

Ο κύκλος Y_2 εφάπτεται στους κύκλους a, b, d, άρα αρκεί να ικανοποιείται η συνθήκη casey για να εφάπτεται και με τον c.

Αν t_{ij} είναι το μήκος της κοινής εφαπτομένης από τους κύκλους i, j, τότε πρέπει:

t_{ab}\cdot t_{cd}+t_{bc}\cdot t_{ad}=t_{ac}\cdot t_{bd}.

Ξέρουμε πως t_{ab}=AX, t_{cd}=YD, t_{bc}=XD, t_{ad}=AY, t_{ac}=AC (από την (2)), t_{bd}=XY.

Επομένως αρκεί να αποδειχθεί πως:

AX\cdot YD+XD\cdot AY=AC\cdot XY (3)

Τα ορθογώνια τρίγωνα XBD και YCD είναι όμοια αφού έχουν μια οξεία γωνία ίση. Άρα εύκολα προκύπτει πως \widehat{AXY}=\widehat{AYX}, δηλαδή το τρίγωνο XAY είναι ισοσκελές, με AX=AY.

Αντικαθιστώντας στην (3) έχουμε πως:

AY\cdot YD+AY\cdot XD=AC\cdot XY\Leftrightarrow 2AY\cdot YD+AY\cdot XY=AY\cdot XY+YC\cdot XY\Leftrightarrow

\Leftrightarrow 2AY\cdot YD=YC\cdot XY.

Έστω F το μέσο του XY. Θέλουμε να αποδείξουμε πως:

AY\cdot YD=YC\cdot \dfrac{XY}{2}\Leftrightarrow AY\cdot YD=YC\cdot YF\Leftrightarrow \dfrac{YD}{YF}=\dfrac{YC}{AY} που ισχύει από θεώρημα Θαλή λόγω των παράλληλων ευθειών DC και AF.

Συνεπώς αποδείξαμε την (3) και το ζητούμενο έπεται.

Το σχήμα θα το ανεβάσω μάλλον αργότερα...


Houston, we have a problem!
giannimani
Δημοσιεύσεις: 233
Εγγραφή: Δευ Μαρ 09, 2009 6:26 pm
Τοποθεσία: Αθήνα

Re: Εφαπτόμενοι Κύκλοι

#5

Μη αναγνωσμένη δημοσίευση από giannimani » Τρί Απρ 10, 2018 10:41 pm

orth_tang.png
orth_tang.png (83.47 KiB) Προβλήθηκε 842 φορές
Έστω (\omega) ο περιγεγραμμένος κύκλος του \vartriangle ABC με κέντρο το O που ανήκει στο ύψος AA_{1}
αυτού του τριγώνου. Τότε,
\angle BAA_{1}= \angle AXY (εντός εκτός επί τα αυτά μέρη των παραλλήλων AA_{1}, DX που τέμνονται από την AC),
\angle BAA_{1} = \angle A_{1}AY (το ύψος AA_{1} του ισοσκελούς τριγώνου είναι και διχοτόμος).
Επομένως, \angle A_{1}AY=\angle AXY, δηλαδή, η ακτίνα OA του κύκλου (\omega) εφάπτεται του κύκλου (\gamma_{2}),
οπότε οι δύο κύκλοι είναι ορθογώνιοι, και έστω E το δεύτερο κοινό τους σημείο.
Από τα εγγεγραμμένα τετράπλευρα AXEY και ABCE έχουμε
\angle XBE=\angle ABE=\angle ACE = \angle YCE και
\angle BXE = \angle AXE= \angle CYE,
οπότε \vartriangle EBX \sim \vartriangle ECY \; \Rightarrow \frac{EB}{EC}=\frac{XB}{YC}\qquad(1)
Από την ομοιότητα των ορθογωνίων τριγώνων BDX και CDY έχουμε \frac{BD}{CD}=\frac{XB}{YC}\qquad(2)
Από (1) και (2) έχουμε ότι \frac{EB}{EC}=\frac{BD}{CD}, δηλαδή η ED διχοτόμος της γωνίας BEC.
Στη συνέχεια, θα αποδείξουμε ότι και ο κύκλοι (\gamma_{1}) και (\omega) είναι επίσης ορθογώνιοι.
Αρκεί να αποδείξουμε ότι LD^2=LC \cdot LB [αν δύο σημεία ένός κύκλου (εδώ τα B, C του (\omega)) είναι αντίστροφα
ως προς έναν άλλο κύκλο (εδώ του (\gamma_{1})), τότε οι δύο κύκλοι είναι ορθογώνιοι].

Από την παραλληλία DK\parallel AB έχουμε \frac{LD}{LB}= \frac{LK}{LM}\qquad(3)
Από την παραλληλία AC\parallel MD έχουμε \frac{LC}{LD}= \frac{LK}{LM}\qquad(4)
Εφόσον τα δεύτερα μέλη των (3), (4) είναι ίσα, τότε \frac{LD}{LB}=\frac{LC}{LD} \Rightarrow LD^2=LC \cdot LB.
Αν τώρα, F το δεύτερο σημείο τομής της ευθείας BC με τον κύκλο (\gamma_{1}), τότε (BCDF)=-1, και εφόσον
η ED διχοτόμος της γωνίας BEC, τότε ο κύκλος (\gamma_{1}) είναι ένας Απολλώνιος κύκλος, δηλαδή, είναι
ο γεωμετρικός τόπος των σημείων των οποίων ο λόγος των αποστάσεων από τα B και C είναι \frac{BD}{CD},
οπότε λόγω της (1) το σημείο E ανήκει στον κύκλο (\gamma_{1}).
Τώρα το ζητούμενο είναι προφανές, εφόσον οι τρεις κύκλοι διέρχονται από το σημείο E, και οι
(\gamma_{1}), (\gamma_{2}) ορθογώνιοι του (\omega), δηλαδή QE \bot OE (Q το κέντρο του (\gamma_{2})), LE \bot OE.

ΥΓ. Το πρόβλημα αυτό δόθηκε στο διαγωνισμό (τελικό γύρο) που διενεργείται στη Ρωσία προς τιμή του I.F. Sharygin το 2017.
Η παραπάνω λύση είναι περίπου όμοια με την επίσημη υπόδειξη - λύση της επιτροπής. Απλώς, εδώ δεν χρησιμοποιείται ο μετασχηματισμός της σπειροειδούς ομοιότητας.


Απάντηση

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

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

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