展开 已知直角三角形的斜边