Đây là đẳng thức ptôlêmê.
C/m: Lấy 1 điểm M thuộc AC sao cho gocABD=gocMBC. Do tứ giác ABCD nội tiếp nên ^ADC=^ACB. Từ 2 điều trên suy ra tam giác ABD ~ MBC(g.g). Suy ra AD/MC=BD/BC => AD.BC=BD.MC (1)
Từ cặp tam giác đồng dạng trên ta cũng có AB/BM = BD/BC => AB/BD = BM/BC mà ^ABM = ^DBC nên tam giác ABM ~ tam giác DBC.
=> AB.CD=AM.BD (2)
Cộng (1), (2) vế theo vế suy ra dpcm.
Đây là đẳng thức ptôlêmê.
C/m: Lấy 1 điểm M thuộc AC sao cho gocABD=gocMBC. Do tứ giác ABCD nội tiếp nên ^ADC=^ACB. Từ 2 điều trên suy ra tam giác ABD ~ MBC(g.g). Suy ra AD/MC=BD/BC => AD.BC=BD.MC (1)
Từ cặp tam giác đồng dạng trên ta cũng có AB/BM = BD/BC => AB/BD = BM/BC mà ^ABM = ^DBC nên tam giác ABM ~ tam giác DBC.
=> AB.CD=AM.BD (2)
Cộng (1), (2) vế theo vế suy ra dpcm.