公元263,魏国举十八万兵伐蜀,原本司马昭的本意是让邓艾牵制住姜维,然后诸葛绪驻守阴平桥头,切断姜维后路,同时用钟会进攻没有蜀军主力的战略要地汉中,这个计策原本是非常的妙的,因为这样既围住了姜维,又可以进攻兵力空虚的汉中,简直是一石二鸟的妙计。
但是没想到姜维来了一个阿姆斯特朗回旋,巧妙的调离了封堵在阴平桥头的诸葛绪,与廖化、张翼、董厥等部队会合,退守剑门关,此前,钟会已经攻破了阳平关,于是两军在剑门关对峙,相持不下,由于粮草殆尽,钟会萌生退意。