已知在四边形ABCD中∠ABC=∠ADC=90°EF分别是ACBD的中点求证EF⊥BD