Nel triangolo ABC l’angolo CAB è doppio di ABC, il minore degli angoli di ABC. Considera su AB un punto D tale che l'angolo BCD congruente all'angolo DBC. La parallela ad AC passante per D incontra BC in F, mentre la bisettrice dell’angolo CDF incontra CB in E. Dimostra che DE è perpendicolare ad AB.