已知一个45度角的直角三角形.底边为5.求斜边长?