已知,在梯形ABCD中,AD//BC,对角线AC垂直BD,EF为梯形的中位线,角DBC=30度.说明EF=AC