Εξωτική ισότητα

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

Άβαταρ μέλους
KARKAR
Δημοσιεύσεις: 10686
Εγγραφή: Τετ Δεκ 08, 2010 6:18 pm

Εξωτική ισότητα

#1

Μη αναγνωσμένη δημοσίευση από KARKAR » Παρ Σεπ 06, 2019 7:47 pm

Εξωτική  ισότητα.png
Εξωτική ισότητα.png (13.29 KiB) Προβλήθηκε 823 φορές
Με κέντρο το μέσο M του ύψους AD ισοσκελούς τριγώνου \displaystyle ABC , γράψαμε κύκλο εφαπτόμενο

στις ίσες πλευρές AB , AC . Από τυχαίο σημείο της βάσης BC φέραμε εφαπτόμενες στον κύκλο ,

οι οποίες τέμνουν τις AB,AC στα σημεία P,T αντίστοιχα . Δείξτε ότι : AT=BP .



Λέξεις Κλειδιά:
Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 2651
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Εξωτική ισότητα

#2

Μη αναγνωσμένη δημοσίευση από gbaloglou » Κυρ Σεπ 08, 2019 11:32 pm

KARKAR έγραψε:
Παρ Σεπ 06, 2019 7:47 pm
Εξωτική ισότητα.pngΜε κέντρο το μέσο M του ύψους AD ισοσκελούς τριγώνου \displaystyle ABC , γράψαμε κύκλο εφαπτόμενο

στις ίσες πλευρές AB , AC . Από τυχαίο σημείο της βάσης BC φέραμε εφαπτόμενες στον κύκλο ,

οι οποίες τέμνουν τις AB,AC στα σημεία P,T αντίστοιχα . Δείξτε ότι : AT=BP .
Μια και δεν έχουν εμφανισθεί συνθετικές λύσεις ... ιδού μία αναλυτική λύση:

Θέτοντας A=(0,1+a), B=(-b,-1-a), C=(b,-1-a), S=(-sb,-1-a), όπου 0<s<1, και ορίζοντας τις τετμημένες των P, T ως -pb, tb, όπου 0<p<1, 0<t<1, παρατηρούμε ότι αρκεί να δειχθεί η p+t=1.

Η παραπάνω ζητούμενη ισότητα θα προκύψει άμεσα από τις αποδεικτέες ισότητες

p=\dfrac{b^2s+2-\sqrt{4+b^4s^2-4b^2s^2}}{2b^2s} & t=\dfrac{b^2s-2+\sqrt{4+b^4s^2-4b^2s^2}}{2b^2s}.

Για να αποδείξουμε τις παραπάνω ισότητες, αρχίζουμε με τις εξισώσεις των ευθειών AB, AC, που εύκολα προσδιορίζονται ως 2(1+a)x-by+b(1+a)=0 και 2(1+a)x+by-b(1+a)=0, αντίστοιχα. Εύκολα υπολογίζονται τώρα και οι τεταγμένες των P=(-pb,(1+a)(1-2p)), T=(tb,(1+a)(1-2t)). Ακολουθούν οι εξισώσεις των ευθειών PS, TS, που είναι οι

2(1+a)(1-p)x-b(s-p)y+b(1+a)(s+p-2sp)=0,

2(1+a)(1-t)x-b(s+t)y+b(1+a)(s-t-2st)=0.

Στο σύστημα συντεταγμένων που έχουμε επιλέξει το κέντρο του κύκλου είναι το (0,0) και η ακτίνα του κύκλου ισούται προς 1, οπότε η απόσταση του (0,0) από τις PS, TS ισούται (λόγω εφαπτομενικότητας) προς 1, και από τον τύπο απόστασης σημείου από ευθεία λαμβάνουμε (τετραγωνίζοντας)

b^2(1+a)^2(s+p-2sp)^2=4(1+a)^2(1-p)^2+b^2(s-p)^2,

b^2(1+a)^2(s-t-2st)^2=4(1+a)^2(1-t)^2+b^2(s+t)^2.

