“直角三角形的斜边大于等于直角边”