góc AOy + góc OAy' = 180 độ (xy//x'y') (1)
góc AOB = góc AOy : 2 (OB là tia phân giác của góc AOy) (2)
góc OAB = góc OAy' : 2 (AB là tia phân giác của góc OAy') (3)
Từ (1); (2); (3) => góc AOB + góc OAB = (góc AOy + góc OAy') : 2 = 180 độ : 2 = 90 độ
=> tam giác OAB vuông tại B
=> OB vuông góc với AB (dpcm)