证明：连接BD，
∵AB是直径，∠ABC=90°，
∴BC是⊙O的切线，∠BDC=90°．
∵DE是⊙O的切线，
∴DE=BE（切线长定理）．
∴∠EBD=∠EDB．
又∵∠DCE+∠EBD=∠CDE+∠EDB=90°，
∴∠DCE=∠CDE，
∴DE=CE，
∴DE=

1

2

BC．