Una bisettrice perpendicolare
Nel triangolo $A B C$ l'angolo $\widehat{C A} B$ è doppio di $A \widehat{B} C$, il minore degli angoli di $A B C$. Considera su $A B$ un punto $D$ tale che $B \widehat{C} D \cong D \widehat{B} C$. La parallela ad $A C$ passante per $D$ incontra $B C$ in $F,$ mentre la bisettrice dell'angolo $\widehat{C D} F$ incontra $C B$ in $E$ Dimostra che $D E$ è perpendicolare ad $AB.$