実測じゃないでしょうか。 地球はほんのわずかに赤道がふくらんだ楕円回転体なので、極半径6356.752km、赤道半径6378.137kmと、わずかに異なります。 強いて計算するのであれば、楕円円周の計算なので本当はずっと難しい計算をするべきですが、差が小さいので概算値であれば、(極半径+赤道半径)×3.141592=40007.825kmになりますんで、40008kmぐらいにはなります。 「半径×2」を互いに平均する代わりに、極半径と赤道半径を足してみました。また、円周率は3.14では精度不足なので、もう少し桁を増やしています。