Θεώρημα Feuerbach - Αποδείξεις

Συντονιστές: cretanman, Demetres, polysot, socrates, silouan, rek2

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

Re: Θεώρημα Feuerbach - Αποδείξεις

#15

Μη αναγνωσμένη δημοσίευση από vittasko » Δευ Ιούλ 16, 2012 12:40 am

Ας δούμε την (απλούστερη ίσως) απόδειξη η οποία προέκυψε στη συζήτηση της πρότασης του Σπύρου Παναγιωτόπουλου (spege) Εδώ.

\bullet Ορίζουμε το σημείο X μεταξύ των I,\ N, έτσι ώστε να είναι \displaystyle \frac{XI}{XN} = \frac{r}{R_{N}}\ \ \ ,(1) όπου I,\ r, είναι το έγκεντρο και η ακτίνα του εγγεγραμμένου κύκλου (I) και N,\ R_{N}, είναι το κέντρο και η ακτίνα του κύκλου Euler (N) του δοσμένου τριγώνου \vartriangle ABC.

Στο τρίγωνο \vartriangle NII_{a} με διατέμνουσα την AXF_{a}, όπου F_{a}\equiv NI_{a}\cap AX, σύμφωνα με το Θεώρημα Μενελάου, έχουμε ότι

\displaystyle \frac{XI}{XN}\cdot \frac{F_{a}N}{F_{a}I_{a}}\cdot \frac{AI_{a}}{AI} =1\ \ \Longrightarrow \displaystyle \frac{F_{a}N}{F_{a}I_{a}} = \frac{XN}{XI}\cdot \frac{AI}{AI_{a}} = \frac{R_{N}}{r}\cdot \frac{r}{R_{a}} = \frac{R_{N}}{R_{a}}\ \ \Longrightarrow \displaystyle \frac{F_{a}N}{F_{a}I_{a}} = \frac{R_{N}}{R_{a}}\ \ \ ,(2)

Από (2) συμπεραίνεται ότι ο κύκλος Euler (N) και ο A-παρεγγεγραμμένος κύκλος (I_{a}) του \vartriangle ABC, εφάπτονται στο σημείο F_{a}.

Ομοίως αποδεικνύεται ότι ο κύκλος (N) εφάπτεται και στους άλλους δύο παρεγγεγραμμένους κύκλους του \vartriangle ABC.
f=112_t=12359(a).PNG
Θεώρημα Feuerbach.
f=112_t=12359(a).PNG (55.03 KiB) Προβλήθηκε 3066 φορές
\bullet Στο τρίγωνο \vartriangle ABT, λόγω των διχοτόμων BI,\ BI_{a} της γωνίας \angle B, έχουμε ότι η σημειοσειρά A,\ I,\ T,\ I_{a}, όπου T\equiv BC\cap AI, είναι αρμονική και άρα, η δέσμη F_{a}.AITI_{a} είναι επίσης αρμονική και έστω το σημείο F\equiv IN\cap F_{a}T.

Επομένως, η σημειοσειρά F,\ I,\ X,\ N, ως η τομή της ως άνω αρμονικής δέσμης από την ευθεία IN, είναι αρμονική και προκύπτει έτσι ότι \displaystyle \frac{FI}{FN} = \frac{XI}{XN} = \frac{r}{R_{N}}\ \ \ ,(3)

Από (3) συμπεραίνεται ότι ο κύκλος Euler (N) και ο εγγεγραμμένος κύκλος (I) του \vartriangle ABC, εφάπτονται στο σημείο F και το ζητούμενο έχει αποδειχθεί.

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


Άβαταρ μέλους
spege
Δημοσιεύσεις: 260
Εγγραφή: Δευ Απρ 27, 2009 10:24 pm

Re: Θεώρημα Feuerbach - Αποδείξεις

#16

Μη αναγνωσμένη δημοσίευση από spege » Δευ Ιούλ 16, 2012 7:43 am

Κώστα πολύ ωραία
Την απόδειξη που έχω εγώ είναι με λόγο εμβαδών, πολύ μικρή. Εκείνο που με μάγεψε και εμένα είναι η αρμονικότητα που προκύπτει από το σημείο Χ.
Τι να τους κάνει τους μιγαδικούς ή την αντιστροφή αφού δεν έχουν «άρωμα» Γεωμετρίας.
Ελπίζω τώρα να ησύχασε και ο Μπάμπης
Σπύρος


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

Re: Θεώρημα Feuerbach - Αποδείξεις

#17

Μη αναγνωσμένη δημοσίευση από vittasko » Τρί Ιούλ 17, 2012 1:33 pm

Σπύρο, αν δεν ησύχασε ο Μπάμπης, καλώς έκανε. Εγώ πάντως, κακώς δεν υποψιάστηκα ότι μπορεί να είναι λανθασμένη αυτή η τόσο απλή προσέγγιση.

Πράγματι υπάρχει καραμπινάτο λάθος, γιατί όπως μου επεσήμανε ο φίλτατος Στάθης Κούτρας, από τις ισότητες (2),\ (3) πιο πάνω, δεν προκύπτουν τα συμπεράσματα που επικαλέστηκα.

