长为 根号17 的线段是直角边长为 (整数)的直角三角形的斜边