纳什均衡（Nash Equilibrium）是非合作博弈论中的一个核心概念，由约翰·福布斯·纳什在其1950年的博士论文中首次提出。它描述了在一个多人参与的博弈过程中，每个参与者都选择了一种策略，这种策略对于该参与者而言是最优的，给定其他所有参与者的策略不变。换句话说，在没有其他参与者改变其策略的情况下，任何一个参与者都没有动机去改变自己的策略，因为这样做不会带来额外的收益。
纳什均衡的证明思路
要证明一个给定的策略组合是纳什均衡，需要验证以下两点：
对每个参与者i的策略s_i来说，它是基于其他参与者策略{s_j}（j≠i）的最优反应。 这意味着，如果其他所有参与者都坚持他们的策略不变，那么参与者i无法通过单方面改变自己的策略来获得更高的收益。
没有参与者有动机偏离这个均衡点。 即，在均衡状态下，每个参与者都已经最大化了自己的效用函数，且这一状态是稳定的。
证明步骤示例
以一个简单的两人零和博弈为例进行说明（注意，零和博弈只是博弈论中的一种特殊情况，其中所有参与者的总收益为零）。
博弈矩阵：
X策略 (3, -3) (-1, 1) Y策略 (1, -1) (0, 0)在这个博弈中，有两个参与者（可以称为玩家1和玩家2），每个玩家都有两种策略可以选择（X或Y）。括号内的数字表示两个玩家的收益，第一个数字是玩家1的收益，第二个数字是玩家2的收益。
寻找纳什均衡：
- 对于玩家1来说，当玩家2选择A策略时，玩家1选择X策略获得3的收益（高于选择Y策略的1）；当玩家2选择B策略时，玩家1选择Y策略避免损失（-1比-1更不坏，但这里主要是为了避免负收益，而0是更好的结果）。
- 对于玩家2来说，情况相反。当玩家1选择X策略时，玩家2选择B策略可以避免损失（-3变为1）；当玩家1选择Y策略时，玩家2再次选择B策略以获得非负收益（0比-1好）。
因此，我们发现(Y, B)是一个纳什均衡点，因为在这一点上：
- 给定玩家2选择B策略，玩家1的最佳回应是Y策略。
- 给定玩家1选择Y策略，玩家2的最佳回应是B策略。
这满足了纳什均衡的定义：没有一个玩家可以通过单方面改变自己的策略来增加自己的收益，而其他玩家的策略保持不变。
总结
证明纳什均衡通常涉及分析每个参与者在给定其他参与者策略下的最优反应，并确认这些策略组合构成了一个稳定的状态，即没有任何参与者愿意单方面偏离这个状态。在实际应用中，纳什均衡的存在性和多重性可能因博弈的具体结构和复杂性而异，需要使用更复杂的数学工具和方法来分析和证明。
