⑴连结OD交BC于G
∵D是弧BC的中点
∴OD⊥BC
∴∠CGD=90°
∵AB是直径
∴∠ADB=90°=∠E
∴∠EDG=360°-∠E-∠ECG-∠CGD=90°
∴OD⊥EF
∴EF是半圆的切线