《晉書》卷十一〈天文志上·天體〉~279~
又周髀家云:「天員如張蓋,地方如棋局。天旁轉(zhuǎn)如推磨而左行,日月右行,隨天左轉(zhuǎn),故日月實東行,而天牽之以西沒。譬之于蟻行磨石之上,磨左旋而蟻右去,磨疾而蟻遲,故不得不隨磨以左回焉。天形南高而北下,日出高,故見;日入下,故不見。天之居如倚蓋,故極在人北,是其證也。極在天之中,而今在人北,所以知天之形如倚蓋也。日朝出陽中,暮入陰中,陰氣暗冥,故沒不見也。夏時陽氣多,陰氣少,陽氣光明,與日同輝,故日出即見,無蔽之者,故夏日長也。冬天陰氣多,陽氣少,陰氣暗冥,掩日之光,雖出猶隱不見,故冬日短也。」
又周髀家云:「天員如張蓋,地方如棋局。天旁轉(zhuǎn)如推磨而左行,日月右行,隨天左轉(zhuǎn),故日月實東行,而天牽之以西沒。譬之于蟻行磨石之上,磨左旋而蟻右去,磨疾而蟻遲,故不得不隨磨以左回焉。天形南高而北下,日出高,故見;日入下,故不見。天之居如倚蓋,故極在人北,是其證也。極在天之中,而今在人北,所以知天之形如倚蓋也。日朝出陽中,暮入陰中,陰氣暗冥,故沒不見也。夏時陽氣多,陰氣少,陽氣光明,與日同輝,故日出即見,無蔽之者,故夏日長也。冬天陰氣多,陽氣少,陰氣暗冥,掩日之光,雖出猶隱不見,故冬日短也。」