Στο σημείο αυτό παρατηρούμε, και πάλι μέσω του τύπου απόστασης σημείου από ευθεία και επειδή οι AB, AC εφάπτονται του κύκλου, ότι ισχύει η b^2(1+a)^2=b^2+4(1+a)^2. Αντικαθιστώντας την τελευταία, ως b^2=(1+a^2)(b^2-4), στις προηγούμενες δύο ισότητες λαμβάνουμε τις

b^2[(s+p-2sp)^2-(s-p)^2]=4[(1-p)^2-(s-p)^2] & b^2[(s-t-2st)^2-(s+t)^2]=4[(1-t)^2-(s+t)^2],

οι οποίες εύκολα απλοποιούνται στις ως προς p, t δευτεροβάθμιες

b^2sp^2-(b^2s+2)p+(s+1)=0 & b^2st^2-(b^2s-2)t+(s-1)=0.

Οι δευτεροβάθμιες αυτές οδηγούν στις αποδεικτέες σχέσεις που αναφέρθηκαν στην αρχή: αποκλείονται το θετικό πρόσημο στην πρώτη και το αρνητικό πρόσημο στην δεύτερη λόγω των p<1 και t>0, αντίστοιχα -- και στις δύο περιπτώσεις παίζει καίριο ρόλο η b^2s-2<\sqrt{4+b^4s^2-4b^2s^2}, άμεση συνέπεια της 0<s<1.
τελευταία επεξεργασία από gbaloglou σε Δευ Σεπ 09, 2019 10:11 am, έχει επεξεργασθεί 1 φορά συνολικά.


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Άβαταρ μέλους
KARKAR
Δημοσιεύσεις: 10686
Εγγραφή: Τετ Δεκ 08, 2010 6:18 pm

Re: Εξωτική ισότητα

#3

Μη αναγνωσμένη δημοσίευση από KARKAR » Δευ Σεπ 09, 2019 8:30 am

Γιώργο , καλημέρα !

Η άσκηση είναι από την XV  Sharygin  Geometrical  Olympiad . Παρουσιάζονται δύο λύσεις . Η πρώτη αξιοποιεί

το Θεώρημα Newton για περιγράψιμα τετράπλευρα , για το οποίο μπορεί κανείς να πάρει πληροφορίες από εδώ .

Ευκαιρία να ξαναθυμηθούμε τον μεγάλο Κώστα Βήττα !

Η άλλη είναι μάλλον δυσκολότερη . Θεώρησα πιθανό να βρεθεί μια κάπως στοιχειωδέστερη λύση ,

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


Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 2651
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Εξωτική ισότητα

#4

Μη αναγνωσμένη δημοσίευση από gbaloglou » Δευ Σεπ 09, 2019 8:59 am

Θανάση ... σίγουρος ήμουν ότι ήταν δική σου επινόηση, όπως τόσες και τόσες άλλες!


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Άβαταρ μέλους
vittasko
Επιμελητής
Δημοσιεύσεις: 2030
Εγγραφή: Πέμ Ιαν 08, 2009 8:46 am
Τοποθεσία: Μαρούσι - Αθήνα.

Re: Εξωτική ισότητα

#5

Μη αναγνωσμένη δημοσίευση από vittasko » Τετ Σεπ 11, 2019 12:21 am

KARKAR έγραψε:...Ευκαιρία να ξαναθυμηθούμε τον μεγάλο Κώστα Βήττα !
Θανάση, όντως, πρόσφατα πέρασα το κατώφλι της μεγάλης ηλικίας ( 70+ ), αλλά με παρηγορεί το ότι για τα επόμενα πέντε χρόνια θα ανήκω στους "μικρούς" από τους "μεγάλους" ( πρώτη πενταετία των 70 έως 85 ) και ελπίζω να μπορώ να συμμετέχω σε γεωμετρικά δρώμενα στο αγαπημένο μας :logo: .

Όσο για την πρόταση που έβαλες, ας δούμε μία προσέγγιση με στοιχειώδη μέσα, βασισμένη σε διαφορετικό (;) σκεπτικό.

