Trận Nhai Đình là một trận chiến giữa quân đội Tào Ngụy và quân đội Thục Hán diễn ra vào năm 228 trong Chiến dịch Bắc phạt lần thứ nhất của Gia Cát Lượng. Trận chiến này kết thúc bằng thắng lợi của quân Tào Ngụy dưới sự chỉ huy của Tư Mã Ý và là trận đánh then chốt dẫn đến sự phá sản của Chiến dịch Bắc phạt lần này của quân Thục. Trong trận này, việc mất Nhai Đình được quy kết là do sự chủ quan của Mã Tốc, người được cho là chỉ giỏi cầm quân trên bàn giấy. Năm 228, Gia Cát Lượng mang quân đánh Ngụy lần thứ nhất. Ngụy Minh Đế Tào Duệ sai Tư Mã Ý và Trương Cáp mang quân ra địch lại. Biết việc hàng tướng Mạnh Đạt định quay về Thục nhưng còn chần chừ, Tư Mã Ý nhanh tay bắt giết ông ta. Rồi Tư Mã Ý tâu Ngụy Minh Đế Tào Duệ lập tức sai tướng Tào Chân đem quân chi viện cho My Thành, nhằm ngăn chặn Triệu Vân, ông ta sai Trương Hợp mang quân ra địch, Trương Hợp dẫn 50.000 kỵ binh và bộ binh tiến nhanh đến Nhai Đình, vòng đường sau đánh tập hậu vào quân Thục, hòng chiếm lại Hữu Lũng. Tào Duệ cũng tự mình đến Trường An để chỉ huy tác chiến. Theo ý kiến của Tư Mã Ý là tập kích vào Nhai Đình, chẹn con đường huyết mạch của quân Thục. Khi quân Thục tiến đánh Trung Nguyên, vấn đề lương thảo có ý nghĩa then chốt, hầu hết lương thực được vận chuyển từ Tây Xuyên qua Hán Trung để vào Trung Nguyên. Một trong những trọng điểm trên con đường huyết mạch này là Nhai Đình. Nhai Đình nằm ở khoảng giữa sông Vị và núi Mạch Tích Nay là đông bắc huyện Thiên Thủy, Cam Túc, đó là con đường huyết mạch để đi từ Thiểm Tây và Lũng Hữu. Đây là vùng trọng yếu chiến lược. Lúc này Gia Cát Lượng có ý đánh chiếm hai quận Quảng Ngụy và Lũng Tây nhằm chiếm trọng cả vùng Lũng Hữu, bỗng nghe tin đại quân của Trương Hợp đang đánh vòng từ hướng Tây. Nhằm bảo đảm an toàn hai bên sườn, để phát triển cuộc tấn công, Gia Cát Lượng lập tức hạ lệnh cho tiên phong Mã Tốc đem tiền quân đánh gấp lấy Nhai Đình. Trước đó Để đối địch với danh tướng Trương Hợp, mọi người đều cho rằng nên dùng mãnh tướng Ngụy Diên hoặc Ngô Ban đã dày dạn kinh nghiệm trận mạc, nhưng Gia Cát Lượng lại chọn Mã Tốc làm tiên phong. Mã Tốc được lệnh cùng Vương Bình cầm quân khẩn cấp ra trấn thủ Nhai Đình. Trước khi đi, Gia Cát Lượng năm lần bảy lượt dặn dò Mã Tốc phải đóng quân giữa đường và giữ lấy nguồn nước như thế mới cố thủ được. Tuy vậy Mã Tốc là con người chỉ biết bày binh bố trận trên sa bàn, Lưu Bị khi còn sống cũng lưu ý đến chuyện này nhưng Gia Cát lại không lưu tâm, nhất là khi Mã Tốc đưa ra kiến nghị đúng đắn trong cuộc Nam tiến vì vậy Gia Cát Lượng lại tin tưởng Mã Tốc hơn. Vì vậy trong cuộc chinh phạt lần này, Gia Cát Lượng giao trọng trách tướng tiên phong cho Mã Tốc. Không ngờ Mã Tốc tự cho mình là thông minh, vi phạm phướng án bố trí của Gia Cát Lượng. Đến Nhai Đình, Mã Tắc làm ngược lại với phương án chỉ huy của Gia Cát Lượng. Mã Tắc không đóng quân ở nơi đường cài, gần sông là chỗ có nước cho quân dùng, mang 2 vạn quân trấn giữ trên núi với phương án "Trên núi đánh xuống, thế như chẻ tre". Vương Bình nhiều lần phản đối, nhưng Mã Tắc không nghe. Mã Tốc và Vương Bình tiến đến Nhai Đình đúng lúc tướng Ngụy là Trương Cáp dẫn quân tới. Mã Tốc bỏ đường sông, trấn giữ trên núi. Vương Bình cuối cùng khuyên can không được, ông đành xin Mã Tốc cho 1000 người ngựa ra đóng trại dưới chân núi. Trương Cáp theo sự chỉ đạo của Tư Mã Ý đã mang quân vây trại của Mã Tốc trên núi, rồi cắt đứt đường nước. Quân Thục thiếu nước, hoảng loạn. Trương Cáp dồn sức tấn công phá tan Mã Tốc. Cánh quân Mã Tốc bỏ chạy tán loạn, chỉ còn 1000 người ngựa của Vương Bình vẫn giữ vững được doanh trại. Thấy Mã Tốc đại bại, Vương Bình đốc quân dồn sức chiến đấu, cố thủ không rút. Trương Cáp nghi quân Thục có phục binh nên không dám tiến. Vương Bình nhân có thời gian bèn chỉnh đốn đội ngũ, thu thập những quân sĩ của Mã Tốc bỏ chạy, rồi bình tĩnh rút lui về nước. Nhai Đình thất thủ. Đại quân Thục không thể tiến nữa, buộc phải lui về Hán Trung. Vì thất thủ Nhai Đình, Gia Cát Lượng phải triệt thoái toàn quân về Thục. Mã Tốc cùng Trương Hưu, Lý Thịnh bị tội chết, Hoàng Tập bị thu binh quyền. Riêng Vương Bình được ban thưởng, thăng làm Tham quân, thống lĩnh 5 quân kiêm chức Đương doanh sự, Thảo khấu tướng quân và sắc phong Đình hầu. Đây là sự thăng tiến đặc biệt vượt cấp đương thời, mọi người đều cho là xứng đáng. Thất bại ở Nhai Đình khiến cho quân Thục mất quyền chủ động và Gia Cát Lượng buộc phải lui binh, rút quân về Thục. Cụ thể là khi Nhai Đình bị thất thủ, làm cho Gia Cát Lượng bị mất bàn đạp tấn công, lỡ mất cơ hội đánh chiếm Lũng Hữu. Còn ở Kỳ Cốc, do phòng bị sơ hở, quân Thục đã bị quân Tào đánh lui may nhờ tình hình Triệu Vân ngăn chặn phía sau nên tổn thất không lớn. Xét tình hình thực tế, Gia Cát Lượng cho rằng quân Thục không thể tiếp tục giao chiến được nữa, ông quyết định thu quân trở về Hán Trung. Chẳng bao lâu ba quận Thiên Thủy, Nam An, An Định lại trở về tay nước Ngụy. Về nguyên nhân thất bại, có người trong triều nhà Thục an ủi cho rằng nguyên do xuất quân lần này gặp bất lợi là do binh lực quá ít. Gia Cát Lượng đã nghiêm túc trả lời rằng: Không đúng như vậy vì trong hai trận đánh ở Kỳ Sơn và Tà Cốc, quân Thục nhiều hơn quân Ngụy, nguyên nhân thất bại chính là do bản thân ông không biết dùng người và từ sau này sẽ thưởng phạt nghiêm minh, khắc phục thiếu sót. Bất kỳ ai trung thành với đất nước đều có quyền vạch khuyết điểm của ông ta có như vậy mới tiêu diệt được kẻ thù thống nhất được thiên hạ.