c) Chứng minh đường tròn ngoại tiếp tam giác ADF tiếp xúc với đường tròn (O)

c) Theo tính chất đường trung bình của ΔABD;ΔABF ta có OC=12DB;OE=12BF mà OC=OE⇒BD=BF=AB

⇒ B là tâm đường tròn ngoại tiếp tam giác ADF → BA là bán kính.

Mà OB = AB – OA nên đường tròn ngoại tiếp tam giác ADF tiếp xúc với đường tròn (O) tại A.