因为是等腰梯形,所以OA=OD
因为 AE=DF,所以OE=OF
所以OE/OA=OF/OD,角AOD为公角
得 三角形AOD相似三角形EOF
得 角OEF=角OAD
所以 EF//AD
AD//BC
所以EF//BC