είναι κάθετεςΗ
είναι διχοτόμος της 
Το
βρίσκεται μεταξύ των 
Τα σημεία
είναι συνευθειακά, όπως επίσης και τα
καθώς και τα 
Να αποδειχθεί η ανισότητα:

Συντονιστής: gbaloglou
είναι κάθετες
είναι διχοτόμος της 
βρίσκεται μεταξύ των 
είναι συνευθειακά, όπως επίσης και τα
καθώς και τα 

και θεωρώντας ότι τα
κείνται επί της ευθείας
και ότι τα
κείνται επί της ευθείας
καταλήγουμε στα


Αν για παράδειγμα φέρουμε την διχοτόμοgbaloglou έγραψε: Τρί Ιούλ 09, 2024 10:14 am Υπάρχει πολύ απλή λύση με Αναλυτική ... που σημαίνει λογικά ότι υπάρχουν και απλές συνθετικές λύσεις:
... τότε η ζητούμενη ανισότητα ανάγεται στην έως και ήδη ( ; ) γνωστή ανισότητα (τετραπλεύρου
) 
Ελέγχεται βεβαίως η παραπάνω απόδειξη ως προς την αφαίρεση της απόλυτης τιμής από τους παρονομαστές τωνgbaloglou έγραψε: Τρί Ιούλ 09, 2024 10:14 am Υπάρχει πολύ απλή λύση με Αναλυτική ... που σημαίνει λογικά ότι υπάρχουν και απλές συνθετικές λύσεις:
Θέτονταςκαι θεωρώντας ότι τα
κείνται επί της ευθείας
και ότι τα
κείνται επί της ευθείας
καταλήγουμε στα
και ακολούθως στις
οπότε η ζητούμενη ανισότητα προκύπτει ισοδύναμη προς την ισχύουσα (πολύ απλές πράξεις)
![]()
και 
&
και εύλογα υποθέτοντας
ότι τα κείμενα επί της ευθείας
σημεία
και
ικανοποιούν αντίστοιχα τις
και 
(Ομοίως για την
ή, πιο εύκολα,
)
έχουμε (effectively) 
Για να είσαι μαθηματικός πρέπει να είσαι αισιόδοξος*, οπότε ήλπισε και η ταπεινότης μου μήπως και η θεσπέσια αυτή ανισότητα ισχύει ακόμη και όταν οιgbaloglou έγραψε: Τρί Ιούλ 09, 2024 10:47 amΑν για παράδειγμα φέρουμε την διχοτόμοgbaloglou έγραψε: Τρί Ιούλ 09, 2024 10:14 am Υπάρχει πολύ απλή λύση με Αναλυτική ... που σημαίνει λογικά ότι υπάρχουν και απλές συνθετικές λύσεις:... τότε η ζητούμενη ανισότητα ανάγεται στην έως και ήδη ( ; ) γνωστή ανισότητα (τετραπλεύρου
)
και
δεν είναι διχοτόμοι των
και
αλλά τυχούσες ημιευθείες εντός του
αυτό δεν είναι δυνατόν τελικά, ισχύει όμως η ανισότητα για τυχούσα
και για
εντός μιας 'λωρίδας' ημιευθειών εκ του
(και αντίστροφα).
λαμβάνουμε αντίστοιχα τις σχέσεις
και 
και 
και 
η γωνία της
με την
η γωνία της
με την
και
οι σταθερές γωνίες του τετραπλεύρου 



