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