天体公式证明问题行星的平均密度是ρ,靠近行星表面的卫星运转周期是T,试证明,ρT^2是对任何行星都是一个常数