CE=EB (ipoteza)
AE=EF (ipoteza)
mas ∡AEB=mas∡CEF (opuse la varf)
⇒LUL ΔAEB≡ΔFEC
⇒mas ∡(EAB)=mas∡(EFC) alterne interne⇒CF//AB
dar si CD//AB ( ABCD paralelogram, ipoteza)
dar prin C ∉AB se poate duce o paralela si numai una la AB
deci D,C,F coliniare, cerinta
b)AE≡EF (ipoteza)
CE//AD (ipoteza, ABCD paralelogram)
⇒CE l.m. in ΔAFD ⇒DC≡CF⇔C este mijlocul lui DF, cerinta