Xét hai tam giác vuông ADB và AEC, ta có:

∠(ADB) =∠(AEC) = 90o

AB = AC (gt)

∠(DAB) =∠(EAC)

Suy ra: ΔADB= ΔAEC(cạnh huyền, cạnh góc vuông)

⇒AD=AE (hai cạnh tương ứng)

xét hai tam giác vuông ADK và AEK. Ta có:

∠(ADK) =∠(AEK) = 90o

AD = AE (chứng minh trên)

AK cạnh chung

a có: AB = AC (gt) (1); AM = 1/2 AB (gt) (2);

AN = 1/2 AC (gt)(3)

Từ (1), (2) và (3) suy ra: AM = AN

Xét hai tam giác vuông AMI và ANI, ta có:

∠(AMI) =∠(ANI) =90o

AM = AN (chứng minh trên)

AI cạnh huyền chung

⇒ ΔAMI= ΔANI (cạnh huyền, góc nhọn)

Suy ra: ∠(A1 ) =∠(A2) (hai góc tương ứng)

Vậy AI là tia phân giác của ∠(BAC)

Cạnh huyền AM chung

∠(HAM) =∠KAM) (gt)

⇒ ΔABD= ΔACD (cạnh huyền, góc nhọn)

Suy ra: MH = MK (hai cạnh tương ứng)

Xét hai tam giác vuông MHB và MKC, ta có:

∠(MHB) =∠(MKC) =90o

MB=MC

MH=MK

⇒ ΔMHB= ΔMKC (cạnh huyền, góc nhọn)

Suy ra: ∠B =∠C (hai góc tương ứng)

Vậy tam giác ABC cân tại A

Vì ΔABC cân tại A nên∠(ABC) =∠(ACB) (tính chất tam giác cân)

Ta có: ∠(ABC) +∠(ABD) =180o(hai góc kề bù)

∠(ACB) +∠(ACE) =180o(hai góc kề bù)

Suy ra: ∠(ABD) =∠(ACE)

Xét ΔABD và ΔACE, ta có:

AB = AC (gt)

∠(ABD) =∠(ACE) (chứng minh trên)

BD=CE (gt)

Suy ra: ΔABD= ΔACE (c.g.c)

⇒∠D =∠E (hai góc tương ứng)

Xét hai tam giác vuông ΔBHD và ΔCKE, ta có:

∠(BHD) =∠(CKE)

BD=CE (gt)

∠D =∠E (chứng minh trên)

Suy ra: ΔBHD= ΔCKE (c.g.c)

Suy ra: BH = CK (hai cạnh tương ứng)

Xét ΔAHB và ΔACK, ta có:

AB = AC (gt)

∠(ABD) =∠(ACE) =90o

BH=CK

Suy ra: ΔABH= ΔACK (cạnh huyền, góc nhọn)

Kẻ: ID⊥AB, IE⊥BC, IF⊥AC

Xét hai tam giác vuông ΔIBD và ΔIEB, ta có:

∠(DBI) =∠(EBI) (gt)

∠(IDB) =∠(IEB) =90o

BI cạnh chung

Suy ra: ΔIDB= ΔIEB(cạnh huyền, góc nhọn)

Suy ra: ID = IE ( hai cạnh tương ứng)

Xét hai tam giác vuông ΔIEC và ΔIFC, ta có:

∠(ECI) =∠(FCI)

∠(IEC) =∠(IFC) =90o

CI cạnh huyền chung

CI cạnh huyền chung

Suy ra: ΔIEC= ΔIFC(cạnh huyền góc nhọn)

Suy ra: IE = IF (hai cạnh tương ứng) (2)

Từ (1) và (2) suy ra: ID = IF

Xét hai tam giác vuông ΔIDA và ΔIFA, ta có:

ID=IF

∠(IDA) =∠(IFA) =90o