姜维与夏侯霸伐魏

姜维与夏侯霸伐魏，将政治叛离与军事冒险结合起来——司马懿夺权引发曹氏宗族动荡后，夏侯霸投奔蜀汉，姜维则利用这场动荡发起进攻。蜀军抵达汉中，并投入使用孔明的十矢弓机，但堡垒水源不足，加上魏军强力抵抗，使这次入侵注定失败。蜀军撤退后，阳平关的战术胜利被数万蜀军的损失所掩盖。

政治背景

这次战役发生于司马懿及其家族进一步掌控曹魏之际。掌权后，司马懿召回了夏侯玄；夏侯玄是曹氏宗族中的重要将领，司马懿此前并未除掉他。这次召回促使夏侯玄的叔父夏侯霸起兵反抗。夏侯霸率三千人越境，向蜀汉君主表示愿意效力。

姜维起初对这名新来者心存疑虑。夏侯霸认为，司马懿正忙于巩固曹魏，因此难以立即入侵蜀汉。这番判断使姜维将注意力从防守转向战机——曹魏仍因权力更迭而动荡不安，他便提议趁其尚未巩固地位时发动进攻。费祎表示反对，但蜀汉君主批准了姜维的计划。因此，夏侯霸的叛离既带来了一位新的将领，也提供了对曹魏政治弱点的解读；但这并不能保证入侵一定能利用这一弱点。

入侵及其代价

姜维在夏侯霸支持下进军汉中，为战役做准备。他还试图与羌族诸部结盟。然而，这次远征仍面临一个关乎军队持续作战能力的基本问题——蜀军修筑的堡垒水源不足，无法支撑守军度过围城。魏军一旦反击，原本旨在支援进军的据点便成了负担。

魏将也进一步压缩了蜀军的机动空间。陈泰屡次在谋略上胜过来犯之军，地方长官郭淮则尤其坚决地发动攻击。因此，这次战役并非仅仅是一个大胆计划因意外而受挫；其补给弱点遇上了协调有力的防御，而魏将能够利用这一弱点。现有记载没有提及任何足以抵消这些压力的领土成果。

阳平关与弓机

在阳平关，姜维与司马懿的长子司马师交锋。两位将领互相冲锋，交战三合，随后司马师转身退走。姜维继而据守关中的堡垒。司马师逼近时，守军发动攻击，孔明设计的十矢弓机以异乎寻常的速度射出一阵箭雨。

弓机在战斗中的表现，体现了此前工程设计的成果——它不仅完成了设计，也已实际造出，并且确实能对付进攻的司马师部队。然而，这一情节也凸显了显著的战术器械与整个战役的胜利并非一回事。弓机使司马师的部下遭受惨重损失，却无法弥补入侵整体上的劣势，也未能阻止蜀军撤退。

撤退与意义

损失规模清楚显示了两者之间的区别。司马师有无数部下丧生于弓机之下，而姜维此次失败的入侵则使蜀汉损失数万将士。姜维退回汉中；司马师及其他魏将则返回董卓焚毁的东汉都城洛阳。因此，敌对双方在战役结束时朝着相反方向撤离，但蜀军的退却并未抹去曹魏抵御进攻的能力，也未能减轻蜀汉付出的代价。

这一事件将姜维主动谋划战略置于政治正统与军事机遇反复较量的背景之中。曹魏的内部动荡似乎带来了可乘之机，而夏侯霸的叛离则使这一机会更加显而易见。但仅有时机和有效武器仍然不够——水源短缺、魏军的应对措施以及进军过程中承受的损失，都限制了蜀汉所能取得的成果。因此，这场战役的结局兼具战术与战略层面——孔明的弓机在阳平关证明了效用，而姜维试图利用曹魏动乱的更大行动则以撤退告终。