摘要
约公元二二八年至二三四年，蜀汉丞相诸葛亮秉政期间先后五次北伐曹魏，四出祁山、两拒渭南，约二三四年秋病死于五丈原军中，北伐遂止。北伐以攻为守，旨在以北伐维系蜀汉战时体制、牵制曹魏，未能改变魏蜀吴鼎立格局，但成为蜀汉国策象征与后世忠武记忆。次数有四五六说并存，本条取五次说并存疑，传世通说如此，待考。
原文摘录
原文略，见来源定位。不伪造长段古文。确知短句不作长段引录。传世本，页码待核，未能联网核验。
白话解释
以下为现代白话转述，非原文直译，仅助理解。
起因是守成与进取之争。刘备死后蜀汉国小，诸葛亮定北伐国策：以汉中为基地，出祁山扰关中，牵制曹魏；同时南抚夷越、屯田积谷，待考。
过程分三段。约二二八年首次北伐，三郡响应而马谡失街亭，亮斩马谡。第二段约二二八年底至二三一年，围陈仓、战卤城，粮尽而还，张郃战死木门。第三段约二三四年出斜谷据五丈原，与司马懿对峙百余日，秋八月亮病死军中，秘不发丧而退。粮运艰难为屡退主因，待考。
结果北伐未克关中，魏军被迫西顾，吴蜀联盟得维持。短期以攻代守，长期耗损国力，评价两派并存，本条只述过程。空城计另见folk条，不作史料。
关键人物
诸葛亮（约一八一至二三四年，存疑），蜀汉丞相。在本事件中为北伐统帅兼理政者，五次经营皆亲临前线，赏罚严明、屯田治军，约二三四年病死五丈原。其作为是定国策并执行到底，结局为鞠躬尽瘁。
刘禅（约二〇七至二七一年，存疑），蜀汉后主。在本事件中为后方君主，信任诸葛亮、少加掣肘，北伐期间守成都供粮，亮死后渐至暗弱，约二六三年降魏，约二七一年病死洛阳。
司马懿（约一七九至二五一年，存疑），曹魏都督。在本事件中为渭南对手，坚壁拒战、拖耗蜀粮，亮死后始进，约二四九年发动高平陵之变。其作为主要是以守为攻，结局为病死洛阳。
曹叡（约二〇四至二三九年，存疑），魏明帝。在本事件中为后方支撑者，遣张郃、司马懿御蜀，亲巡长安督饷，约二三九年病死。其作用在国力支撑，待考。
姜维（约二〇二至二六四年，存疑，增补），蜀将，由魏归蜀，亮死后主持退军，后九伐中原，待考。
关键事件
约二二八年首次北伐与街亭之失：三郡响应而马谡违节度失街亭，前锋断而全军还。此为声势最大而结局最惜的一次，转折在用人之失，存疑。
约二二八年底至约二三一年再伐：围陈仓不克、卤城对峙，张郃战死。此阶段互有攻守，蜀得武都、阴平二郡而粮尽还，约数待考。
约二三四年五丈原对峙与卒：出斜谷，据渭南，与司马懿相持约百余日，屯田久驻之计未成，八月病死军中，蜀军退还汉中。次数四五六说并存，本条取五次说并存疑。详见timeline.yaml。
制度与地理
制度上，蜀以丞相府集权，军政合一，倚木牛流马转运与屯田；魏以都督拒守，长安转运为后盾。此制对比可解蜀攻魏守，待考。
地理上，文字示意为汉中经祁山、斜谷至关中渭水一线。秦岭栈道险远，粮运艰难，出祁山则可扰陇右，出斜谷则直逼长安。五丈原在渭水南岸，背水屯田，进退两便。不画精确路线，不作里程精确声称，山道、渭水为方位要点，待考。
争议与不同记载
一是北伐次数之争。有四次、五次、六次诸说，各说一句话：计数口径在小规模出兵算否不同，主流多取五次说，本条从之并存疑，待考。
二是空城计等故事。各说一句话：正史无载，系后世演绎，主流判断是文学附会，不作史料。
三是北伐评价之争。有穷兵黩武说，有自强不息说，各说一句话：前者主国力难支，后者主以攻为守，本条只述过程不作价值判断，存疑并列。后世演绎另见folk条，不作史料。
来源与版本
来源为陈寿《三国志·诸葛亮传》《后主传》及裴注所引《汉晋春秋》《魏略》，参司马光《资治通鉴·魏纪》。传世本，具体版本待考，页码待核，未能联网核验。版本流传说明一句：裴注引书今多亡佚，传本以注为凭，传世通说如此，待考。
关联条目
关联：official-鼎立；official-归晋；folk-空城计演绎对照；timeline.yaml五丈原条；power-holders.yaml诸葛亮司马懿。