Στὴν προσπάθειά μου νὰ τὸ ἀποδείξω ἀναγκάστηκα νὰ ἀποδείξω τελικὰ κάτι ἰσχυρότερο τὸ ὁποῖο δὲν ξέρω ποὺ μπορεῖ νὰ βρίσκεται καὶ γι' αὐτὸ τὸ ὑποβάλλω στὴν κρίση σας.
"Σὲ ἕνα τρίγωνο σὲ ἄνισες πλευρὲς ἀντιστοιχοῦν ἀντιστρόφως ἄνισες διχοτόμοι".
Δηλαδὴ ἂν
τότε 
Ἀπὸ τὰ τρίγωνα ABE καὶ ACG ἐφαρμόζοντας τὴ γενίκευση τοῦ Πυθαγορείου Θεωρήματος ἔχουμε:
(1)καὶ
(2)Ἀπὸ τὶς (1) καὶ (2) μὲ κατάλληλη διαίρεση καὶ στὰ δύο μέλη παίρνουμε:
(3)καὶ
(4)Ἐπίσης ἀπὸ τὸ θεώρημα τῆς διχοτόμου γιὰ τὶς
καὶ
ἔχουμε:
(5)καὶ
(6)καὶ διαιρῶντας τὶς (5) καὶ (6) κατὰ μέλη ἔχουμε τελικά:

ἐπειδὴ
.Ὁπότε ἀφοῦ καὶ
εἶναι
δηλαδὴ
. (7)Ἐπίσης στὸ τρίγωνο ABE εἶναι
ὡς ἐξωτερικὴ τοῦ τριγώνου EBC καὶ ἑπομένως 
Ἄρα ἔχουμε τελικὰ λαμβάνοντας ὑπ' ὄψιν καὶ τὴν (7)
. (8)Στὶς (3) καὶ (4) παρατηροῦμε ὅτι οἱ δύο πρῶτοι προσθετέοι τῶν δεύτερων μελῶν εἶναι ἀντίστροφοι ἀριθμοὶ μὲ τοὺς πρῶτα γραμμένους ἀπὸ αὐτοὺς νὰ εἶναι μεγαλύτεροι τῆς μονάδος ὅπως μᾶς λέει ἡ (8).
Συνεπῶς ἂν θελήσουμε νὰ συγκρίνουμε τὰ δεύτερα μέλη τῶν (3) καὶ (4) βλέπουμε ὅτι (3) < (4)
Ὁ εὐκολότερος τρόπος γιὰ νὰ διαπιστωθεῖ αὐτό, εἶναι νὰ δοῦμε ὅτι ἡ συνάρτηση
εἶναι γνησίως αὔξουσα γιὰ
καὶ ἑπομένως ἡ (8) δίνει ὅτι (3) < (4) γιὰ τὰ δεύτερα μέλη τους.Ἄρα γιὰ τὰ πρῶτα θὰ ἔχουμε:

ποὺ ἀπὸ τὶς (5) καὶ (6) αὐτὸ ἰσοῦται μὲ

ἐπειδὴ
.Ἄρα εἶναι

δηλαδὴ
.καὶ ἑπομένως ἡ πρόταση ποὺ λέει ὅτι τὸ τρίγωνο ποὺ ἔχει δύο ἴσες διχοτόμους εἶναι ἰσοσκελὲς ἰσχύει.
Μιχάλης Μακρίδης
αποδείξεις του Ιωάννη Φ. Πανάκη πάνω σ' αυτό το θέμα