Άνθρακες λοιπόν ο θησαυρός και δεν ξέρω αν σώζεται αυτή η απόδειξη, πάντως σίγουρα όχι από μένα. :( :x

\bullet Από την (2) για παράδειγμα, συμπεραίνεται ότι το F_{a} είναι το εσωτερικό κέντρο ομοιοθεσίας των κύκλων (N),\ (I_{a}), με ακτίνες R_{N},\ R_{a} αντιστοίχως, αλλά δεν είναι απαραίτητο να ισχύει NI_{a} = R_{N} + R_{a} ώστε οι κύκλοι να εφάπτονται εξωτερικά στο F_{a}.

Ομοίως, από την (3) προκύπτει ότι το F είναι το εξωτερικό κέντρο ομοιοθεσίας των κύκλων (N),\ (I), αλλά δεν τεκμηριώνεται ότι ισχύει NI = R_{N} - r, ώστε οι κύκλοι να εφάπτονται εσωτερικά στο F.

Στάθη σ' ευχαριστώ θερμά για την επισήμανση της "πατάτας", την οποία δεν πήρα χαμπάρι και ζητώ συγνώμη που σας ταλαιπώρησα με την αβλεψία μου αυτή ( χαρακτηρίστε την ελεύθερα ).

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


Άβαταρ μέλους
spege
Δημοσιεύσεις: 260
Εγγραφή: Δευ Απρ 27, 2009 10:24 pm

Re: Θεώρημα Feuerbach - Αποδείξεις

#18

Μη αναγνωσμένη δημοσίευση από spege » Τρί Ιούλ 17, 2012 4:31 pm

Κώστα μάλλον έχει δίκιο ο Στάθης Δεν είχα κάποια σκέψη κάνει για το αντίστροφο που δεν το κρύβω με ενθουσίασε όταν το έγραψες.
Υπόσχομαι με τις σκέψεις σου να οδηγηθώ ίσως κάπου.
Πάντως δυο κύκλοι έχουν και δυο κέντρα ομοιοθεσίας με λόγο το λόγο των ακτίνων τους που αν εφάπτονται το ένα είναι το σημείο επαφής.
Θα δούμε.
Σπύρος


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

Re: Θεώρημα Feuerbach - Αποδείξεις

#19

Μη αναγνωσμένη δημοσίευση από george visvikis » Τρί Μαρ 24, 2015 7:47 pm

Μπάμπης Στεργίου έγραψε:Επειδή τις μέρες αυτές βρίσκομαι στη μελέτη του θεωρήματος Feuerbach ( Ο κύκλος του Euler εφάπτεται του εγγεγραμμένου και των παρεγγεγραμμένων κύκλων του τριγώνου ), θεωρώ σημαντική τη συμβολή σας στην επιλογή των δυο πιο κατανοητών αποδείξεων. Θα ήθελα μια απόδειξη συνθετική και μια μετρική.
Την απόδειξη με αντιστροφή, θα την άφηνα για τρίτο τρόπο, μια και οι μικρότεροι μαθητές δεν γνωρίζουν την μέθοδο αυτή.
Ρίξτε μια ματιά στις πηγές σας και το κουβεντιάζουμε.

Μπάμπης
Λήμμα
Δίνεται κύκλος (O,R), ένα σταθερό σημείο A εκτός αυτού, και η εφαπτομένη (\epsilon) του κύκλου σε ένα σταθερό σημείο του B. Από το σημείο A φέρνουμε μεταβλητή ευθεία που τέμνει την εφαπτομένη στο σημείο M και στην προέκταση της AM παίρνουμε ένα σημείο N, ώστε το γινόμενο \displaystyle{AM \cdot AN} να είναι ίσο με τη δύναμη του A ως προς τον κύκλο (O,R). Ο γεωμετρικός τόπος του σημείου N είναι κύκλος που εφάπτεται στον (O,R).
Απόδειξη εδώ
Feuerbach-1.png
Feuerbach-1.png (17.51 KiB) Προβλήθηκε 2523 φορές
Έστω M, N, P, τα μέσα των πλευρών του τριγώνου ABC. Θα δείξω ότι ο κύκλος (M, N, P), δηλαδή ο κύκλος του Euler, εφάπτεται των (I,r),(I_a, r_a).
Έστω EE_1 η κοινή εσωτερική εφαπτομένη των δύο κύκλων που τέμνει την AB στο E, την AC στο E_1, τη BC στο H και τη MN στο Z. Έστω ακόμα D, T οι προβολές των I, I_a στη BC αντίστοιχα.
Αν η MN τέμνει την AI στο K, τότε η CK διέρχεται από το E και K είναι το μέσον της EC.

Είναι \displaystyle{CD = s - c,BT = BD + DT = s - b + b - c \Rightarrow CD = BT}, οπότε το M είναι το μέσο της DT=b-c

και \displaystyle{DM = MT = \frac{{b - c}}{2} = \frac{{AE - AB}}{2} = \frac{{EB}}{2} \Leftrightarrow } \boxed{DM = MT = MK = \frac{{EB}}{2}} (1)

Οι ευθείες CA, CB, CE αποτελούν κεντρική δέσμη με κέντρο το C, καθώς επίσης και οι BC, EE_1, AK με κέντρο το H. Άρα:

\displaystyle{\frac{{MK}}{{MN}} = \frac{{EB}}{{EA}}} και \displaystyle{\frac{{MZ}}{{MK}} = \frac{{EB}}{{EA}} \Rightarrow M{K^2} = MZ \cdot MN\mathop  \Leftrightarrow \limits^{(1)} }

\boxed{M{K^2} = M{D^2} = D{T^2} = MZ \cdot MN}.

Αλλά MD^2 είναι η δύναμη του σημείου M ως προς τον κύκλο (I) και MT^2 η δύναμη του M ως προς τον κύκλο (I_a). Σύμφωνα λοιπόν με το παραπάνω Λήμμα , το N ανήκει σε κύκλο που εφάπτεται στους κύκλους (I), (I_a). Ομοίως και για τα σημεία M, P και το θεώρημα απεδείχθη.


Απάντηση

Επιστροφή σε “Γεωμετρία (Seniors) - Παλαιότερες Συζητήσεις”

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

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