展开 古代天文学家托勒密提出了什么哥白尼提出了什么