a) F-simetricul lui A fata de E=>AE=EF
E-mijloc CB=>CE=EB
deci, in patrulaterul ABFC diagonalele se injumatatesc=>
=>ABFC-paralelogram=> CFIIAB (1)
ABCD-paralelogram=>ABIIDC (2)
din (1) si (2)=> D,C,F-coliniare
b)ABFC-paralelogram=>AB=CF (3)
ABCD-paralelogram=>AB=DC (4)
din (3) si (4)=> CF=CD
D,C,F-coliniare
rezulta din ultimele doua ca C-mijloc DF