题目内容：

直角三角形中 一个角的是30° 一直角边是8 求斜边是多少

优质解答

8是30°对边时,斜边为16
8是30°邻边时,斜边是16/根号3

追问：

16/根号3 等于多少啊

追答：

9.238