劉禪降魏,樂不思蜀,魏廢民屯,劉徽註《九章算術》