καθίσταται ισοδύναμη προς την σταθερού αριστερού σκέλους ανισότητα
) ημιευθεία
όταν τα
τείνουν στα
η ανισότητα δίνει
ενώ όταν τα
τείνουν στα
η ανισότητα δίνει
... οδηγώντας μέσω Νόμου Ημιτόνων στα
στην αδύνατη 
ημιευθειών
που ικανοποιούν την
για τυχούσα 'εσωτερική' του
ημιευθεία
αρκεί να παρατηρηθεί ότι στην παραπάνω αναγωγή,
το αριστερό σκέλος είναι σταθερό, εξαρτώμενο από το δοθέν τετράπλευρο BEGD και μόνον, και το δεξιό σκέλος μπορεί να το υπερβεί για τις κατάλληλες κλίσεις της 
με
τομή πλευρών
και
στο
και τομή πλευρών
και
στο
Για το τετράπλευρο αυτό η ποσότητα
(σταθερό αριστερό σκέλος) ισούται προς περίπου
, οπότε αρκεί η τυχούσα ημιευθεία
να έχει κλίση
τέτοια ώστε
γνωρίζοντας και τις σταθερές κλίσεις των
και
βρίσκουμε
και
οπότε από την προκύπτουσα ανισότητα κλπ συμπεραίνουμε ότι αρκεί να ισχύει η
(όλες δηλαδή οι ημιευθείες μεταξύ της
και αυτής που σχηματίζει γωνία
με τον αρνητικό ημιάξονα των
).
και
(εντός της 'λωρίδας'
), ένα παράδειγμα δηλαδή όπου
και όπου
ισχύει δηλαδή η ζητούμενη ανισότητα ... ενώ για
(εκτός της 'λωρίδας'
), ακόμη πιο εύκολα (και με κατακόρυφη
πάντοτε),
και η ζητούμενη ανισότητα δεν ισχύει. (Όλα αυτά αποτελούν σημαντικές ενδείξεις ορθότητας των ανωτέρω, πιθανώς θα επανέλθω κάποτε επί του θέματος!)]Πράγματι τα παραπάνω επαληθεύονται γραφικώς κατά δραματικό θα έλεγα τρόπο: θεωρώντας την περίπτωση γενικής (μη κατακόρυφης) διατέμνουσαςgbaloglou έγραψε: Παρ Ιούλ 26, 2024 10:22 pmΓια να είσαι μαθηματικός πρέπει να είσαι αισιόδοξος*, οπότε ήλπισε και η ταπεινότης μου μήπως και η θεσπέσια αυτή ανισότητα ισχύει ακόμη και όταν οιgbaloglou έγραψε: Τρί Ιούλ 09, 2024 10:47 amΑν για παράδειγμα φέρουμε την διχοτόμοgbaloglou έγραψε: Τρί Ιούλ 09, 2024 10:14 am Υπάρχει πολύ απλή λύση με Αναλυτική ... που σημαίνει λογικά ότι υπάρχουν και απλές συνθετικές λύσεις:... τότε η ζητούμενη ανισότητα ανάγεται στην έως και ήδη ( ; ) γνωστή ανισότητα (τετραπλεύρου
)
και
δεν είναι διχοτόμοι των
και
αλλά τυχούσες ημιευθείες εντός του
αυτό δεν είναι δυνατόν τελικά, ισχύει όμως η ανισότητα για τυχούσα
και για
εντός μιας 'λωρίδας' ημιευθειών εκ του
(και αντίστροφα).
Από Νόμο Ημιτόνων στα τρίγωναλαμβάνουμε αντίστοιχα τις σχέσεις
και
και
και
όπου![]()
η γωνία της
με την
![]()
η γωνία της
με την
και
οι σταθερές γωνίες του τετραπλεύρου
Από τις παραπάνω ισότητες προκύπτουν με διαίρεση κατά μέλη οι σχέσεις
Βλέπουμε λοιπόν ότι η (συ)ζητούμενη ανισότητα,καθίσταται ισοδύναμη προς την σταθερού αριστερού σκέλους ανισότητα
Μία πρώτη συνέπεια της παραπάνω αναγωγής είναι ότι η ανισότητα μας δεν μπορεί να ισχύει για τυχούσα (εσωτερική του) ημιευθεία
όταν τα
τείνουν στα
η ανισότητα δίνει
ενώ όταν τα
τείνουν στα
η ανισότητα δίνει
... οδηγώντας μέσω Νόμου Ημιτόνων στα
στην αδύνατη
H κύρια συνέπεια φαίνεται να είναι -- αν δεν έχω κάνει κάποιο σοβαρό λάθος** -- αυτό που υποσχέθηκα παραπάνω, ότι δηλαδή έχουμε μία 'λωρίδα' 'εσωτερικών' τουημιευθειών
που ικανοποιούν την
για τυχούσα 'εσωτερική' του
ημιευθεία
αρκεί να παρατηρηθεί ότι στην παραπάνω αναγωγή,
το αριστερό σκέλος είναι σταθερό, εξαρτώμενο από το δοθέν τετράπλευρο BEGD και μόνον, και το δεξιό σκέλος μπορεί να το υπερβεί για τις κατάλληλες κλίσεις της
Ας δούμε ένα παράδειγμα τετραπλεύρουμε
τομή πλευρών
και
στο
και τομή πλευρών
και
στο
Για το τετράπλευρο αυτό η ποσότητα
(σταθερό αριστερό σκέλος) ισούται προς περίπου
, οπότε αρκεί η τυχούσα ημιευθεία
να έχει κλίση
τέτοια ώστε
γνωρίζοντας και τις σταθερές κλίσεις των
και
βρίσκουμε
και
οπότε από την προκύπτουσα ανισότητα κλπ συμπεραίνουμε ότι αρκεί να ισχύει η
(όλες δηλαδή οι ημιευθείες μεταξύ της
και αυτής που σχηματίζει γωνία
με τον αρνητικό ημιάξονα των
).
[Ας δούμε, όπως στο συνημμένο, ένα 'εύκολο' παράδειγμα με κατακόρυφηκαι
(εντός της 'λωρίδας'
), ένα παράδειγμα δηλαδή όπου
και όπου
ισχύει δηλαδή η ζητούμενη ανισότητα ... ενώ για
(εκτός της 'λωρίδας'
), ακόμη πιο εύκολα (και με κατακόρυφη
πάντοτε),
και η ζητούμενη ανισότητα δεν ισχύει. (Όλα αυτά αποτελούν σημαντικές ενδείξεις ορθότητας των ανωτέρω, πιθανώς θα επανέλθω κάποτε επί του θέματος!)]
όπου
με
(βλέπε συνημμένο) ΚΑΙ γενικής
της μορφής
στο συγκεκριμένο τετράπλευρο
πάντοτε (βλέπε παραπάνω), προκύπτουν οι ισότητες






