a) Xét tam giác ABD và tam giác ABE có:

Chung A^

ABD^=AEB^ (vì AB là tiếp tuyến (O))

⇒ ∆ABD ∽ ∆AEB (g.g)

⇒ ABAE=ADAB

⇒ AB² = AD.DE

b) Ta có: AB,AC là tiếp tuyến của (O)

⇒AB ⊥ OB, BC ⊥ AO

⇒ BH ⊥ AO

⇒ AB² = AH.AO (Hệ thức lượng trong tam giác vuông)

⇒ AH.AO = AD.AE

⇒ AHAE=ADAO

Mà DAH^=EAO^

⇒ ∆ADH ∽ ∆AOE (c.g.c)

⇒ AHD^=AEO^

⇒ DHOE nội tiếp

⇒ AHD^=DEO^=EDO^=EHO^

⇒ DHB^=90°−AHD^=90°−EHO^=BHE^

Nên: HB là phân giác EHD^