Do ABKC là tứ giác nội tiếp nên \(\widehat{BAK}=\widehat{BCK}\) (Hai góc nội tiếp cùng chắn cung BK)
Do ICEK là tứ giác nội tiếp nên \(\widehat{ICK}=\widehat{IEK}\) (Hai góc nội tiếp cùng chắn cung IK)
\(\Rightarrow\widehat{DAK}=\widehat{DEK}\)
Vậy DAEK là tứ giác nội tiếp hay đường tròn ngoại tiếp tam giác ADE đi qua K.