Xét ΔABD vuông tại D và ΔACE vuông tại E có
góc A chung
Do đó: ΔABD đồng dạng với ΔACE
Suy ra: AB/AC=AD/AE
hay \(AB\cdot AE=AD\cdot AC\left(1\right)\)
Xét ΔAB1C có B1D là đường cao
nên \(AD\cdot AC=AB_1^2\left(2\right)\)
Xét ΔAC1B có C1E là đường cao
nên \(AC_1^2=AE\cdot AB\left(3\right)\)
Từ (2), (1) và (3) suy ra AB1=AC1
hay ΔAB1C1 cân tại A