xét tam giác AEB và tam giác AFC có
góc AEB = góc AFC ( = 90 độ )
góc A chung
AB=AC( gt )
suy ra tam giác AEB = tam giác AFC
suy ra BE =CF
suy ra AE AF
xét tam giác AFI và tam giác AEI có
góc AFI = góc AEI ( =90 độ )
AI chung
AF = AE ( cmt )
suy ra tam giác AFI = tam giác AEI ( cạnh huyền - cạnh góc vuông )
suy ra IF = IE
suy ra góc A1 = góc A2
suy ra AI là tia phân giác của góc BAC