为了便于研究天体之间相互作用力大小，可近似地认为行星绕太阳做匀速圆周运动。请你根据牛顿运动定律和开普勒运动定律证明：太阳与行星之间相互作用力的大小与它们的质量乘积成正比，与它们之间距离的平方成反比。