《資治通鑑》·卷七十一　魏紀三

起著雍涒灘（戊申），盡上章閹茂（庚戌），凡三年。

　　烈祖明皇帝太和二年（戊申、二二八年）

　　春，正月，司馬懿攻新城，旬有六日，拔之，斬孟達。申儀久在魏興，擅承制刻印，多所假授；懿召而執之，歸于洛陽。

　　初，征西將軍夏侯淵之子楙尚太祖女清河公主，文帝少與之親善，及卽位，以為安西將軍，都督關中，鎮長安，使承淵處。

　　諸葛亮將入寇，與羣下謀之。丞相司馬魏延曰：「聞夏侯楙，主壻也，怯而無謀。今假延精兵五千，負糧五千，直從褒中出，循秦嶺而東，當子午而北，不過十日，可到長安。楙聞延奄至，必棄城逃走。長安中惟御史、京兆太守耳。橫門邸閣與散民之穀，足周食也。比東方相合聚，尚二十許日，而公從斜谷來，亦足以達。如此，則一舉而咸陽以西可定矣。」亮以為此危計，不如安從坦道，可以平取隴右，十全必克而無虞，故不用延計。

　　亮揚聲由斜谷道取郿。使鎮東將軍趙雲，揚武將軍鄧芝為疑兵，據箕谷；帝遣曹真都督關右諸軍軍郿，亮身率大軍攻祁山，戎陳整齊，號令明肅。始，魏以漢昭烈旣死，數歲寂然無聞，是以略無備豫；而卒聞亮出，朝野恐懼，於是天水、南安、安定皆叛應亮，關中響震，朝臣未知計所出，帝曰：「亮阻山為固，今者自來，正合兵書致人之術，破亮必也。」乃勒兵馬步騎五萬，遣右將軍張郃督之，西拒亮。丁未，帝行如長安。

　　初，越巂太守馬謖，才器過人，好論軍計，諸葛亮深加器異；漢昭烈臨終，謂亮曰：「馬謖言過其實，不可大用，君其察之！」亮猶謂不然，以謖為參軍，每引見談論，自晝達夜。及出軍祁山，亮不用舊將魏延、吳懿等為先鋒，而以謖督諸軍在前，與張郃戰于街亭。

　　謖違亮節度，舉措煩擾，舍水上山，不下據城。張郃絕其汲道，擊，大破之，士卒離散。亮進無所據，乃拔西縣千餘家還漢中。收謖下獄，殺之。亮自臨祭，為之流涕，撫其遺孤，恩若平生。蔣琬謂亮曰：「昔楚殺得臣，文公喜可知也。天下未定而戮智計之士，豈不惜乎！」亮流涕曰：「孫武所以能制勝於天下者，用法明也；是以揚干亂法，魏絳戮其僕。四海分裂，兵交方始，若復廢法，何用討賊邪！」

　　謖之未敗也