Tam giác ABD nội tiếp trong đường tròn (O) có Ab là đường kính nên vuông tại D

Suy ra: AD ⊥ BD

Tứ giác ADCE là hình thoi nên EC // AD

Suy ra: EC ⊥ BD     (1)

Tam giác BCK nội tiếp trong đường tròn (O’) có BC là đường kính nên vuông tại K

Suy ra: CK ⊥ BD     (2)

Từ (1) và (2) suy ra EC trùng với CK

Vậy E, C, K thẳng hàng.