一个直角三角形的两直角边的长恰为2x方---8x+7=0的两个根,求这个直角三角形的斜边为多少?