设EF交AB于O,
因E为AD中点,而EF有垂直AC,故与BD平行(菱形对角线垂直)
因此EO为三角形ABD中位线,故AO=BO,
所以四边形AFBE有一对边平行(AE//FB),且对角线AB被另一对角线平分,故为平行四边形,所以AB与EF互相平分