如图点O为RT三角形ABC斜边AB上的一点