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