Can you summarize the following document?
        
  255年七月,蜀將姜維決定趁魏攝政司馬師新亡,再一次伐魏。這次入侵的規模是姜維歷次北伐中最大的之一,多達數萬人,由夏侯霸、張翼等統帥。值得注意的是,雖然在行政級別上夏侯霸和張翼都高於姜維,但在軍事行動時,姜維為主帥。夏侯霸因兩個堂甥女都嫁給蜀帝劉禪,是蜀漢皇室的血親;張翼曾效力蜀漢開國之君劉備,資歷也勝過在劉備死後才加入蜀漢的姜維和夏侯霸。八月,姜維軍到<unk>罕,進軍狄道。  魏新任雍州刺史王經當即告知上級徵西將軍陳泰,稱敵軍同時從祁山、石營、金城三路發起進攻,建議從這些地方迎敵。王經請纓領軍在石營迎敵,建議分兵守祁山、同時部署涼州魏軍去<unk>罕偵察進軍金城的敵軍。陳泰認為情報不可靠,蜀軍不大可能聚集如此大軍對付王經。但蜀軍規模確實如此,魏守軍不足以分兵。涼州魏軍一旦被調往他處作戰,地域陌生,故也不能盡其用。陳泰因而回復王經,因敵軍不應該足以分兵前進,他們必須進一步分析姜維動向,魏軍必須聚集軍隊以獲取完全的數量優勢。命王經進屯狄道,避免迎敵,等候援軍到來。陳泰向魏廷請求援軍,同時親自率軍向陳倉進發。

  

  王經實際沒有軍事經驗,嚴重低估了敵軍,誤以為敵軍長途跋涉後將疲倦,最好不給其休整的機會,趁早先發制人將其擊敗。王經因軍隊佔有數量優勢,敵軍補給線過長而本部軍隊處於守勢沒有後勤問題,自信能完勝。因此,王經忽略了陳泰要他留守狄道的命令,反而率軍冒險出洮河上游的故關。故關在今甘肅臨洮縣北,在洮河西岸上。八月,兩軍在洮河西岸交鋒,魏軍遭慘敗:僅逃跑時淹死在洮河裡計程車兵就有萬餘人,王經軍大部不知所蹤,死者數萬。王經只得率萬餘殘部渡過洮河撤回南岸的狄道,在城牆保護下重整。這場洮河西岸的戰役(也稱洮西之戰),又稱故關之戰,是姜維北伐所取得的最大勝利,也是他的最後一次勝利。  初戰告捷後,張翼準確意識到蜀軍面臨的補給問題,建議姜維撤軍。姜維想乘勝佔領狄道,憤怒地否決了張翼的建議,圍狄道。王經出戰姜維的訊息被陳泰得知,陳泰立即準確預見魏軍將戰敗,命騎兵馳援,親率步兵隨後。同時告急於魏廷,請求增援。敗訊傳到魏都洛陽,朝廷擔憂陳泰不能單獨挽救態勢。新到洛陽的長水校尉鄧艾被任為代安西將軍,被派去幫助陳泰。鄧艾剛離開洛陽,魏攝政司馬昭就派叔父太尉司馬孚鎮關中,以為後援。

  陳泰初聞狄道圍城之事時,他相信城不會輕易陷落,但他的援軍顯然不夠,故請求魏廷增援。大多數朝臣擔心王經遭慘敗後無法堅持到援軍到達,敵軍一旦佔領有城牆的狄道,將佔有完全的地理優勢。他們還預言隴西四郡肯定會丟失,應當多花一些時間聚集一支規模大很多的軍隊打一場持久戰來收復這一地區,不要為了必定要輸的任務浪費資源了。司馬昭卻駁斥了這種看法,指出即使諸葛亮生前北伐時也不能佔領隴西四郡,姜維肯定也不能。立即佔領狄道非易事,入侵之敵很快會糧盡,故陳泰請求立即派援是完全正確的。陳泰率軍到上邽時,鄧艾、胡奮、王祕等率領的援軍也到了。在軍事磋商中,鄧艾指出在王經遭到了導致該地區精銳被殲的慘敗後,敵軍士氣極高,己軍士氣低落,援軍是在戰敗後倉促聚集來的,難以在當時就取勝敵軍。故明智的做法是犧牲一些當地的利益以挽救全域性的利益,最好讓王經自守,等敵軍疲倦鬆懈了再發起反攻。  其他人都同意鄧艾的建議,唯有陳泰反對。陳泰推理姜維因後勤問題沒有補給以應對長期相持,利在速戰速決。王經本應該避免一開始就和入侵敵軍發生遭遇戰,等敵軍糧盡,和援軍會合後反攻。但王經正中姜維下懷趕赴戰場遭到慘敗。若姜維乘勝東進搶佔曹魏重要的產谷地區,將有機會破壞關中,這將是真正的威脅。事實上,如果姜維轉向雍、涼並團結北方和西北的少數民族,甚至有望奪取之。但姜維在圍狄道上犯了嚴重的軍事失策,冒了將有限的糧食耗盡的風險。試圖奪城是最壞的選擇,準備攻城需要時間,而同時守軍卻將背城死戰以守城。因魏軍屯駐在山上的高處,具有地理優勢,在低地平原的蜀軍難以向上進攻,這將為擊退入侵蜀軍提供絕佳機會。最後,陳泰提醒部下,敵軍一旦糧盡,士氣不能持久。大家都同意了陳泰的主意。陳泰隨後兵分三路,向隴西推進,繞過姜維軍,到達狄道東南的群山。

  隨著狄道圍城的繼續,糧食問題開始對補給線過長的蜀軍造成損失。對姜維來說更糟的訊息是,金城的魏援軍到了洮河上游,陳泰率援軍繞高城嶺,在被圍的狄道城東南的山中駐紮。幾次攻山不果後,蜀軍統帥明白到賬下餓兵已無力擊退魏援軍;山中的魏援軍在城牆外舉烽火,鳴鼓角,和城中聯絡,守軍士氣大振。陳泰注意到儘管數量佔優且士氣新振,魏軍還沒到反攻的狀態。於是他放出魏軍計劃反攻,將裡應外合夾擊蜀軍的訊息。結果姜維因糧盡,於九月廿五日(11月11日)撤到洮河下游狄道南面的鐘堤,認敗。戰役以魏得勝告終。王經開城門迎陳泰時誠懇地致謝,說餘糧已不足以支撐十天,如果援軍不能及時到達,城必陷。重新補給狄道城並重修城壘後,陳泰與本部回上邽。

  雖然成功擊退姜維率領的蜀軍,但魏軍也蒙受了龐大損失。十月,魏帝曹髦下詔命受戰各郡典農及安撫夷二護軍各部大吏慰恤傷亡將士的門戶,差賦役免一年。十一月,又下詔赦免叛投蜀者留在當地的家屬,以鼓舞士氣和挽留當地人的民心。僅半月後,曹髦第三次下詔,命陳泰、鄧艾率部於洮河中尋找魏軍士兵遺骸,與其他陣亡者同葬。此戰的損失如此慘重以至於戰後百餘日大部分陣亡者的屍體才得以妥善安葬。  陳泰因立功突出,被召回洛陽升任尚書右僕射,司馬望繼任徵西將軍一職,並持節、都督雍涼二州諸軍事。鄧艾不再代任,被任為官方的安西將軍,假節、領護東羌校尉。王經因造成魏軍傷亡之責,被召回京城另行任命,雍州刺史之職由鄧艾部將諸葛緒填補。

  魏軍  蜀軍
狄道之戰,又作洮西之戰,發生於中國三國時期255年蜀漢和曹魏之間,最後以魏取得慘勝告終。