求这个直角三角形的斜边是多长?