『九章算術』劉徽註序にあるように洛陽城の南北で表の影を測定してますよ
一寸差千里が実用的ではないことは分かっていたんじゃないですかね
果たして数学者に外交情報が公開されますかね？
『海島算経』慶元四年（263年）＝蜀の滅亡
『三國志』太康元年頃（280年）
ですので劉徽は陳寿を知らないかもしれません