Explicație pas cu pas:
FD//AB => mFDC=mABC (corespondente)
cum mABC=mACB => mFDC=mACB => mFDC=mFCD =>
triunghiul DCF isoscel
Fie EP_|_BC si FM_|_BC
avem mEBP=mABC (op. la varf) => mEBP=FCM
si cum BE=FC => (C.U) triunghiul BPE=triunghiul FMC =>
EP=FM => dist. egale
Cum FD=FC si FC=BE => FD=BE dar cum FD//AB =>
FD//BE => FDEB paralelogram => BD si EF diagonalele =>
BD si EF au acelasi mijloc
