>>806
>>783 の v[GPS]＝r[GPS](dφ/dt) と
(ds[GPS])^2＝(1−2GM/(r[GPS]c^2))c^2(dt)^2−r[GPS]^2(dφ)^2
から
(ds[GPS]/(cdt))^2＝1−2GM/(r[GPS]c^2)−v[GPS]^2/c^2
となる
右辺第2項は重力による一般相対論効果で第3項は速度による特殊相対論効果だ
重力効果を消せば
ds[GPS]/(cdt)＝√(1−v[GPS]^2/c^2)
という特殊相対論でおなじみの式になるから分かるだろ