Ta có hình vẽ:
Xét tam giác OAC và tam giác OAB có:
góc COA = góc BOA (OA là phân giác góc O)
OA: cạnh chung
góc B = góc C = 900
(đây là trường hợp cạnh huyền góc nhọn)
=> tam giác OAC = tam giác OAB (g.c.g)
=> AC = AB (2 cạnh tương ứng)
Vì AC = AB nên \(\Delta\)ABC là tam giác cân