a) Xét tam giác vuông OHC và OFC ta có:
OC chung
Suy ra
Xét tam giác CNH và CNF ta có:
CH = CF
CN chung
Suy ra
Mà
b) Xét tam giác vuông OHA và OFI ta có:
AH = IF (gt)
OH = OF (O là giao điểm của 3 đường phân giác của tam giác ABC)
Suy ra
c) Kẻ
Xét tam giác vuông AOH và AOK ta có:
AO chung
OH = OK
Suy ra
Tương tự ta có BK = BF
Từ đó suy ra AB = BI. Vậy tam giác BAI cân tại B