已知 如图AB平行于CD AD交BC于点O EF过点O 分别交AB CD于点E F 且AE=DF 求证O是EF的中点