《GPS测量与数据处理》（第三版）中推导伪距观测方程过程中有一疑问

问题根源是第5章 距离测量与定位方法的（5-7）式 ；ρ = C*(τb  - τa)  + Vion +Vtrop

因为(τb  - τa)为真实传播时间，而在电离层和对流层并不是以光速传播（考虑大气层折射率n>1，实际应该是小于光速），那么C*(τb  - τa)表示的距离实则大于几何距离ρ的，如果再加上电离层Vion、对流层Vtrop等修正，则更不等于几何距离ρ了。（5-7）是否应该为ρ = C*(τb  - τa)  - Vion -Vtrop更有道理？请高手指点！