任意行星对太阳的运动周期的平方与行星到太阳的平均距离的立方成正比