建兴六年的，诸葛亮第一次北伐，获得了丰富的战果，可惜因马谡违背诸葛亮的部署，被张郃（演义是司马懿）击破，第一次北伐就失败了，从汉中出发拿下的武都阴平被收走了，建兴六年冬诸葛亮出兵陈仓，无功而返，诸葛亮在建兴七年派陈式攻打武都阴平二郡（演义是姜维和王平），郭淮带领大军前来救援攻击，诸葛亮亲自来建威阻拦，郭淮撤军了，武都阴平二郡从此归蜀汉。诸葛亮也因此被后主刘禅恢复了丞相职位。