Cho đường tròn đường kính BC. Trên đường tròn lấy 1 điểm A sao cho AB < AC cắt AC tại điểm I

a) Ta có tứ giác ABDI nội tiếp trong đường tròn (đường tròn ngoại tiếp tam giác ABC) vì góc tại tâm B của đường tròn bằng góc tại tâm ABDI (đều bằng góc ở tâm).

b) Ta có BAD = BID vì chúng đều là góc ở tâm của đường tròn.

c) Ta có CD.CB = CA.CI vì chúng là tích của các phân tích tiếp tuyến từ điểm C đến đường tròn.