展开 知道直角三角形的斜边求面积