\bullet Δια του σημείου D, φέρνουμε τις εφαπτόμενες του κύκλου (M), οι οποίες τέμνουν τις πλευρές AB,\ AC του δοσμένου τριγώνου \vartriangle ABC, στα σημεία K,\ L, αντιστοίχως και αρκεί ως ισοδύναμο ζητούμενο να αποδειχθεί ότι ισχύει KP = LT\ \ \ ,(1) λόγω BK = KA = AL.

Το τετράπλευρο AKDL είναι ρόμβος ( προφανές ) περιγεγραμμένος περί τον κύκλο (M), ο οποίος εφάπτεται των πλευρών AK,\ KD,\ DL,\ LA, στα σημεία έστω Z,\ E,\ F,\ N, αντιστοίχως, με το ZEFN ορθογώνιο παραλληλόγραμμο ( προφανές ).

Έστω το σημείο Q\equiv SP\cap E F και ας είναι S', το σημείο τομής της BC από την δεύτερη εφαπτομένη του κύκλου (M), δια του Q.

Σύμφωνα με το παρακάτω Λήμμα 1, έχουμε DS = DS'\ \ \ ,(2) επειδή το σημείο Q ανήκει στην ευθεία EF η οποία ταυτίζεται με την Πολική ευθεία του σημείου D ως προς τον κύκλο (M).
f 185_t 65125.PNG
Εξωτική ισότητα.
f 185_t 65125.PNG (26.66 KiB) Προβλήθηκε 377 φορές
\bullet Έστω το σημείο P'\equiv AB\cap S'Q και ας είναι T', το σημείο τομής της AC από την δεύτερη εφαπτομένη του κύκλου (M), δια του σημείου S'.

Λόγω συμμετρίας του σχήματος ως προς την ευθεία AD, έχουμε \boxed{KP = LT'}\ \ \ ,(3) και \boxed{KP' = LT}\ \ \ ,(4)

