陳式

史載（Historical Record）

陳式，作為蜀漢將領，其事蹟主要見於《三國志》的記載。他首次在史書中出現是在章武二年（223年）春正月，當時劉備在夷陵之戰中失利，先主軍退守秭歸。陳式與吳班一同率領水軍，在夷陵的長江兩岸屯兵^[1]。這表明他在劉備集團中擔任著重要的軍事職務，負責水路防線。然而，夷陵之戰最終以蜀漢大敗告終，先主軍被陸遜擊破，陳式在此戰中的具體表現和結局史書未詳述，但其參與了這場關鍵戰役。

數年後，在建興七年（229年），陳式再次嶄露頭角。丞相諸葛亮派遣陳式率軍攻打魏國的武都、陰平二郡^[2]。這次軍事行動取得了成功，陳式順利攻克並安定了這兩個郡。魏國雍州刺史郭淮聞訊後，曾率兵試圖反擊陳式，但諸葛亮親自出兵至建威，郭淮因此退卻，使得陳式得以鞏固對武都、陰平二郡的控制^[3]。這次戰役的勝利，使得蜀漢成功地將氐、羌等民族納入管轄，並擴大了疆域，諸葛亮也因此受到了詔策的褒獎，詔書中特別提到了“今歲爰徵，郭淮遁走；降集氐、羌，興復二郡，威鎮兇暴，功勳顯然”^[3]，這無疑是對陳式及其所部功績的肯定。陳式在這次北伐中展現了其軍事才能，為蜀漢的擴張做出了貢獻。

演中（In the Novel）

在《三國演義》中，陳式的形象被賦予了更多的文學色彩和戲劇性，與史實記載有所不同，甚至在某些情節上與史實相悖。他首次出場是在漢中之戰期間。黃忠與法正屯兵定軍山時，陳式主動請纓，率一千兵馬出戰夏侯尚^[4]。然而，他中了夏侯尚的詐敗之計，被引誘至埋伏圈，最終被夏侯淵生擒。這一情節在史書中並無記載，是演義為了豐富人物形象和故事情節而創作的。此役中，陳式顯得輕敵冒進，缺乏謀略，與史實中攻克武都、陰平的穩健表現形成對比。

陳式在演義中更具爭議性的表現，出現在諸葛亮第四次北伐時。諸葛亮分兵出擊，陳式與魏延、張嶷、杜瓊一同奉命出箕谷^[5]。然而，當參謀鄧芝傳達丞相“不可輕進”的命令時，陳式表現出明顯的不服從和對諸葛亮多疑的嘲諷，甚至提及街亭之失來質疑孔明的謀略^[6]。他自恃有五千兵馬，不顧鄧芝的再三阻攔，執意擅自出箕谷，企圖搶先立功。結果，陳式果然中了魏軍的埋伏，大敗而歸^[7]。戰後，諸葛亮在軍帳中，陳式試圖攀誣魏延，但諸葛亮洞察其心，最終將其推出斬首示眾，以儆效尤^[7]。這一情節在史書中同樣沒有記載，是演義為了塑造諸葛亮的“神機妙算”和嚴明軍紀，以及凸顯陳式“自負不服丞相之多謀，事敗攀連同輩”的性格而虛構的。

關鍵關係

* 劉備集團（serves）：陳式是劉備麾下將領，參與了夷陵之戰，與吳班一同屯兵於夷陵^[1]。
* 諸葛亮（fights_in / serves）：陳式在諸葛亮北伐期間，奉命攻取武都、陰平二郡，並取得成功^[2]。在演義中，他則因不聽諸葛亮號令而最終被斬^[7]（演義獨有）。
* 蜀漢（serves）：作為蜀漢的將領，陳式為蜀漢的軍事擴張和鞏固邊疆做出了貢獻，特別是在攻克武都、陰平二郡的戰役中表現突出^[3]。
* 魏延（被攀連）：在演義中，陳式兵敗後試圖攀誣魏延，但未能得逞^[7]（演義獨有）。

標誌性場景

* 夷陵之戰屯兵：章武二年（223年），陳式與吳班率水軍屯駐夷陵，參與了劉備對吳的戰役，儘管結果不盡如人意，但這是他首次在史書中明確記載的軍事行動^[1]。
* 攻克武都、陰平：建興七年（229年），陳式奉諸葛亮之命，成功攻取並安定了武都、陰平二郡。在郭淮試圖反擊時，諸葛亮親自出兵支援，確保了二郡的平定，此役是陳式在史書中最為顯著的功績^[2]。
* 箕谷兵敗被斬：在《三國演義》中，陳式不聽諸葛亮“不可輕進”的命令，擅自率兵出箕谷，結果中了魏軍埋伏而大敗。戰後，他試圖推卸責任並攀誣魏延，最終被諸葛亮斬首示眾，成為諸葛亮嚴明軍紀的犧牲品^[7]（演義獨有）。這一場景深刻塑造了他在演義中自負、不服從命令的形象。