Cho tam giác ABC vuông tại A(AB

Ta có:
- Góc HAC = 90° (do tam giác ABC vuông tại A)
- Góc CAD = góc HAC/2 (do AD là tia phân giác của góc HAC)
- Góc ACD = 90° - góc CAD = 90° - góc HAC/2 = 90° - 45° = 45°
- Góc ACF = 90° (do CF vuông góc với AC)
- Góc AFC = 180° - góc ACF - góc ACD = 180° - 90° - 45° = 45°

Vậy ta có góc AFC = góc ACF = 45°, tức tam giác FAC cân.