三年秋七月壬辰朔日有食之既
《古今律历考》
此周桓王十一年鲁桓公之三年也姜岌以爲是岁七月癸亥朔无壬辰亦失闰其八月壬辰朔去交分入食限大衍与姜岌合元史谓以今厯推之是岁八月壬辰朔加时在昼日食六分有竒夫元史所谓今厯者授时法也以授时推周桓王十一年壬申岁距至元十八年辛巳岁积一千九百八十九筭中积七十二万六千四百七十一日一十一刻一十六分以步至七月癸亥朔不入食限八月定朔二十八日六十三刻是八月朔日壬辰申时合朔交泛二十七日○加时在昼去交分入食限日食六分有竒经书七月日食乃春秋时不应闰而先闰以致误八月爲七月然八月朔日食六分有竒亦非食既则有不同耳