Vì BD_|_AE
tgiác HAC = tgiác EAC (tgiác vuông: cạnh huyền + góc nhọn = nhau)
=> AE = AH (1)
và gócEAC = gócHAC (*)
ta có: góc DAB + 90° + góc EAC = 180°
=> gócDAB + gócEAC = 90°
=> góc DAB + góc HAC = 90° (do (*): gócEAC = gócHAC)
mà gócBAH + gócHAC = gócBAC = 90°
=> gócDAB = gócBAH
=> tgiác DAB = tgiác HAB (cạnh huyền, góc nhọn)
=> AD = AH (2) từ (1) và (2)
=> AE = AD => A là trung điểm DE