Để chứng minh các yêu cầu trên, chúng ta sẽ sử dụng một số tính chất của hình học và đường tròn.
a) Chứng minh tứ giác ABOC nội tiếp:
Vì AB và AC là tiếp tuyến của đường tròn (O) tại B và C, nên góc ABC = góc ACB = 90 độ. Do đó, tứ giác ABOC có tổng các góc đối nhau bằng 180 độ, nên nó là tứ giác nội tiếp.
b) Chứng minhAB^2=AE.AD:
Vì AB là tiếp tuyến của đường tròn (O) tại B, nên theo định lý tiếp tuyến và dây, ta cóAB^2=AE.AD.
c) Chứng minh góc AOC = ACB và tam giác BDC cân:
Vì CD // AB và AC là tiếp tuyến của đường tròn (O) tại C, nên góc AOC = góc ACB. Vì BD là dây của đường tròn (O) và CD // AB, nên tam giác BDC là tam giác cân tại D.
d) Chứng minh IA = IB:
Vì CE cắt AB tại I, nên theo định lý tiếp tuyến và dây, ta cóIA^2=IE.ID. Nhưng vìID=IB, nênIA^2=IE.IB. Do đó,IA=IB.