《三国志》卷三十五《蜀志·诸葛亮传》：亮性长于巧思，损益连弩，木牛流马，皆出其意；推演兵法，作八陈图，咸得其要云。
诸葛亮作八阵图制木牛流马。
【八阵图】4180 杜甫《八阵图》：“功盖三分鼎，名成八阵图”元稹《哭吕衡州》：“白马双旌队，青山八阵图”。双旌：太守出行之仪仗队。储光羲《同张侍御宴北楼诗》：“今之太守古诸侯，出入双旌垂七旒。”
【八阵】4181 李世民《宴中山》：“对敌六奇举，临戎八阵张”。骆宾王《畴昔篇》：“云气横开八阵形，桥形遥分七星势”。七星：桥名，又名万里桥，在成都杜甫草堂之东。费祎使吴，诸葛亮饯行于此，祎曰：“万里之行，始于此桥。”席豫《奉和圣制送张说巡边》：“五营将月会，八阵与云连”。孟浩然《送莫甥兼诸昆弟从韩司马入西军》：“坐弃三牲养，行观八阵形”。三牲：猪、牛、羊。元兢《蓬州野望》：“水共三巴远，山随八阵开”。刘禹锡《江陵严司空见示与成都武相公唱和因命同作》：“名重三司平水土，威雄八阵役风雷”。役：役使。
【阵图】4182 刘希夷《蜀城怀古》：“阵图一一在，柏树双双行”。杜甫《秋日夔府咏怀奉寄郑监李宾客》：“阵图沙北岸，市暨瀼西巅”。市暨：市井。薛逢《题筹笔驿》：“身依豪杰倾心术，目对云山演阵图”。
【木牛】4183 章孝标《诸葛武侯庙》：“木牛零落阵图残，山姥烧钱古柏寒”。
【武乡阵法】4184 李商隐《五言述德抒情诗献上杜七兄仆射相公》：“武乡传陈法，践土主文盟”。武乡：诸葛亮封武乡侯，简称武侯，故云。