Ta có : Tứ giác ABCD nội tiếp (O) Ta phải chứng minh: AC. BD = AB. DC + AD. BC

Lấy E Î BD sao cho

Þ ΔDAE ΔCAB (g. g)

Þ

Þ AD. BC = AC. DE (1)

Tương tự:  (g. g)

Þ BECD=ABAC

Þ BE. AC = CD. AB (2)

Từ (1) và (2) Þ AD. BC + AB. CD = AC. DE + EB. AC

                    Þ AD. BC + AB. CD = AC. DB (đpcm)