量检竟年,则数减均同,异岁相课,则远近应率。臣因此验,考正章法。今以臣历推之,刻如前,窃谓至密,永为定式。寻古历法并同《四分》,《四分》之数久则后天,经三百年,朔差一日。是以汉载四百,食率在晦。魏代已来,遂革斯法,世莫之非者,诚有效于天也。章岁十九,其疏尤甚,同出前术,非见经典。而议云此法自古,数不可移。若古法虽疏,永当循用,谬论诚立,则法兴复欲施《四分》于当今矣,理容然乎?臣所未譬也。若谓今所革创违舛失衷者,未闻显据有以矫夺臣法也。
《元嘉历》术,减闰余二,直以袭旧分粗,故进退未合。至于弃盈求正,非为乖理。就如议意,率不可易,则分无增损,承天置法,复为违谬。节气蚤晚,当循《景初》,二至差三日,曾不觉其非,横谓臣历为失,知日少之先时,未悟增月甚惑也。诚未睹天验,岂测历数之要,生民之本,谅非率意所断矣。又法兴始云穷识晷变,可以刊旧革今,复谓晷数盈虚,不可为准,互自违伐,罔识所依。若推步不得准,天功绝于心目,未详历纪何因而立。案《春秋》以来千有余载,以食检朔,曾无差失,此则日行有恆之明征也。
且臣考影弥年,穷察毫微,课验以前,合若符契,孟子以为千岁之日至,可坐而知,斯言实矣。日有缓急,未见其证,浮辞虚贬,窃非所惧。
法兴议曰:“冲之既云冬至岁差,又谓虚为北中,舍形责影,未足为迷。何者?凡在天非日不明,居地以斗而辨,借令冬至在虚,则黄道弥远,东北当为黄钟之宫,室壁应属玄枵之位,虚宿岂得复为北中乎?曲使分至屡迁,而星次不改,招摇易绳,而律吕仍往,则七政不以玑衡致齐,建时亦非摄提所纪,不知五行何居,六属安托。”冲之曰:此条所嫌,前牒已详。次改方移,虚非中位,繁辞广证,自构纷惑,皆议者所谬误,非臣法之违设也。七政致齐,实谓天仪,郑、王唱述,厥训明允,虽有异说,盖非实义。
法兴议曰:“夫置元设纪,各有所尚,或据文于图谶,或取效于当时。冲之云‘群氏纠纷,莫审其会。’昔《黄帝》辛卯,日月不过,《颛顼》乙卯,四时不忒,《景初》壬辰,晦无差光,《元嘉》庚辰,朔无错景,岂非承天者乎?冲之苟存甲子,可谓为合以求天也。”冲之曰:夫历存效密,不容殊尚,合谶乖说,训义非所取,虽验当时,不能通远,又臣所未安也。元值始名,体明理正。未详辛卯之说何依,古术诡谬,事在前牒,溺名丧实,殆非索隐之谓也。
若以历合一时,理无久用,元在所会,非有定岁者,今以效明之。夏、殷以前,载籍沦逸,《春秋》汉史,咸书日蚀,正朔详审,显然可徵。以臣历检之,数皆协同,诚无虚设,循密而至,千载无殊,则虽远知矣。备阅曩法,疏越实多,或朔差三日,气移七晨,未闻可以下通于今者也。元在乙丑,前说以为非正,今值甲子,议者复疑其苟合,无名之岁,自昔无之,则推先者,将何从乎?历纪之作,几于息矣。夫为合必有不合,愿闻显据,以核理实。
法兴曰:“夫交会之元,则蚀既可求,迟疾之际,非凡夫所测。昔贾逵略见其差,刘洪粗著其术,至于疏密之数,莫究其极。且五纬所居,有时盈缩,即如岁星在轸,见超七辰,术家既追算以会今,则往之与来,断可知矣。《景初》所以纪首置差,《元嘉》兼又各设后元者,其并省功于实用,不虚推以为烦也。冲之既违天于改易,又设法以遂情,愚谓此治历之大过也。”冲之曰:迟疾之率,非出神怪,有形可检,有数可推,刘、贾能述,则可累功以求密矣。
议又云“五纬所居,有时盈缩”。“岁星在轸,见超七辰”。谓应年移一辰也。案岁星之运,年恆过次,行天七匝,辄超一位。代以求之,历凡十法,并合一时,此数咸同,史注所记,天验又符。此则盈次之行,自其定准,非为衍度滥徙,顿过其冲也。若审由盈缩,岂得常疾无迟。夫甄耀测象者,必料分析度,考往验来,准以实见,据以经史。曲辩碎说,类多浮诡,甘、石之书,互为矛盾。今以一句之经,诬一字之谬,坚执偏论,以罔正理,此愚情之所未厌也。
算自近始,众法可同,但《景初》之二差,承天之后元,实以奇偶不协,故数无尽同,为遗前设后,以从省易。夫建言倡论,岂尚矫异,盖令实以文显,言势可极也。稽元曩岁,群数咸始,斯诚术体,理不可容讥;而讥者以为过,谬之大者。然则《元嘉》置元,虽七率舛陈,而犹纪协甲子,气朔俱终,此又过谬之小者也。必当虚立上元,假称历始,岁违名初,日避辰首,闰余朔分,
左旋