Ta có:
- Vì tam giác ABC vuông tại A nên SA vuông góc với BC.
- Gọi M là trung điểm của AC, ta có AM vuông góc với BC.
- Vì SA vuông góc với BC và AM vuông góc với BC nên SA // AM.
- Do đó, tam giác SAM là tam giác vuông cân tại M.
- Vậy, ta có SM = AM.
- Vì SA = SB nên ta có SM = SB.
- Vậy, tam giác SAB đều nên AC vuông góc SB.