Gọi K là giao của AO với đường tròn
Gọi M và N lần lượt là giao của BD với AC bà CE với AB. Xét tg vuông ABM và ACN có \(\widehat{BAC}\) chung
\(\Rightarrow\widehat{ABD}=\widehat{ACE}\)
Mà sđ\(\widehat{ABD}=\frac{1}{2}\) sđ cung AD và sđ \(\widehat{ACE}=\frac{1}{2}\) sđ cung AE => sđ cung AD = sđ cung AE (1)
Ta có sđ cung AEK = sđ cung ADK (2)
sđ cung EK = sđ cung AEK - sđ cung AE (3)
sđ cung DK = sđ cung ADK - sđ cung AD (4)
Từ (1) (2) (3) và (4) => sđ cung EK = sđ cung DK (*)
sđ \(\widehat{EDK}=\frac{1}{2}\) sđ cung EK và sđ \(\widehat{DEK}=\frac{1}{2}\) sđ cung DK (**)
Từ (*) và (**) \(\Rightarrow\widehat{EDK}=\widehat{DEK}\) => tam giác KDE cân tại K (***)
Mặt khác
\(\widehat{AKE}=\widehat{ACE}\) (Góc nội tiếp cùng chắn cung AE)
\(\widehat{AKD}=\widehat{ABD}\) (Góc nội tiếp cùng chắn cung AD)
Mà \(\widehat{ABD}=\widehat{ACE}\left(cmt\right)\)
\(\Rightarrow\widehat{AKE}=\widehat{AKD}\) => AO là phân giác của \(\widehat{DKE}\) (****)
Twg (***) và (****) \(\Rightarrow AO\perp ED\) (Trong tg cân đường phân giác của góc ở đỉnh đồng thời là đường cao)