三国志　53巻

馬謖の布陣の誤りにより、蜀軍は総退却を余儀なくされた。漢中に引き揚げた孔明は涙をふるって馬謖を処分し、自らも丞相の位を辞した。その頃、呉の孫権は呉蜀同盟を守り、偽りの投降者を送り魏に戦をしかけていた。呉軍は石亭で魏軍を蹴散らし、大戦果をあげる。これを知った孔明は、「後出師の表」を奉り、陳倉へ出陣した。