求等腰直角三角形的斜边长度,顶角为直角,已知底边长度,求斜边长度.要求提供简单明了的计算公式.