Đặt hai điểm B1;C1 lần lượt là E,F
Xét ΔAFB vuông tại F có FK là đường cao
nên \(AK\cdot AB=AF^2\left(1\right)\)
Xét ΔAEC vuông tại E có EG là đường cao
nên \(AG\cdot AC=AE^2\left(2\right)\)
Xét ΔAGB vuông tại G và ΔAKC vuông tại K có
góc KAC chung
Do đó: ΔAGB\(\sim\)ΔAKC
Suy ra: AG/AK=AB/AC
hay \(AG\cdot AC=AK\cdot AB\left(3\right)\)
Từ (1) và (2) suy ra AE=AF