证明:
设对角线AC和BD交于O点
∵AD//BC,
∴∠BDA=∠DBC=30°
∵AC⊥BD,
∴OC=BC/2,OA=AD/2
∴AC=OC+OA=(BC+AD)/2
∵EF是梯形ABCD的中位线[即EF=(BC+AD)/2]
∴EF=AC