在一个直角三角形中，斜边的长度可以通过勾股定理求得。勾股定理指出，在一个直角三角形中，直角边分别为 a 和 b，斜边的长度为 c，有：
c^2 = a^2 + b^2
在这个问题中，已知直角三角形的一个锐角为 20°，因此另一个锐角为 90°-20°=70°。我们可以使用正切函数来计算这个三角形的邻边与斜边的比值，即：
tan(70°) = 4 / x
其中，x 表示斜边的长度。
移项并代入计算，得到：
x = 4 / tan(70°)
使用计算器或手算可以得到：
x ≈ 12.23
因此，斜边的长度约为 12.23
