等边直角三角形的斜边边长