《隋書》

魏徵等 紀事
漢末揚子雲《難蓋天八事》以通渾天。其一雲「日之東行循黃道。晝﹝夜﹞中規牽牛距北極(北)﹝南﹞百一十度,東井距北極南七十度並百八十度。週三徑一,二十八宿周天當五百四十度,今三百六十度,何也?」其二曰:「春秋分之日正出在卯,入在酉,而晝漏五十刻。即天蓋轉夜當倍晝。今夜亦五十刻何也?」其三曰「日入而星見日出而不見即鬥下見日六月不見日六月。北斗亦當見六月不見六月。今夜常見何也?」其四曰「以蓋圖視天河起鬥而東入狼弧間曲如輪。今視天河直如繩,何也?」其五曰:「周天二十八宿,以蓋圖視天,星見者當少不見者當多今見與不見等,何出入無冬夏,而兩宿十四星當見不以日長短故見有多少,何也?」其六曰:「天至高也地至卑也。日託天而旋可謂至高矣。縱人目可奪水與影不可奪也。今從高山上以水望日日出水下影上行何也?」其七曰「視物近則大遠則小。今日與北斗近我而小遠我而大何也?」其八曰「視蓋橑與車輻間,近杠轂即密,益遠益疏。今北極爲天杠轂二十八宿爲天橑輻。以星度度天,南方次地星間當數倍。今交密,何也?」 其後桓譚鄭玄蔡邕、陸績各陳《周髀》考驗天狀多有所違。逮梁武帝於長春殿講義別擬天體全同《周髀》之文蓋立新意以排渾天之論而已。