I.9)Đẳng thức Ptolemy Định lí Với tứ giác nội tiếp ABCD thì:
AB.CD+AD.BC=AC.BD
Chứng minh: Lấy điểm E thuộc AC sao cho $\hat {DEC} =\hat {ADB} $
$\to \Delta ADB $đồng dạng $\Delta DEC \to \frac{AD}{DE} = \frac{DB}{DC}=\frac {AB}{EC} \to AB.DC = EC.DB $
Tương tự $\Delta ADE $đồng dạng $\Delta BDC \to AE.BD = AD.BC $$\to AD.BC+AB.CD = BD(EA+EC)=BD.AC (DPCM) $
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]