a, Xét △BAD và △BED có:

B1 = B2                                  ⇒△BAD = △BED

BD chung                               ⇒D1 = D2

mà DE // AH (cùng ⊥ BC)

Ta lại thấy AC ⊥ AB

⇒IE ⊥ AB

b, ⇒I1 = D1 ⇒△AID cân ⇒AI = AD

Mà AD = ED ⇒ AI = ED

                         AI // ED

⇒AIED là hình bình hành

⇒IE // AC