魏延在當代網絡史圈以子午谷奇謀著名。不過所謂的子午谷奇謀出自《魏略》，可信度不高，很可能魏延從未提出過這一意見。任何一部史書都有傾向性，而這部《魏略》就是按照司馬懿家族的意圖編出來的，所以這本書中，對諸葛亮的扭曲是顯而易見的。
《魏略》說諸葛亮北伐太謹慎，他六出祁山穩紮穩打的方法根本不能取勝，如果想北伐成功，必須用子午谷奇謀這一策略。《魏略》還說不敢採納這條奇策，所以才導致了最後的失敗。
當然，魏延是否提出過子午谷奇謀並不重要。在劉備時代魏延就非常被重用，取得漢中之後，劉備用魏延鎮守，而非張飛，令眾人震驚。
魏延
劉備以擅長識人著稱，魏延當然是極為有能力的。諸葛亮時代，魏延也是軍中至關重要的人物，除了在諸葛亮大破司馬懿的滷城之戰中起到巨大作用之外，魏延更有著自己的獨立領兵得意之作——陽溪之戰。
陽溪之戰由魏延作為主將，吳懿作為副將。兩人深入羌中，將曹魏名將郭淮和大將費曜打得大敗。
陽溪的位置難以考證，有說法（比如上圖）認為已經到青海湖附近，這種說法應當不可信。但魏延確實較為深入羌人活動區是無疑的。
具體作戰過程缺乏記載，但我們仍然可以依靠殘碎的記錄來推測。
當時曹真、張郃、司馬懿率領三路大軍，分別由斜谷、子午谷、漢水向蜀漢的漢中進發，諸葛亮被迫率領主力，在漢中據守。魏延迎擊郭淮、費曜的兵力，必然不多。
考慮到魏國國力遠勝蜀國，因此不但正面進攻漢中的兵力比起諸葛亮主力有數量優勢，郭淮、費曜所部數量也一定多於魏延、吳懿所率領的蜀國偏師。
魏延軍深入魏境作戰，可以說是非常膽大，但也是有所考量的。羌中是少數民族聚集之地，地形複雜，魏國對此控制力不強，郭淮在此迎擊，補給線也很長。
諸葛亮三伐收復了武都郡並奪取了陰平郡，魏延在陽溪作戰無論勝敗，都能在結束作戰之後撤入陰平，自武都返回，後路有所保障。
楊戲的《季漢輔臣贊》讚美吳懿說——"車騎，惟其泛愛，以弱制強，不陷危墜"，顯然，說的就是陽溪之戰。
吳懿
吳懿所部以少數兵力，抵抗住了魏軍大部隊的進攻。這基本可以認為是魏延的誘敵之策。
精幹的步兵銳卒被交給了吳懿，讓郭淮費曜發現蜀軍分兵。吳懿應當佔據了制高點，以長槍方陣和盾牌列陣防守，並用木槍等障礙物插在四周形成簡易工事。蜀軍本來就擅長山地戰，而高的地勢也能抵消魏軍騎兵的衝擊力。
當魏軍集中兵力試圖吃掉吳懿部卻久攻不克，體力消耗，士氣挫折之後，魏延便率領更多埋伏已久的蜀軍突然出現，與吳懿夾擊魏軍。
此次魏延進入羌中，應當取得了某些羌人的合作。也就是說蜀軍騎兵比例有所上升。驍銳的羌人騎兵利用衝擊和馳射襲擊魏軍，造成魏軍很大的傷亡。
值得一提的是，三國時代，北方並沒有馬鐙。但云南地區在西漢時已經出現簡易的繩圈式馬鐙。諸葛亮南征之後，吸收南中騎兵加入蜀軍，因此繩圈式馬鐙也被引入蜀軍。
這就意味著蜀軍騎兵雖然數量不如魏軍，但操控上更加靈活。而且，蜀軍騎兵本身就擅長在崎嶇的山地地形作戰。
此戰殲敵數目不詳，但根據魏延戰後被加封為"徵西大將軍、假節、南鄭縣侯"來看，戰果應當是驚人的，殲敵很可能在5000人以上。
陽溪之戰應當還奪取和燒燬了魏軍的不少物資糧草。
《三國志郭淮傳》載：五年，蜀出滷城。是時，隴右無谷，議欲關中大運，淮以威恩撫循羌、胡，家使出谷，平其輸調，軍食用足，轉揚武將軍。
根據史料我們看得出在諸葛亮四伐出祁山進至滷城時，隴右缺乏糧草，甚至要從長安一帶大量運輸過來才夠魏軍消耗。這或許和魏軍在陽溪之戰的慘敗也有關係。
陽溪之戰後，蜀漢的影響力越發深入羌中，後來姜維也屢次進入羌中，挑動羌人與曹魏為敵。另外，此後蜀漢也能從羌中獲得大量馬匹，增加了騎兵的數量。因此，陽溪之戰的戰略意義也是不可忽視的。
魏延