如图,已知在梯形abcd中,ad平行bc,对角线ac垂直bd,ef为梯形的中位线,角dbc=30度.求证ef=ac