《三国演义》第一百回：汉兵劫寨破曹真 武侯斗阵辱仲达

众将问孔明为何不追退走的魏兵，孔明说司马懿必有埋伏，不如趁其不备分兵取祁山，此地据渭滨、斜谷，是用兵要地。

众将问孔明为何不追退走的魏兵，孔明说司马懿必有埋伏，不如趁其不备分兵取祁山，此地据渭滨、斜谷，是用兵要地。孔明令魏延等出箕谷、马岱等出斜谷，自己领大军随后。曹真与司马懿赌赛十日内有无蜀兵来，懿守箕谷口，真守斜谷口。司马懿巡营斩了一名口出怨言的偏将以肃军纪。魏延、陈式等出箕谷，参谋邓芝传令提防埋伏，陈式不听，讥笑孔明，自带五千兵冒进，中伏几乎全军覆没，被魏延救回，方悔不听号令。孔明另派马岱、王平、马忠、张翼分路绕出祁山两侧，又令关兴、廖化、吴班、吴懿依计行事。曹真因不信蜀兵会来而疏于防备，副将秦良奉命哨探，遭吴班、吴懿、关兴、廖化四面夹击，秦良被廖化斩杀，魏兵大半投降。孔明让蜀兵换上魏兵衣甲，由关兴等率队假扮秦良回营，曹真出迎时营寨已被四路蜀军攻破，曹真败走，遇司马懿接应才脱身。懿劝真退守渭滨，真羞愧成疾，卧床不起。孔明斩了违令的陈式以正军纪，留下魏延备用。得知曹真病重，孔明写信交降兵带回，信中痛斥曹氏篡汉、讥其败状，曹真看后气绝身亡。魏主催战，司马懿下战书，两军会于渭滨。阵前二人先论汉魏正统，继而比试阵法：懿布混元一气阵，孔明布八卦阵，懿遣戴陵、张虎、乐引兵打阵，被困缚回，孔明将众人涂面放还以辱之。懿怒而督军猛攻，关兴、姜维两路杀出，三面夹击，懿大败退守南岸。蜀军粮官苟安误期十日，孔明杖责后放之，苟安怀恨投魏，司马懿令其回成都散布孔明欲篡位的流言，后主中计下诏班师。孔明奉诏退兵，用每日添灶之计，司马懿见灶数递增疑有伏兵不敢追，蜀军全师而返。后知孔明只是增灶并无添兵，懿叹其谋略在己之上。