已知:如图梯形ABCD中,AD//BC,AC⊥BD于O,∠ACB=30°,EF是梯形ABCD的中位线,求BD=EF