kẻ AH_|_ với BC(H thuộc BC)
ta có tam giác ABC vuông cân tại A suy ra AB=AC và ABC=ACB=45
xét 2 tam giác vuông BAH và CAH có:
AB=AC(gt)
AH(chung)
suy ra tam giác ABH=ACH(CH-CGV)
suy ra BAH=CAH
xét tam giác ABA và OCA có:
AB=AC(gt)
OA(chung)
CAH=BAH(cmt)
suy ra tam giác OAB=OAC(c.g.c)
suy ra BOA=COA suy ra OA là phân giác của xOy