证明任意四边形ABCD,AB、CD中点的连线EF等于1/2(AD+BC)