《三国演义》第九十七回：讨魏国武侯再上表 破曹兵姜维诈献书

建兴六年秋，魏都督曹休被东吴陆逊大败于石亭，军资尽失，回洛阳后背疽发作而死。

建兴六年秋，魏都督曹休被东吴陆逊大败于石亭，军资尽失，回洛阳后背疽发作而死。司马懿因此退兵，防诸葛亮乘虚取长安，众将笑其怯懦。东吴遣使约蜀伐魏，孔明正待出师，帐前松树被大风吹折，占卜预示将损一大将，随后赵云病故的噩耗传来，孔明与众将痛哭，后主追赠赵云大将军、顺平侯。后主对出兵犹豫，孔明上《出师表》，申明汉贼不两立、与其坐待灭亡不若北伐之理，历数六条不解之事，表明鞠躬尽瘁之心。后主准奏，孔明起兵三十万，以魏延为先锋直奔陈仓。

陈仓已筑新城，郝昭守备严密，魏延连攻不下。孔明命部曲靳祥以同乡旧谊劝降，郝昭严词拒绝。孔明先后以云梯、冲车、地道攻城二十余日，均被郝昭用火箭、飞石、横壕破解。魏将王双来援，连斩蜀将谢雄、龚起，又用流星锤打伤张嶷，扎营于陈仓城外。孔明见陈仓难取，从姜维之计，分兵守街亭、陈仓口，自统大军出斜谷取祁山。姜维诈降曹真，献书约魏军里应外合，曹真信之，遣费耀领兵接应。费耀追击蜀兵，中伏大败，逃至谷口遇姜维，自刎而死，余众皆降。孔明进兵祁山，曹真上表求援，司马懿献退敌之计。