Đây là Định lý Ptolemy bạn nhé Hướng dẫn chứng minh. Trên $AC$ lấy $E$ sao cho $\widehat{ABE} = \widehat{CBD}$, suy ra $\widehat{ABD} = \widehat{CBK}$
Khi đó $AB \cdot CD + AD \cdot BC = AE \cdot BD + EC \cdot BD = AC \cdot BD$
Trên AC lấy F sao cho ^ ABF = ^ CBD
Xét tam giác FAB và tam giác CDB có ^ FAB = ^ CDB ( cùng chắn cung BC ) ^ ABF = ^ CBD (theo cách dựng) => Tam giác FAB ~ Tam giác CDB (g.g) => FA / CD= AB / DB => FA. DB = AB . CD (1) Chứng minh tương tự ta có tam giác BCF ~ tam giác BDA (g.g) => BC / BD = CF / DA => CF.DB = BC . DA (2) Cộng vế với vế của (1) và (2) => DB ( FA+FC) = AB.CD + BC.DA => AC.BD = AB.CD + BC.DA (đpcm)