Al.Koutsouridis έγραψε: Δευ Σεπ 03, 2018 12:34 pm
gbaloglou έγραψε: Δευ Σεπ 03, 2018 9:18 am
Αλέξανδρε υπονοείς ότι η πηγή σου ΔΕΝ δίνει λύση για όλες τις περιπτώσεις;! Έχω αποδείξει ότι η αρχική μου λύση, ειδική περίπτωση αυτής που παρέθεσες, ισχύει για ΟΛΑ τα ορθογώνια τρίγωνα (και θα δώσω τις λεπτομέρειες αργότερα, αφού βέβαια τις ελέγξω).
Όχι μάλλον δεν το έγραψα καθαρά. Μία από τις επίσημες λύσεις είναι παρόμοια με την δική σας, απλά λαμβάνει ως

την λευρά του τετραγώνου προς κατασκευή και προκύπτει η πιό συμμετρική σχέση
και όπως σωστά αναφέρατε υπάρχει (αποδεικνύεται) πάντα τέτοια κατασκευή. (τετράγωνο με πλευρές παράλληλες προς τις καθέτους).
Καταθέτω τις λεπτομέρειες της προσέγγισης μου (for whatever it's worth, που λέγαμε και στο χωριό μου)...
Αρχίζοντας με τις δύο παράλληλες προς τις καθέτους πλευρές, διερχόμενες δια των κέντρων των αντίστοιχων τετραγώνων, επεκτείνουμε αρχικά την μικρότερη κατά

σχηματίζοντας ένα 'αρχικό' τετράγωνο (κατά το ήμισυ), και εν συνεχεία επεκτείνουμε αμφότερες τις πλευρές κατά

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

που μας δίνει την σωστή του τιμή,

.
Εύκολα προκύπτει τώρα ότι η τέταρτη κορυφή του ζητούμενου τετραγώνου είναι η

, το ερώτημα είναι αν οφείλει ΟΝΤΩΣ να βρίσκεται ΕΝΤΟΣ του τρίτου τετραγώνου, ώστε να έχει νόημα η όλη στρατηγική και λύση (βλ. συνημμένο): προτίμησα να αντιμετωπίσω αυτό το ερώτημα αλγεβρικά, αποδεικνύοντας ότι η απόσταση της τέταρτης κορυφής από κάθε μία από τις πλευρές του τρίτου τετραγώνου δεν υπερβαίνει το μήκος της πλευράς του (

)^ δίνω τις βασικές λεπτομέρειες παρακάτω, πλευρά προς πλευρά.
--

:

, με αντίστοιχη ανισότητα απόστασης τέταρτης κορυφής αναγόμενη στην
Η απόλυτη τιμή μπορεί να αφαιρεθεί χάρις στην

, οπότε η ζητούμενη ανισότητα ανάγεται στην
Η ανισότητα αυτή ισχύει τετριμμένα αν

, στην αντίθετη περίπτωση θέτουμε

(με

,

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

. (Η

δίνει

.)
--

:

, με αντίστοιχη ανισότητα απόστασης τέταρτης κορυφής αναγόμενη στην
που ανάγεται εύκολα στην

.
--

:

, με αντίστοιχη ανισότητα απόστασης τέταρτης κορυφής αναγόμενη στην
Η απόλυτη τιμή μπορεί να αφαιρεθεί χάρις στην

, οπότε η ζητούμενη ανισότητα ανάγεται, ύστερα από χρήση των

,

, στην ισχύουσα

.
--

:

, με αντίστοιχη ανισότητα απόστασης τέταρτης κορυφής αναγόμενη στην
που ανάγεται εύκολα στην

.

- fourth-bisecting-square-proof.png (22.33 KiB) Προβλήθηκε 1175 φορές