據三國志記載，章武六年春，諸葛亮上表《出師表》北伐，這是蜀漢第一次北伐。諸葛亮攻祁山，“亮率諸軍攻祁山，南安、天水、安定三郡叛魏應亮，關中響震，魏明帝西鎮長安，命張郃拒亮。亮使馬謖督諸軍在前，與郃戰於街亭。謖違亮節度，舉動失宜，大為張郃所破。亮拔西縣千餘家，還於漢中，戮謖以謝眾。”諸葛亮上表自貶三等，為右將軍，行丞相事。
相比較蜀漢諸葛亮數次北伐，其實第一次北伐成果最大。但是，由於馬謖失街亭，致使北伐功虧一簣。
街亭之戰，並不是像《三國演義》寫的那樣，馬謖立下軍令狀守街亭（軍令狀也是子虛烏有之事），街亭是蜀漢糧道，斷了糧道，蜀軍自亂。而真正的原因是，三國志馬良傳，（諸葛）亮違眾拔謖，時有宿將魏延、吳儀等，論者皆言以為宜令為先鋒。與張郃戰於街亭，為郃所破，士卒離散。亮進無所據，退軍還漢中。三國志記載，諸葛亮違背眾議，獨斷專行，用了馬謖。諸葛亮退軍原因，也是因為，馬謖失街亭，“進無所據”才退軍的。
單從戰術層面講，馬謖戰敗的原因，三國志王平傳與張郃傳記載，謖舍水上山，舉措煩擾，平連規諫謖，謖不能用。馬謖依阻南山，不下據城。郃絕其汲道，擊，大破之，南安、天水、安定三郡反應亮，郃皆平之。也就是說，馬謖戰敗的原因，是被張郃斷了水源。而且，馬謖從來沒有帶過兵，舉措煩擾，行兵打仗不同於政事，軍令簡單為要，馬謖此行估計士兵也煩他。一戰下來，馬謖哪是張郃對手，張郃在投降曹操之前，在袁紹手下時候，就是河北名將。
馬謖失了街亭，諸葛亮進攻沒有憑據。三郡得而復失，蜀漢第一次北伐失敗，得人而不得其地。只有依據軍法殺了馬謖，上表自貶，其實是掩蓋自己用人失策。說明，諸葛亮還真不會用人。比起用人這方面，劉備比諸葛亮強多了。而且劉備說過，馬謖言過其實，不可大用，君其察之。
諸葛亮北伐失敗，更深層次的原因，還是因為，蜀漢國弱民窮，物質條件匱乏。魏國之所以取勝，蜀漢之所敗亡，還是物質因素。魏國實行屯田，為戰爭取得勝利奠定了物質基礎，諸葛亮數次北伐失敗，都是因為糧食的原因，糧盡而還。
三國志陳壽評諸葛亮曰：亮之素志，進欲龍驤虎視，苞括四海，退欲跨陵邊疆，震盪宇內。又自以為無身之日，則未有能蹈涉中原、抗衡上國者，是以用兵不戢，屢耀其武。然亮才，於治戎為長，奇謀為短，理民之幹，優於將略。而所與對敵，或值人傑，加眾寡不侔，攻守異體，故雖連年動眾，未能有克。昔蕭何薦韓信，管仲舉王子城父，皆忖己之長，未能兼有故也。亮之器能政理，抑亦管、蕭之亞匹也，而時之名將無城父、韓信，故使功業陵遲，大義不及邪?蓋天命有歸，不可以智力爭也。陳壽將諸葛亮的失敗，歸於天命、自身、別國，在那個時代，這個評價也算是公允了。
據三國志記載，章武六年春，諸葛亮上表《出師表》北伐，這是蜀漢第一次北伐。諸葛亮攻祁山，“亮率諸軍攻祁山，南安、天水、安定三郡叛魏應亮，關中響震，魏明帝西鎮長安，命張郃拒亮。亮使馬謖督諸軍在前，與郃戰於街亭。謖違亮節度，舉動失宜，大為張郃所破。亮拔西縣千餘家，還於漢中，戮謖以謝眾。”諸葛亮上表自貶三等，為右將軍，行丞相事。
相比較蜀漢諸葛亮數次北伐，其實第一次北伐成果最大。但是，由於馬謖失街亭，致使北伐功虧一簣。
街亭之戰，並不是像《三國演義》寫的那樣，馬謖立下軍令狀守街亭（軍令狀也是子虛烏有之事），街亭是蜀漢糧道，斷了糧道，蜀軍自亂。而真正的原因是，三國志馬良傳，（諸葛）亮違眾拔謖，時有宿將魏延、吳儀等，論者皆言以為宜令為先鋒。與張郃戰於街亭，為郃所破，士卒離散。亮進無所據，退軍還漢中。三國志記載，諸葛亮違背眾議，獨斷專行，用了馬謖。諸葛亮退軍原因，也是因為，馬謖失街亭，“進無所據”才退軍的。
單從戰術層面講，馬謖戰敗的原因，三國志王平傳與張郃傳記載，謖舍水上山，舉措煩擾，平連規諫謖，謖不能用。馬謖依阻南山，不下據城。郃絕其汲道，擊，大破之，南安、天水、安定三郡反應亮，郃皆平之。也就是說，馬謖戰敗的原因，是被張郃斷了水源。而且，馬謖從來沒有帶過兵，舉措煩擾，行兵打仗不同於政事，軍令簡單為要，馬謖此行估計士兵也煩他。一戰下來，馬謖哪是張郃對手，張郃在投降曹操之前，在袁紹手下時候，就是河北名將。
馬謖失了街亭，諸葛亮進攻沒有憑據。三郡得而復失，蜀漢第一次北伐失敗，得人而不得其地。只有依據軍法殺了馬謖，上表自貶，其實是掩蓋自己用人失策。說明，諸葛亮還真不會用人。比起用人這方面，劉備比諸葛亮強多了。而且劉備說過，馬謖言過其實，不可大用，君其察之。
諸葛亮北伐失敗，更深層次的原因，還是因為，蜀漢國弱民窮，物質條件匱乏。魏國之所以取勝，蜀漢之所敗亡，還是物質因素。魏國實行屯田，為戰爭取得勝利奠定了物質基礎，諸葛亮數次北伐失敗，都是因為糧食的原因，糧盡而還。
三國志陳壽評諸葛亮曰：亮之素志，進欲龍驤虎視，苞括四海，退欲跨陵邊疆，震盪宇內。又自以為無身之日，則未有能蹈涉中原、抗衡上國者，是以用兵不戢，屢耀其武。然亮才，於治戎為長，奇謀為短，理民之幹，優於將略。而所與對敵，或值人傑，加眾寡不侔，攻守異體，故雖連年動眾，未能有克。昔蕭何薦韓信，管仲舉王子城父，皆忖己之長，未能兼有故也。亮之器能政理，抑亦管、蕭之亞匹也，而時之名將無城父、韓信，故使功業陵遲，大義不及邪?蓋天命有歸，不可以智力爭也。陳壽將諸葛亮的失敗，歸於天命、自身、別國，在那個時代，這個評價也算是公允了。