十七世纪后半期天文学取得的重要成果之