《寰有詮》

所謂異星見之，故天文家持論各別，歸在四端。其一謂此星非在列宿天，但在月天之下，氣行上域之彗孛耳。此説非也。空中所見之彗孛，其象隨在不一。蓋繇人居地上距星遠近不一則其所見亦自不一。而此異星隨處所見皆同。其二謂此異星實居列宿天，特其體甚微，人不恒見。其有時或見者，繇下域土氣騰上，當其中分，此星下感土氣之濛映，遂呈厥象。此説亦非。一則列宿天之多星與此異星既共一所，所距地上中隔之分彼此無異，若此微星既繇中分濛映以呈其大，則彼經星必亦視前尤大。而今不然。一則設使此異星者繇土氣之濛密以呈其象則其象必當隨在不一，蓋五方之人所居異地則其所見當亦異形也。而今又不然。其三謂此異星實在列宿天但繇此天本性而生，非生於超性之能。此又涉於天體有壞之説者也。夫天體星體皆極堅實，特有凝透之分。天體堅而透，星體堅而凝也。如異星誠居列宿天，必即此天之質所成之象，緣在一天之內，無別體。故第此星既就此天而成，則此天體中將必以其未成星之別分移彼就，此必亦因此成星之處減其質體，愈當虛透。然論性分之力必不令其體之愈虛，則此異星必非天之性力所成也。爲此説者，殆謂天體原屬沖虛，不屬堅實，故其性力或結或澌。澌則融通，日光直透不返。結則厚密，日光方射即邁以成此星也。此説之非，其辯有三。一、天體若不堅實，則變恠必多。蓋沖虛之體易結易澌，則其所現異星當不勝數。又列宿天之衆星，其距遠近不一，然皆恒守定位。垂象之變，古今絶少，則是天必堅實，非沖虛者。二、天體若沖虛不堅實也，則宗動天之運轉不得帶各天以同共速而各天之離宗動天也，其勢愈遠，所受施動之力不實不均，則其運轉亦必愈遲。試以氣行證之：月天帶氣行之上域，而氣行不與月天同運。其運轉甚遲者，繇氣沖虛、體非堅實不得全受月天施動之力也。彗孛在氣行之上域運行甚遲，以此證知氣行之遲。三、《聖經》論天體之堅實如銅鑄，然夫天體既堅實，則其性一定不易，安有結澌之分致成異星哉？其四，有謂異星之見非天性力所成，而成於超性之能。此説近是。蓋度形天本性之力，必不能呈見此象，惟諸所以然之初，所以然者始能施此效也。此中奧義，人不易曉。蓋性非定向不行。大造者，制性之主，不令形天自反所向，能有所妄行也。