Bạn tự vẽ hình nka!
Xét ABCD là tứ giác nộp tiếp đường tròn
Trên cung nhỏ AB và BC ta có:
[tex]\widehat{ADB}=\widehat{ACB}[/tex]
[tex]\widehat{BAC}=\widehat{BDC}[/tex]
Gọi M là điểm trên AC sao cho [tex]\widehat{ABK}[/tex] =[tex]\widehat{CBD}[/tex]
Ta có:
[tex]\widehat{ABC}=\widehat{ABK}+\widehat{CBK}[/tex]
[tex]\widehat{ABC}=\widehat{CBD}+\widehat{ABD}[/tex]
=>[tex]\widehat{CBK}=\widehat{ABD}[/tex]
=> [tex]\Delta ABK\sim\Delta DBC[/tex]
Tương tự ta cũng có: [tex]\Delta ABD\sim \Delta KBC[/tex]
=> AK/AB = CD/BD, và CK/BC = DA/BD
Từ đó AK·BD = AB·CD, và CK·BD = BC·DA
=> AK·BD + CK·BD = AB·CD + BC·DA
<=> (AK+CK)·BD = AB·CD + BC·DA
Mà AK+CK = AC, nên AC·BD = AB·CD + BC·DA (đpcm)