姜维公元253年北伐是一次失败的蜀汉战役，其战局起伏显示，联盟作战容易受到欺诈的影响。姜维争取到迷当王及羌族诸部参加，但魏将陈泰假意归降，渗入这一联盟。迷当王被擒后，受到劝说而背弃蜀汉，随后由郭淮释放；昔日盟友继而袭击蜀军营寨，迫使姜维撤退。此次北伐以失败告终，尽管徐质与郭淮均战死，魏军的胜利仍有助于巩固司马师的权势。

背景与联盟

公元253年，姜维再次集结蜀军，向魏国边境进军。这一次，羌族诸部也支持战役，他们因得到赠礼而加入攻魏。迷当王率军参战，使此次北伐成为一场联盟作战，而非蜀军单独进兵。

魏国派遣以勇武著称的徐质统率军队应战，司马昭随军同行。首场交锋对魏军有利——徐质使蜀军遭受重大损失。下一次交战中，战局逆转，魏军受挫，徐质战死，姜维军因此有机会继续推进并击溃魏军营寨。

战斗与羌族倒戈

司马昭率六千人退守一座山丘，山上的小泉水不足以供全军饮用。军粮耗尽，士气低落之际，司马昭想起一则关于古代英雄缺水受困、祈求泉水后泉水涌出的故事。他也以同样的方式献祭祈祷，溪流随后涌出足够的水供部下饮用。在这段记述中，这一插曲标志着一场原本对魏军不利的战役中出现了短暂的绝境停顿。

更具决定性的逆转来自陈泰的诈降。他假装率领五千魏军投奔姜维与羌族结成的联盟。迷当王相信对方确已倒戈，遂下令夜袭魏军营寨。一名羌族高级将领与陈泰率军发动攻击，但这场进攻实为陷阱——将领的战马跌入深坑，假意归降的魏军从后方袭击羌军，陈泰又率另一支魏军分队从正面进攻。数千羌军战死，迷当王被擒。

撤退与政治后果

郭淮释放被俘的迷当王，并劝他退出与蜀汉的联盟，回到昔日的魏国盟友一方。阵营转变使战役局势彻底逆转。迷当王所部加入对蜀军营寨的进攻，蜀军猝不及防，遭到击溃。姜维撤退时使郭淮受伤；郭淮当夜身亡。

此后两军各自撤退。姜维失去了这场战役，尽管徐质与郭淮之死意味着他的进攻也给魏国造成了重大损失。司马昭庆贺击退蜀军，而这场胜利增强了其兄司马师的政治地位。记述将战役结果与朝廷权力平衡联系起来——战胜蜀汉提升了司马师的权威，直至他在皇帝面前也表现得仿佛自己才是皇帝。