gbaloglou έγραψε: Τρί Ιούλ 09, 2024 10:47 am
gbaloglou έγραψε: Τρί Ιούλ 09, 2024 10:14 am
Υπάρχει πολύ απλή λύση με Αναλυτική ... που σημαίνει λογικά ότι υπάρχουν και απλές συνθετικές λύσεις:
Αν για παράδειγμα φέρουμε την διχοτόμο

... τότε η ζητούμενη ανισότητα ανάγεται στην έως και ήδη ( ; ) γνωστή ανισότητα (τετραπλεύρου

)
Για να είσαι μαθηματικός πρέπει να είσαι αισιόδοξος*, οπότε ήλπισε και η ταπεινότης μου μήπως και η θεσπέσια αυτή ανισότητα ισχύει ακόμη και όταν οι

και

δεν είναι διχοτόμοι των

και

αλλά τυχούσες ημιευθείες εντός του

αυτό δεν είναι δυνατόν τελικά, ισχύει όμως η ανισότητα για τυχούσα

και για

εντός μιας 'λωρίδας' ημιευθειών εκ του

(και αντίστροφα).
Από Νόμο Ημιτόνων στα τρίγωνα

λαμβάνουμε αντίστοιχα τις σχέσεις

και

και

και
όπου

η γωνία της

με την

η γωνία της

με την

και

οι σταθερές γωνίες του τετραπλεύρου
Από τις παραπάνω ισότητες προκύπτουν με διαίρεση κατά μέλη οι σχέσεις
Βλέπουμε λοιπόν ότι η (συ)ζητούμενη ανισότητα,

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

) ημιευθεία

όταν τα

τείνουν στα

η ανισότητα δίνει

ενώ όταν τα

τείνουν στα

η ανισότητα δίνει

... οδηγώντας μέσω Νόμου Ημιτόνων στα

στην αδύνατη
H κύρια συνέπεια φαίνεται να είναι -- αν δεν έχω κάνει κάποιο σοβαρό λάθος** -- αυτό που υποσχέθηκα παραπάνω, ότι δηλαδή έχουμε μία 'λωρίδα' 'εσωτερικών' του

ημιευθειών

που ικανοποιούν την

για
τυχούσα 'εσωτερική' του

ημιευθεία

αρκεί να παρατηρηθεί ότι στην παραπάνω αναγωγή,

το αριστερό σκέλος είναι σταθερό, εξαρτώμενο από το δοθέν τετράπλευρο BEGD και μόνον, και το δεξιό σκέλος μπορεί να το υπερβεί για τις κατάλληλες κλίσεις της
Ας δούμε ένα παράδειγμα τετραπλεύρου

με

τομή πλευρών

και

στο

και τομή πλευρών

και

στο

Για το τετράπλευρο αυτό η ποσότητα

(σταθερό αριστερό σκέλος) ισούται προς περίπου

, οπότε αρκεί η τυχούσα ημιευθεία

να έχει κλίση

τέτοια ώστε

γνωρίζοντας και τις σταθερές κλίσεις των

και

βρίσκουμε

και

οπότε από την προκύπτουσα ανισότητα κλπ συμπεραίνουμε ότι αρκεί να ισχύει η

(όλες δηλαδή οι ημιευθείες μεταξύ της

και αυτής που σχηματίζει γωνία

με τον αρνητικό ημιάξονα των

).
[Ας δούμε, όπως στο συνημμένο, ένα 'εύκολο' παράδειγμα με κατακόρυφη

και

(εντός της 'λωρίδας'

), ένα παράδειγμα δηλαδή όπου

και όπου

ισχύει δηλαδή η ζητούμενη ανισότητα ... ενώ για

(εκτός της 'λωρίδας'

), ακόμη πιο εύκολα (και με κατακόρυφη

πάντοτε),

και η ζητούμενη ανισότητα δεν ισχύει. (Όλα αυτά αποτελούν σημαντικές ενδείξεις ορθότητας των ανωτέρω, πιθανώς θα επανέλθω κάποτε επί του θέματος!)]
*άμεσα εμπνευσμένο από το "για να είσαι βιομήχανος πρέπει να είσαι αισιόδοξος" που απάντησε κάποτε κάποιος επώνυμος στο ερώτημα "είστε [γενικά] αισιόδοξος;"
**πολλά τα λάθη (μου), ιδίως όταν η θερμοκρασία δωματίου δεν ήταν 29,5 αλλά 32,5 (δεν μου/μας αρέσουν τα κλιματιστικά)

- APQR-vertical.png (17.21 KiB) Προβλήθηκε 1440 φορές