Xét tam giác ABE
D là trung điểm của AE (vì E là điểm đối xứng với A qua D )
O là trung điểm của AB ( vì AB là đường kính)
do đó OD//EB (1)
Ta có K thuộc đường tròn (O;AB/2)
suy ra tam giác ABK vuông tại K
suy ra AK⊥BK hay AK⊥EB (2) (vì K∈EB)
Từ (1) và (2) suy ra OD⊥AK