a) Xét tam giác vuông OHC và OFC ta có:

OC chung

OCH^=OCF^ 

Suy ra ΔOHC=ΔOFC (cạnh huyền - góc nhọn) suy ra CH = FC.

Xét tam giác CNH và CNF  ta có:

CH = CF

CN chung

OCH^=OCF^ 

Suy ra ΔCNH=ΔCNF (c.g.c) nên CNH^=CNF^ 

CNH^+CNF^=180 suy ra CNH^=CNF^=90  hay OCFH

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 ΔOHA=ΔOFI (hai cạnh góc vuông) => OA = OI hay tam giác OAI cân tại O

c) Kẻ OKAB(KAB).

Xét tam giác vuông AOH và AOK ta có:

AO chung

OH = OK

Suy ra ΔAOH=ΔAOK ( hai cạnh góc vuông) => AH = AK

Tương tự ta có BK = BF

Từ đó suy ra AB = BI. Vậy tam giác BAI cân tại B