《孙子兵法》行军篇：兵非贵益多也

公元231年二月，诸葛亮第四次伐魏，兵出祁山，包围了祁山城，魏明帝派司马懿带兵救援。司马懿派先锋郭淮、费耀前往应战，被诸葛亮打败后，司马懿退兵至上邽之东，依山据险，坚守不战。诸葛亮几次挑战，司马懿皆固守不出，魏军将士嘲笑司马懿害怕蜀军如老虎一样，被天下人笑话。两军对峙几个月后，诸葛亮下令退军，司马懿终于憋不住了，派魏将张郃率兵追击，不料中了诸葛亮的埋伏，于木门谷中箭身亡。