a. Vì ΔADI và ΔICB có:
D^=C^=900
AD = BC, IC = ID
=> ΔADB = ΔACB
=> IA = IB
b. Xét ΔAIH và ΔBIH có:
IH chung
IHD^=IHB^=900
=> ΔAIH = ΔBIH
=> AIH^=BIH^
=> IH là tia phân giác của góc AIB