辉夜樱:梯形ABCD中,AB//DC,AB>DC,E、F分别是AC、BD的中点。求证:EF=1/2(AB-DC)