《開元占經》

梁武説雲：四大海外有金剛山一名鐵圍山山北又有黑山。虞履等又以璿璣玉衡在人之北五十五度北去黑山三十六度。或曰瞻星望月蓋不及渾度景量天渾不及蓋。竊較卵之、笠之未盡天體之賾而候之、測之纔窮推出之妙。 梁人朱史《定天論》日：一千六百七十裡周天六十萬二百三十一裡徑率求之得十九萬四千一百六十四裡即天東西南北相去之數也。求之得九萬七千八百里即春秋分日天去地之數也。夏至日天去地上八萬一千三百九十四裡冬至之日爲天去地上十萬六千二十裡也。