张合击破了姜维之后，却没有立即南下攻击汧县，反而退往高平，死死的看住了高平，也就是萧关。
萧关有陈式率领的一万蜀汉军。
在张合攻击姜维的时候，陈式一直保持着沉默，并没有出关支援。他不是不想出关支援，诸葛亮让他守在萧关，就让他扼守这座要塞。可是张合用一万骑兵死死的看住了他，让他不敢轻动。
现在张合击破了姜维，率领大军将萧关团团围住。张合没有攻城的意思，但是他要困死陈式的意思很明显，同时还有诱诸葛亮主动救援的意思。萧关虽然存了不少粮，可是被张合包围了大半年，再多的存粮也快吃完了。兵法有云，无援之城不守。如果诸葛亮不能及时求援，萧关连同城内的一万多人必然落入张合之手。
在诸葛亮的计划中，姜维堵住张合前进的道路，与张合拼消耗，等张合进退两难的时候，陈式从萧关杀出来，堵住张合的退路，将他困死在这道河谷里。结果曹植杀入关中，用一万多人的--性命为代价，把夏侯霸送到了姜维的后方，姜维全军覆没，关中的防线终于被撬开了一道缝，而张合要把这道缝撬得更大一些，化被动为主动。
当然对张合来说，这么做的主要原因还是曹植的教训太深刻了。他如果放任萧关在身后进入关中，很有可能会重蹈曹植的覆辙。
……
诸葛亮收到陈式求援的消息时，姜维正跪在他的面前。
十多天的逃亡。让姜维变了一个人，他神情憔悴，衣衫褴褛，可是脸上却干干净净，头发也打理得整整齐齐，衣服虽然破，却一样干净。最让诸葛亮觉得奇怪的是他的眼神清明。他冷静的叙述着战败的经过，分析着自己的失误，条理清晰，冷静得近乎冷漠。就像是在说一个和他完全无关的人和事。
诸葛亮犹豫了很久：“你去休息吧。等候处理。”
