Μία γωνία, δύο διχοτόμοι
Συντονιστές: AΝΔΡΕΑΣ ΒΑΡΒΕΡΑΚΗΣ, silouan, george visvikis
- gbaloglou
- Επιμελητής
- Δημοσιεύσεις: 3342
- Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
- Τοποθεσία: Θεσσαλονικη
- Επικοινωνία:
Μία γωνία, δύο διχοτόμοι
Με αφορμή τις όμορφες συζητήσεις εδώ και εδώ, αλλά και τα πρόσφατα γενέθλια του , προτείνω:
Δύο τρίγωνα που έχουν και τις διχοτόμους και είναι ίσα;
[Έχω απάντηση, και παρά πάσαν (?) προσδοκίαν, αυτή είναι καταφατική! (Έλεγξα αρκετά την δουλειά μου, ακριβώς επειδή η απάντηση δεν είναι η αναμενόμενη, και πιστεύω ότι δεν υπάρχει λάθος^ σε κάθε περίπτωση, ας τελειώνουμε μ' αυτό το 'οφειλόμενο' θέμα )]
Δύο τρίγωνα που έχουν και τις διχοτόμους και είναι ίσα;
[Έχω απάντηση, και παρά πάσαν (?) προσδοκίαν, αυτή είναι καταφατική! (Έλεγξα αρκετά την δουλειά μου, ακριβώς επειδή η απάντηση δεν είναι η αναμενόμενη, και πιστεύω ότι δεν υπάρχει λάθος^ σε κάθε περίπτωση, ας τελειώνουμε μ' αυτό το 'οφειλόμενο' θέμα )]
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Λέξεις Κλειδιά:
- gbaloglou
- Επιμελητής
- Δημοσιεύσεις: 3342
- Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
- Τοποθεσία: Θεσσαλονικη
- Επικοινωνία:
Re: Μία γωνία, δύο διχοτόμοι
Αντί επαναφοράς ... μία χαριτωμένη (?) όσο και ημιτελής προσπάθεια επίλυσης:
Στο τρίγωνο με διχοτόμους , μήκους , και γωνίες , , εφαρμόζουμε Νόμο Συνημιτόνων στα τρίγωνα , :
και με απαλοιφή του συνημιτόνου καταλήγουμε στην
(I)
Με ανάλογη εφαρμογή Νόμου Συνημιτόνων στα τρίγωνα , και απαλοιφή του
καταλήγουμε στην
(II)
Από Νόμο Συνημιτόνων στο λαμβάνουμε , και με αντικατάσταση αυτής στις (Ι), (ΙΙ) καταλήγουμε στο ως προς , σύστημα
Το σύστημα αυτό οφείλουμε να δείξουμε ότι έχει πάντοτε μία και μοναδική θετική λύση (, )
[Δεν βλέπω τρόπο απόδειξης μοναδικότητας θετικής λύσης του παραπάνω συστήματος, αλλά το παραθέτω εδώ ... μήπως και κάποιος δει κάτι... (Μία άλλη προσέγγιση πάντως, με χρήση Νόμου Ημιτόνων αντί Νόμου Συνημιτόνων, οδηγεί σε MIA εξίσωση που μπορεί να δειχθεί ότι έχει μία και μοναδική λύση: θα την παρουσιάσω σε λίγες εβδομάδες, ελπίζοντας και σε κάτι διαφορετικό, ενδεχομένως γεωμετρικότερο, ως τότε.)]
Στο τρίγωνο με διχοτόμους , μήκους , και γωνίες , , εφαρμόζουμε Νόμο Συνημιτόνων στα τρίγωνα , :
και με απαλοιφή του συνημιτόνου καταλήγουμε στην
(I)
Με ανάλογη εφαρμογή Νόμου Συνημιτόνων στα τρίγωνα , και απαλοιφή του
καταλήγουμε στην
(II)
Από Νόμο Συνημιτόνων στο λαμβάνουμε , και με αντικατάσταση αυτής στις (Ι), (ΙΙ) καταλήγουμε στο ως προς , σύστημα
Το σύστημα αυτό οφείλουμε να δείξουμε ότι έχει πάντοτε μία και μοναδική θετική λύση (, )
[Δεν βλέπω τρόπο απόδειξης μοναδικότητας θετικής λύσης του παραπάνω συστήματος, αλλά το παραθέτω εδώ ... μήπως και κάποιος δει κάτι... (Μία άλλη προσέγγιση πάντως, με χρήση Νόμου Ημιτόνων αντί Νόμου Συνημιτόνων, οδηγεί σε MIA εξίσωση που μπορεί να δειχθεί ότι έχει μία και μοναδική λύση: θα την παρουσιάσω σε λίγες εβδομάδες, ελπίζοντας και σε κάτι διαφορετικό, ενδεχομένως γεωμετρικότερο, ως τότε.)]
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
- george visvikis
- Επιμελητής
- Δημοσιεύσεις: 13277
- Εγγραφή: Παρ Νοέμ 01, 2013 9:35 am
Re: Μία γωνία, δύο διχοτόμοι
Καλό μεσημέρι Γιώργο, και Χρόνια Πολλά!
Από την πρώτη μέρα που δημοσιεύτηκε, προσπαθώ να βρω λύση και δεν μπορώ. Αρχική μου σκέψη ήταν να δείξω ότι το
( έγκεντρο) είναι κατασκευάσιμο και αφού θα έπρεπε τα να έχουν σταθερά μήκη.
Η προσπάθεια απέτυχε. Στη συνέχεια μπλέχτηκα κι εγώ με ένα παρόμοιο σύστημα που ήταν αδύνατο να λυθεί ή να δειχθεί,
τουλάχιστον ότι έχει μοναδική λύση. Δεν την παρατάω. Βλέπουμε...
Από την πρώτη μέρα που δημοσιεύτηκε, προσπαθώ να βρω λύση και δεν μπορώ. Αρχική μου σκέψη ήταν να δείξω ότι το
( έγκεντρο) είναι κατασκευάσιμο και αφού θα έπρεπε τα να έχουν σταθερά μήκη.
Η προσπάθεια απέτυχε. Στη συνέχεια μπλέχτηκα κι εγώ με ένα παρόμοιο σύστημα που ήταν αδύνατο να λυθεί ή να δειχθεί,
τουλάχιστον ότι έχει μοναδική λύση. Δεν την παρατάω. Βλέπουμε...
Re: Μία γωνία, δύο διχοτόμοι
Χρόνια πολλά σε όλους!
Η λύση που ακολουθεί έχει λάθος. Συγκεκριμένα , θεώρησα εσφαλμένα ότι ένα τετράπλευρο καθορίζεται πλήρως από τις 4 γωνίες του και μία διαγώνιο.Παρ' όλ' αυτά, αφήνω την προσπάθεια μήπως και μπορέσει κάποιος να καλύψει το κενό.Ευχαριστώ τον κύριο Μπαλόγλου για την επισήμανση του λάθους.
Μια προσπάθεια:
Γράφοντας , θα εννοώ ότι μια ποσότητα είναι σταθερή για δεδομένα
Θα δουλέψω στο τρίγωνο . Εστω το έγκεντρο.
Εστω ο περιγεγραμμένος κύκλος του με ακτίνα
και ο περιγεγραμμένος του με .
Εστω το δεύτερο κοινό σημείο των κύκλων.
Εξ' ορισμού, το είναι το σημείο Miquel του πλήρους τετράπλευρου .
Αρα τα εγγράψιμα τετράπλευρα.
Από νόμο ημιτόνων είναι .
Αρα τα σταθερά για δεδομένα .
Ισχύει
Από νόμο ημιτόνων
Ακόμη,
Αρα,
Αρα,
κι επειδή είναι
Ομοια
Ακόμη
Αρα το τετράπλευρο έχει σταθερές τις 4 γωνίες του και τη μία διαγώνιο σταθερή.Αρα είναι και το ίδιο σταθερό.
Συνεπώς
Ισχύει
Είναι
Αρα, το τρίγωνο σταθερό.
Αρα .
Ισχύει
Αρα
Στο είναι
Ομοια,
κι επειδή , έπεται ότι .
Αυτό μαζί με τη σταθερότητα της , δίνει ότι το
σταθερό και άρα μοναδικό.
Η λύση που ακολουθεί έχει λάθος. Συγκεκριμένα , θεώρησα εσφαλμένα ότι ένα τετράπλευρο καθορίζεται πλήρως από τις 4 γωνίες του και μία διαγώνιο.Παρ' όλ' αυτά, αφήνω την προσπάθεια μήπως και μπορέσει κάποιος να καλύψει το κενό.Ευχαριστώ τον κύριο Μπαλόγλου για την επισήμανση του λάθους.
Μια προσπάθεια:
Γράφοντας , θα εννοώ ότι μια ποσότητα είναι σταθερή για δεδομένα
Θα δουλέψω στο τρίγωνο . Εστω το έγκεντρο.
Εστω ο περιγεγραμμένος κύκλος του με ακτίνα
και ο περιγεγραμμένος του με .
Εστω το δεύτερο κοινό σημείο των κύκλων.
Εξ' ορισμού, το είναι το σημείο Miquel του πλήρους τετράπλευρου .
Αρα τα εγγράψιμα τετράπλευρα.
Από νόμο ημιτόνων είναι .
Αρα τα σταθερά για δεδομένα .
Ισχύει
Από νόμο ημιτόνων
Ακόμη,
Αρα,
Αρα,
κι επειδή είναι
Ομοια
Ακόμη
Αρα το τετράπλευρο έχει σταθερές τις 4 γωνίες του και τη μία διαγώνιο σταθερή.Αρα είναι και το ίδιο σταθερό.
Συνεπώς
Ισχύει
Είναι
Αρα, το τρίγωνο σταθερό.
Αρα .
Ισχύει
Αρα
Στο είναι
Ομοια,
κι επειδή , έπεται ότι .
Αυτό μαζί με τη σταθερότητα της , δίνει ότι το
σταθερό και άρα μοναδικό.
Κώστας
- gbaloglou
- Επιμελητής
- Δημοσιεύσεις: 3342
- Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
- Τοποθεσία: Θεσσαλονικη
- Επικοινωνία:
Re: Μία γωνία, δύο διχοτόμοι
Ανεπιτυχής η παραπάνω προσπάθεια -- που οδήγησε πάντως σε κάτι ενδιαφέρον -- οπότε ... επαναφέρω!
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
- gbaloglou
- Επιμελητής
- Δημοσιεύσεις: 3342
- Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
- Τοποθεσία: Θεσσαλονικη
- Επικοινωνία:
Re: Μία γωνία, δύο διχοτόμοι
Τελευταία επαναφορά -- τον άλλο μήνα η λύση!
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
- gbaloglou
- Επιμελητής
- Δημοσιεύσεις: 3342
- Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
- Τοποθεσία: Θεσσαλονικη
- Επικοινωνία:
Re: Μία γωνία, δύο διχοτόμοι
Η λύση μου με Τριγωνομετρία, Λογισμό, και ... Τριγωνομετρία:
Θεωρούμε τυχόν 'προς κατασκευήν' τρίγωνο με , , , όπου , οι διχοτόμοι των , , αντίστοιχα. Από Νόμο Ημιτόνων στα , λαμβάνουμε
Διαιρώντας κατά μέλη και αντικαθιστώντας , οπότε , καταλήγουμε στην ισότητα-κλειδί
Η ισότητα αυτή εμπεριέχει την ΚΕΝΤΡΙΚΗ ΙΔΕΑ της λύσης-κατασκευής: δοθέντων των , , θα προσδιορίσουμε -- όχι βέβαια με κανόνα και διαβήτη! -- ένα (αν όντως υπάρχει) και μοναδικό (αν όντως είναι) , άρα και τρίγωνο , που να ικανοποιεί τις δοθείσες συνθήκες.
Η ύπαρξη του στην παραπάνω ισότητα είναι προφανής, καθώς η ως προς συνάρτηση του αριστερού σκέλους είναι συνεχής και λαμβάνει απεριόριστα μεγάλες και απεριόριστα μικρές (θετικές) τιμές για και , αντίστοιχα (οπότε η ως προς συνεπαγόμενη εξίσωση έχει λύση για οποιαδήποτε θετικά , ).
Πολύ πιο δύσκολη στην παραπάνω ισότητα-εξίσωση είναι η μοναδικότητα του -- απόλυτα απαραίτητη για το αρχικό μας πρόβλημα, ότι δηλαδή δύο τρίγωνα με μία γωνία ίση και τις διχοτόμους των παρακειμένων γωνιών ίσες είναι ίσα -- που θα προκύψει από την γνήσια μονοτονία του αριστερού σκέλους: θα δείξουμε παρακάτω ότι η ως προς συνάρτηση είναι γνησίως αύξουσα στο πεδίο ορισμού της.
Θέτοντας λοιπόν οφείλουμε να δείξουμε ότι ισχύει η για . Αρκεί ως συνήθως να τεκμηριώσουμε την θετικότητα του αριθμητή της παραγώγου, ο οποίος αριθμητής ισούται προς
Στο σημείο αυτό παρατηρούμε ότι, με την πιθανή εξαίρεση του , που είναι θετικό αν και μόνον αν , οι τριγωνομετρικές συναρτήσεις της παραπάνω ποσότητας είναι θετικές για . (Για παράδειγμα, δεν είναι δυνατόν να έχουμε , γιατί θα ίσχυε τότε η .) Αφήνοντας λοιπόν κατά μέρος την περίπτωση , όπου η θετικότητα της
για είναι άμεση, υποθέτουμε από εδώ και πέρα ότι , και επισημαίνουμε ότι
Στο σημείο αυτό παρατηρούμε ότι , είναι δηλαδή θετική η στα άκρα του διαστήματος όπου θέλουμε να δείξουμε ότι παραμένει θετική. Αρκεί συνεπώς να δείξουμε ότι σε τυχόν σημείο τοπικού ακρότατου η είναι θετική, ότι δηλαδή .
Η δίνει και
Από τον μηδενισμό του πρώτου παράγοντα λαμβάνουμε και, ύστερα από χρήση των τύπων τριπλής γωνίας και κάποιες πράξεις,
Από τον μηδενισμό του δεύτερου παράγοντα λαμβάνουμε και, ύστερα από αρκετές πράξεις,
[Ο παραπάνω τύπος επαληθεύτηκε -- στο πνεύμα συνεχούς ελέγχου τύπων και πράξεων -- στην ειδική περίπτωση με & , και . (Ας παρατηρηθεί εδώ ότι τα σημεία μηδενισμού της παραγώγου , κείνται συνήθως εκτός του διαστήματος .) H θετικότητα της διτετράγωνης προκύπτει από την συνθήκη και την ανισότητα .]
Θεωρούμε τυχόν 'προς κατασκευήν' τρίγωνο με , , , όπου , οι διχοτόμοι των , , αντίστοιχα. Από Νόμο Ημιτόνων στα , λαμβάνουμε
Διαιρώντας κατά μέλη και αντικαθιστώντας , οπότε , καταλήγουμε στην ισότητα-κλειδί
Η ισότητα αυτή εμπεριέχει την ΚΕΝΤΡΙΚΗ ΙΔΕΑ της λύσης-κατασκευής: δοθέντων των , , θα προσδιορίσουμε -- όχι βέβαια με κανόνα και διαβήτη! -- ένα (αν όντως υπάρχει) και μοναδικό (αν όντως είναι) , άρα και τρίγωνο , που να ικανοποιεί τις δοθείσες συνθήκες.
Η ύπαρξη του στην παραπάνω ισότητα είναι προφανής, καθώς η ως προς συνάρτηση του αριστερού σκέλους είναι συνεχής και λαμβάνει απεριόριστα μεγάλες και απεριόριστα μικρές (θετικές) τιμές για και , αντίστοιχα (οπότε η ως προς συνεπαγόμενη εξίσωση έχει λύση για οποιαδήποτε θετικά , ).
Πολύ πιο δύσκολη στην παραπάνω ισότητα-εξίσωση είναι η μοναδικότητα του -- απόλυτα απαραίτητη για το αρχικό μας πρόβλημα, ότι δηλαδή δύο τρίγωνα με μία γωνία ίση και τις διχοτόμους των παρακειμένων γωνιών ίσες είναι ίσα -- που θα προκύψει από την γνήσια μονοτονία του αριστερού σκέλους: θα δείξουμε παρακάτω ότι η ως προς συνάρτηση είναι γνησίως αύξουσα στο πεδίο ορισμού της.
Θέτοντας λοιπόν οφείλουμε να δείξουμε ότι ισχύει η για . Αρκεί ως συνήθως να τεκμηριώσουμε την θετικότητα του αριθμητή της παραγώγου, ο οποίος αριθμητής ισούται προς
Στο σημείο αυτό παρατηρούμε ότι, με την πιθανή εξαίρεση του , που είναι θετικό αν και μόνον αν , οι τριγωνομετρικές συναρτήσεις της παραπάνω ποσότητας είναι θετικές για . (Για παράδειγμα, δεν είναι δυνατόν να έχουμε , γιατί θα ίσχυε τότε η .) Αφήνοντας λοιπόν κατά μέρος την περίπτωση , όπου η θετικότητα της
για είναι άμεση, υποθέτουμε από εδώ και πέρα ότι , και επισημαίνουμε ότι
Στο σημείο αυτό παρατηρούμε ότι , είναι δηλαδή θετική η στα άκρα του διαστήματος όπου θέλουμε να δείξουμε ότι παραμένει θετική. Αρκεί συνεπώς να δείξουμε ότι σε τυχόν σημείο τοπικού ακρότατου η είναι θετική, ότι δηλαδή .
Η δίνει και
Από τον μηδενισμό του πρώτου παράγοντα λαμβάνουμε και, ύστερα από χρήση των τύπων τριπλής γωνίας και κάποιες πράξεις,
Από τον μηδενισμό του δεύτερου παράγοντα λαμβάνουμε και, ύστερα από αρκετές πράξεις,
[Ο παραπάνω τύπος επαληθεύτηκε -- στο πνεύμα συνεχούς ελέγχου τύπων και πράξεων -- στην ειδική περίπτωση με & , και . (Ας παρατηρηθεί εδώ ότι τα σημεία μηδενισμού της παραγώγου , κείνται συνήθως εκτός του διαστήματος .) H θετικότητα της διτετράγωνης προκύπτει από την συνθήκη και την ανισότητα .]
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 5 επισκέπτες