`a,` Xét `triangle AOC` và `triangle BOC` có:

`OA = OB` (gt)

`OC:` cạnh chung

`CA = CB` (vì C là trung điểm của AB)

Do đó, `triangle AOC = triangle BOC` (c.c.c)

`=>` `hat(OAB) = hat(OBA)` (2 góc tương ứng)

`b,` Có: `triangle AOC = triangle BOC` (cmt)

`=>` `hat(ACO) = hat(BCO)` (2 góc tương ứng)

Vì: `hat(ACO)` kề bù với `hat(BCO)` nên:

`hat(ACO) + hat(BCO) = 180^o`

Mà: `hat(ACO) = hat(BCO)` (cmt)

`=>` `hat(ACO) + hat(BCO) = 180^o : 2`

`hat(ACO) + hat(BCO) = 90^o`

`=>` `OC bot AB`

`c,` Có: `triangle AOC = triangle BOC` (cmt)

`=>` `hat(AOC) = hat(BOC)` (2 góc tương ứng)

`=>` `OC` là tia phân giác của `hat(xOy)`

`@ Neil`