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 BDCE là hình thoi nên EC // BD

Suy ra: EC ⊥ AD     (1)

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

Suy ra: AI ⊥ CE     (2)

Từ (1) và (2) suy ra AD trùng với AI

Vậy D, A, I thẳng hàng.