设半径为r
则r²-（r-0.5）²=5²
解得r=25.25
所以弧长=2πr×arcsin(5/r)/360° ×2
=10.067米