a) Xét tam giác OAB có:
OH là đường cao (OH vuông góc AB).
OH là phân giác (do Oz là phân giác).
=> Tam giác OAB là tam giác cân.
=> OA = OB (tính chất tam giác cân).
b) Xét tam giác OAB cân tại O có:
OH là đường cao (OH vuông góc AB).
=> OH là trung tuyến (tính chất các đường trong tam giác cân).
=> H là trung điểm AB.
=> HB = HA.
AC // Oy (gt)
=> ^OBH = ^CAH (so le trong).
Xét tam giác HOB và tam giác HCA có:
^OBH = ^CAH (cmt).
HB = HA (cmt).
^OHB = ^CHA (đối đỉnh).
=> Tam giác HOB = Tam giác HCA (góc - cạnh - góc).
=> OB = AC (cặp cạnh tương ứng).
mà OB = OA (cmt).
=> AC = OA(đpcm).