b) Chứng minh AE.AD = AD.AC
Giải thích
Tứ giác BEDC nội tiếp suy ra AED = ACB (góc ngoài của tứ giác nội tiếp).
Xét ∆AED và ∆ACB có: AED = ACB (chứng minh trên);
và BAC chung
=> ∆AED đồng dạng ∆ACB (g.g) => AEAD= ACAB (hai cạnh tương ứng)
=> AE.AD = AD.AC.