已知道直角三角形的两边长,算斜边长度