考证阳溪谷之战的出征时间

前些时间在别处看到闻所欲闻和燕京晓林先生在讨论阳溪谷之战的出征时间问题，这个问题的讨论很复杂，可以作为一个很好的话题，引导本坛有识之士进行讨论。

阳溪谷之战的记载，见于《魏延传》：

五年，诸葛亮驻汉中，更以延为督前部，领丞相司马、凉州刺史，八年，使延西入羌中，魏后将军费瑶、雍州刺史郭淮与延战于阳谿，延大破淮等，迁为前军师征西大将军，假节，进封南郑侯。

另外《杨戏传》评价吴壹时，后面附有吴壹的简介，也提到了建兴八年的此战：

建兴八年，与魏延入南安界，破魏将费瑶，徙亭侯，进封高阳乡侯，迁左将军。

建兴八年，即公元230年，魏太和四年。此年八月，魏国大司马曹真与大将军司马懿发动了一次规模较大的伐蜀之战，但是很可惜，受大雨影响，最后无功而返，只有东路的司马懿取得了一点战功。

四年，朝洛阳，迁大司马，赐剑履上殿，入朝不趋。真以“蜀连出侵边境，宜遂伐之。数道并入，可大克也”。帝从其计。真当发西讨，帝亲临送。真以八月发长安，从子午道南入。司马宣王溯汉水，当会南郑。诸军或从斜谷道，或从武威入。会大霖雨三十馀日，或栈道断绝，诏真还军。《曹真传》

诏大司马曹真、大将军司马宣王伐蜀。……九月，大雨，伊、洛、河、汉水溢，诏真等班师。《明帝纪》

四年，迁大将军，加大都督、假黄钺，与曹真伐蜀。帝自西城斫山开道，水陆并进，溯沔而上，至于朐忍，拔其新丰县。军次丹口，遇雨，班师。《晋书宣帝纪》

《晋书》中记载的司马懿不可思议的进攻路线，不是今天讨论的主题，今天讨论的主题是，魏延、吴壹攻入南安界，击退郭淮和费曜，究竟是在什么时候？是在八月之前？还是八月之后？

要弄清这个问题，首先要明白阳溪谷之战的交战大体地点。按照《杨戏传》中的记载，是南安界。南安郡是魏国雍州的一个小郡，在陇西郡和天水郡之间。《杨戏传》中记载的入南安界，应该是说进入了南安郡的边界，与郭淮、费曜交战。

这个地理位置是比较特殊的，为什么会在这里交战？蜀国的军事目的究竟是什么？

这是一个很难回答的问题，目前我看到的一个最为大胆的猜测，是某位隐士高手提出的观点——他认为，这其实是蜀国阻击魏国大军入境的一场阻击战。

此前一年（建兴七年），诸葛亮派陈式攻打武都、阴平二郡，与郭淮发生了交战。后来诸葛亮亲自率军到达前线的建威，郭淮撤退。所以，此时武都郡和阴平郡已经是蜀国的领土。而魏国兵分多路进攻蜀国，其中最西一路，出击的路线让人捉摸不定，按照《曹真传》中的记载，是从武威进军：诸军或从斜谷道，或从武威入。

这让人匪夷所思，武威在凉州，在南安郡的北面，魏军怎么会从凉州攻打蜀国？所以，包括格思兄以及本人在内的多数人认为，这里记载有误，应该是武都，或者是建威。不过也有人认为史书不能随便否定，魏国的大军有可能就驻扎在武威。

按照这位高手的理解，当时西路大军正是郭淮、费曜率领，从凉州武威进攻蜀国。而当时的蜀国为了保卫武都、阴平二郡，同时防止西路军从阳平关西侧包抄，所以派了蜀国最能打的武将魏延、吴壹前去抵抗郭淮、费曜。双方在两国的边境遭遇，展开激战，结果是魏延破郭淮，吴壹败费曜。魏延、吴壹二人证明了自己的价值，也因此得到了升迁。而魏国的其他几路大军，也都因为大雨的原因而不得不退兵。

这个观点是一个比较大胆的假说，还需要更多的证据来加以证明。

还有一个问题，就是当时大雨的范围，是否包括南安、武都、阴平。按照《明帝纪》的记载，爆发洪涝灾害的地方是：九月，大雨，伊、洛、河、汉水溢。而汉水的上游，是在武都郡。伊水、洛河距离西线较远，洛河在潼关附近，伊水在司州。总体来说，我比较倾向于西线未受大雨影响的观点，西线不是被大雨所困扰，而是被蜀国名将魏延和吴壹所击退。