《资治通鉴》·卷第七十一

「魏纪三」起著雍涒滩，尽上章阉茂，凡三年。

　　烈祖明皇帝上之下太和二年（戊申，公元二二八年）

　　春，正月，司马懿攻新城，旬有六日，拔之，斩孟达。申仪久在魏兴，擅承制刻印，多所假授；懿召而执之，归于洛阳。　　初，征西将军夏侯渊之子楙尚太祖女清河公主，文帝少与之亲善，及即位，以为安西将军，都督关中，镇长安，使承渊处。诸葛亮将入寇，与群下谋之，丞相司马魏延曰：“闻夏侯楙，主婿也，怯而无谋。今假延精兵五千，负粮五千，直从褒中出，循秦岭而东，当子午而北，不过十日，可到长安。楙闻延奄至，必弃城逃走。长安中惟御史、京兆太守耳。横门邸阁与散民之谷，足周食也。比东方相合聚，尚二十许日，而公从斜谷来，亦足以达。如此，则一举而咸阳以西可定矣。”亮以为此危计，不如安从坦道，可以平取陇右，十全必克而无虞，故不用延计。亮扬声由斜谷道取郿。使镇东将军赵云，杨武将军邓芝为疑军，据箕谷。帝遗曹真都督关右诸军亮身率大军攻祁山，戎陈整齐，号令明肃。始，魏以汉昭烈既死，数岁寂然无闻，是以略无备豫；而卒闻亮出，朝野恐惧。于是天水、南安、安定皆叛应亮，关中响震，朝臣未知计所出。帝曰：“亮阻山为固，今者自来，正合兵书致人之术，破亮必也。”乃勒兵马步骑五万，遣右将军张郃督之，西拒亮。丁未，帝行如长安。

　　初，越巂太守马谡才器过人，好论军计，诸葛亮深加器异。汉昭烈临终谓亮曰：“马谡言过其实，不可大用，君其察之！”亮犹谓不然，以谡为参军，每引见谈论，自昼达夜。及出军祁山，亮不用旧将魏延、吴懿等为先锋，而以谡督诸军在前，与张郃战于街亭。谡违亮节度，举措烦扰，舍水上山，不下据城。张郃绝其汲道，击，大破之，士卒离散。亮进无所据，乃拔西县千馀家还汉中。收谡下狱，杀之。亮自临祭，为之流涕，抚其遗孤，恩若平生。蒋琬谓亮曰：“昔楚杀得臣，文公喜可知也。天下未定而戮智计之士，岂不惜乎！”亮流涕曰：“孙武所以能制胜于天下者，用法明也；是以扬干乱法，魏绛戮其仆。四海分裂，兵交方始，若复废法，何用讨贼邪！”谡之未败也，裨将军巴西王平连规谏谡，谡不