在三角形ABC中oa是叫bac的贫寒.平分线,ob等于oc,求证ab