a. In ∆ABC oarecare [AD -bisectoare interioara de unde va rezulta
m(<BAD)=m(<CAD) .
Dar deoarece DE||AB si AD este secanta atunci m(<BAD)=m(<ADE).
Folosind tranzitivitatea vom obtine
m(<CAD)=m(<ADE).
E apartine [AC] =>E-A-C coliniare deci
m(<CAD)=m(<DAE).
In final m(<ADE)=m(<DAE).
b. AD||EF =>∆ABC asemenea cu ∆EDC =>m(<BAC)=m(<DEC) dar [AD -bisectoare <BAC deci [EF -bisectoarea <DEC.