Gọi $xy$ là tiếp tuyến tại $A$ của $(O)$
Vì $xy$//$DE$
`=>\hat{xAB}=\hat{ADE}` (hai góc so le trong)
`\qquad \hat{yAC}=\hat{AED}` (hai góc so le trong)
Ta có:
`\hat{xAB}=\hat{ACB}` (cùng chắn cung $AB$)
`\hat{yAC}=\hat{ABC}` (cùng chắn cung $AC$)
`=>\hat{ACB}=\hat{ADE}`
`\qquad \hat{ABC}=\hat{AED}`
`=>∆ABC∽∆AED`(g-g)
`=>{AB}/{AE}={AC}/{AD}`
`=>AB.AD=AC.AE` (đpcm)