证明:在平行四边形abcd中,ab//cd,所以ab//ce,因为ae//bd,所以四边形abde为平行四边形,所以ed=ab=cd,即d为ce中点。因为ef垂直bf,所以三角形efc为直角三角形。由直角三角形斜边上的中线的性质可知,斜边上的中线等于斜边的一半,所以df=ce/2