在三角形ABC中,OA=OB,角ABC=90度