《革象新書》

蓋天舛理 《渾天論》謂天如鷄子，地如中黃大地在天體之內天之兩極如門樞輪輻天旋一晝夜而周，兩極不離元所。是故日出地則曉，日沒地則昏。《蓋天論》則不然謂天形如蓋北極如蓋之頂正當天最高處四海外則比蓋之圍簷其蓋平旋一晝夜而周蓋頂不離元所。上天下地地下無天亦無南極。日常在天，未知出沒，但去此度遠，則此夜而彼晝；去彼度遠則此晝而彼夜。爲其天遠，則似乎較低也。南地日午，則爲北地夜半；西地天初曉，東地天初昏。四方之更互皆然。《釋典》所謂日繞湏彌山而晝夜互者助蓋天之説也。蓋天之説以天愈低而愈遠。今北斗近南則高而小，近北則低而大。由是觀之，北極之北天雖愈低，卻與中國相近。如此則蓋天之謬明矣。夏晝長而夜短太陽在地下時少故井水冷。冬晝短而夜長太陽在地下多故井水溫是亦可一見。渾天之有理，又以蓋天而論，近日之星常隱，遠日之星當常見，隱見平分周天之半。既然如是，北斗之柄與夏至太陽相近緣何徹夜耿耿？夏至太陽躔東井其婁胃、張、翼諸宿既在半周天內，緣何晨昏猶見於東西？夫日出二刻半而天先曉日沒後二刻半而天方昏。夏至太陽近北極子時望北天自當如天之將曉否則豈非蓋天謬耶？然太陽出沒各與地城相近遠晨昏之遲早想必不同。假若日常在天，恐衆星亦距日遠近而隱。既只係平地域之晝夜則未可以盡信也。