展开 知道一个直角三角形的斜边求边长