八阵有天威，千里无留行

出自宋代孙应时《定军山叹》：

仲达受巾国，佐治来闭营。
君看此情事，岂辨吾孔明。
八阵有天威，千里无留行。
但度渭水去，贼势能不争。
便当截狼头，三辅即日平。
连年计兹役，独坐粮运萦。
所以五丈原，驻军方杂耕。
俶载维首夏，望望秋谷升。
云何西风至，忽已落大星。
痛哉万世功，於此丧垂成，炎精遂沦谢，王路终榛荆。
三马肆蹄齿，群雄迄纵横。
公科少徐死，此祸何由生。
天机定谁执，变化纷可惊。
乔木定军山，空有身后名，世论复齿莽，呜咽志士情。
朗咏少陵诗，何诛陈寿评。

注释参考

八阵

亦作“ 八陈 ”。古代作战的阵法。 银雀山 汉 墓竹简《孙膑兵法·八阵》：“用八陈战者，因地之利，用八陈之宜。”八阵名目不一，常见有：(1)《文选·班固〈封燕然山铭〉》：“勒以八阵。” 李善 注引《杂兵书》：“八阵者，一曰方阵，二曰圆阵，三曰牝阵，四曰牡阵，五曰衝阵，六曰轮阵，七曰浮沮阵，八曰雁行阵。”(2) 唐 李筌 《神机制敌太白阴经·阵图》：“天阵居乾为天门，地阵居坤为地门，风阵居巽为风门，云阵居坎为云门，飞龙居震为飞龙门，虎翼居兑为虎翼门，鸟翔居离为鸟翔门，蛇盘居艮为蛇盘门；天、地、风，云为四正，龙、虎、鸟、蛇为四奇，乾、坤、巽、坎为闔门，震、兑、离、艮为开门。”(3) 宋 王应麟 《小学绀珠·制度·八阵》：“八阵：洞当、中黄、龙腾、鸟飞、折衝、虎翼、握机、衡。”传为 三国 蜀 诸葛亮 所作。参见“ 八阵图 ”。

天威

天威 (tiānwēi) 天道威严;也指帝王的威严 the prestige of Heaven;emperor’s prestige 神奇的威力;神威 martial prowers

千里

千里 (qiānlǐ) 指千里马 the winged steed 先王之千里。——《吕氏春秋·察今》

留行

(1).挽留，使不离去。《孟子·公孙丑下》：“ 孟子 去 齐 ，宿於 昼 ，有欲为王留行者。” 赵岐 注：“欲为王留 孟子 行。”

(2).停止行进。《韩非子·存韩》：“ 秦 发兵不留行，而 韩 之社稷忧矣。”《汉书·李广利传》：“ 贰师 欲攻 郁成城 ，恐留行而令 宛 益生诈，乃先至 宛 。” 颜师古 注：“留行，谓留止军，废其行。”

(3).指阻挡，阻碍。《汉书·韩安国传》：“今以中国之盛，万倍之资，遣百分之一以攻 匈奴 ，譬犹以强弩射且溃之癕也，必不留行矣。” 颜师古 注：“留，止也。言无所碍也。” 宋 苏轼 《水调歌头》词：“忽变轩昂勇士，一鼓填然作气，千里不留行。”

(4).停止与前进。《隋书·天文志中》：“此五星合见、迟速、逆顺、留行之大经也。”