大漢建興六年三月十七日，諸葛亮告別隴右吏民率北伐大軍起程回蜀。臨行前，他對隴右的政事和防務都做了精心的安排。

　　為防魏軍反撲，諸葛亮留下吳懿率軍駐守安定，命廖化所部四千人駐守廣魏，魏延率前軍五千人屯守上邽、冀城，又令陳式率一千左軍督高剛麾下的三千降兵往南安駐扎，剩下的四千左軍依舊駐守祁山。

　　如此留守隴右四郡和安定郡的漢軍加上歸降郡兵不下兩萬人，又有魏延、吳懿、廖化等大將，足...