Non é difficile come sembrava ad una prima scorsa della traccia.
Poniamo ABC^ = a e quindi CAB^ = 2a.
Tracciata la figura, notiamo subito che FDB^ = CAB^ = 2a
perché sono corrispondenti formati dalle parallele AC e DF tagliate dalla trasversale AB.
Pertanto CFD^, essendo angolo esterno al triangolo FDB, é congruente alla somma
degli interni ad esso non adiacenti e misura quindi 2a + a = 3a
Per differenza nel triangolo CDF allora CDF^ = P^ - a - 3a = P^ - 4a
e poiché DE ne é per costruzione la bisettrice,
EDF^ = CDF^/2 = P^/2 - 2a
ed infine EDB^ = EDF^+FDB^ = P^/2 - 2a + 2a = P^2 e la tesi é provata.
Per la discussione, la costruzione é possibile se P^ - 4a > 0 => a < P^/4.