已知直角三角形两垂直边的长度,怎样求第三边斜边长度?