ABCD is a trapezium in which AB||DC and E,F are mid point of AD,BC respectively. Join CE and produce it to meet BA produced at G.
In △EDC and △EAG,
ED=EA [E is the mid point of AD.]
∠CED=∠GEC [Vertically opposite angles]
∠ECD=∠EGA [Alternating angles]
So, by ASA criteria of similarity,
△EDC≅△EAG
⇒CD=GA and EC=EG which implies that E is the midpoint of CG as well.
In △CGB,
E is a mid point CG and F is a midpoint of BC.
⇒CEEG=CFFB=1
So, by the converse of basic proportionality theorem EF∥AB.