Ta có hình vẽ:
a) Xét 2 tam giác vuông AOC và tam giác BOC có:
OC là cạnh chung
OA = OB (gt)
=> tam giác AOC = tam giác OBC (cạnh huyền - cạnh góc vuông)
b) Vì tam giác AOC = tam giác BOC
nên AC = BC (2 cạnh tương ứng)
c) Vì tam giác AOC = tam giác BOC
nên góc O1 = góc O2 (2 góc tương ứng)
=> OC là tia phân giác của góc xOy