已知:三角形AB=AC,O为三角形ABC中的一点,OA=OB,求证:AB>OA