展开 已知直角三角形斜边长度求直角边长