Gọi giao điểm của AH và BE là I.
Xét \(\Delta\)ABE có: ^BAE = 900; AB=AE => \(\Delta\)ABE vuông cân tại A
Ta có: M là trung điểm BE => AM vuông góc BE => ^AMI = 900
Xét \(\Delta\)AIM và \(\Delta\)BIH: ^AMI = ^BHI (=900); ^AIM = ^BIH (Đối đỉnh)
=> \(\Delta\)AIM ~ \(\Delta\)BIH (g.g) => \(\frac{IM}{IH}=\frac{IA}{IB}\Rightarrow\frac{IM}{IA}=\frac{IH}{IB}\)
Xét \(\Delta\)HIM và \(\Delta\)BIA : \(\frac{IM}{IA}=\frac{IH}{IB}\); ^HIM = ^BIA (Đối đỉnh) => \(\Delta\)HIM ~ \(\Delta\)BIA (c.g.c)
=> ^MHI = ^ABI. Mà ^ABI = ^ABE = 450 (Do \(\Delta\)ABE vuông cân tại A) => ^MHI = 450
Hay ^AHM = 450. Lại có: ^AHC = 900 => ^AHC = 2.^AHM => HM là phân giác ^AHC (đpcm).