第一个用数学方式证明了“行星的运动和图像,彗星的轨道和大海潮汐……”的是( )急!