Θεωρούμε το ορθογώνιο τρίγωνο \vartriangle EZX με EZ\perp EX, όπου X\equiv AB\cap E F, με KZ = KX και για το σημείο Q\in EX, σύμφωνα το παρακάτω Λήμμα 2, έχουμε \boxed{KP = KP'}\ \ \ ,(5)

Από (3),\ (4),\ (5)\Rightarrow \boxed{KP = LT} και το ισοδύναμο ζητούμενο έχει αποδειχθεί.

ΛΗΜΜΑ 1. Δίνεται ισοσκελές τρίγωνο \vartriangle ABC με AB = AC και ας είναι (K), ο κύκλος που εφάπτεται των πλευρών του AB,\ AC, στα σημεία B,\ C, αντιστοίχως. Από τυχόν σημείο έστω Q, στην προέκταση της BC προς το μέρος του C, φέρνουμε τις εφαπτόμενες του κύκλου (K) οι οποίες τέμνουν την δια του σημείου A παράλληλη ευθεία προς την BC, στα σημεία S,\ T, αντιστοίχως. Αποδείξτε ότι AS = AT.

ΛΗΜΜΑ 2. Δίνεται ορθογώνιο τρίγωνο \vartriangle ABC με \angle A = 90^{o} και έστω M, το μέσον της BC. Γράφουμε τον κύκλο έστω (K) ο οποίος εφάπτεται των MA,\ MB στα σημεία A,\ B αντιστοίχως και ας είναι Q, τυχόν σημείο της πλευράς AC. Οι εφαπτόμενες του κύκλου (K) από το σημείο Q, τέμνουν την BC στα σημεία S,\ T. Αποδείξτε ότι MS = MT.

Κώστας Βήττας.

ΥΓ. Θα βάλω αργότερα τις αποδείξεις που έχω υπόψη μου για τα ως άνω Λήμματα.


Άβαταρ μέλους
min##
Δημοσιεύσεις: 212
Εγγραφή: Τρί Απρ 18, 2017 3:40 pm

Re: Εξωτική ισότητα

#6

Μη αναγνωσμένη δημοσίευση από min## » Τετ Σεπ 11, 2019 1:04 am

Ας είναι E,F,K,L οι τομές των SP,ST,AB,AC με τον (M) και X ο πόλος της BC.
Επειδή το X ανήκει στην EF,καθώς το S κινείται στην BC θα έχουμε E,F προβολικές σημειοσειρές.((αλληλο)προβολή κωνικής από σημείο).
Ακόμα,οι (M(P),K(E)),(M(T),L(F)) είναι ζεύγη προβολικών δέσμεων (κάθετες ακτίνες) και συνεπώς οι σημειοσειρές P,T είναι προβολικές.
Θέμε να δείξουμε πως ο προβολικός μετασχηματισμός από την BA στην AC που αντιστοιχίζει τα P,T είναι ταυτοτικός (με την έννοια ότι διατηρεί τις αποστάσεις μεταξύ αντίστοιχων σημείων).Αρκεί να ελεγχθεί αυτό για 3 τιμές του S:Όταν συμπίπτει με τα B,D,C το οποίο είναι απλό.


Άβαταρ μέλους
min##
Δημοσιεύσεις: 212
Εγγραφή: Τρί Απρ 18, 2017 3:40 pm

Re: Εξωτική ισότητα

#7

Μη αναγνωσμένη δημοσίευση από min## » Τετ Σεπ 11, 2019 1:21 am

Μια πιο γρήγορη στο σχήμα του κ.Βήττα:
Από Dual of Desargues involution υπάρχει ενέλιξη κέντρου D που ανταλλάζει τις (DS,DA),(DP,DT),(DE,DF).Προβάλλοντας στην AB και επειδή DF//AB,η ενέλιξη γίνεται αρνητική αντιστροφή κέντρου K που ανταλλάζει τα (A,B),(P,J) με J την τομή DT,AB.Άρα το J είναι το αντίστροφο του P' ως προς τον (K,KA).
Έτσι,(J,P',A,B)=-1 το οποίο σε συνδυασμό με Μενέλαο στο ABC με διατέμνουσα την DT δίνει το ζητούμενο (το D είναι μέσο της BC).


Άβαταρ μέλους
vittasko
Επιμελητής
Δημοσιεύσεις: 2030
Εγγραφή: Πέμ Ιαν 08, 2009 8:46 am
Τοποθεσία: Μαρούσι - Αθήνα.

Re: Εξωτική ισότητα

#8

Μη αναγνωσμένη δημοσίευση από vittasko » Τετ Σεπ 11, 2019 12:28 pm

vittasko έγραψε:ΛΗΜΜΑ 1. Δίνεται ισοσκελές τρίγωνο \vartriangle ABC με AB = AC και ας είναι (K), ο κύκλος που εφάπτεται των πλευρών του AB,\ AC, στα σημεία B,\ C, αντιστοίχως. Από τυχόν σημείο έστω Q, στην προέκταση της BC προς το μέρος του C, φέρνουμε τις εφαπτόμενες του κύκλου (K) οι οποίες τέμνουν την δια του σημείου A παράλληλη ευθεία προς την BC, στα σημεία S,\ T, αντιστοίχως. Αποδείξτε ότι AS = AT.
f 185_t 65125a.PNG
Εξωτική ισότητα - Απόδειξη του Λήμματος 1.
f 185_t 65125a.PNG (20.36 KiB) Προβλήθηκε 453 φορές
\bullet Έστω D,\ E, τα σημεία επαφής των QS,\ QT στον κύκλο (K) αντιστοίχως και έστω το σημείο P\equiv BC\cap DE.

Επειδή το σημείο Q ανήκει στην Πολική ευθεία του σημείου A ως προς τον κύκλο (K), έχουμε το ότι η ευθεία DE, ως η Πολική ευθεία του σημείου Q ως προς τον (K), περνάει από το σημείο A και η σημειοσειρά A,\ D,\ P,\ E είναι αρμονική.

Άρα, η δέσμη Q\ldotp ADPE είναι αρμονική.

Η δέσμη αυτή τέμνεται από την ευθεία ST\parallel QP\equiv BC και συμπεραίνεται έτσι ότι AS = AT και το Λήμμα 1 έχει αποδειχθεί.

Κώστας Βήττας.


Άβαταρ μέλους
vittasko
Επιμελητής
Δημοσιεύσεις: 2030
Εγγραφή: Πέμ Ιαν 08, 2009 8:46 am
Τοποθεσία: Μαρούσι - Αθήνα.

Re: Εξωτική ισότητα

#9

Μη αναγνωσμένη δημοσίευση από vittasko » Τετ Σεπ 11, 2019 9:27 pm

vittasko έγραψε:ΛΗΜΜΑ 2. Δίνεται ορθογώνιο τρίγωνο \vartriangle ABC με \angle A = 90^{o} και έστω M, το μέσον της BC. Γράφουμε τον κύκλο έστω (K) ο οποίος εφάπτεται των MA,\ MB στα σημεία A,\ B αντιστοίχως και ας είναι Q, τυχόν σημείο της πλευράς AC. Οι εφαπτόμενες του κύκλου (K) από το σημείο Q, τέμνουν την BC στα σημεία S,\ T. Αποδείξτε ότι MS = MT.
\bullet 'Εστω το σημείο P\equiv AB\cap DE, όπου D,\ E είναι τα σημεία επαφής των εφαπτομένων του κύκλου (K) από το σημείο Q.

Επειδή οι ευθείες AB,\ DE ταυτίζονται με τις Πολικές ευθείες των σημείων M,\ Q ως προς τον κύκλο (K), προκύπτει ότι η ευθεία MQ ταυτίζεται με την Πολική ευθεία του σημείου P ως προς τον (K) και έστω το σημείο Z\equiv AB\cap MQ.

Η σημειοσειρά B,\ P,\ A,\ Z τώρα, είναι αρμονική και άρα, η δέσμη Q\ldotp BPAZ είναι επίσης αρμονική.

Η αρμονική αυτή δέσμη τέμνεται από την ευθεία BC και από MB = MC, έχουμε ότι BC\parallel QP.
f 185_t 65125b.PNG
Εξωτική ισότητα - Απόδειξη του Λήμματος 2.
f 185_t 65125b.PNG (26.29 KiB) Προβλήθηκε 383 φορές
\bullet Έστω το σημείο X\equiv DE\cap MQ.

Επειδή το σημείο X ανήκει στις Πολικές ευθείες DE,\ MQ των σημείων Q,\ P ως προς τον κύκλο (K) αντιστοίχως, προκύπτει ότι η ευθεία που συνδέει τα σημεία P,\ Q, ταυτίζεται με την Πολική ευθεία του σημείου X ως προς τον κύκλο (K) και επομένως, η σημειοσειρά E,\ P,\ D,\ X είναι αρμονική.

Η δέσμη Q\ldotp EPDX τώρα, είναι επίσης αρμονική και τεμνόμενη από την ευθεία BC\parallel QP, μας δίνει το ζητούμενο MS = MT και το Λήμμα 2 έχει αποδειχθεί.

Κώστας Βήττας.


Άβαταρ μέλους
vittasko
Επιμελητής
Δημοσιεύσεις: 2030
Εγγραφή: Πέμ Ιαν 08, 2009 8:46 am
Τοποθεσία: Μαρούσι - Αθήνα.

Re: Εξωτική ισότητα

#10

Μη αναγνωσμένη δημοσίευση από vittasko » Πέμ Σεπ 12, 2019 12:43 am

Ας δούμε μία άλλη σκέψη, για την απόδειξη του ισοδύναμου ζητούμενου KP = LT, εμπνευσμένη από την υπόδειξη του Θανάση για εφαρμογή του Θεωρήματος Newton.
f 185_t 65125c.PNG
Εξωτική ισότητα - 2η απόδειξη.
f 185_t 65125c.PNG (22.09 KiB) Προβλήθηκε 323 φορές
Έστω Q,\ N, τα μέσα των διαγωνίων AS,\ PT αντιστοίχως, του περιγεγραμμένου περί τον κύκλο (M) τετραπλεύρου APST και σύμφωνα με το Θεώρημα Newton (b), έχουμε ότι τα σημεία Q,\ M,\ N είναι συνευθειακά.

Επειδή τα σημεία M,\ Q ανήκουν στην ευθεία KL, προκύπτει ότι και το μέσον N του PT ανήκει επίσης στην ίδια ευθεία.

Από τα τρίγωνα \vartriangle NPK,\ \vartriangle NLT τώρα, με \angle PNK = \angle LNT και \angle NKP + \angle NLT = 180^{o},

έχουμε \displaystyle \frac{KP}{LT} = \frac{NP}{NT} = 1\Rightarrow \boxed{KP = LT} και το ισοδύναμο ζητούμενο έχει αποδειχθεί.

Κώστας Βήττας.

ΥΓ. "Το σοφό είναι και απλό", όπως είχε γράψει στον "ΑΠΟΛΛΩΝΙΟ" ο αείμνηστος Θεόφιλος Χρυσοστομίδης.


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

Re: Εξωτική ισότητα

#11

Μη αναγνωσμένη δημοσίευση από Doloros » Πέμ Σεπ 12, 2019 1:04 am

vittasko έγραψε:
Πέμ Σεπ 12, 2019 12:43 am
Ας δούμε μία άλλη σκέψη, για την απόδειξη του ισοδύναμου ζητούμενου KP = LT, εμπνευσμένη από την υπόδειξη του Θανάση για εφαρμογή του Θεωρήματος Newton.

Έστω Q,\ N, τα μέσα των διαγωνίων AS,\ PT αντιστοίχως, του περιγεγραμμένου περί τον κύκλο (M) τετραπλεύρου APST και σύμφωνα με το Θεώρημα Newton (b), έχουμε ότι τα σημεία Q,\ M,\ N είναι συνευθειακά.

Επειδή τα σημεία M,\ Q ανήκουν στην ευθεία KL, προκύπτει ότι και το μέσον N του PT ανήκει επίσης στην ίδια ευθεία.

Από τα τρίγωνα \vartriangle NPK,\ \vartriangle NLT τώρα, με \angle PNK = \angle LNT και \angle NKP + \angle NLT = 180^{o},

έχουμε \displaystyle \frac{KP}{LT} = \frac{NP}{NT} = 1\Rightarrow \boxed{KP = LT} και το ισοδύναμο ζητούμενο έχει αποδειχθεί.

Κώστας Βήττας.

ΥΓ. "Το σοφό είναι και απλό", όπως είχε γράψει στον "ΑΠΟΛΛΩΝΙΟ" ο αείμνηστος Θεόφιλος Χρυσοστομίδης.
:coolspeak: Αυτό μάλιστα!!


Άβαταρ μέλους
vittasko
Επιμελητής
Δημοσιεύσεις: 2030
Εγγραφή: Πέμ Ιαν 08, 2009 8:46 am
Τοποθεσία: Μαρούσι - Αθήνα.

Re: Εξωτική ισότητα

#12

Μη αναγνωσμένη δημοσίευση από vittasko » Παρ Σεπ 13, 2019 4:34 pm

Ας δούμε και άλλη μία σκέψη, για την απόδειξη του ισοδύναμου ζητούμενου KP = LT\ \ \ ,(1).

\bullet Για να ισχύει η (1), αρκεί να αποδειχθεί ότι οι σημειοσειρές A,\ P,\ K,\ B και C,\ T,\ L,\ A έχουν ίσους Διπλούς λόγους, λόγω BK = KA = AL = LC.

Αρκεί δηλαδή να αποδειχθεί ότι ισχύει (A,P,K,B) = (C,T,L,A)\ \ \ ,(2)

Αλλά, (C,T,L,A) = (A,L,T,C)\ \ \ ,(3)

( o Διπλός λόγος δεν μεταβάλλεται εάν δύο στοιχεία μέσα στην παρένθεση αλλάξουν θέση μεταξύ τους και ταυτόχρονα τα υπόλοιπα δύο στοιχεία αλλάξουν επίσης θέση μεταξύ τους )
f 185_t 65125d.PNG
Εξωτική ισότητα - 3η απόδειξη.
f 185_t 65125d.PNG (21.63 KiB) Προβλήθηκε 215 φορές
Από (2),\ (3) αρκεί να αποδειχθεί ότι ισχύει (A,P,K,B) = (A,L,T,B)\ \ \ ,(4)

Για να ισχύει η (4) τώρα, αρκεί να αποδειχθεί ότι οι ευθείες PL,\ KT,\ BC τέμνονται στο ίδιο σημείο.

Αυτό όμως αληθεύει, σύμφωνα με το Θεώρημα Brianchon, στο μη κυρτό εξάγωνο KPSTLD, το παρεγγεγραμμένο στον κύκλο (M), στο οποίο οι KT,\ PL,\ DS\equiv BC είναι κύριες διαγώνιες και το ισοδύναμο ζητούμενο \boxed{KP = LT} έχει αποδειχθεί.

\bullet Η απόδειξη αυτή αφιερώνεται σε ένδειξη τιμής, στον Κώστα Ρεκούμη.

Κώστας Βήττας.


Άβαταρ μέλους
gbaloglou
Επιμελητής
Δημοσιεύσεις: 2651
Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
Τοποθεσία: Θεσσαλονικη
Επικοινωνία:

Re: Εξωτική ισότητα

#13

Μη αναγνωσμένη δημοσίευση από gbaloglou » Παρ Σεπ 13, 2019 10:59 pm

KARKAR έγραψε:
Δευ Σεπ 09, 2019 8:30 am
Γιώργο , καλημέρα !

Η άσκηση είναι από την XV  Sharygin  Geometrical  Olympiad . Παρουσιάζονται δύο λύσεις . Η πρώτη αξιοποιεί

το Θεώρημα Newton για περιγράψιμα τετράπλευρα , για το οποίο μπορεί κανείς να πάρει πληροφορίες από εδώ .

Ευκαιρία να ξαναθυμηθούμε τον μεγάλο Κώστα Βήττα !

Η άλλη είναι μάλλον δυσκολότερη . Θεώρησα πιθανό να βρεθεί μια κάπως στοιχειωδέστερη λύση ,

αλλά φαίνεται πως δεν προκύπτει , η άσκηση επομένως είναι για υψηλοτέρου επιπέδου φάκελο ...
Θανάση ας πω κατ' αρχήν ότι δύσκολα μπορεί να πει κανείς, για οποιαδήποτε άσκηση, ότι είναι επιπέδου υψηλοτέρου πχ της ΙΜΟ. Δεν ξέρω βέβαια τι γίνεται στην περίπτωση που η άσκηση απαιτεί (?) προβολικούς μετασχηματισμούς ή/και 'προχωρημένα' θεωρήματα (πχ Newton), αλλά η συγκεκριμένη επιλύεται ΚΑΙ αναλυτικά χωρίς πολλές πράξεις, οπότε ίσως και να θεωρείται εύκολη για ΙΜΟ κλπ :)


Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω

Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Άβαταρ μέλους
Al.Koutsouridis
Δημοσιεύσεις: 951
Εγγραφή: Πέμ Ιαν 30, 2014 11:58 pm
Τοποθεσία: Αθήνα

Re: Εξωτική ισότητα

#14

Μη αναγνωσμένη δημοσίευση από Al.Koutsouridis » Σάβ Σεπ 14, 2019 12:21 pm

gbaloglou έγραψε:
Παρ Σεπ 13, 2019 10:59 pm

Θανάση ας πω κατ' αρχήν ότι δύσκολα μπορεί να πει κανείς, για οποιαδήποτε άσκηση, ότι είναι επιπέδου υψηλοτέρου πχ της ΙΜΟ. Δεν ξέρω βέβαια τι γίνεται στην περίπτωση που η άσκηση απαιτεί (?) προβολικούς μετασχηματισμούς ή/και 'προχωρημένα' θεωρήματα (πχ Newton), αλλά η συγκεκριμένη επιλύεται ΚΑΙ αναλυτικά χωρίς πολλές πράξεις, οπότε ίσως και να θεωρείται εύκολη για ΙΜΟ κλπ :)
Αρχικά η άσκηση ήταν σε χαμηλότερο φάκελο Θαλή/Ευκλείδη αν θυμάμαι καλά. Σε αυτό αναφέρεται το "υψηλότερο φάκελο". Νομίζω σωστά μεταφέρθηκε.


Απάντηση

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

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

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