《三國志》

陳壽 紀事
(魏齊王正始四年)五月朔,日有食之,既。 又(魏齊王正始五年)夏四月朔,日有蝕之。 又(魏齊王正始)八年春二月朔,日有蝕之。 又(魏高貴鄉公甘露)五年春正月朔,日有蝕之。 又(魏元帝景元)二年夏五月朔,日有食之。