提出日心说的天文学家是（），揭示太阳系行星运动规律的是（），解释行星运动规律的是（）。