Gọi M là giao của EF và AB.
Có: AE=EC; AF=FD(gt)
\(\Rightarrow EF\) là đường trung bình \(\Delta ACD\Rightarrow\)EF//CD.
Có: AB là dây chung
\(\Rightarrow EF\perp AB\); AE=EB
mà EF//CD
\(\Rightarrow AB\perp CD\)(1)
Có: EF// BC( AE=EC;AE=EB nên EM là đtb tam giác ABC); MF//BD(AF=FD; AE=EB)
\(\Rightarrow C,B,D\) thẳng hàng. (2)
Từ (1) (2) => AB là đường cao tam giác ACD.