a. Theo tính chất tiếp tuyến của đường tròn: \(\left\{ {\begin{array}{*{20}{c}}{EA = EC}\\{FC = FB}\end{array}} \right.\)

\( \Rightarrow EC + CF = EA + BF \Rightarrow EF = AE + BF\)

b. Xét ∆ABC có OA = OB = OC (bán kính)

⇒ ∆ABC vuông tại C ⇒ AC ⊥ BC

Xét ∆DAB vuông tại A có AC là đường cao

\( \Rightarrow A{D^2} = DC.DB\)(Hệ thức lượng).