谁用数学方式证明了行星的运动和图像,彗星的轨道和大海的潮汐