Θεώρημα (εξωτερικής διχοτόμου τριγώνου)
Η διχοτόμος μιας εξωτερικής γωνίας τριγώνου τέμνει την προέκταση της απέναντι πλευράς σε ένα σημείο, το οποίο διαιρεί εξωτερικά την πλευρά αυτή σε λόγο ίσο με το λόγο των προσκείμενων πλευρών.
Δηλαδή, αν η ΑΕ είναι εξωτερική διχοτόμος του τριγώνου ΑΒΓ, ισχύει ότι:
Απόδειξη
Έστω τρίγωνο ΑΒΓ και η εξωτερική διχοτόμος του ΑΕ. Από το Β φέρουμε παράλληλη προς την ΑΕ, που τέμνει την ΑΓ στο Ζ. Από το θεώρημα του Θαλή στο τρίγωνο ΓΑΕ έχουμε
Για να αποδείξουμε το ζητούμενο, αρκεί να αποδείξουμε ότι ΑΖ = ΑΒ. Πράγματι:
A1 = Β1 (εντός εναλλάξ των παραλλήλων ΑΕ και ΒΖ),
A2= Ζ1 (εντός εκτός και επί τα αυτά των παραλλήλων ΑΕ και ΒΖ),
A1 = A2 (ΑΕ εξωτερική διχοτόμος),
οπότε Β1 = Ζ1 άρα ΑΖ = ΑΒ (2).
Από τις (1) και (2) προκύπτει ότι ΕΒΕΓ = ΑΒΑΓ .A2= Ζ1 (εντός εκτός και επί τα αυτά των παραλλήλων ΑΕ και ΒΖ),
A1 = A2 (ΑΕ εξωτερική διχοτόμος),

Από το σχολικό βιβλίο Γεωμετρίας, της Α΄ - Β΄ Λυκείου.