Xét ΔAB1C vuôg tại B1 có BD là đương cao
nên \(AD\cdot AC=AB_1^2\left(1\right)\)
Xét ΔAC1B vuông tại C1 có C1E là đường cao
nên \(AE\cdot AB=AC_1^2\left(2\right)\)
Xét ΔADB vuông tại D và ΔAEC vuông tại E có
góc DAB chung
Do đó: ΔADB đồng dạng với ΔAEC
Suy ra: AD/AE=AB/AC
hay \(AD\cdot AC=AB\cdot AE\left(3\right)\)
Từ (1), (2) và (3) suy ra AB1=AC1(ĐPCM)