για
ΚΑΙ για διάφορες τιμές του
και να επιβεβαιώσουμε ότι το πρόσημο αλλάζει, και μάλιστα σε ΟΛΟΚΛΗΡΟ το πεδίο ορισμού, ακριβώς 'γύρω' από την κρίσιμη τιμή του
(
) που ήδη εντοπίσαμε με άλλον τρόπο (#6) : επισυνάπτω προς σύγκριση τα σχετικά γραφήματα για
και
(Παραλείπονται αρκετά άλλα γραφήματα για αρκετές άλλες τιμές του
που απλώς επιβεβαιώνουν τα παραπάνω.)
) γύρω στο
η σκληρή αλλά και όμορφη αλήθεια είναι ότι, πολύ απλά,
με κορυφές
και σημεία τομής των
και των
τα
και
αντίστοιχα, η διατέμνουσα
με σημεία τομής με τις
τα
αντίστοιχα, οδηγεί στην
για τυχούσα διατέμνουσα
όπου
τα σημεία τομής της διατέμνουσας με τις
αντίστοιχα.
με
και σημεία τομής των
και των
τα
και
αντίστοιχα, η διατέμνουσα
με σημεία τομής με τις
τα
αντίστοιχα, οδηγεί στην
για τυχούσα διατέμνουσα
όπου
τα σημεία τομής της διατέμνουσας με τις
αντίστοιχα, αν και μόνον αν ισχύει η 



η τομή της τυχούσας διατέμνουσας
με τον άξονα των 
των
-- ισχύει για κάθε
και συνεπώς για κάθε διατέμνουσα
... όταν o συντελεστής
της διατέμνουσας
έχει επιλεχθεί κατάλληλα.]
με
και σημεία τομής των
και των
τα
και
αντίστοιχα, η διατέμνουσα
με σημεία τομής με τις
τα
αντίστοιχα, οδηγεί στην
για τυχούσα διατέμνουσα
όπου
τα σημεία τομής της διατέμνουσας με τις
αντίστοιχα, αν και μόνον αν ισχύει η 
τόσο απλά
εκτός του αρχικού τετραπλεύρου
όπου επαληθεύεται* και η ζητούμενη
... και ζητώ από σας Ευκλείδεια απόδειξη! [Χρόνια Πολλά, παρεμπιπτόντως** 
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες