EF与AD交点标为O
EF//BC
AE/AB=EO/BD=FO/CD=AO/AD
AE/AB=1/2
所以AO/AD=1/2,AD被平分
EO/BD=FO/CD
BC=CD
所以EO=FO
EF被平分.
证毕