展开 发现行星运动规律的是哪位天文学家发现的呢