以太阳为焦点的椭圆轨道运行的所有行星,其椭圆轨道的半长轴的立方与周期的平方之比是一个常量吗?