Ta có hình vẽ:(Hình vé ko đc đẹp)
Vì Oz là phân giác của xOy nên xOz = zOy = \(\frac{xOy}{2}\)
Xét \(\Delta\)AOC và \(\Delta\)BOC có:
OA = OB (gt)
góc AOC = góc BOC (chứng minh trên)
OC là cạnh chung
Do đó \(\Delta\)AOC = \(\Delta\)BOC (c.g.c) (đpcm)
Vì \(\Delta\)AOC = \(\Delta\)BOC nên AC = BC (2 cạnh tương ứng)
góc ACO = góc BCO (2 góc tương ứng)
Xét \(\Delta\) AIC và \(\Delta\)BIC có:
AC = BC (chứng minh trên)
góc ACI = góc BCI (chứng minh trên)
CI là cạnh chung
Do đó,\(\Delta\)AIC = \(\Delta\)BIC (c.g.c)
=> AI = IB (2 cạnh tướng ứng)
=> I là trung điểm của đoạn AB (đpcm)
Vì \(\Delta\)AIC = \(\Delta\)BIC nên góc AIC = BIC (2 góc tương ứng)
Lại có thêm : AIC + BIC = 180 độ (kề bù)
Do đó góc AIC = góc BIC = 90 độ
=> AB \(\perp\)OC (đpcm)