如图,在Rt三角形ABC中,角ACB=90度,圆O为Rt三角形的外接圆