坊、钧容及天下州县,各自为律,非书同律之义。且古者帝王巡狩方岳,必考礼乐同异,以行诛赏。谓宜颁格律,自京师及州县,毋容辄异,有擅高下者论之。"帝召辅臣观庶所进律尺、龠,又令庶自陈其法,因问律吕旋相为宫事,令撰图以进。其说以五正、二变配五音,迭相为主,衍之成八十四调。旧以宫、徵、商、羽、角五音,次第配七声,然后加变宫、变徵二声,以足其数。推以旋相生之法谓五行相戾非是,当改变徵为变羽,易变为闰,随音加之,则十二月各以其律为宫,而五行相生,终始无穷。诏以其图送详定所。庶又论吹律以听军声者,谓以五行逆顺,可以知吉凶,先儒之说略矣。
是时瑗、逸制乐有定议,乃补庶试秘书省校书郎,遣之。镇为论于执政曰:
今律之与尺所以不得其真,累黍为之也。累黍为之者,史之脱文也。古人岂以难晓不合之法,书之于史,以为后世惑乎?殆不然也。易晓而必合也,房庶之法是矣。今庶自言其法,依古以律而起尺,其长与空径、与容受、与一千二百黍之数,无不合之差。诚如庶言,此至真之法也。
且黄钟之实一千二百黍,积实分八百一十,于算法圆积之,则空径三分,围九分,长九十分,积实八百一十分,此古律也。律体本圆。圆积之是也。今律方积之,则空径三分四厘六毫,比古大矣。故围十分三厘八毫,而其长止七十六分二厘,积实亦八百一十分。律体本不方,方积之,非也。其空径三分,围九分,长九十分,积实八百一十分,非外来者也,皆起于律也。以一黍而起于尺,与一千二百黍之起于律,皆取于黍。今议者独于律则谓之索虚而求分,亦非也。其空径三分,围九分,长九十分之起于律,与空径三分四厘六毫,围十分三厘八毫,长七十六分二厘之起于尺,古今之法,疏密之课,其不同较然可见,何所疑哉?若以谓工作既久而复改为,则淹引岁月,计费益广,又非朝廷制作之意也。其淹久而计费广者,为之不敏也。今庶言太常乐无姑洗、夹钟、太簇等数律,就令其律与其说相应,钟磬每编才易数三,因旧而新,敏而为之,则旬月功可也,又向淹久而广费哉?
执政不听。
四年,镇又上书曰:
陛下制乐以事天地、宗庙,以扬祖宗之休,兹盛德之事也。然自下诏以来,及今三年,有司之论纷然未决,盖由不议其本而争其末也。窃惟乐者,和气也。发和气者,声音也。声音之生,生于无形,故古人以有形之物传其法,俾后人参考之,然后无形之声音得而和气可道也。有形者,秬黍也,律也,尺也,龠也,鬴也,斛也,算数也,权衡也,钟也,磬也,是十者必相合而不相戾,然后为得,今皆相戾而不相合,则为非是矣。有形之物非是,而欲求无形之声音和,安可得哉?谨条十者非是之验,惟裁择焉!
按诗"诞降嘉种,维秬维秠。"诞降者,天降之也。许慎云:"秬,一稃二米。"又云:"一秬二米。"后汉任城县产秬黍二斛八斗,实皆二米,史官载之,以为嘉瑞。又古人以秬黍为酒者,谓之秬鬯。宗庙降神,惟用一尊;诸侯有功,惟赐一卣,以明天降之物,世不常有而可贵也。今秬黍取之民间者,动至数百斛,秬皆一米,河东之人谓之黑米。设有真黍,以为取数至多,不敢送官,此秬黍为非是,一也。
又按先儒皆言律空径三分,围九分,长九十分,容千二百黍,积实八百一十分。今律空径三分四厘六毫,围十分二厘八毫,是为九分外大其一分三厘八毫,而后容千二百黍,除其围广,则其长止七十六分二厘矣。说者谓四厘六毫为方分,古者以竹为律,竹形本圆,今以方分置算,此律之为非是,二也。
又按汉书,分、寸、尺、丈、引本起黄钟之长,又云九十分黄钟之长者,据千二百黍而言也。千二百黍之施于量,则曰黄钟之龠;施于权衡,则曰黄钟之重;施于尺,则曰黄钟之长。今遗千二百之数,而以百黍为尺,又不起于黄钟,此尺之为非是,三也。
又按汉书言龠,其状似爵,爵谓爵琖,其体正圆。故龠当圆径九分,深十分,容千二百黍,积实八百一十分,与律分正同。今龠乃方一寸,深八分一厘,容千二百黍,是亦以方分置算者,此龠之非是,四也。
又按周礼鬴法:方尺,圆其外;深尺,容六斗四升。方尺者,八寸之尺也;深尺者,十寸之尺也。何以知尺有八寸、十寸之别?按周礼:"璧羡度尺,好三寸以为度。"璧羡之制,长十寸,广八寸,同谓之度尺。以为尺,则八寸、十寸俱为尺矣。又王制云:"古者以周尺八尺为步,今以六尺四寸为步。"八尺者,八寸之尺也;六尺四寸者,十寸之尺也。同谓之周尺者,是周用八寸、十寸尺明矣。故知八寸尺为鬴之方,十寸尺为鬴之深,而容六斗四升,千二百八十龠也。积实一百三万六千八百分。今鬴方尺,积千寸,此鬴之非是,五也。
又按汉书斛法:方尺,圆其外,容十斗,旁有庣焉。当隋时,汉斛尚在,故隋书载其铭曰:"律嘉量斛,方尺圆其外,庣旁九厘五毫,幂百六十二寸,深尺,容一斛。"今斛方尺,深一尺六寸二分,此斛之非是,六也。
又按算法,圆分谓之径围,方分谓之方斜,所谓"径三、围九、方五、斜七"是也。今圆分而以方法算之,此算数非是,七也。
又按权衡者,起千二百黍而立法也。周之鬴,其重一钧,声中黄钟;汉之斛,其重二钧,声中黄钟。鬴、斛之制,有容受,有尺寸,又取其轻重者,欲见薄厚之法,以考其声也。今黍之轻重未真,此权衡为非是,八也。
又按:"凫氏为钟:大钟十分,其鼓间之,以其一为之厚;小钟十分,其钲间之,以其一为之厚。"今无大小薄厚,而一以黄钟为率,此钟之非是,九也。
又按:"磬氏为磬,倨句一矩有半,其博为一,股为二,鼓为三。"盖各以其律之长短为法也。今亦以黄钟为率,而无长短厚薄之别,此磬之非是,十也。
前此者,皆有形之物也,可见者也。使其一不合,则未可以为法,况十者之皆相戾乎?臣固知其无形之声音不可得而和也。请以臣章下有司,问黍之二米与一米孰是?律之空径三分与三分四厘六毫孰是?律之起尺与尺之起律孰是?龠之圆制与方制孰是?鬴之方尺圆其外,深尺与方尺孰是?斛之方尺圆其外,庣旁九厘五毫与方尺深尺六寸二分孰是?算数之以圆分与方分孰是?权衡之重以二米秬黍与一米孰是?钟磬依古法有大小、轻重、长短、薄厚而中律孰是?是不是定,然后制龠、合、升、斗、鬴、斛以校其容受;容受合,然后下诏以求真黍;真黍至,然后可以为量、为钟磬;量与钟磬合于律,然后可以为乐也。今尺律本末未定,而详定、修制二局工作之费无虑千万计矣,此议者所以云云也。然议者不言有司论议依违不决,而愿谓作乐为过举,又言当今宜先政令而礼乐非所急,此臣之所大惑也。傥使有司合礼乐之论,是其所是,非其所非,陛下亲临决之,顾于政令不已大乎。
昔汉儒议盐铁,后世传盐铁论。方今定雅乐以求废坠之法,而有司论议不著盛德之事,后世将何考焉?顾令有司,人人各以经史论议条上,合为一书,则孰敢不自竭尽,以副陛下之意?如以臣议为然,伏请权罢详定、修制二局,俟真黍至,然后为乐,则必得至当而无事于浮费也。
诏送详定所。镇说自谓得古法,后司马光数与之论难,以为弗合。世鲜钟律之学,卒莫辩其是非焉。
宋兴百余年,司天数改历,其说曰:"历者岁之积。岁者月之积,月者日之积,日者分之积,又推余分置闰,以定四时,非博学妙思弗能考也。夫天体之运,星辰之动,未始有穷,而度以一法,是以久则差,差则敝而不可用,历之所以数改造也。物铢铢而较之,至石必差,况于无形之数哉?"乾兴初,议改历,命司天役人张奎运算,其术以八千为日法,一千九百五十八为半分,四千二百九十九为朔,距乾兴元年壬戌,岁三千九百万六千六百五十八为积年。诏以奎补保章正。又推择学者楚衍与历官宋行古集天章阁,诏内侍金克隆监造历,至天圣元年八月成,率以一万五百九十为枢法,得九钜万数。既上奏,诏翰林学士晏殊制序而施行焉,命曰崇天历。历法曰演纪上元甲子,距天圣二年甲子,岁积九千七百五十五万六千三百四十。(上考往古,岁减一算;下验将来,岁加一算。)
步气朔
崇天枢法:一万五百九十。
岁周:三百八十六万七千九百四十。
岁余:五万五千五百四十。
气策:一十五、余五千三百一十四、秒六。
朔实:三十一万二千七百二十九。
岁闰:一十一万五千一百九十二。
朔策:二十九、余五千六百一十九。
望策:一十四、余八千一百四、秒一十八。
弦策:七、余四千五十二、秒九。
中盈分:四千六百二十八、秒一十二。
朔虚分:四千九百七十一。
闰限:三十万三千一百二十九、秒二十四。
秒法:三十六。
旬周:六十三万五千四百。
纪法:六十。
推天正冬至:置距所求积年,以岁周乘之,为气积分;满旬周去之,不尽,以枢法约之为大余,不满为小余。大余命甲子,算外,即所求年天正冬至日辰及余。(若以后合用约分,即以枢法退除为分秒,各以一百为母。)
求次气:置天正冬至大、小余,以气策秒累加之,秒盈秒法从小余,小余满枢法从大余,满纪法去之,不尽,命甲子,算外,即各得次气日辰及余秒。
推天正十一月经朔:置天正冬至气积分,朔实去之,不尽为闰余;以减天正冬至气积分,为天正十一月经朔加时积分;满旬周去之,不尽,以枢法约之为大余,不满为小余。大余命甲子,算外,即所求年天正十一月经朔日辰及余。
求弦望及次朔经日:置天正十一月经朔大、小余,以弦策累加之,去命如前,即各弦、望及次朔经日及余秒。
求没日:置有没之气小余,三百六十乘之,其秒进一位,从之,用减岁周,余满岁余为日,不满为余。命其气初日,算外,即其气没日日辰。(凡二十四气小余满八千二百六十五、秒三十以上为有没之气。)
求减日:置有减经朔小余,三十乘之,满朔虚分为日,不满为余。命经朔初日,算外,即为其朔减日日辰。(凡经朔小余不满朔虚分为有减之朔。)
步发敛
候策:五、余七百七十一、秒一十四。
卦策:六、余九百二十五、秒二十四。
土王策:三、余四百六十二、秒三十。
辰法:八百八十二半。
刻法:一千五十九。
秒法:三十六。
推七十二候:各因中节大、小余命之,为其气初候日也;以候策加之,为次候;又加之,为末候。
求六十四卦:各因中气大、小余命之,为公卦用事日;以卦策加之,得次卦用事日;以土王策加诸侯之卦,得十有二节之初外卦用事之日。
推五行用事日:各因四立日大、小余命之,即春木、夏火、秋金、冬水首用事日;以土王策减四季中气大、小余,命甲子,算外,即其月土始用事日。
七十二候及卦日与应天同。
求发敛去经朔:置天正十一月闰余,以中盈及朔虚分累益之,即每月闰余;满枢法除之为闰日,不尽为小余,即各得其月中气去经朔日及余秒。(其余闰满闰限至闰,仍先见定朔大小。其月内无中气,乃为闰月。)
求卦候去经朔:各以卦、候策及余秒累加减之,(中气前以减,中气后以加。)即各得卦、候去经朔日及余秒。
求发敛加时:置小余,以辰法除之为辰数,进一位,满刻法为刻,不满为刻分。其辰数命子正,算外,即各加时所在辰、刻及分。