Vì cung tròn tâm A cắt a ở B và C nên AB = AC. Mặt khác cung tâm B và C có cùng bán kính cắt nhau tại D nên DB = DC.
Xét ΔABD và ΔACD có :
AB = AC (gt)
BD = CD (gt)
AD là cạnh chung
ΔABD = ΔACD (c.c.c) ⇒∠A1 = ∠A2 (góc tương ứng)
Xét ΔAHB và ΔAHC có:
AB = AC (gt)
∠A1 = ∠A2 (c/m trên)
AH là cạnh chung
⇒ ΔAHB = ΔAHC (c.g.c)
⇒∠AHB = ∠AHC (góc tương ứng)
Mà ∠AHB +∠AHC = 180 độ ( 2 góc kề bù )
⇒ ∠AHB = ∠AHC = 90 độ
⇒ AD ⊥ a